Qiuchen Yan's Projects
DARPA Challenges Sets for Linux, Windows, and macOS. Modified for FuzzBALL.
Detect missing check bugs in OS kernels
Binary dynamic, static, and symbolic execution analysis tools for directed test generation
Automatic emulator testing tool based on FuzzBALL and KEmuFuzzer
Test QEMU by running it under FuzzBALL.
FuzzBALL: Vine-based Binary Symbolic Execution
FuzzBALL with Loop Summarization (under progress)
FuzzBALL with more kernel support
Scripts to automatically create VM images
Custom leechblock blocking page
Qiuchen Yan's website (powered by Hugo)
Symbolic PathFinder
Read-only mirror of https://gitlab.gnome.org/GNOME/libxml2
Linux kernel source tree
Implement loop summarization on FuzzBALL and evaluate it with CGC benchmark.
Proof Linux Kernel bugs found by static analysis using symbolic execution.
Patched QEMU to work with (Fast) PokeEMU
A modified version of qemu based on branch stable-1.5
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.
Resume and other documents for job hunting.
This is the main S2E repository. Visit https://s2e.systems/docs to get started.
Your S2E project management tools. Visit https://s2e.systems/docs to get started.
Collection of Verification Tasks
syzkaller is an unsupervised coverage-guided kernel fuzzer
Binary based type (signedness) inference
Modified VEX rev 3260 for MOSE project