Intermediate-representation recovery from low-level code

Authors:
Thomas Reps;Gogul Balakrishnan;Junghee Lim
Affiliations:
University of Wisconsin-Madison;University of Wisconsin-Madison;University of Wisconsin-Madison
Venue:
Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Year:
2006

Citing 27
Cited 18

Interprocedural side-effect analysis in linear time

PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation
Interprocedural slicing using dependence graphs

ACM Transactions on Programming Languages and Systems (TOPLAS)
ATOM: a system for building customized program analysis tools

PLDI '94 Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation
Efficient context-sensitive pointer analysis for C programs

PLDI '95 Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation
EEL: machine-independent executable editing

PLDI '95 Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation
Alias analysis of executable code

POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
AnnoDomini: from type theory to Year 2000 conversion tool

Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Aggregate structure identification and its application to program analysis

Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Bandera: extracting finite-state models from Java source code

Proceedings of the 22nd international conference on Software engineering
A static analyzer for finding dynamic programming errors

Software—Practice & Experience
Data Dependence Analysis of Assembly Code

International Journal of Parallel Programming - Special issue on instruction-level parallelism and parallelizing compilation, part 2
Lazy abstraction

POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
ESP: path-sensitive program verification in polynomial time

PLDI '02 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation
Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints

POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Hacker's Delight

Hacker's Delight
MOPS: an infrastructure for examining security properties of software

Proceedings of the 9th ACM conference on Computer and communications security
A generic approach to the static analysis of concurrent programs with procedures

POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Intraprocedural Static Slicing of Binary Executables

ICSM '97 Proceedings of the International Conference on Software Maintenance
Abstract Interpretation-Based Certification of Assembly Code

VMCAI 2003 Proceedings of the 4th International Conference on Verification, Model Checking, and Abstract Interpretation
Static Analysis of Binary Code to Isolate Malicious Behaviors

WETICE '99 Proceedings of the 8th Workshop on Enabling Technologies on Infrastructure for Collaborative Enterprises
Assembly to High-Level Language Translation

ICSM '98 Proceedings of the International Conference on Software Maintenance
Practical and Accurate Low-Level Pointer Analysis

Proceedings of the international symposium on Code generation and optimization
Weighted pushdown systems and their application to interprocedural dataflow analysis

Science of Computer Programming - Special issue: Static analysis symposium (SAS 2003)
Checking system rules using system-specific, programmer-written compiler extensions

OSDI'00 Proceedings of the 4th conference on Symposium on Operating System Design & Implementation - Volume 4
Weighted pushdown systems and their application to interprocedural dataflow analysis

SAS'03 Proceedings of the 10th international conference on Static analysis
A next-generation platform for analyzing executables

APLAS'05 Proceedings of the Third Asian conference on Programming Languages and Systems
Extended weighted pushdown systems

CAV'05 Proceedings of the 17th international conference on Computer Aided Verification

Analysis of modular arithmetic

ACM Transactions on Programming Languages and Systems (TOPLAS) - Special Issue ESOP'05
WYSINWYX: What You See Is Not What You eXecute

Verified Software: Theories, Tools, Experiments
Automatic instrumentation of embedded software for high level hardware/software co-simulation

Proceedings of the 2009 Asia and South Pacific Design Automation Conference
Context-sensitive analysis of obfuscated x86 executables

Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation
WYSINWYX: What you see is not what you eXecute

ACM Transactions on Programming Languages and Systems (TOPLAS)
DIVINE: discovering variables in executables

VMCAI'07 Proceedings of the 8th international conference on Verification, model checking, and abstract interpretation
Improved memory-access analysis for x86 executables

CC'08/ETAPS'08 Proceedings of the Joint European Conferences on Theory and Practice of Software 17th international conference on Compiler construction
A system for generating static analyzers for machine instructions

CC'08/ETAPS'08 Proceedings of the Joint European Conferences on Theory and Practice of Software 17th international conference on Compiler construction
Interprocedural control flow reconstruction

APLAS'10 Proceedings of the 8th Asian conference on Programming languages and systems
Statically-directed dynamic automated test generation

Proceedings of the 2011 International Symposium on Software Testing and Analysis
Side-effect analysis of assembly code

SAS'11 Proceedings of the 18th international conference on Static analysis
Context-sensitive analysis without calling-context

Higher-Order and Symbolic Computation
Beyond reachability: shape abstraction in the presence of pointer arithmetic

SAS'06 Proceedings of the 13th international conference on Static Analysis
Recency-Abstraction for heap-allocated storage

SAS'06 Proceedings of the 13th international conference on Static Analysis
There's plenty of room at the bottom: analyzing and verifying machine code

CAV'10 Proceedings of the 22nd international conference on Computer Aided Verification
Directed proof generation for machine code

CAV'10 Proceedings of the 22nd international conference on Computer Aided Verification
TSL: A System for Generating Abstract Interpreters and its Application to Machine-Code Analysis

ACM Transactions on Programming Languages and Systems (TOPLAS)
Architecture-Independent dynamic information flow tracking

CC'13 Proceedings of the 22nd international conference on Compiler Construction

Quantified Score

Hi-index	0.00

Visualization

Abstract

The goal of our work is to create tools that an analyst can use to understand the workings of COTS components, plugins, mobile code, and DLLs, as well as memory snapshots of worms and virus-infected code. This paper describes how static analysis provides techniques that can be used to recover intermediate representations that are similar to those that can be created for a program written in a high-level language.