Pinned Repositories
arlib
Automated Reasoning Lib
canary
A unification-based alias analysis and related tools
EasyBC
Tool chains of EasyBC
efmc
Software Model Checking via Exists-Forall Solving
MeGASampler
SMTSampler: Efficient Stimulus Generation from Complex SMT Constraints
mlopt
smt
smtfuzz
A fuzzer for SMT solvers
sparrow
A static analyzer for building callgraphs of C/C++ programs
Spear
Static analysis for Python
ZJU-Programming-Languages-Group's Repositories
ZJU-Automated-Reasoning-Group/smtfuzz
A fuzzer for SMT solvers
ZJU-Automated-Reasoning-Group/canary
A unification-based alias analysis and related tools
ZJU-Automated-Reasoning-Group/arlib
Automated Reasoning Lib
ZJU-Automated-Reasoning-Group/efmc
Software Model Checking via Exists-Forall Solving
ZJU-Automated-Reasoning-Group/smt
ZJU-Automated-Reasoning-Group/sparrow
A static analyzer for building callgraphs of C/C++ programs
ZJU-Automated-Reasoning-Group/mlopt
ZJU-Automated-Reasoning-Group/Spear
Static analysis for Python
ZJU-Automated-Reasoning-Group/EasyBC
Tool chains of EasyBC
ZJU-Automated-Reasoning-Group/fuzzlib
A library for fuzzing
ZJU-Automated-Reasoning-Group/MeGASampler
SMTSampler: Efficient Stimulus Generation from Complex SMT Constraints
ZJU-Automated-Reasoning-Group/TPLite
ISSTA'23 - Third-party Library Dependency for Large-scale SCA in the C/C++ Ecosystem: How Far Are We?
ZJU-Automated-Reasoning-Group/DryadSynth
A SyGuS Solver
ZJU-Automated-Reasoning-Group/jkind
JKind - An infinite-state model checker for safety properties in Lustre
ZJU-Automated-Reasoning-Group/PythonStAn
A static analysis framework for Python
ZJU-Automated-Reasoning-Group/SVF
Static Value-Flow Analysis Framework for Source Code
ZJU-Automated-Reasoning-Group/z3
The Z3 Theorem Prover