aytey

ifc-reader

bitwuzla

Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name is derived from an Austrian dialect expression that can be translated as “someone who tinkers with bits”.

psychec

A compiler frontend for the C programming language

jazzer

Coverage-guided, in-process fuzzing for the JVM

cryptominisat

An advanced SAT solver

klee

KLEE Symbolic Execution Engine

crucible

Crucible is a library for symbolic simulation of imperative programs

bitwuzla.github.io

https://bitwuzla.github.io

infersharp

Infer# is an interprocedural and scalable static code analyzer for C#. Via the capabilities of Facebook's Infer, this tool detects null dereferences, resource leaks, and thread-safety violations. It also performs taint flow tracking to detect critical security vulnerabilities like SQL injections.

crab

A library for building abstract interpretation-based analyses

ghidra

Ghidra is a software reverse engineering (SRE) framework

btor2tools

A generic parser and tool package for the BTOR2 format.

lingeling

Lingeling SAT Solver

boolector

A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.