Currently all stacks and variables are purged of their values at the start of each new dataflow round. It would be nice to be able to purge the unwidened values, but not purge the widened ones.
The CFG should store inside itself which variables have previously been widened and optionally force their values to Top in future dataflow analyses.
Currently all stacks and variables are purged of their values at the start of each new dataflow round. It would be nice to be able to purge the unwidened values, but not purge the widened ones. The CFG should store inside itself which variables have previously been widened and optionally force their values to Top in future dataflow analyses.