nac2cdfg help
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.