• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Automated Analysis of ARM Binaries Using the Low-Level Virtual Machine Compiler Framework

Automated Analysis of ARM Binaries Using the Low-Level Virtual Machine Compiler Framework

Hardcover

General ComputersProgrammingComputer Security

ISBN10: 1025112261
ISBN13: 9781025112268
Publisher: Hutson Street Press
Published: May 22 2025
Pages: 104
Weight: 0.72
Height: 0.31 Width: 6.14 Depth: 9.21
Language: English

Binary program analysis is a critical capability for offensive and defensive operations in Cyberspace. However, many current techniques are ineffective or time-consuming and few tools can analyze code compiled for embedded processors such as those used in network interface cards, control systems and mobile phones. This research designs and implements a binary analysis system, called the Architecture-independent Binary Abstracting Code Analysis System (ABACAS), which reverses the normal program compilation process, lifting binary machine code to the Low-Level Virtual Machine (LLVM) compiler's intermediate representation, thereby enabling existing security-related analyses to be applied to binary programs. The prototype targets ARM binaries but can be extended to support other architectures. Several programs are translated from ARM binaries and analyzed with existing analysis tools. Programs lifted from ARM binaries are an average of 3.73 times larger than the same programs compiled from a high-level language (HLL).

1 different editions

Also available

Also from

Scott, Jeffrey B.

Also in

Computer Security