Control Flow Reconstruction cont in PL Reading Group this week
5 views
Skip to first unread message
Anthony Sloane
Sep 11, 2018, 6:43:21 PM9/11/18
to O365-Group-Computing Academic, O365-Group-Computing Postgraduate, sci.plrg-reading-Google-Group
The programming languages reading group at Macquarie University, Department of Computing meets on (most) Fridays from 4pm in 9WW357 (formerly E6A357). All welcome. The reading group home page is at:
https://wiki.mq.edu.au/display/plrg/PL+Reading+Group
Our current topic is:
Control Flow Reconstruction
On September 14, Dominik Klumpp will present his work described below.
Control Flow Reconstruction for Binary Programs: A Trace Abstraction Refinement-Based Method
Binary code is a low-level machine code representation of programs that can be directly executed by a processor. Due to its low-level nature, it is well-suited for high-precision analyses of qualitative and quantitative properties (such as worst case execution time).However, establishing such properties of binary code is notoriously hard, because the code is unstructured and can contain indirect jumps (gotos) whose target address is dynamically calculated at runtime. As a result, standard software analysis techniques that rely on the availability of the control flow graph (CFG) of a program cannot be directly applied to the analysis of binary code.
In this talk, we address the problem of constructing CFGs for binary programs. We present a novel technique based on trace abstraction refinement, and demonstrate that our technique constructs CFGs satisfying several formally-defined quality criteria.
Dominik Klumpp is a student in the joint MSc. Software Engineering course at the University of Augsburg, the Technical University Munich and the Ludwig-Maximilians-University Munich. He is currently visiting at Macquarie University for his master thesis on control flow reconstruction for binary programs.
We hope to see you there.
Tony, Matt, Dom and Franck
https://wiki.mq.edu.au/display/plrg/PL+Reading+Group
Our current topic is:
Control Flow Reconstruction
On September 14, Dominik Klumpp will present his work described below.
Control Flow Reconstruction for Binary Programs: A Trace Abstraction Refinement-Based Method
Binary code is a low-level machine code representation of programs that can be directly executed by a processor. Due to its low-level nature, it is well-suited for high-precision analyses of qualitative and quantitative properties (such as worst case execution time).However, establishing such properties of binary code is notoriously hard, because the code is unstructured and can contain indirect jumps (gotos) whose target address is dynamically calculated at runtime. As a result, standard software analysis techniques that rely on the availability of the control flow graph (CFG) of a program cannot be directly applied to the analysis of binary code.
In this talk, we address the problem of constructing CFGs for binary programs. We present a novel technique based on trace abstraction refinement, and demonstrate that our technique constructs CFGs satisfying several formally-defined quality criteria.
Dominik Klumpp is a student in the joint MSc. Software Engineering course at the University of Augsburg, the Technical University Munich and the Ludwig-Maximilians-University Munich. He is currently visiting at Macquarie University for his master thesis on control flow reconstruction for binary programs.
We hope to see you there.
Tony, Matt, Dom and Franck
Reply all
Reply to author
Forward
0 new messages