program-analysis topic
VMProtect-devirtualization
Playing with the VMProtect software protection. Automatic deobfuscation of pure functions using symbolic execution and LLVM.
Tai-e-assignments
Tai-e assignments for static program analysis
WALA
T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses
angr-management
The official angr GUI.
falcon
Binary Analysis Framework in Rust
psychec
A compiler frontend for the C programming language
symbolic-execution
History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
semgrep-rules
Semgrep rules registry
dg
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
seahorn
SeaHorn Verification Framework