Add Binary Analysis Framework#316

Merged

MathiasVP merged 107 commits into

mainfrom

ql-for-x86-and-cil

Jan 21, 2026

Commits on Oct 18, 2025

Binary: Initial commit.
MathiasVP
committed

Commits on Nov 18, 2025

Commits on Nov 19, 2025

Merge branch 'microsoft:main' into gfs/cil-extractor-prototype
gfs
authored

Commits on Nov 24, 2025

Commits on Nov 25, 2025

Binary: Move extractor and tools from x86 to a subfolder in preparation for merging the CIL extractor into the directory.
MathiasVP
committed
Binary: Add a prefix to x86 instructions.
MathiasVP
committed
CIL: Copy the CIL extractor and tools into the binary directory.
MathiasVP
committed
fixup! Binary: Add a prefix to x86 instructions.
MathiasVP
committed
CIL: Add CIL specific dbscheme entities to the binary dbscheme.
MathiasVP
committed
Binary/CIL: Update the build script to support both CIL and x86.
MathiasVP
committed
CIL: Delete the CIL folder and temporarily move the ad-hoc folders to the binary folder.
MathiasVP
committed
X86: Prefix X86 specific entities with 'x86'.
MathiasVP
committed

Commits on Nov 26, 2025

x86: Abstract away rsp and rbp.
MathiasVP
committed

Commits on Nov 27, 2025

Binary: Add subtypes related to unconditional jumps.
MathiasVP
committed

Commits on Nov 28, 2025

Commits on Nov 30, 2025

Commits on Dec 2, 2025

Commits on Dec 5, 2025

Commits on Dec 8, 2025

Commits on Dec 12, 2025

Commits on Jan 5, 2026

Commits on Jan 6, 2026

Commits on Jan 12, 2026

Use single TRAP file for JVM extraction
gfs
committed

Commits on Jan 20, 2026

Merge branch 'main' into ql-for-x86-and-cil
gfs
authored

Commits on Jan 21, 2026