hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-28 10:15:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

C#: Address review comment.

Browse Source
This commit is contained in:
calum
2019-02-28 14:30:27 +00:00
committed by Calum Grant
parent d77b60bba8
commit 741666d561
1 changed files with 10 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files

20
csharp/ql/src/semmle/code/csharp/dataflow/DataFlow.qll
View File

@@ -1167,16 +1167,16 @@ module DataFlow {
}
}
/**
* Holds if the additional step from `node1` to `node2` jumps between callables.
*/
private predicate additionalJumpStep(Node node1, Node node2, Configuration config) {
config.isAdditionalFlowStep(node1, node2) and
node1.getEnclosingCallable() != node2.getEnclosingCallable()
or
jumpStep(node1, node2)
}
/**
* Holds if the additional step from `node1` to `node2` jumps between callables.
*/
bindingset[config]
private predicate additionalJumpStep(Node node1, Node node2, Configuration config) {
config.isAdditionalFlowStep(node1, node2) and
node1.getEnclosingCallable() != node2.getEnclosingCallable()
or
jumpStep(node1, node2)
}
/**
* Provides predicates for pruning the data flow graph, by only including