Comparing Control Flow Graphs of Binary Programs through Match Propagation

被引：2
|
作者：
Lim, Hyun-il [1 ]
机构：
[1] Kyungnam Univ, Dept Comp Engn, Gyeongsangnam Do, South Korea
来源：
2014 IEEE 38TH ANNUAL INTERNATIONAL COMPUTERS, SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC) | 2014年
关键词：
control flow graph; binary program analysis; software comparison;
D O I：
10.1109/COMPSAC.2014.84
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
In this paper, we present an approach to comparing control flow graphs of binary programs by matching their basic blocks. We first set up an initial match and propagate it to reach a stable state. We consider the matched pairs to identify overall similarities. To evaluate the proposed method, we perform experiments on real-world Java applications, and compare their performance with previous structural matching method. In the experimental results, the proposed method shows more reliable results than previous method at distinguishing similar control flow graphs.
引用
收藏
页码：598 / 599
页数：2
相关论文
共 50 条
  • [11] Generating Functionally Equivalent Programs Having Non-isomorphic Control-Flow Graphs
    Geraud, Remi
    Koscina, Mirko
    Lenczner, Paul
    Naccache, David
    Saulpic, David
    [J]. SECURE IT SYSTEMS, NORDSEC 2017, 2017, 10674 : 265 - 279
  • [12] Widening with Thresholds for Programs with Complex Control Graphs
    Lakhdar-Chaouch, Lies
    Jeannet, Bertrand
    Girault, Alain
    [J]. AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, 2011, 6996 : 492 - 502
  • [13] Improving Similarity Measure for Java']Java Programs Based on Optimal Matching of Control Flow Graphs
    Qiu, Dehong
    Sun, Jialin
    Li, Hao
    [J]. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2015, 25 (07) : 1171 - 1197
  • [14] Invariant Generation through Strategy Iteration in Succinctly Represented Control Flow Graphs
    Gawlitza, Thomas Martin
    Monniaux, David
    [J]. LOGICAL METHODS IN COMPUTER SCIENCE, 2012, 8 (03)
  • [15] Learning on Graphs for Predictions of Fracture Propagation, Flow and Transport
    Djidjev, Hristo
    O'Malley, Daniel
    Viswanathan, Hari
    Hyman, Jeffrey
    Karra, Satish
    Srinivasan, Gowri
    [J]. 2017 IEEE INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM WORKSHOPS (IPDPSW), 2017, : 1532 - 1539
  • [16] Traces of Control-Flow Graphs
    Campanoni, Simone
    Reghizzi, Stefano Crespi
    [J]. DEVELOPMENTS IN LANGUAGE THEORY, PROCEEDINGS, 2009, 5583 : 156 - 169
  • [17] Enhanced control flow graphs in Montages
    Anlauff, M
    Kutter, PW
    Pierantonio, A
    [J]. PERSPECTIVES OF SYSTEM INFORMATICS, 2000, 1755 : 40 - 53
  • [18] CONTROL FLOW GRAPHS AND CODE COVERAGE
    Gold, Robert
    [J]. INTERNATIONAL JOURNAL OF APPLIED MATHEMATICS AND COMPUTER SCIENCE, 2010, 20 (04) : 739 - 749
  • [19] Formalizing Structured Control Flow Graphs
    Sabne, Amit
    Sakdhnagool, Putt
    Eigenmann, Rudolf
    [J]. LANGUAGES AND COMPILERS FOR PARALLEL COMPUTING, LCPC 2016, 2017, 10136 : 153 - 168
  • [20] Optimization of Reversible Control Flow Graphs
    Deworetzki, Niklas
    Gail, Lukas
    [J]. REVERSIBLE COMPUTATION, RC 2023, 2023, 13960 : 57 - 72
12345