rgrig/barista — Issue #8: print StackMapTable only at entry points of basic blocks
Author: rgrig
Created: 2012-01-18 20:52:57+00:00
State: open

The flowgraph should be built during symbolic execution (especially because of JSR). Then symbolic execution should also return this graph. Finally, [compute_max_stack_locals] should filter the entry points of basic blocks (using the flow graph).