This paper reports on constructing an exhaustive full pro-gram control flow framework for precise data flow analysis of real pro-grams. We discuss the prohlem of ambiguous calling relations in the presence of function pointers. A flow insensitive analysis is suggested and implemented for real C programs.
展开▼