% avrora -help analyze-stack
Avrora [Beta 1.6.0] - (c) 2003-2005 UCLA Compilers Group
Usage: avrora [-action=action] [options]
Usage: avrora -help [category]
The "analyze-stack" option invokes the built-in stack analysis tool on the
specified program. It uses an abstract interpretation of the program to
determine the possible interrupt masks at each program point and determines
the worst-case stack depth in the presence of interrupts.
Help for the specific options accepted by this action is below.
-dump-state-space: boolean = false
This option causes the stack analyzer to print a dump of all
the reachable abstract states in the state space, as well as
all edges between states. This can be used for a post-mortem
-monitor-states: boolean = false
This option is used to monitor the progress of a long-running
stack analysis problem. The analyzer will report the count of
states, edges, and propagation information produced every 5
-reserve: long = 0
This option is used for reserving a small portion of memory
before the analysis begins, in case the Java heap space is
exhausted. This can happen with very large analyses. By
reserving some space up front, there is space left so that
post mortem graph analysis can be run. The units given are
-show-path: boolean = false
This option causes the stack analyzer to print out the
execution path corresponding to the maximal stack depth.
-trace: boolean = false
This option causes the stack analyzer to print a trace of each
abstract state produced, every edge between states that is
inserted, and all propagations performed during the analysis.
-trace-summary: boolean = true
This option is used to reduce the amount of output by
summarizing the error tracethat yields the maximal stack
depth. When true, the analysis will shorten the error trace by
not reporting edges between states of adjacent instructions
that do not change the stack height.
-use-isea: boolean = false
This option enables the use of information from
inter-procedural side effect analysis that may help in
reducing the memory usage during state exploration, without
affecting stack analysis precision. When this option is
enabled, the stack analyzer will consult the ISEA analysis
subsystem for each procedure call that it encounters in the
For more information, see the online documentation at
To report bugs or seek help, consult the Avrora mailing list:
Please include the version number [Beta 1.6.0] when posting to the list.