Write a Blog >>
ASE 2021
Sun 14 - Sat 20 November 2021 Australia
Thu 18 Nov 2021 22:00 - 22:20 at Kangaroo - Analysis III Chair(s): Jifeng Xuan

In this paper, we address the problem of finding a correspondence, or matching, between the functions of two programs in binary form, which is one of the most common task in binary diffing. We introduce a new formulation of this problem as a particular instance of a graph edit problem over the call graphs of the programs. In this formulation, the quality of a mapping is evaluated simultaneously with respect to both function content and call graph similarities. We show that this formulation is equivalent to a network alignment problem. We propose a solving strategy for this problem based on max-product belief propagation. Finally, we implement a prototype of our method, called QBinDiff, and propose an extensive evaluation which shows that our approach outperforms state of the art diffing tools.

Thu 18 Nov

Displayed time zone: Hobart change

22:00 - 23:00
Analysis IIINIER track / Research Papers at Kangaroo
Chair(s): Jifeng Xuan Wuhan University
22:00
20m
Talk
Binary Diffing as a Network Alignment Problem via Belief Propagation
Research Papers
Elie Mengin SAMM, EA 4543 - Université Paris 1 Panthéon-Sorbonne, Fabrice Rossi CEREMADE, CNRS, UMR 7534 - Université Paris-Dauphine, PSL University
22:20
20m
Talk
CiFi: Versatile Analysis of Class and Field ImmutabilityACM Distinguished Paper
Research Papers
Tobias Roth Technische Universität Darmstadt, Dominik Helm Technische Universität Darmstadt, Michael Reif Technische Universität Darmstadt, Mira Mezini Technische Universität Darmstadt
22:40
10m
Talk
Assessing Robustness of ML-Based Program Analysis Tools using Metamorphic Program Transformations
NIER track
Leonhard Applis Delft University of Technology, Annibale Panichella Delft University of Technology, Arie van Deursen Delft University of Technology, Netherlands
Pre-print
22:50
10m
Talk
Defeating program analysis techniques via Ambiguous Translation
NIER track
Chijung Jung University of Virginia, Doowon Kim University of Tennessee, Knoxville, Weihang Wang University at Buffalo, SUNY, Yunhui Zheng IBM Research, Kyu Hyung Lee University of Georgia, Yonghwi Kwon University of Virginia