hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-24 12:46:34 +01:00
Code Issues Packages Projects Releases Wiki Activity

Data flow: Sync files

Browse Source
This commit is contained in:
Tom Hvitved
2022-05-19 15:20:43 +02:00
parent a18aef23f9
commit f83deb6571
5 changed files with 10 additions and 15 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImplCommon.qll
View File

@@ -216,10 +216,9 @@ private module LambdaFlow {
or or
// jump step // jump step
exists(Node mid, DataFlowType t0 | exists(Node mid, DataFlowType t0 |
revLambdaFlow(lambdaCall, kind, mid, t0, _, _, _) and revLambdaFlow(lambdaCall, kind, mid, t0, _, _, lastCall) and
toReturn = false and toReturn = false and
toJump = true and toJump = true
lastCall = TDataFlowCallNone()
| |
jumpStepCached(node, mid) and jumpStepCached(node, mid) and
t = t0 t = t0

5
cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImplCommon.qll
View File

@@ -216,10 +216,9 @@ private module LambdaFlow {
or or
// jump step // jump step
exists(Node mid, DataFlowType t0 | exists(Node mid, DataFlowType t0 |
revLambdaFlow(lambdaCall, kind, mid, t0, _, _, _) and revLambdaFlow(lambdaCall, kind, mid, t0, _, _, lastCall) and
toReturn = false and toReturn = false and
toJump = true and toJump = true
lastCall = TDataFlowCallNone()
| |
jumpStepCached(node, mid) and jumpStepCached(node, mid) and
t = t0 t = t0

5
csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowImplCommon.qll
View File

@@ -216,10 +216,9 @@ private module LambdaFlow {
or or
// jump step // jump step
exists(Node mid, DataFlowType t0 | exists(Node mid, DataFlowType t0 |
revLambdaFlow(lambdaCall, kind, mid, t0, _, _, _) and revLambdaFlow(lambdaCall, kind, mid, t0, _, _, lastCall) and
toReturn = false and toReturn = false and
toJump = true and toJump = true
lastCall = TDataFlowCallNone()
| |
jumpStepCached(node, mid) and jumpStepCached(node, mid) and
t = t0 t = t0

5
java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImplCommon.qll
View File

@@ -216,10 +216,9 @@ private module LambdaFlow {
or or
// jump step // jump step
exists(Node mid, DataFlowType t0 | exists(Node mid, DataFlowType t0 |
revLambdaFlow(lambdaCall, kind, mid, t0, _, _, _) and revLambdaFlow(lambdaCall, kind, mid, t0, _, _, lastCall) and
toReturn = false and toReturn = false and
toJump = true and toJump = true
lastCall = TDataFlowCallNone()
| |
jumpStepCached(node, mid) and jumpStepCached(node, mid) and
t = t0 t = t0

5
python/ql/lib/semmle/python/dataflow/new/internal/DataFlowImplCommon.qll
View File

@@ -216,10 +216,9 @@ private module LambdaFlow {
or or
// jump step // jump step
exists(Node mid, DataFlowType t0 | exists(Node mid, DataFlowType t0 |
revLambdaFlow(lambdaCall, kind, mid, t0, _, _, _) and revLambdaFlow(lambdaCall, kind, mid, t0, _, _, lastCall) and
toReturn = false and toReturn = false and
toJump = true and toJump = true
lastCall = TDataFlowCallNone()
| |
jumpStepCached(node, mid) and jumpStepCached(node, mid) and
t = t0 t = t0