Abstract | ||
---|---|---|
. This paper reports on constructing an exhaustive full programcontrol flow framework for precise data flow analysis of real programs.We discuss the problem of ambiguous calling relations in thepresence of function pointers. A flow insensitive analysis is suggestedand implemented for real C programs.1 IntroductionThis paper discusses the problem of constructing a full Interprocedural ControlFlow Graph (ICFG) for real programs in the presence of function pointers.Without ambiguous... |
Year | DOI | Venue |
---|---|---|
1997 | 10.1007/BFb0002729 | Euro-Par |
Keywords | Field | DocType |
real programs,full program control flow,data flow analysis,control flow | Function pointer,Control flow graph,Program control,Computer science,Flow (psychology),Parallel computing,Control flow,Data-flow analysis,Call graph,Data flow diagram | Conference |
ISBN | Citations | PageRank |
3-540-63440-1 | 0 | 0.34 |
References | Authors | |
6 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
He Zhu | 1 | 44 | 11.69 |
Ian Watson | 2 | 242 | 22.95 |