Skip to content

Detect Null-Pointer Dereferencation #199

@Wherekonshade

Description

@Wherekonshade

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

@vandah
@EdinCitaku

Metadata

Metadata

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions