search

swtv-kaist / MUSIC

MUSIC: MUtation analySIs tool with High Configurability and Extensibility
Other
17 stars 6 forks source link

`DirVarRepLoc` might replace variable with undeclared variable #6

Open JonathanFoo0523 opened 2 months ago

JonathanFoo0523 commented 2 months ago

Applying music to

int a;
void b(void) {
  a;
  int c;
}

produce uncompilable mutant

int a;
void b(void) {
  c;
  int c;
}

with compilation error

use of undeclared identifier 'c'