Reachability Analysis of Self Modifying Code

DOI10.1142/s0129054122500290arXiv1909.12626MaRDI QIDQ6175214

Xin Ye, Tayssir Touili

Publication date: 18 August 2023

Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1909.12626

zbMATH Keywords

model-checkingreachability analysisself-modifying codepushdown-systems

Mathematics Subject Classification ID

Theory of computing (68Qxx) Theory of software (68Nxx) Computer science (68-XX)

Cites Work

• Unnamed Item
• Verified abstract interpretation techniques for disassembling low-level self-modifying code
• Efficient Malware Detection Using Model-Checking
• LTL Model-Checking for Malware Detection
• Computer Aided Verification
• Reachability analysis of pushdown automata: Application to model-checking
• LTL model checking of self modifying code