4 Repos
Advanced tools for binary analysis and symbolic execution.
Explore 4 awesome GitHub repositories matching part of an awesome list · Program Analysis. Refine with filters or upvote what's useful.
Binary Analysis Platform
Platform for reverse engineering and binary program analysis.
Statischer Analysator für Binärcode mit IDA-Integration. Führt Wert- und Taint-Analysen, Typrekonstruktion sowie die Erkennung von Use-After-Free- und Double-Free-Fehlern durch.
Toolkit for static analysis of binary code.
Seamless bug-finding for C, C++, Go, Rust, Wasm and Zig
Toolchain for symbolic execution of WebAssembly.
An SMT solver frontend for OCaml
Frontend library for interfacing with multiple SMT solvers.