The max stack size may be determined using the CFG.
In some cases it can grow arbitrarily large (in the CFG, not in the execution of the EVM).
We can compute the max size as a fixed point (using a lattice with +infty) in case it grows arbitrarily large.
To do
Implement fixed point computation of max stack size.
Add information to the DOT file.
In fact, the max stack size can be computed for each node, so it may be useful to add this info to the node (tooltip).
The max stack size may be determined using the CFG. In some cases it can grow arbitrarily large (in the CFG, not in the execution of the EVM).
We can compute the max size as a fixed point (using a lattice with +infty) in case it grows arbitrarily large.
To do
Implement fixed point computation of max stack size. Add information to the DOT file. In fact, the max stack size can be computed for each node, so it may be useful to add this info to the node (tooltip).