Graduate Thesis in SJTU - targetting ASE

Input Generation- Semantic Fusion Part

/obfuscator/my_Semantic_Fusion/easyFusion.py

Test Script

/obfuscator/my_Semantic_Fusion/testScriptClass.py More detailed information can be found at /obfuscator/my_Semantic_Fusion/Readme.md

Jpf Part

jpf-symboc/src/examples/mytest_SE

SPF Unit Test Result

/obfuscator/my_Semantic_Fusion/APermanentResult/UnitTest/resultAnalyze.md