Equational Reasoning on x86 Assembly Code

Coogan, Kevin; Debray, Saumya

doi:10.1109/scam.2011.15

Search citation statements

Order By: Relevance

Paper Sections

Select...

A Call Obfuscation Example1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2011

2019

Publication Types

Select...

Other4

Book1

Relationship

Self Cite0

Independent5

Authors

Journals

Cited by 7 publications

(1 citation statement)

References 17 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Our approach of using field inference [14] for registers seems novel and is conceptually simpler than approaches based on program transformation [27].…”

Section: A Call Obfuscation Examplementioning

confidence: 99%

Precise Static Analysis of Binaries by Extracting Relational Information

Sepp

Mihaila

Simon

2011

2011 18th Working Conference on Reverse Engineering

View full text Add to dashboard Cite

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 fixpoints of loops.

show abstract

“…Our approach of using field inference [14] for registers seems novel and is conceptually simpler than approaches based on program transformation [27].…”

Section: A Call Obfuscation Examplementioning

confidence: 99%