Deobfuscation of Virtualization-Obfuscated Code Through Symbolic Execution and Compilation Optimization.
Mingyue LiangZhoujun LiQiang ZengZhejun FangPublished in: ICICS (2017)
Keyphrases
- symbolic execution
- static analysis
- source code
- malicious code
- test generation
- test data generation
- specification language
- operating system
- optimization problems
- optimization algorithm
- code generation
- data flow
- instruction scheduling
- optimization method
- artificial intelligence
- open source
- reverse engineering
- software projects
- programming language
- genetic algorithm