Handling Extern Callbacks in CallGraph #786
Description
PhASAR should be able to determine for known extern functions, that specific parameters are called.
This includes, but is not limited to:
pthread_create__kmpc_fork_teams__kmpc_fork_call- Any function declared with callback
We cannot just add artificial ICFG edges, as then the subsequent analyses don't know anymore, how to interpret the argument list of a affected call-site.
We should probably do some IR rewriting, similar as we already do for global ctors/dtors.