BinSIM: Trace-based semantic binary diffing via system call sliced segment equivalence checking

Keyphrases

• System Call 100%
• Binary Diffing 100%
• Trace-based 100%
• Obfuscation 50%
• Symbolic Execution 50%
• Semantic Similarity 50%
• Runtime Behavior 25%
• Hybrid Method 25%
• Resilience 25%
• Model Code 25%
• Semantic Bases 25%
• Malware 25%
• Malware Sample 25%
• Source Code Plagiarism Detection 25%
• Lineage Inference 25%
• Obfuscation Techniques 25%
• Code Obfuscation 25%
• Behavioral Coding 25%
• Execution Trace 25%
• Fine-grained Semantic 25%
• Software Security Analysis 25%
• Binary Executables 25%
• Malware Variants 25%
• Observable Behaviors 25%

Computer Science

• System Calls 100%
• Malware 100%
• Equivalence Checking 100%
• Symbolic Execution 66%
• Experimental Result 33%
• Obfuscation 33%
• Plagiarism Detection 33%
• Malware Sample 33%
• Security Analysis 33%
• Obfuscation Technique 33%
• Software Security 33%
• Execution Trace 33%