EMBA - The firmware security analyzer

Binary Code Similarity Analysis (BCSA) Benchmark

A suite of experiments for evaluating open-source binary taint trackers.

Uncover usage of insecure functions, implementation of weak cryptography, encryption status, and the presence of security features like Position Independent Executable (PIE), Stack Canaries, and Automatic Reference Counting (ARC) in iOS Applications Binaries.

(WIP) Create tens of binaries from GitHub projects with the same compiler flags

Binary analysis and management framework

A comprehensive binary analysis framework comparing multiple intermediate representations (Ghidra P-code, angr VEX, BAP BIR, LLVM IR) for malware detection and semantic analysis. Supports automated analysis pipelines with CFG extraction and visualization tools.