@inproceedings{65956391483e4efb97185b9c31d3248b,
title = "A full program control flow representation for real programs",
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.",
author = "He Zhu and Ian Watson",
year = "1997",
doi = "10.1007/BFb0002729",
language = "English",
isbn = "9783540634409",
volume = "1300",
series = "Lecture Notes in Computer Science",
publisher = "Springer Nature",
pages = "162--165",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.",
address = "United States",
note = "3rd International Conference on Parallel Processing, Euro-Par 1997 ; Conference date: 01-07-1997",
}