Ogawa, M. Malware Analysis: A Perspective from Dynamic Symbolic Execution of Binary Code. ISJ 2025, 2, 5-20.