Precise Static Analysis of Binaries by Extracting Relational Information

Authors:
Alexander Sepp;Bogdan Mihaila;Axel Simon
Affiliations:
-;-;-
Venue:
WCRE '11 Proceedings of the 2011 18th Working Conference on Reverse Engineering
Year:
2011

Citing 0
Cited 4

GDSL: A Generic Decoder Specification Language for Interpreting Machine Language

Electronic Notes in Theoretical Computer Science (ENTCS)
Abstract interpretation of microcontroller code: Intervals meet congruences

Science of Computer Programming
MAIL: Malware Analysis Intermediate Language: a step towards automating and optimizing malware detection

Proceedings of the 6th International Conference on Security of Information and Networks
The GDSL toolkit: Generating Frontends for the Analysis of Machine Code

Proceedings of ACM SIGPLAN on Program Protection and Reverse Engineering Workshop 2014

Quantified Score

Hi-index	0.00

Visualization

Abstract

While the reconstruction of the control-flow graph of a binary has received wide attention, the challenge of categorizing code into defect-free and possibly incorrect remains a challenge for current static analyses. We present the intermediate language RREIL and a corresponding analysis framework that is able to infer precise numeric information on variables without resorting to an expensive analysis at the bit-level. Specifically, we propose a hierarchy of three interfaces to abstract domains, namely for inferring memory layout, bit-level information and numeric information. Our framework can be easily enriched with new abstract domains at each level. We demonstrate the extensibility of our framework by detailing a novel acceleration technique (a so-called widening) as an abstract domain that helps to find precise fix points of loops.