2 papers
cs.LO2019
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…
cs.FL2019
Reachability Analysis of Self Modifying Code
Tayssir Touili, Xin Ye
A Self modifying code is code that modifies its own instructions during execution time. It is nowadays widely used, especially in malware to make the code hard to analyse and to de…