Skip to content

Instantly share code, notes, and snippets.

Embed
What would you like to do?
Program Analysis Resources (WIP draft)

Program Analysis Resources

(draft; work in progress)

See also:

General

Symbolic Execution

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

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.