Pinned Repositories
2021-AutomatedSoftwareTesting
Experimental objects for implementation in program analysis direction.
2021AST_Impl_Topics
Implementation topics for Automated Software Testing course 2021
academicpages.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
actions-NjuHealthReport
自动完成 NJU 每日健康填报（Github Actions），So easy
aflpp-dipri
A extended AFL++ with distance-based seed prioritization, i.e., DiPri
awesome-symbolic-execution
A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
dipri-artifacts
Artifacts of TOSEM'23 submission: *DiPri: Distance-based Seed Prioritization for Greybox Fuzzing*
fuzz-mut-demos
Demos of mutation testing and fuzz testing prepared for the Software Testing Course of NJU Software Institute.
NJU-AT-fuzz-targets
南京大学软件测试课，模糊测试方向大作业被测程序
test-code-transformation
This simple tool can split junit test method.
QRXqrx's Repositories
QRXqrx/fuzz-mut-demos
Demos of mutation testing and fuzz testing prepared for the Software Testing Course of NJU Software Institute.
QRXqrx/dipri-artifacts
Artifacts of TOSEM'23 submission: *DiPri: Distance-based Seed Prioritization for Greybox Fuzzing*
QRXqrx/aflpp-dipri
A extended AFL++ with distance-based seed prioritization, i.e., DiPri
QRXqrx/NJU-AT-fuzz-targets
南京大学软件测试课，模糊测试方向大作业被测程序
QRXqrx/test-code-transformation
This simple tool can split junit test method.
QRXqrx/academicpages.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
QRXqrx/Alphuzz
The implementation of Alphuzz
QRXqrx/boofuzz
A fork and successor of the Sulley Fuzzing Framework
QRXqrx/deepstate
A unit test-like interface for fuzzing and symbolic execution
QRXqrx/dynamorio
Dynamic Instrumentation Tool Platform
QRXqrx/fufuzz-artifacts
QRXqrx/funfuzz-artifacts
The code and data of the TOSEM submission of FunFuzz.
QRXqrx/fuzzbench
FuzzBench - Fuzzer benchmarking as a service.
QRXqrx/gllvm
Whole Program LLVM: wllvm ported to go
QRXqrx/GraphFuzz
GraphFuzz is an experimental framework for building structure-aware, library API fuzzers.
QRXqrx/honggfuzz
Security oriented software fuzzer. Supports evolutionary, feedback-driven fuzzing based on code coverage (SW and HW based)
QRXqrx/jattack
Compiler Testing using Template Java Programs (ASE22 Distinguished Paper Award)
QRXqrx/jq
Command-line JSON processor
QRXqrx/llvm-tutor
A collection of out-of-tree LLVM passes for teaching and learning
QRXqrx/magma
A ground-truth fuzzing benchmark suite based on real programs with real bugs.
QRXqrx/MarioFuzzy
A fuzz tool for super mario game. (2023SoftwareTesting)
QRXqrx/mosaic
The MOSAIC Operating Systems Model and Checker
QRXqrx/nautilus
A grammar based feedback Fuzzer
QRXqrx/NJUThesis
南京大学学位论文模板
QRXqrx/retrowrite
RetroWrite -- Retrofitting compiler passes through binary rewriting
QRXqrx/segfuzz
QRXqrx/SyzDescribe
QRXqrx/syzkaller
syzkaller is an unsupervised coverage-guided kernel fuzzer
QRXqrx/theme-academic-cv
🎓 无需编写任何代码即可轻松创建漂亮的学术网站 Easily create a beautiful academic résumé or educational website using Hugo and GitHub. No code.
QRXqrx/winafl
A fork of AFL for fuzzing Windows binaries