Online Help for Item: analyze-stack

% 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.