@inproceedings{1bf1c43f04e446978caafef0d95bfcec,

title = "On the complexity of function pointer may-alias analysis",

abstract = "This paper considers the complexity of interprocedural function pointer may-alias analysis, i.e., determining the set of functions that a function pointer (in a language such as C) can point to at a point in a program. This information is necessary, for example, in order to construct the control flow graphs of programs that use function pointers, which in turn is fundamental for most dataflow analyses and optimizations. We show that the general problem is complete for deterministic exponential time. We then consider two natural simplifications to the basic (precise) analysis and examine their complexity. The approach described can be used to readily obtain similar complexity results for related analyses such as reachability and recursiveness.",

author = "Robert Muth and Saumya Debray",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1997.; 7th International Joint Conference on Theory and Practice of Software Development, TAPSOFT 1997 ; Conference date: 14-04-1997 Through 18-04-1997",

year = "1997",

doi = "10.1007/bfb0030612",

language = "English (US)",

isbn = "9783540627814",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer-Verlag",

pages = "381--392",

editor = "Michel Bidoit and Michel Bidoit and Max Dauchet and Max Dauchet",

booktitle = "TAPSOFT 1997",

}