Now showing items 1-1 of 1
The Separate Compilation Assumption
(University of Waterloo, 2014-09-19)
Call graphs are an essential requirement for almost all inter-procedural analyses. This motivated the development of many tools and frameworks to generate the call graph of a given program. However, the majority of these ...