One of the big problems of static code analysis are function calls with non-static call targets. These function calls can call different target functions depending on the current program state. At first they call one function and in the next moment they might call a completely different function. Popular examples of such dynamic function calls are virtual functions (like in C ) or function pointers to callback functions.

Resolving dynamic function calls with BinNavi � blog.zynamics.com