A full program control flow representation for real programs

He Zhu, Ian Watson

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Abstract

    This paper reports on constructing an exhaustive full program control flow framework for precise data flow analysis of real programs. We discuss the problem of ambiguous calling relations in the presence of function pointers. A flow insensitive analysis is suggested and implemented for real C programs.
    Original languageEnglish
    Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.
    PublisherSpringer Nature
    Pages162-165
    Number of pages3
    Volume1300
    ISBN (Print)9783540634409
    DOIs
    Publication statusPublished - 1997
    Event3rd International Conference on Parallel Processing, Euro-Par 1997 - Passau
    Duration: 1 Jul 1997 → …

    Publication series

    NameLecture Notes in Computer Science

    Conference

    Conference3rd International Conference on Parallel Processing, Euro-Par 1997
    CityPassau
    Period1/07/97 → …

    Fingerprint

    Dive into the research topics of 'A full program control flow representation for real programs'. Together they form a unique fingerprint.

    Cite this