Adian Chien's repositories
fuzzing
Tutorials, examples, discussions, research proposals, and other resources related to fuzzing
cs_books
Computer science books Recommended by AzatAI. (Education ONLY)
Angora
Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.
easy-coverage
A simple clover.xml parser.
JQF
JQF + Zest: Coverage-guided semantic fuzzing for Java.
healer
Kernel fuzzer inspired by Syzkaller.
FuzzingPaper
Recent Fuzzing Paper
actions-NjuHealthReport
自动完成 NJU 每日健康填报(Github Actions),So easy
mull
Practical mutation testing tool for C and C++
2021AST_Impl_Topics
Implementation topics for Automated Software Testing course 2021
2021-AutomatedSoftwareTesting
Experimental objects for implementation in program analysis direction.
fuzzer-test-suite
Set of tests for fuzzing engines
AFL
american fuzzy lop - a security-oriented fuzzer
evosuite
EvoSuite - automated generation of JUnit test suites for Java classes
SyzVegas
Syzkaller with MAB scheduling and seed selection
jd-core
JD-Core is a JAVA decompiler written in JAVA.
QRXqrx.github.io
A personal website.
awesome-symbolic-execution
A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
jpf-core
JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.
jpf-symbc
Symbolic PathFinder
antlr4
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
Data-Science-Notes
数据科学的笔记以及资料搜集
soot
Soot - A Java optimization framework
test-selection-demo
A test selection demo implemented using wala framework.
pitest
State of the art mutation testing system for the JVM
itstack-demo-bytecode
本专栏主要针对字节码编程系列知识栈进行编写文章学习。在字节码编程方便有三个比较常见的框架;ASM、Javassit、Byte-buddy,他们都可以使用自己的API方式进行字节码的插装,通过这样增强方法的方式就可以和Javaagent结合起来开发非入侵的全链路监控服务,以及做反射、中间件和混淆代码等
ara
Agile Regression Analyzer
jd-cli
Command line Java Decompiler
junit4
A programmer-oriented testing framework for Java.