Pinned Repositories
cb-multios
DARPA Challenges Sets for Linux, Windows, and macOS. Modified for FuzzBALL.
crix
Detect missing check bugs in OS kernels
d-s-se-directed-tests
Binary dynamic, static, and symbolic execution analysis tools for directed test generation
fast-pokeemu
Automatic emulator testing tool based on FuzzBALL and KEmuFuzzer
fb-qemu
Test QEMU by running it under FuzzBALL.
fuzzball
FuzzBALL: Vine-based Binary Symbolic Execution
fuzzball-loopsum
FuzzBALL with Loop Summarization (under progress)
fuzzball-mose
FuzzBALL with more kernel support
loopsum
Implement loop summarization on FuzzBALL and evaluate it with CGC benchmark.
type-infer
Binary based type (signedness) inference
yanxx297's Repositories
yanxx297/cb-multios
DARPA Challenges Sets for Linux, Windows, and macOS. Modified for FuzzBALL.
yanxx297/fast-pokeemu
Automatic emulator testing tool based on FuzzBALL and KEmuFuzzer
yanxx297/fb-qemu
Test QEMU by running it under FuzzBALL.
yanxx297/fuzzball-loopsum
FuzzBALL with Loop Summarization (under progress)
yanxx297/crix
Detect missing check bugs in OS kernels
yanxx297/d-s-se-directed-tests
Binary dynamic, static, and symbolic execution analysis tools for directed test generation
yanxx297/fuzzball
FuzzBALL: Vine-based Binary Symbolic Execution
yanxx297/fuzzball-mose
FuzzBALL with more kernel support
yanxx297/loopsum
Implement loop summarization on FuzzBALL and evaluate it with CGC benchmark.
yanxx297/type-infer
Binary based type (signedness) inference
yanxx297/guest-images
Scripts to automatically create VM images
yanxx297/hdrk
Custom leechblock blocking page
yanxx297/heapbuster-symbolic
yanxx297/homepage
Qiuchen Yan's website (powered by Hugo)
yanxx297/jpf-core
yanxx297/jpf-symbc
Symbolic PathFinder
yanxx297/libxml2
Read-only mirror of https://gitlab.gnome.org/GNOME/libxml2
yanxx297/linux
Linux kernel source tree
yanxx297/mose
yanxx297/mose-old
Proof Linux Kernel bugs found by static analysis using symbolic execution.
yanxx297/notes-asset
yanxx297/qemu-1.5.3
A modified version of qemu based on branch stable-1.5
yanxx297/qemu-mose
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.
yanxx297/resume
Resume and other documents for job hunting.
yanxx297/s2e
This is the main S2E repository. Visit https://s2e.systems/docs to get started.
yanxx297/s2e-env
Your S2E project management tools. Visit https://s2e.systems/docs to get started.
yanxx297/sv-benchmarks
Collection of Verification Tasks
yanxx297/syzkaller
syzkaller is an unsupervised coverage-guided kernel fuzzer
yanxx297/vex-mose
Modified VEX rev 3260 for MOSE project
yanxx297/yanxx297