Explore Projects

Discover 3 open source projects

Active filters (1):

Search: z3×

Showing 1-3 of 3 projects

The Z3 Theorem Prover is a powerful open-source SMT solver used for program verification and analysis.

12.0K

Active

C++

CLI Tools

#theorem-prover#smt-solver#program-analysis

Manticore is a symbolic execution tool for analyzing the behavior of binary programs, smart contracts, and more.

3.8K

Stable

Python

Testing

Security Research

Python

#binary-analysis#program-analysis#symbolic-execution

CrossHair is a static and dynamic analysis tool for Python that blends testing and type systems.

1.3K

Active

Python

Testing

API Frameworks

Python

#static-analysis#dynamic-analysis#symbolic-execution

Get weekly updates on trending AI coding tools and projects.