GitHub - 54ycf/JTestGenerator: 利用Soot框架，将字节码反编译，基于符号执行的测试数据自动生成

54ycf / JTestGenerator Public

利用Soot框架，将字节码反编译，基于符号执行的测试数据自动生成

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 7 Commits
.idea		.idea
src		src
.gitignore		.gitignore
com.microsoft.z3.jar		com.microsoft.z3.jar
crazyFun_cfg_label_with_SootCode.png		crazyFun_cfg_label_with_SootCode.png
crazyFun_cfg_label_with_index.png		crazyFun_cfg_label_with_index.png
ifElse_cfg_label_with_SootCode.png		ifElse_cfg_label_with_SootCode.png
ifElse_cfg_label_with_index.png		ifElse_cfg_label_with_index.png
loopAll_cfg_label_with_SootCode.png		loopAll_cfg_label_with_SootCode.png
loopAll_cfg_label_with_index.png		loopAll_cfg_label_with_index.png
multipleIf_cfg_label_with_SootCode.png		multipleIf_cfg_label_with_SootCode.png
multipleIf_cfg_label_with_index.png		multipleIf_cfg_label_with_index.png
pat_cfg_label_with_SootCode.png		pat_cfg_label_with_SootCode.png
pat_cfg_label_with_index.png		pat_cfg_label_with_index.png
pom.xml		pom.xml
soloIf_cfg_label_with_SootCode.png		soloIf_cfg_label_with_SootCode.png
soloIf_cfg_label_with_index.png		soloIf_cfg_label_with_index.png
test_insertAfter.png		test_insertAfter.png
test_insertBefore.png		test_insertBefore.png
test_new_invoke.png		test_new_invoke.png