[CN-Exec] Source injection error for single-line if statements with local variables

[ZippeyKeys12]

void f()
{
    int found = 10;

    if (!found) return;
}

int main() {
    f();

    return 0;
}

Instrumentation of the if looks like:

if (!CN_LOAD(found)) 
  c_remove_from_ghost_state((uintptr_t) &found, sizeof(signed int));
  goto __cn_epilogue;

It should be:

if (!CN_LOAD(found)) {
  c_remove_from_ghost_state((uintptr_t) &found, sizeof(signed int));
  goto __cn_epilogue;
}

[rbanerjee20]

Thanks for flagging this @ZippeyKeys12 - currently the existing and ideal instrumentation code snippets look identical. If you could update them whenever you get the chance (probably not urgent), that would be great.

[ZippeyKeys12]

The existing snippet is missing braces