• DocumentCode
    1952761
  • Title

    PtrTracker: Pragmatic pointer analysis

  • Author

    Biallas, Sebastian ; Olesen, Mads Chr ; Cassez, Franck ; Huuck, Ralf

  • Author_Institution
    RWTH Aachen, Aachen, Germany
  • fYear
    2013
  • fDate
    22-23 Sept. 2013
  • Firstpage
    69
  • Lastpage
    73
  • Abstract
    Static program analysis for bug detection in industrial C/C++ code has many challenges. One of them is to analyze pointer and pointer structures efficiently. While there has been much research into various aspects of pointer analysis either for compiler optimization or for verification tasks, both classical categories are not optimized for bug detection, where speed and precision are important, but soundness (no missed bugs) and completeness (no false positives) do not necessarily need to be guaranteed.
  • Keywords
    C++ language; optimisation; program compilers; program diagnostics; PtrTracker; bug detection; compiler optimization; industrial C++ code; pointer structures; pragmatic pointer analysis; static program analysis; Abstracts; Analytical models; Computer bugs; Conferences; Optimization; Shape; XML;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Source Code Analysis and Manipulation (SCAM), 2013 IEEE 13th International Working Conference on
  • Conference_Location
    Eindhoven
  • Type

    conf

  • DOI
    10.1109/SCAM.2013.6648186
  • Filename
    6648186
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1952761