Pinned Repositories
.mybin
Some useful commands
canary
A unification-based alias analysis and related tools
concurrency-bugs
A collection of concurrency bugs (http://www.eecs.umich.edu/~jieyu/bugs.html).
context-sensitive-reachability
Indexing reachability for context-sensitive data flow analysis.
locksmith
My version of locksmith, a static race detector for c
mutation
Tools for mutation analysis - A simple mutation python script.
netlifter
Lifting network implementation to precise format specification
qingkaishi.github.io
SVF
Static Value-Flow Analysis in LLVM
swan
Verifying synchronization for atomicity violation fixing
qingkaishi's Repositories
qingkaishi/canary
A unification-based alias analysis and related tools
qingkaishi/netlifter
Lifting network implementation to precise format specification
qingkaishi/context-sensitive-reachability
Indexing reachability for context-sensitive data flow analysis.
qingkaishi/qingkaishi.github.io
qingkaishi/SVF
Static Value-Flow Analysis in LLVM
qingkaishi/.mybin
Some useful commands
qingkaishi/locksmith
My version of locksmith, a static race detector for c
qingkaishi/swan
Verifying synchronization for atomicity violation fixing
qingkaishi/mutation
Tools for mutation analysis - A simple mutation python script.
qingkaishi/concurrency-bugs
A collection of concurrency bugs (http://www.eecs.umich.edu/~jieyu/bugs.html).
qingkaishi/dikin_walk
Dikin walk polytope sampling
qingkaishi/CPU17-graphs
qingkaishi/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.
qingkaishi/frr
The FRRouting Protocol Suite
qingkaishi/grail
Automatically exported from code.google.com/p/grail
qingkaishi/jazzer
Coverage-guided, in-process fuzzing for the JVM
qingkaishi/klee
KLEE Symbolic Virtual Machine
qingkaishi/libace
Stand-alone C++ headers that tie other code together
qingkaishi/libdnet
libdnet provides a simplified, portable interface to several low-level networking routines.
qingkaishi/libite
Examples of intrusive container templates in C++.
qingkaishi/llvm-cbe
resurrected LLVM "C Backend", with improvements
qingkaishi/minijava
A small subset of Java grammar
qingkaishi/PGFuzz
Policy-Guided Fuzzing for Robotic Vehicles
qingkaishi/s2e
S2E - A Platform for In-Vivo Multi-Path Software Analysis
qingkaishi/sqlmap
Automatic SQL injection and database takeover tool
qingkaishi/sqlsmith
A random SQL query generator
qingkaishi/Thrille
The Thrille tool described in the FSE2010 paper "Automated Trace Simplification for Effective Debugging of Concurrent Programs"
qingkaishi/whole-program-llvm
A wrapper script to build whole-program LLVM bitcode files
qingkaishi/z3
The Z3 Theorem Prover