Highlights
- Pro
Stars
Whole-program, Scheme-scriptable, multi-language, coverage-guided fuzzer
LLVM Abstraction & Refinement Tool. The goal of this tool is to provide LLVM-to-LLVM transformations that implement various program abstractions. In terms of the instruction set, the resulting prog…
MATE is a suite of tools for interactive program analysis with a focus on hunting for bugs in C and C++ code using Code Property Graphs.
cclyzer++ is a precise and scalable pointer analysis for LLVM code.
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
ChengyuSong / Kirenenko
Forked from AngoraFuzzer/AngoraSuper Fast Concolic Execution Engine based on Source Code Taint Tracing
Minimax Optimal Estimation of Approximate Differential Privacy on Neighboring Databases
Public release of the tools used to assist in gadget finding.
Fully static, unprivileged, self-contained, containers as executable binaries.
Cloud-native genomic dataframes and batch computing
Brainf**k with threads and assertions, written in Python
ShellCheck, a static analysis tool for shell scripts
Relational implementation of type system and semantics from "Precise Enforcement of Progress-Sensitive Security" by Moore, Askarov, and Chong, CCS'12.
A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]