Tips

Can SVF distinguish between pointers pointing to an object and the pointers pointing to one field of an object?

2

In field sensitive analysis, the result of pointer analysis shows that the pointers pointing to an object and the pointers pointing to one field of an object are alias. Can...

The source code which will trigger bug is following: ```C #include #include "string.h" #include "smack.h" void public_in(smack_value_t); // a wrapper funciton used for position static void * (* const volatile...