Failing to track BPF context when multiple pointers are used

[fshahinfar1]

The following provides an example of when this issue happens. It seems we need a better approach for tracking the BPF context. Something that could actually track memory model.

void f(char **p, ... xdp)
{
  *p = xdp->data;
}

int main() {
  char *t;
  f(&t, ... xdp);
}

[fshahinfar1]

I might be able to fix this for two level of indirection (example above) by extending the current implementation. But it seems to hard to make it general. Probably another technique should be used for tracking context.

[fshahinfar1]

This issue is also kind of relevant to #3