Static Analysis of Dlsym-Like Function Calls

The problem of constructing full call graph of a program can be complicated by absence of indirect calls in the graph. It may happen when a developer decides to invoke a function by pointer. The appearance of functions like dlsym makes it possible. Such functions allows to obtain an address of a function from a library at runtime. The paper suggests two step static analysis for revealing symbols loaded at runtime. The first step collects auxiliary information about a program between translation units, the second applies collected information to analyze individual translation units.