Tips
Results
2
issues of
Tips
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...