Fast interprocedual alias analysis
暂无分享,去创建一个
[1] Barbara G. Ryder,et al. An incremental algorithm for software analysis , 1987, SDE 2.
[2] Linda Marie Torczon. Compilation dependences in an ambitious optimizing compiler (interprocedural, recompilation) , 1985 .
[3] David Callahan,et al. The program summary graph and flow-sensitive interprocedual data flow analysis , 1988, PLDI '88.
[4] Eugene W. Myers. A Precise and Efficient Algorithm for Determining Existential Summary Data Flow Information , 1980 .
[5] Keith D. Cooper,et al. Analyzing aliases of reference formal parameters , 1985, POPL.
[6] David W. Binkley,et al. Interprocedural Slicing Using Dependence Graphs , 1988, PLDI.
[7] Barry K. Rosen. Data Flow Analysis for Procedural Languages , 1979, JACM.
[8] Ken Kennedy,et al. Efficient computation of flow insensitive interprocedural summary information , 1984, SIGPLAN '84.
[9] Jeffrey M. Barth. A practical interprocedural data flow analysis algorithm , 1978, CACM.
[10] John Banning,et al. : An Efficient , 2022 .
[11] Thomas C. Spillman,et al. Exposing Side-Effects in a PL/I Optimizing Compiler , 1971, IFIP Congress.
[12] Frances E. Allen,et al. Interprocedural Data Flow Analysis , 1974, IFIP Congress.