Skip to content

Instantly share code, notes, and snippets.

@gtkatakura
Forked from MattPD/analysis.draft.md
Created July 29, 2023 18:47
Show Gist options
  • Save gtkatakura/a8e1c4934a5b5bb22e71d01cda3a9ff6 to your computer and use it in GitHub Desktop.
Save gtkatakura/a8e1c4934a5b5bb22e71d01cda3a9ff6 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

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