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.
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_callWe 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.