Abstract:Program analysis is the heart of modern compilers. Most control flow analyses are reduced to the problem of finding a fixed point in a certain transition system, and such fixed point is commonly computed through an iterative procedure that repeats tracing until convergence.This paper proposes a new method to analyze programs through recursive graph traversals instead of iterative procedures, based on the fact that most programs (without spaghetti GOTO) have well-structured control flow graphs, graphs with bounded tree width. Our main techniques are; an algebraic construction of a control flow graph, called SP Term, which enables control flow analysis to be defined in a natural recursive form, and the Optimization Theorem, which enables us to compute optimal solution by dynamic programming.We illustrate our method with two examples; dead code detection and register allocation. Different from the traditional standard iterative solution, our dead code detection is described as a simple combination of bottom-up and top-down traversals on SP Term. Register allocation is more interesting, as it further requires optimality of the result. We show how the Optimization Theorem on SP Terms works to find an optimal register allocation as a certain dynamic programming.

Program Understanding Approach for Binary Code Based on Data Flow Analysis

Executable Program Structural Representation Tool Based on Flow Analysis

Data-Flow Based Model Analysis and Its Applications

Dependence Analysis for C Programs with Combinability of Dataflow Facts under Consideration

CP-BCS: Binary Code Summarization Guided by Control Flow Graph and Pseudo Code

An Automatic Examination Method for C Language Code Structure

Practical analysis of stripped binary code

A method for hidden malcode anomaly detection using dynamic control-flow analysis

Catamorphic Approach to Program Analysis

BDCom-C++: A C++ program understanding system

Iterative-free Program Analysis

Research and Implementation of Structure Inspection Algorithm for C Program Code

Novel Method of Control Flow and Structural Coverage Measurement for Object Code Verification

Automatically resolving virtual function calls in binary executables

BigDataflow: A Distributed Interprocedural Dataflow Analysis Framework

An Approach to Analyzing Dependence Based on Exception Propagation Analysis

Code function recognition approach based on LDA and static analysis

Code Generation for Abstract Data Types Based on Program Analysis

An efficient control flow security analysis approach for binary executables

Data Flow Computer

A Control Flow Diagram Generation Algorithm Based on Clang Static Analyzer