作者
Lannan Luo, Jiang Ming, Dinghao Wu, Peng Liu, Sencun Zhu
发表日期
2014/11/11
图书
Proceedings of the 22nd ACM SIGSOFT international symposium on foundations of software engineering
页码范围
389-400
简介
Existing code similarity comparison methods, whether source or binary code based, are mostly not resilient to obfuscations. In the case of software plagiarism, emerging obfuscation techniques have made automated detection increasingly difficult. In this paper, we propose a binary-oriented, obfuscation-resilient method based on a new concept, longest common subsequence of semantically equivalent basic blocks, which combines rigorous program semantics with longest common subsequence based fuzzy matching. We model the semantics of a basic block by a set of symbolic formulas representing the input-output relations of the block. This way, the semantics equivalence (and similarity) of two blocks can be checked by a theorem prover. We then model the semantics similarity of two paths using the longest common subsequence with basic blocks as elements. This novel combination has resulted in strong …
学术搜索中的文章
L Luo, J Ming, D Wu, P Liu, S Zhu - Proceedings of the 22nd ACM SIGSOFT international …, 2014