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

Java: Fix bad join-order.

Browse Source
This commit is contained in:
Anders Schack-Mulligen
2020-01-06 16:52:06 +01:00
parent 2443f10823
commit 9ba169b346
19 changed files with 38 additions and 38 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
java/ql/src/semmle/code/java/dataflow/internal/DataFlowImpl.qll
View File

@@ -1805,14 +1805,14 @@ private newtype TSummaryCtx =
flow(p, true, TNil(_), conf) and
parameterFlowReturn(p, ret, _, _, _,
any(Summary s | s = TSummaryTaint() or s = TSummaryTaintStore(_)), conf) and
flow(ret, conf)
flow(ret, unbind(conf))
)
} or
TSummaryCtxConsNil(ParameterNode p, Content f) {
exists(Configuration conf, ReturnNodeExt ret |
flow(p, true, TConsNil(f, _), conf) and
parameterFlowReturn(p, ret, _, _, _, TSummaryReadTaint(f), conf) and
flow(ret, conf)
flow(ret, unbind(conf))
)
}

4
java/ql/src/semmle/code/java/dataflow/internal/DataFlowImpl2.qll
View File

@@ -1805,14 +1805,14 @@ private newtype TSummaryCtx =
flow(p, true, TNil(_), conf) and
parameterFlowReturn(p, ret, _, _, _,
any(Summary s | s = TSummaryTaint() or s = TSummaryTaintStore(_)), conf) and
flow(ret, conf)
flow(ret, unbind(conf))
)
} or
TSummaryCtxConsNil(ParameterNode p, Content f) {
exists(Configuration conf, ReturnNodeExt ret |
flow(p, true, TConsNil(f, _), conf) and
parameterFlowReturn(p, ret, _, _, _, TSummaryReadTaint(f), conf) and
flow(ret, conf)
flow(ret, unbind(conf))
)
}

4
java/ql/src/semmle/code/java/dataflow/internal/DataFlowImpl3.qll
View File

@@ -1805,14 +1805,14 @@ private newtype TSummaryCtx =
flow(p, true, TNil(_), conf) and
parameterFlowReturn(p, ret, _, _, _,
any(Summary s | s = TSummaryTaint() or s = TSummaryTaintStore(_)), conf) and
flow(ret, conf)
flow(ret, unbind(conf))
)
} or
TSummaryCtxConsNil(ParameterNode p, Content f) {
exists(Configuration conf, ReturnNodeExt ret |
flow(p, true, TConsNil(f, _), conf) and
parameterFlowReturn(p, ret, _, _, _, TSummaryReadTaint(f), conf) and
flow(ret, conf)
flow(ret, unbind(conf))
)
}

4
java/ql/src/semmle/code/java/dataflow/internal/DataFlowImpl4.qll
View File

@@ -1805,14 +1805,14 @@ private newtype TSummaryCtx =
flow(p, true, TNil(_), conf) and
parameterFlowReturn(p, ret, _, _, _,
any(Summary s | s = TSummaryTaint() or s = TSummaryTaintStore(_)), conf) and
flow(ret, conf)
flow(ret, unbind(conf))
)
} or
TSummaryCtxConsNil(ParameterNode p, Content f) {
exists(Configuration conf, ReturnNodeExt ret |
flow(p, true, TConsNil(f, _), conf) and
parameterFlowReturn(p, ret, _, _, _, TSummaryReadTaint(f), conf) and
flow(ret, conf)
flow(ret, unbind(conf))
)
}

4
java/ql/src/semmle/code/java/dataflow/internal/DataFlowImpl5.qll
View File

@@ -1805,14 +1805,14 @@ private newtype TSummaryCtx =
flow(p, true, TNil(_), conf) and
parameterFlowReturn(p, ret, _, _, _,
any(Summary s | s = TSummaryTaint() or s = TSummaryTaintStore(_)), conf) and
flow(ret, conf)
flow(ret, unbind(conf))
)
} or
TSummaryCtxConsNil(ParameterNode p, Content f) {
exists(Configuration conf, ReturnNodeExt ret |
flow(p, true, TConsNil(f, _), conf) and
parameterFlowReturn(p, ret, _, _, _, TSummaryReadTaint(f), conf) and
flow(ret, conf)
flow(ret, unbind(conf))
)
}