Zhaoqi Xiao's repositories
AFLplusplus-CS250
The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!
codeql
CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security
fgm
Implementation of Factorized Graph Matching
Reversi_keyun
A clean implementation based on AlphaZero for any game in any framework + tutorial + Othello/Gobang/TicTacToe/Connect4 and more
spdlog
Fast C++ logging library.
symcc-CS250
SymCC: efficient compiler-based symbolic execution
symqemu-CS250
SymQEMU: Compilation-based symbolic execution for binaries
symsan
A LLVM Sanitizer for Symbolic Tracing
vscode-codeql-starter
Starter workspace to use with the CodeQL extension for Visual Studio Code.
website
oatpp.io public website
Windows-Driver-Developer-Supplemental-Tools
Supplemental open-source components for use in developing device drivers for Windows.
xv6-riscv
Xv6 for RISC-V, use as cs202 project