program-analysis topic
codeql-go
The CodeQL extractor and libraries for Go.
cwe_checker
cwe_checker finds vulnerable patterns in binary executables
pyt
A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications
pyre-check
Performant type-checking for python.
manticore
Symbolic execution tool
mythril
Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Rootstock, Tron and other EVM-compatible blockchains.
ikos
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
bap
Binary Analysis Platform
rizin
UNIX-like reverse engineering framework and command-line toolset.
phasar
A LLVM-based static analysis framework.