Automatic extraction of function bodies from software binaries

Authors:
Gaurav Mittal;David Zaretsky;Gokhan Memik;Prith Banerjee
Affiliations:
Northwestern University, Evanston, IL;Northwestern University, Evanston, IL;Northwestern University, Evanston, IL;Northwestern University, Evanston, IL
Venue:
Proceedings of the 2005 Asia and South Pacific Design Automation Conference
Year:
2005

Citing 15
Cited 3

Constructing the Procedure Call Multigraph

IEEE Transactions on Software Engineering
A formal model and specification language for procedure calling conventions

POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Advanced compiler design and implementation

Advanced compiler design and implementation
Dynamo: a transparent dynamic optimization system

PLDI '00 Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation
High-level data flow analysis

Communications of the ACM
Flow Analysis of Computer Programs

Flow Analysis of Computer Programs
Synthesis and Optimization of Digital Circuits

Synthesis and Optimization of Digital Circuits
Dynamic and Transparent Binary Translation

Computer
Binary Translation: Static, Dynamic, Retargetable?

ICSM '96 Proceedings of the 1996 International Conference on Software Maintenance
Hardware/software partitioning of software binaries

Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design
Identifying Library Functions in Executable Files Using Patterns

ASWEC '98 Proceedings of the Australian Software Engineering Conference
Procedure Abstraction Recovery from Binary Code

CSMR '00 Proceedings of the Conference on Software Maintenance and Reengineering
Evaluation of scheduling and allocation algorithms while mapping assembly code onto FPGAs

Proceedings of the 14th ACM Great Lakes symposium on VLSI
Automatic translation of software binaries onto FPGAs

Proceedings of the 41st annual Design Automation Conference
Overview of the FREEDOM Compiler for Mapping DSP Software to FPGAs

FCCM '04 Proceedings of the 12th Annual IEEE Symposium on Field-Programmable Custom Computing Machines

Automatic translation of software binaries onto FPGAs

Proceedings of the 41st annual Design Automation Conference
An overview of a compiler for mapping software binaries to hardware

IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Generation of control and data flow graphs from scheduled and pipelined assembly code

LCPC'05 Proceedings of the 18th international conference on Languages and Compilers for Parallel Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper describes a method for automatically extracting function bodies from linked software binaries. It utilizes procedure-calling conventions along with limited control and data flow information. It has been tested with the TI C6000 DSP processor platform. Results are reported on eight benchmarks for which our algorithm successfully identifies all functions. It identifies 198% more functions than by the use procedure calling conventions alone.