-
Notifications
You must be signed in to change notification settings - Fork 87
Detect Null-Pointer Dereferencation #199
Copy link
Copy link
Closed
Labels
Description
Current situation
Goblint currently cannot find/analyze undefined behavior like:
Null-Pointer Dereferencation
// Program to demonstrate
//Null-Pointer Dereferencation
int main(int argc, char ** argv){
char buf[255];
char * ptr = NULL;
if (argc>1) {
ptr = argv[1];
}
strcpy(str,ptr);
return 0;
}
Output :
Runtime Error : Segmentation Fault (SIGSEGV)
Situation after Resolving this Issue
Goblint can detect Null-Pointer Dereferencation
Reactions are currently unavailable