hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-01 19:55:15 +02:00
Code Issues Packages Projects Releases Wiki Activity

Java: Simplify recursion prevention.

Browse Source
This commit is contained in:
Anders Schack-Mulligen
2022-05-17 15:57:48 +02:00
parent d4c9fddae3
commit a4a004a322
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
java/ql/lib/semmle/code/java/dataflow/internal/DataFlowUtil.qll
View File

@@ -127,7 +127,7 @@ predicate simpleLocalFlowStep(Node node1, Node node2) {
pragma[only_bind_out](node1.getEnclosingCallable()) =
pragma[only_bind_out](node2.getEnclosingCallable()) and
// prevent recursive call
(any() or strictcount(Node n1, Node n2, AdditionalValueStep a | a.step(n1, n2)) < 0)
(any(AdditionalValueStep a).step(_, _) implies any())
}
private predicate simpleLocalFlowStep0(Node node1, Node node2) {