Login | Register

BinType: A Scalable Type Inference Tool for Compiled C Programs


BinType: A Scalable Type Inference Tool for Compiled C Programs

Mondal, Briti Sundar (2016) BinType: A Scalable Type Inference Tool for Compiled C Programs. Masters thesis, Concordia University.

Text (application/pdf)
Mondal_MASc_F2016.pdf - Accepted Version
Available under License Spectrum Terms of Access.


Reverse-engineering program binaries often relies on the recovery of high-level data abstractions. In particular, recovering variables and their type is challenging as most such information is lost during compilation. Although past proposals seem to have addressed this problem, their approaches are either not scalable and suffer from coverage issues (e.g., dynamic analysis), or yield insufficient precision by staying too conservative (e.g., static analysis). Furthermore, most recent works lift assembly to Intermediate Representation (IR), which standardizes low-level operations, and may lose some useful semantics for type inference. In this thesis, we propose BinType, a static analysis-based, scalable, precise and conservative tool that works directly on x86 assembly to automatically reveal type information of variables and function arguments. BinType is 45% more precise than TIE (NDSS’11) on a dataset 3.5 times larger, and orders of magnitude faster than its underlying algorithm. We also show that our tool makes a significant impact on the accuracy of a recent tool on binary to source matching.

Divisions:Concordia University > Gina Cody School of Engineering and Computer Science > Concordia Institute for Information Systems Engineering
Item Type:Thesis (Masters)
Authors:Mondal, Briti Sundar
Institution:Concordia University
Degree Name:M.A. Sc.
Program:Information Systems Security
Date:26 August 2016
Thesis Supervisor(s):Mannan, Mohammad
Keywords:Reverse engineering, binary, source, code, matching, clone, type inference, assembly
ID Code:981552
Deposited On:08 Nov 2016 15:57
Last Modified:18 Jan 2018 17:53
All items in Spectrum are protected by copyright, with all rights reserved. The use of items is governed by Spectrum's terms of access.

Repository Staff Only: item control page

Downloads per month over past year

Back to top Back to top