Documentation

Overview

The restructure tool recovers control flow primitives from DOT control flow graphs (*.dot -> *.json).

The input of restructure is a Graphviz DOT file, containing the unstructured control flow graph of a function, and the output is a JSON stream describing how the recovered high-level control flow primitives relate to the nodes of the control flow graph.

Usage:

restructure [OPTION]... FILE.dot

Flags:

-entry string
      entry node of the control flow graph
-indent
      indent JSON output
-o string
      output path
-q    suppress non-error messages
-steps
  	output intermediate control flow graphs at each step

Source Files