Intermediate representation construction for static analysis
作者： Anna Gringauze , Henning Korsholm Rohde
DOI:
关键词:
摘要: The analysis of an intermediate representation source or program code. An initial version the code is accessed and statically analyzed. For one more portions this version, component queries analysis-time resolution that provides supplemental representations corresponding to portion. This further clarity regarding portion, If defects are found, they may be reported.
lens.org 参考文章(23)
Taketo Heishi, Tomoo Hamada, Program translation method and program translation apparatus ,(2006)
Michael Lai, Method and apparatus for bit field optimization ,(2003)
Kevin Alexander Stoodley, Allan Henry Kielstra, Levon Sassoon Stepanian, Method and apparatus for transforming java native interface function calls into simpler operations during just-in-time compilation ,(2005)
Makarand Gadre, Compiling source code using generic classes ,(2003)
Jonathan D. Pincus, Jeffrey S. Wallace, Timothy G. Fleehart, System and method for whole-system program analysis ,(2004)
Maurizio Cimadamore, Joseph D. Darcy, Brian Goetz, Alexander R. Buckley, Type inference of partially-specified parameterized types ,(2010)
John R. Allen, Inferring Function Calls In An Ambiguous Language Computer Program ,(2004)
James L. Frankel, Steven J. Sistare, Compiler for performing incremental live variable analysis for data-parallel programs ,(1991)