A binary static analysis tool that provides security and correctness results for Windows Portable Executable and *nix ELF binary formats
Angr is a binary analysis framework and static analysis tool used for reverse engineering compiled binaries. It serves as a binary decompiler and a lifting platform that translates machine code into a common intermediate representation to enable cross-architecture analysis. The framework integrates a symbolic execution engine and constraint solvers to determine the inputs required to reach specific program states. It also employs untrusted code sandboxing to isolate guest code from the host environment during analysis. Its capabilities cover control flow and data flow analysis, including the
Bloaty is a binary size profiler and executable format analyzer that attributes every byte of a binary to specific symbols or compile units. It functions as a compilation unit profiler and C++ symbol demangler, mapping binary size back to source files and translating mangled names into human-readable formats. The project distinguishes itself as a binary diffing tool capable of comparing two versions of a binary to isolate specific symbols or sections responsible for size regressions. It provides specialized support for recovering symbols in stripped binaries by associating them with external
Linker/Compiler/Tool detector for Windows, Linux and MacOS.
The Jakstab static analysis platform for binaries
jkinder/jakstab 的主要功能包括：Infrastructure and Configuration, Binary Analysis, Security and Vulnerability Scanning。
jkinder/jakstab 的开源替代品包括： microsoft/binskim — A binary static analysis tool that provides security and correctness results for Windows Portable Executable and *nix… angr/angr — Angr is a binary analysis framework and static analysis tool used for reverse engineering compiled binaries. It serves… google/bloaty — Bloaty is a binary size profiler and executable format analyzer that attributes every byte of a binary to specific… horsicq/nauz-file-detector — Linker/Compiler/Tool detector for Windows, Linux and MacOS. justicerage/manalyze — A static analyzer for PE executables. ossillate-inc/packj — Packj stops :zap: Solarwinds-, ESLint-, and PyTorch-like attacks by flagging malicious/vulnerable open-source…