Skip to content

Instantly share code, notes, and snippets.

@MattPD
Last active May 28, 2024 09:42
Show Gist options
  • Save MattPD/00573ee14bf85ccac6bed3c0678ddbef to your computer and use it in GitHub Desktop.
Save MattPD/00573ee14bf85ccac6bed3c0678ddbef to your computer and use it in GitHub Desktop.
Program Analysis Resources (WIP draft)

Program Analysis Resources

(draft; work in progress)

See also:

General

Symbolic Execution

Symbolic Execution: Software

Lectures & Courses

Software

LLVM

LLVM - Symbolic Execution

LLVM - Verification

Clang

Clang Static Analyzer

Introduction

Introduction: LLVM IR

Instrumentation

Lifting

Lifting: Disassembly, Decompilation, Recompilation, Reverse Engineering

Passes

Legacy Pass Manager
New Pass Manager

Readings

Background

Background: Notation

Background: Semantics

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment