Original IDE Algorithm

Here, we provide a copy of the pseudocode of the original IDE algorithm [20] that is relevant to our work.

Phase I

A shortened version of the ForwardComputeJumpFunctionsSLRPs procedure from phase I of the original IDE algorithm [20].

forward compute jumpfunctions SLRPs

Propagate

The Propagate procedure from the original IDE algorithm [20].

propagate

Phase II

Phase II (value propagation and value computation) of the original IDE algorithm [20].

phase-II

Propagate Value

The PropagateValue procedure from the original IDE algorithm [20].

propagate-value

References

[20] Mooly Sagiv, Thomas Reps, and Susan Horwitz. Precise Interprocedural Dataflow Analysis with Applications to Constant Propagation. Theor. Comput. Sci., 167(1-2):131–170, 1996.