Pinned Repositories
aZ3
A solver for All-solution Satisfiabiiity Modulo Theories
canary
MBA-Solver
PFAD
Pearls of Functional Algorithm Design
plfm-bib
Reference about PL and FM
rainoftime.github.io
rainoftime's Repositories
rainoftime/plfm-bib
Reference about PL and FM
rainoftime/rainoftime.github.io
rainoftime/canary
rainoftime/MBA-Solver
rainoftime/CPBenchmark
This repo contains the bc and source files of C/C++ projects used for value-flow analysis. The LLVM IR is in the version of 3.6.2.
rainoftime/CSrankings
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
rainoftime/cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
rainoftime/depthk
K-Induction adopting program invariants
rainoftime/dg
[LLVM Static Slicer] Dependence graph for programs. A set of generic program analyses and a static slicer for LLVM bitcode.
rainoftime/dr_checker
DR.CHECKER : A Soundy Vulnerability Detection Tool for Linux Kernel Drivers
rainoftime/DryadSynth
A SyGuS Solver
rainoftime/eldarica
The Eldarica model checker
rainoftime/fastsmt
Learning to Solve SMT Formulas Fast
rainoftime/GPUSAT
rainoftime/hello-abduction
Test of abduction using the MISTRAL SMT solver.
rainoftime/klee
KLEE Symbolic Execution Engine
rainoftime/llvm-cbe
resurrected LLVM "C Backend", with improvements
rainoftime/neurosat
NeuroSAT: Learning a SAT Solver from Single-Bit Supervision
rainoftime/opensmt
The opensmt solver
rainoftime/pda
The PDA loop summarization algorithm.
rainoftime/pysat
A toolkit for SAT-based prototyping in Python
rainoftime/qsym
QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing
rainoftime/SATfeatPy
rainoftime/scaler
Scalability-First Pointer Analysis with Self-Tuning Context-Sensitivity
rainoftime/seahorn
SeaHorn Verification Framework
rainoftime/smtfuzz.github.io
rainoftime/SVF
Static Value-Flow Analysis in LLVM
rainoftime/SVF-UAF
A use-after-free checker based on SVF.
rainoftime/yices2
The Yices SMT Solver
rainoftime/zipper
Precision-guided context sensitivity for pointer analysis