joern icon indicating copy to clipboard operation
joern copied to clipboard

(C/C++) data dependency graph goes wrong when there is a 'goto' statement

Open NemoTR opened this issue 2 years ago • 0 comments

This is part of the C++ source code:

int g(int a)
{
LOOP:
    if (a <= 100)
    {
        a += 3;
        goto LOOP;
    }
    else
        return a;
}

Its ddg is: image

The call node a += 3 has no outedge at all.

NemoTR avatar May 01 '22 15:05 NemoTR