Skip to content

Explicit control-structure schema edges#1849

Merged
SuperUserDone merged 2 commits intomasterfrom
louis/cpg-explicit-controlstructure-edges
Mar 18, 2026
Merged

Explicit control-structure schema edges#1849
SuperUserDone merged 2 commits intomasterfrom
louis/cpg-explicit-controlstructure-edges

Conversation

@SuperUserDone
Copy link
Contributor

@SuperUserDone SuperUserDone commented Mar 18, 2026

Adds the edges discussed in: https://github.com/ShiftLeftSecurity/codescience/issues/8765
Resolves: https://github.com/ShiftLeftSecurity/codescience/issues/8801

I think the edges are defined now as they should be @ml86. I found the AST.scala hard to follow, lmk if I missed something.

Not sure what the testing requirements are for this. The other edges don't seem to have tests unless I missed it.

Joern side: joernio/joern#5890

}
}

"accept explicit control-structure body edges" in {
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

We do not add tests to check whether individual edges or nodes can be added or more generally handled by the graph since they are completely handled by generated code.
Please remove this.

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Have done so

@SuperUserDone SuperUserDone merged commit 1d794da into master Mar 18, 2026
1 check passed
@SuperUserDone SuperUserDone deleted the louis/cpg-explicit-controlstructure-edges branch March 18, 2026 07:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants