Skip to content

Instantly share code, notes, and snippets.

@d4em0n
Forked from MattPD/analysis.draft.md
Created July 23, 2021 03:41
Show Gist options
  • Save d4em0n/dccebbb85c8ea5e39345e6007ad9641a to your computer and use it in GitHub Desktop.
Save d4em0n/dccebbb85c8ea5e39345e6007ad9641a 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

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