GTIRB: Intermediate Representation for Binaries

07/02/2019
by   Eric Schulte, et al.
0

GTIRB is an intermediate representation for binary analysis and transformation tools including disassemblers, lifters, analyzers, rewriters, and pretty-printers. GTIRB is designed to enable communication between tools in a format that ensures the basic information necessary for analysis and rewriting is provided while making no further assumptions about domain (e.g., malware vs. cleanware, or PE vs. ELF) or semantic interpretation (functional vs. operational semantics). This design supports the goals of (1) encouraging tool modularization and re-use allowing researchers and developers to focus on a single aspect of binary analysis and rewriting without committing to any single tool chain and (2) easing communication and comparison between tools.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
11/06/2022

MAIL: Malware Analysis Intermediate Language

This paper introduces and presents a new language named MAIL (Malware An...
research
09/16/2023

Btor2MLIR: A Format and Toolchain for Hardware Verification

Formats for representing and manipulating verification problems are extr...
research
07/28/2020

SoK: All You Ever Wanted to Know About x86/x64 Binary Disassembly But Were Afraid to Ask

Disassembly of binary code is hard, but necessary for improving the secu...
research
03/24/2022

Binary Lifter Evaluation

Binary rewriting gives software developers, consumers, attackers, and de...
research
09/28/2021

Data-driven insight into the puzzle-based cybersecurity training

Puzzle-based training is a common type of hands-on activity accompanying...
research
04/06/2020

Variable Shift SDD: A More Succinct Sentential Decision Diagram

The Sentential Decision Diagram (SDD) is a tractable representation of B...

Please sign up or login with your details

Forgot password? Click here to reset