BinMatch: A Semantics-Based Hybrid Approach on Binary Code Clone Analysis
Symbolic Execution of Obfuscated Code