Main.v() entry point for disassembling bytecode into Instructions; this method converts the given single bytecode into an Instruction (with label set

Eliminate Phi nodes in block by naively replacing them with shimple assignment statements in the control flow predecessors. Returns true if new locals

Performs 2 simple inter-block optimizations in order to keep some variables on the stack between blocks. Both are intented to catch 'if' like con

Emit the action table. @param out stream to produce output on. @param act_tab the internal representation of the action table. @pa

Swallow up a code string. Code strings begin with "{:" and include all characters up to the first occurrence of ":}" (there is no way to

Process an identifier. Identifiers begin with a letter, underscore, or dollar sign, which is followed by zero or more letters, numbers, underscores

Emit the reduce-goto table. @param out stream to produce output on. @param red_tab the internal representation of the reduce-goto table.

Double Set New -- Select implementation of points-to set for new part of double set. Select an implementation for sets of new objects in the double po

Double Set Old -- Select implementation of points-to set for old part of double set. Select an implementation for sets of old objects in the double po

Dump the each summary computed by the interprocedural analysis as a seperate graph. @param prefix is prepended before method name in output filename

Method that will draw a {@link DotGraph} representation of the control flow in this type of graph. This method is intended for use within {@link soot

Dump the AST node for debugging purposes.

Dump the settings of the parameters, for debugging purposes.

@param lvNode @param ps

Dump Answer -- Dump computed reaching types for comparison with other solvers. When this option is set to true, the computed reaching types for each v

Produce a human readable dump of the grammar.

Dump HTML -- Dump pointer assignment graph to HTML for debugging. When this option is set to true, a browseable HTML representation of the pointer ass

Dump one .dot for each intra-procedural method analysis (long) -- .

Produce a (semi-) human readable dump of the complete viable prefix recognition state machine.

Dump one .dot files for each method summary -- .

Produce a (semi-) human readable dumps of the parse tables

Dump Types -- Include declared types in dump. When this option is set to true, the representation dumped by the Dump PAG option includes type informat