Browsing CS Technical Reports by Author "Gopan, Denis"

Now showing items 1-2 of 2

    • Numeric Analysis of Array Operations 

      Gopan, Denis; Reps, Thomas; Sagiv, Mooly (University of Wisconsin-Madison Department of Computer Sciences, 2004)
      We present a numeric analysis that is capable of reasoning about array operations. In particular, the analysis is able to establish that all elements of an array have been initialized ("an array kill"), as well as to ...

    • Numeric Program Analysis Techniques with Applications to Array Analysis and Library Summarization 

      Gopan, Denis (University of Wisconsin-Madison Department of Computer Sciences, 2007)
      Numeric program analysis is of great importance for the areas of software engineering, software verification, and security: to identify many program errors, such as out-of-bounds array accesses and integer overflows, which ...