Zekun Shen's repositories
ConcLinkedList
Implementation of concurrent linked list. Lock-based and lock-free versions.
afl
american fuzzy lop (copy of the source code for easy access)
agamotto
Agamotto: Accelerating Kernel Driver Fuzzing with Lightweight Virtual Machine Checkpoints
GraKeL
A scikit-learn compatible library for graph kernels
klee
KLEE Symbolic Execution Engine
klee_concolic
A modified version of Klee that is able to do concolic tracing.
llvm
Mirror of official llvm git repository located at http://llvm.org/git/llvm. Updated every five minutes.
panda
Platform for Architecture-Neutral Dynamic Analysis
qemu
Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignored. Please only use release tarballs from the QEMU website.
xv6-public
Copy of xv6 for NYU Tandon CS3224
z3
The Z3 Theorem Prover