nac2cdfg help

Date: 2012-05-31
Author: Nikolaos Kavvadias
Email:nikos@nkavvadias.com
Revision: 0.0.1 (2012-05-31)
Web site:http://www.nkavvadias.com
Copyright: Nikolaos Kavvadias (C) 2009, 2010, 2011, 2012

The usage of the nac2cdfg is as follows:

nac2cdfg [options] input.nac

where options is one or more of the following:

-d
Enable debug output.
-force-data-types
Force predefined data types as given in NAC code. Essentially disables the effect both interval analysis and the alternative of using the unknown data type na.
-permissive
Allows non-strict forms and macrostatements of the NAC programming language.
-ssa
Internal construction of SSA (Static Single Assignment) form.
-pseudo-ssa
Internal construction of local SSA-like form.
-use-appel
Enables SSA construction using Appel's algorithm.
-use-aycockhorspool
Enables SSA construction using the Aycock-Horspool algorithm (default).
-opt-spbb
Enables optimization 3 as discussed in the Aycock-Horspool paper, which omits generating phi statements for single-predecessor BBs. Supported only with -use-appel and -keep-ssa.
-keep-ssa
Does not perform out-of-SSA conversion and thus keeps PHI statements in the generated CDFGs.
-limit-nacs
Limits the number of NACs in a translation unit to NAC_LIMIT (about 25).
-emit-nac
Emit the equivalent NAC program after processing (including SSA conversion, if enabled).
-emit-ansic
Emit the equivalent ANSI C program after processing (including SSA conversion, if enabled).
-emit-cfg
Generate the Graphviz representations for all procedure CFGs.
-dump-varnum-nac
Dump the equivalent NAC program after SSA variable numbering.
-dump-phiins-nac
Dump the equivalent NAC program after SSA PHI insertion.
-dump-phimin-nac
Dump the equivalent NAC program after SSA PHI minimization.
-dump-phielm-nac
Dump the equivalent NAC program after SSA PHI elimination.
-dump-simdce-nac
Dump the equivalent NAC program after post-SSA dead code elimination.
-dump-tgf
Dump TGF (Trivial Graph Format) representations of program information.
-dump-arg
Dump ARG (attributed relational graph) representations of program information.
-dump-grh
Dump simple edge-list representations of program information.
-dump-poset
Dump poset (.p) file representations of program information.