Qingkai Shi

canary. A unification-based alias analysis and related tools

netlifter. Lifting network implementation to precise format specification

context-sensitive-reachability. Indexing reachability for context-sensitive data flow analysis.

SVF. Static Value-Flow Analysis in LLVM

.mybin. Some useful commands

qingkaishi.github.io. HTML

locksmith. My version of locksmith, a static race detector for c

swan. Verifying synchronization for atomicity violation fixing

mutation. Tools for mutation analysis - A simple mutation python script.

concurrency-bugs. A collection of concurrency bugs (http://www.eecs.umich.edu/~jieyu/bugs.html).

dikin_walk. Dikin walk polytope sampling