author: fe1w0
按照以下命令进行环境部署。
# 编译
mvn clean package -DskipTests
# fuzz - 默认使用 Zest 算法
mvn jqf:fuzz -Djqf.failOnDeclaredExceptions=true -Dclass=xyz.xzaslxr.fuzzing.FuzzChainsTest -Dmethod=fuzz -Dtime=5s
# repro
mvn jqf:repro -Djqf.failOnDeclaredExceptions=true -Dclass=xyz.xzaslxr.fuzzing.FuzzChainsTest -Dmethod=reportFuzz -Dtime=5s -Dinput=/Users/fe1w0/Project/SoftWareAnalysis/Dynamic/FuzzChains/target/fuzz-results/xyz.xzaslxr.fuzzing.FuzzChainsTest/fuzz/failures/id_000000
使用 DeSerVulnAnalysis(基于doop修改) 扫描,得到 PropertyTree 和 CoveragePath, 这两类文件。
- 1 期目标:
- 支持以下功能:
- 提供基本的Fuzzing功能
- JQF
- 支持 根据 Property Trees 构造Fuzzing 种子
- propertyTreeNode
- 实现 Chains-Coverage Directed Fuzzing
- 根据 example.jar 手工编写 paths.csv (1.0 版)
- 编写新的 Guidance,从而实现 Chains-Coverage Directed Fuzzing
- 可以测试DataSet中的example
- 提供基本的Fuzzing功能
- 支持以下功能:
- 2 期目标:
- 完善 Generator,补充 和 Reference Types
- 测试真实软件