6 projects
py-veripy
A production-ready auto-active verification system for Python, similar to Dafny and Verus
probejs
A static analysis framework for JavaScript vulnerability detection
pyaria
A library for various automated reasoning tasks including SMT solving, model counting, and symbolic computation.
pyflow-analysis
A static compiler for Python
smtfuzz
A fuzzer for SMT solvers.
pyomt
An Optimization Modulo Theory Solver.
