Calls without an associated function are currently ignored. The possibility of supporting function pointers should be investigated.
One possible (pessimistic?) assumption would be that all calls through pointers with a given signature can go to all functions with that signature that have had their addresses taken, although that might not rule out situations where calls through function pointers leave an instrumented module, causing the signature check upon return to fail.
Calls without an associated function are currently ignored. The possibility of supporting function pointers should be investigated.
One possible (pessimistic?) assumption would be that all calls through pointers with a given signature can go to all functions with that signature that have had their addresses taken, although that might not rule out situations where calls through function pointers leave an instrumented module, causing the signature check upon return to fail.