cwe_checker finds vulnerable patterns in binary executables
一个用于分析Jar包的GUI工具,可以用多种方式搜索你想要的信息,自动构建方法...
A LLVM-based static analysis framework.
The official angr GUI.
T.J. Watson Libraries for Analysis, with frontends for Java, Android, an...
Semgrep rules registry
Binary Analysis Framework in Rust
A compiler frontend for the C programming language
History of symbolic execution (as well as SAT/SMT solving, fuzzing, and ...
[LLVM Static Slicer] Various program analyses, construction of dependenc...
The CodeQL extractor and libraries for Go.
SeaHorn Verification Framework
A curated list of awesome LLVM (including Clang, etc) related resources.
南京大学《软件分析》课程课后作业(非Bamboo) NJU's software analysis hom...
Static program analysis for TIP