General

Symbolic Execution

Lectures & Courses

Software

LLVM

LLVM - Symbolic Execution

LLVM - Verification

Clang

Clang Static Analyzer

Introduction

Instrumentation

Lifting

Lifting: Disassembly, Decompilation, Recompilation, Reverse Engineering

Passes

Legacy Pass Manager

New Pass Manager

Readings


Tags: reading   language   tool  

Last modified 07 October 2024