Function pointer analysis for C programs

Function pointers are a feature of the C programming language\nwhose use obscures the control flow of a program and makes programs hard to analyze. Existing pointer analyses are able to resolve function pointers, but lack the capabilities to precisely distinguish function pointer variables within\nc... View More