Control Flow Obfuscation using Neural Network to Fight Concolic Testing?

Abstract. Concolic testing is widely regarded as the state-of-the-art technique in dynamic discovering and analyzing trigger-based behavior in software programs. It uses symbolic execution and an automatic the-orem prover to generate new concrete test cases to maximize code cover-age for scenarios like software verification and malware analysis. While malicious developers usually try their best to hide malicious executions