Skip to content

Latest commit

 

History

History
39 lines (22 loc) · 1.12 KB

algorithm.md

File metadata and controls

39 lines (22 loc) · 1.12 KB
layout title
default
IDE Algorithm

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.