Source navigator roadmap, features list, etc.?
Thu Sep 28 17:28:00 GMT 2000
We could certainly flag assignments of function pointers, but there is
no good static determination of when a function is actually called
dereferencing a function pointer. This requires runtime analysis. And
it could be wrong; the runtime analysis would have to have a reverse
table of addresses to functions. A debugger could do this while the
exe is running.
Or worse, the function pointer could be determined by address arithmetic.
As you say, there's only so much that can be done statically.
More information about the Sourcenav