AFL++ (American Fuzzy Lop Plus Plus)
Tools:
Apron
Tools:
Astral is a solver for various fragments of separation logic with inductive definitions. Its approach is based on a translation to SMT, allowing it to leverage multiple existing SMT solvers as backends.
Tools:
Bitwuzla
Tools:
Boolector
Tools:
CPAchecker
Tools:
CProver
Tools:
CSIsat
Tools:
CVC
Tools:
ESBMC
Tools:
Eldarica
Tools:
Frama-C is an open-source, extensible platform dedicated to the source-code analysis of C software. It integrates several analysis techniques, including abstract interpretation, deductive verification, and runtime verification.
Tools:
Glucose
Tools:
Golem
Tools:
JPF
Tools:
JavaSMT
Tools:
Klee is a symbolic executor of LLVM IR code.
Tools:
LiSA
Tools:
MathSAT
Tools:
MiniSAT
Tools:
PCSat
Tools:
SMTinterpol
Tools:
Smt-Switch
Tools:
Symbiotic is a program analysis framework integrating scripts for compilation and various 3rd party libraries and tools for program slicing, point-to analysis, and verification.
Tools:
Ultimate
Tools:
Viper
Tools:
Yices2
Tools:
Z3
Tools:
cvc5
Tools:
