Jump Functions= Function summaries that are created and extended iteratively in Phase 1 todo link paperJump Function Table=Flow= ...Flow Fact= ...Entry Point= ...Lattice= ...Weight= ...EdgeFunction= ...Worklist= ...Worklist Item= ...Phases= ...Problem= ...IFDS Problem= ...IDE Problem= ...Solver= ...Solver Results= ...IR= ...Statement= An instruction in the IR...Program Position= ...Join= ...Compose= ...Compute= ...Control Flow Graph (CFG)= ...Interprocedural Control Flow Graph (ICFG)= ...Edge in ICFGCallgraph (CG)= ...