Lists (3)
Starred repositories
The official repo of Doop, the declarative pointer analysis framework.
Rust mid-level IR Abstract Interpreter
CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.
A collection of modern/faster/saner alternatives to common unix commands.
JavaScript/TypeScript static analyzer for call graph construction, library usage pattern matching, and vulnerability exposure analysis
A new version of Soot with a completely overhauled architecture
An easy-to-learn/use static analysis framework for Java
Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis
Tai-e assignments for static program analysis
Bash command line framework and CLI generator
Papers from the computer science community to read and discuss.
Open-source high-performance RISC-V processor
DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not w…
Code2Inv: Learning Loop Invariants for Program Verification
Fast and lightweight x86/x86-64 disassembler and code generation library
The Boehm-Demers-Weiser conservative C/C++ Garbage Collector (bdwgc, also known as bdw-gc, boehm-gc, libgc)
T.J. Watson Libraries for Analysis, with front ends for Java, Android, and JavaScript, and many common static program analyses.
A Java 8+ Jar & Android APK Reverse Engineering Suite (Decompiler, Editor, Debugger & More)
FlowDroid Static Data Flow Tracker