ZJU-Programming-Languages-Group

Pinned Repositories

arlib
Automated Reasoning Lib
Language:Python61
canary
A unification-based alias analysis and related tools
Language:C++10 0 02
EasyBC
Tool chains of EasyBC
Language:C1 0 00
efmc
Software Model Checking via Exists-Forall Solving
Language:Slash4 3 00
fuzzlib
A library for fuzzing
Language:Python1 1 00
MeGASampler
SMTSampler: Efficient Stimulus Generation from Complex SMT Constraints
Language:SMT1 0 00
SMT
Language:Shell0 1 00
smt-playground
Language:C++3 1 00
smtfuzz
A fuzzer for SMT solvers
Language:Python19 2 13
SVF
Static Value-Flow Analysis Framework for Source Code
Language:C++1 0 00

ZJU-Programming-Languages-Group's Repositories

ZJU-Automated-Reasoning-Group/smtfuzz
A fuzzer for SMT solvers
Language:Python19 2 13
ZJU-Automated-Reasoning-Group/canary
A unification-based alias analysis and related tools
Language:C++10 0 02
ZJU-Automated-Reasoning-Group/arlib
Automated Reasoning Lib
Language:Python61
ZJU-Automated-Reasoning-Group/pyomt
A library for Optimization Modulo Theory (OMT) solving
Language:Python5 1 0
ZJU-Automated-Reasoning-Group/efmc
Software Model Checking via Exists-Forall Solving
Language:Slash4 3 00
ZJU-Automated-Reasoning-Group/EasyBC
Tool chains of EasyBC
Language:C1 0 00
ZJU-Automated-Reasoning-Group/MeGASampler
SMTSampler: Efficient Stimulus Generation from Complex SMT Constraints
Language:SMT1 0 00
ZJU-Automated-Reasoning-Group/ptafuzz
A library for fuzzing
Language:Python1
ZJU-Automated-Reasoning-Group/SVF
Static Value-Flow Analysis Framework for Source Code
Language:C++1 0 00
ZJU-Automated-Reasoning-Group/SMT
Language:Shell0 1 00
ZJU-Automated-Reasoning-Group/libiberty
Language:C
ZJU-Automated-Reasoning-Group/PythonStAn
A static analysis framework for Python
Language:Python0 0
ZJU-Automated-Reasoning-Group/z3alpha
Synthesizes efficient Z3 strategies tailored to your problem set! Repo for the IJCAI'24 paper: Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis.