NemoTR

(C/C++) Lost REACHING_DEF edge in statement 'a = a + 1' or 'a = a + i'

3

Here is the test code: ```C++ int f() { int a = 10; a = a + 1; for (int i = 1; i

(C/C++) A design mistake makes it hard to recognize which argument makes CALL node connected by the REACHING_DEF edge

12

Here is the code: ```C++ int f(int a, int b, int c) { return g(a, b + 1, c); } ``` And its ast is like:  Its ddg is...

"outE" and "outV" traversals don't work in "map" traversal

1

Edge travesal in map seems doesn't work:  Is this normal? _Originally posted by @NemoTR in https://github.com/joernio/joern/issues/1367#issuecomment-1120950693_

I'm using the newest release of joern, I use the joern server to get the results, the responses of joern server seem not right, here are some examples: ``` query...

(C/C++) Lost REACHING_DEF edge between 'CALL' node of assignment to global variable and 'CALL' node to function using the global variable

1

This is the code. ```c++ int a; int g() { return a; } int f() { a = 10; return g(); } ``` In this code, `a` is a global...

(C/C++) 'IDENTIFIER' node in ddg

1

The C++ code is: ```C++ int f(int x, int *y) { int a, b, c = 10; a = 10; b = a; a = g(c); return a; } ```...

(C/C++) Wrong REACHING_DEF edge and node of pointer

1

The C++ code is: ```C++ int f(int x, int *y) { *y = 10; y = &x; *y = 20; return x; } ``` The ddg is:  There is...

(C/C++) REACHING_DEF edge goes wrong while using array indexing

1

Here is the test code: ```c++ int a[10], c = 2; a[c] = 3; a[c + 1] = 4; c += 1; return a[c]; ```  There shoudln't be an...

(C/C++) "TYPE_DECL" node has empty label in dot output

2

This is the code: ```C struct R { int a; } r; ``` This is the attribute of "TYPE_DECL" node "R": ```json "7": { "inheritsFromTypeFullName": [], "name": "R", "astParentFullName": "",...