TY - GEN
T1 - Application-only call graph construction
AU - Ali, Karim
AU - Lhoták, Ondřej
PY - 2012
Y1 - 2012
N2 - Since call graphs are an essential starting point for all inter-procedural analyses, many tools and frameworks have been developed to generate the call graph of a given program. The majority of these tools focus on generating the call graph of the whole program (i.e., both the application and the libraries that the application depends on). A popular compromise to the excessive cost of building a call graph for the whole program is to ignore all the effects of the library code and any calls the library makes back into the application. This results in potential unsoundness in the generated call graph and therefore in any analysis that uses it. In this paper, we present Cgc, a tool that generates a sound call graph for the application part of a program without analyzing the code of the library.
AB - Since call graphs are an essential starting point for all inter-procedural analyses, many tools and frameworks have been developed to generate the call graph of a given program. The majority of these tools focus on generating the call graph of the whole program (i.e., both the application and the libraries that the application depends on). A popular compromise to the excessive cost of building a call graph for the whole program is to ignore all the effects of the library code and any calls the library makes back into the application. This results in potential unsoundness in the generated call graph and therefore in any analysis that uses it. In this paper, we present Cgc, a tool that generates a sound call graph for the application part of a program without analyzing the code of the library.
UR - http://www.scopus.com/inward/record.url?scp=84879723448&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84879723448&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-31057-7_30
DO - 10.1007/978-3-642-31057-7_30
M3 - Conference contribution
AN - SCOPUS:84879723448
SN - 9783642310560
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 688
EP - 712
BT - ECOOP 2012 - Object-Oriented Programming
PB - Springer Verlag
T2 - 26th European Conference on Object-Oriented Programming, ECOOP 2012
Y2 - 11 June 2012 through 16 June 2012
ER -