Towards Practical Binary Code Similarity Detection: Vulnerability Verification Via Patch Semantic Analysis
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY（2023）
Key words
Patch detection,vulnerability detection,under constrained symbolic execution,malicious function input
AI Read Science
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined