Program Analysis Too Loopy? Set the Loops Aside

  • Eric Larson
  • Published 2011 in
    2011 IEEE 11th International Working Conference…


Among the many obstacles in efficient and sound program analysis, loops may be the most prevalent. In program analyses that traverse paths, loops introduce a variable, possibly infinite, number of paths. This paper looks at whether loops could be analyzed separately and replaced with a summary. First, the complexity of a loop is estimated by counting the… (More)
DOI: 10.1109/SCAM.2011.22


8 Figures and Tables

Slides referencing similar topics