A method to perform Dataflow Analysis by setting up each node as data-flow equations in a CFG, then they are solved repeatedly and jointed to get the final value.
A method to perform Dataflow Analysis by setting up each node as data-flow equations in a CFG, then they are solved repeatedly and jointed to get the final value.