Chuyang Chen's repositories
AFLplusplus
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!
Alexandria
A minimalistic cross-platform eBook reader built with Tauri, Epub.js, and Typescript
cheatsheets
My cheatsheets for navi
ReflectiveTai-e
My implementation of Java reflection analysis on Tai-e
zotero
Zotero is a free, easy-to-use tool to help you collect, organize, cite, and share your research sources.
codon
A high-performance, zero-overhead, extensible Python compiler using LLVM
crucible
Crucible is a library for symbolic simulation of imperative programs
elmfuzz
Evolving fuzzers with large language models
fuzzbench
FuzzBench - Fuzzer benchmarking as a service.
intellij-foldable-project-view-renew
Plugin for IntelliJ-based IDEs folding root files in the ProjectView
isla
The ISLa (Input Specification Language) language & solver.
islearn
ISLearn is a tool for mining constraints on string inputs based on context-free grammars and the ISLa specification language.
javascriptcore-rs
JavaScriptCore bindings and wrappers for Rust
kleer
KLEE Symbolic Execution Engine
lava
LAVA: Large-scale Automated Vulnerability Addition
mimid
Forked from https://github.com/vrthra/mimid
pdf-reader
PDF reader for Zotero 6
pl-assignment-01
The 1st assignment of the PL siminar held by Institute of Computer Software at Nanjing University
pl-assignment-02
The 2nd assignment of the PL siminar held by Institute of Computer Software at Nanjing University
python-afl
American Fuzzy Lop fork server and instrumentation for pure-Python code
tencent-sandbox
Windows sandbox 腾讯全家桶沙盒配置
webkit2gtk-rs
WebKit2 bindings and wrappers for Rust
zsh-easy-motion
Vim's easy-motion for zsh