How this analysis was created: This summary and feature list are AI-generated from collected project material and can contain mistakes. Stars, license and language are imported from GitHub. Inclusion does not mean that we have tested or audited this project. Check the source documentation for any feature you depend on. Learn more on our About page.
A static analyzer for PE executables.
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
A binary static analysis tool that provides security and correctness results for Windows Portable Executable and *nix ELF binary formats
Make production Rust binaries auditable
The main features of shnatsel/rust-audit are: Static Analysis Tools, Binary Analysis, Security and Vulnerability Scanning.
Projects with overlapping indexed features include: justicerage/manalyze — A static analyzer for PE executables. praetorian-inc/gokart — A static analysis tool for securing Go code. angr/angr — Angr is a binary analysis framework and static analysis tool used for reverse engineering compiled binaries. It serves… jkinder/jakstab — The Jakstab static analysis platform for binaries. microsoft/binskim — A binary static analysis tool that provides security and correctness results for Windows Portable Executable and *nix… pypa/pip-audit — Audits Python environments, requirements files and dependency trees for known security vulnerabilities, and can…
