LTL Model Checking of Self Modifying Code

Tayssir Touili, Xin Ye

Self modifying code is code that can modify its own instructions during the execution of the program. It is extensively used by malware writers to obfuscate their malicious code. T…