• DocumentCode
    2033712
  • Title

    Flow insensitive points-to sets

  • Author

    Anderson, Paul ; Binkley, David ; Rosay, Genevieve ; Teitelbaum, Tim

  • Author_Institution
    GrammaTech, Inc., Ithaca, NY, USA
  • fYear
    2001
  • fDate
    2001
  • Firstpage
    79
  • Lastpage
    89
  • Abstract
    Pointer analysis is an important part of source code analysis. Many programs that manipulate source code take points-to sets as part of their input input. Points-to related data collected from 27 mid-sized C programs (ranging in size from 1168 to 53131 lines of code) is presented The data shows the relative sizes and the complexities of computing points-to sets. Such data is useful in improving algorithms for the computation of points-to sets as well as algorithms that make use of this information in other operations. Several uses of the data are discussed
  • Keywords
    C language; program control structures; program diagnostics; flow insensitive points-to sets; pointer analysis; points-to related data; relative sizes; source code analysis; source code manipulation; Algorithm design and analysis; Casting; Costs; Educational institutions; Information analysis; NP-hard problem; Performance analysis;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Source Code Analysis and Manipulation, 2001. Proceedings. First IEEE International Workshop on
  • Conference_Location
    Florence
  • Print_ISBN
    0-7695-1387-5
  • Type

    conf

  • DOI
    10.1109/SCAM.2001.972669
  • Filename
    972669