codepropertygraph

codepropertygraph copied to clipboard

New traversal proposal.

2

This is my proposal for a new generic traversal supposed to be used as replacement for our current `Traversal` class to build up our DSL steps. This proposal offers three...

ml86

CONTAINS edges incomplete

1

I am very confused about CONTAINS edges. I did not find any documentation on them. However, I did find a file called EdgeTypes.java in this repo which contains this: ```...

m1cm1c

I was using the following snippet to run a test, ```c int main(int argc, char *argv[]) { int *tmp = NULL; int x = 2; if (argc > 0) {...

jaiverma

This brings in an isormorphism invariant hashcode for cfgNodes, especially METHOD. quote docstring: >"An isomorphism-invariant hash-code that describes a CfgNode and its position inside the method body. The ISOHASH of...

bbrehm

hello, Does this project generate "system dependence graph" too? as you used that in the "Automatic Inference of Search Patterns for Taint-Style Vulnerabilities" paper. Thanks

meweez

Examples: ``` Method( id -> 1000143L, code -> "", name -> ".assignment", fullName -> ".assignment", isExternal -> true, signature -> "TODO assignment signature", astParentType -> "NAMESPACE_BLOCK", astParentFullName -> "", lineNumber...

m1cm1c

Enums mostly unsupported

1

Enums are mostly unsupported. In particular, I noticed the following issues: - There is no way of showing all symbolic values an enum can take. They just do not occur...

m1cm1c

An assignment like ``` auto [x, y] = std::tuple{23, 27}; ``` merely results in an empty block in the AST: ``` summary: io.shiftleft.codepropertygraph.generated.nodes.Block[label=BLOCK; id=1000106] id: 1000106 label: BLOCK propertyKeys: [DYNAMIC_TYPE_HINT_FULL_NAME,...

m1cm1c

When assigning a value to a struct's field (`foobarInstance.foo = 51;`), the corresponding part of the AST looks like this:  There neither is a REF edge to the corresponding...

m1cm1c

When assigning a value to a struct's field (`foobarInstance.foo = 51;`), the corresponding part of the AST looks like this:  Between the two calls, there is no AST edge.

m1cm1c