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

Merge pull request #10575 from aschackmull/dataflow/cleanup-module

Browse Source 
Dataflow: Minor visibility cleanup
This commit is contained in:
Anders Schack-Mulligen
2022-09-27 10:10:53 +02:00
committed by GitHub
parent 88baf0883a 1687d08587
commit 9f1bbf2bbd
36 changed files with 108 additions and 252 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
cpp/ql/lib/experimental/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl.qll
View File

@@ -598,13 +598,9 @@ private predicate hasSinkCallCtx(Configuration config) {
} }
private module Stage1 implements StageSig { private module Stage1 implements StageSig {
class ApApprox = Unit;
class Ap = Unit; class Ap = Unit;
class ApOption = Unit; private class Cc = boolean;
class Cc = boolean;
/* Begin: Stage 1 logic. */ /* Begin: Stage 1 logic. */
/** /**
@@ -613,7 +609,7 @@ private module Stage1 implements StageSig {
* The Boolean `cc` records whether the node is reached through an * The Boolean `cc` records whether the node is reached through an
* argument in a call. * argument in a call.
*/ */
predicate fwdFlow(NodeEx node, Cc cc, Configuration config) { private predicate fwdFlow(NodeEx node, Cc cc, Configuration config) {
sourceNode(node, _, config) and sourceNode(node, _, config) and
if hasSourceCallCtx(config) then cc = true else cc = false if hasSourceCallCtx(config) then cc = true else cc = false
or or
@@ -753,7 +749,7 @@ private module Stage1 implements StageSig {
* the enclosing callable in order to reach a sink. * the enclosing callable in order to reach a sink.
*/ */
pragma[nomagic] pragma[nomagic]
predicate revFlow(NodeEx node, boolean toReturn, Configuration config) { private predicate revFlow(NodeEx node, boolean toReturn, Configuration config) {
revFlow0(node, toReturn, config) and revFlow0(node, toReturn, config) and
fwdFlow(node, config) fwdFlow(node, config)
} }

10
cpp/ql/lib/experimental/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl2.qll
View File

@@ -598,13 +598,9 @@ private predicate hasSinkCallCtx(Configuration config) {
} }
private module Stage1 implements StageSig { private module Stage1 implements StageSig {
class ApApprox = Unit;
class Ap = Unit; class Ap = Unit;
class ApOption = Unit; private class Cc = boolean;
class Cc = boolean;
/* Begin: Stage 1 logic. */ /* Begin: Stage 1 logic. */
/** /**
@@ -613,7 +609,7 @@ private module Stage1 implements StageSig {
* The Boolean `cc` records whether the node is reached through an * The Boolean `cc` records whether the node is reached through an
* argument in a call. * argument in a call.
*/ */
predicate fwdFlow(NodeEx node, Cc cc, Configuration config) { private predicate fwdFlow(NodeEx node, Cc cc, Configuration config) {
sourceNode(node, _, config) and sourceNode(node, _, config) and
if hasSourceCallCtx(config) then cc = true else cc = false if hasSourceCallCtx(config) then cc = true else cc = false
or or
@@ -753,7 +749,7 @@ private module Stage1 implements StageSig {
* the enclosing callable in order to reach a sink. * the enclosing callable in order to reach a sink.
*/ */
pragma[nomagic] pragma[nomagic]
predicate revFlow(NodeEx node, boolean toReturn, Configuration config) { private predicate revFlow(NodeEx node, boolean toReturn, Configuration config) {
revFlow0(node, toReturn, config) and revFlow0(node, toReturn, config) and
fwdFlow(node, config) fwdFlow(node, config)
} }

10
cpp/ql/lib/experimental/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl3.qll
View File

@@ -598,13 +598,9 @@ private predicate hasSinkCallCtx(Configuration config) {
} }
private module Stage1 implements StageSig { private module Stage1 implements StageSig {
class ApApprox = Unit;
class Ap = Unit; class Ap = Unit;
class ApOption = Unit; private class Cc = boolean;
class Cc = boolean;
/* Begin: Stage 1 logic. */ /* Begin: Stage 1 logic. */
/** /**
@@ -613,7 +609,7 @@ private module Stage1 implements StageSig {
* The Boolean `cc` records whether the node is reached through an * The Boolean `cc` records whether the node is reached through an
* argument in a call. * argument in a call.
*/ */
predicate fwdFlow(NodeEx node, Cc cc, Configuration config) { private predicate fwdFlow(NodeEx node, Cc cc, Configuration config) {
sourceNode(node, _, config) and sourceNode(node, _, config) and
if hasSourceCallCtx(config) then cc = true else cc = false if hasSourceCallCtx(config) then cc = true else cc = false
or or
@@ -753,7 +749,7 @@ private module Stage1 implements StageSig {
* the enclosing callable in order to reach a sink. * the enclosing callable in order to reach a sink.
*/ */
pragma[nomagic] pragma[nomagic]
predicate revFlow(NodeEx node, boolean toReturn, Configuration config) { private predicate revFlow(NodeEx node, boolean toReturn, Configuration config) {
revFlow0(node, toReturn, config) and revFlow0(node, toReturn, config) and
fwdFlow(node, config) fwdFlow(node, config)
} }

10
cpp/ql/lib/experimental/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl4.qll
View File

@@ -598,13 +598,9 @@ private predicate hasSinkCallCtx(Configuration config) {
} }
private module Stage1 implements StageSig { private module Stage1 implements StageSig {
class ApApprox = Unit;
class Ap = Unit; class Ap = Unit;
class ApOption = Unit; private class Cc = boolean;
class Cc = boolean;
/* Begin: Stage 1 logic. */ /* Begin: Stage 1 logic. */
/** /**
@@ -613,7 +609,7 @@ private module Stage1 implements StageSig {
* The Boolean `cc` records whether the node is reached through an * The Boolean `cc` records whether the node is reached through an
* argument in a call. * argument in a call.
*/ */
predicate fwdFlow(NodeEx node, Cc cc, Configuration config) { private predicate fwdFlow(NodeEx node, Cc cc, Configuration config) {
sourceNode(node, _, config) and sourceNode(node, _, config) and
if hasSourceCallCtx(config) then cc = true else cc = false if hasSourceCallCtx(config) then cc = true else cc = false
or or
@@ -753,7 +749,7 @@ private module Stage1 implements StageSig {
* the enclosing callable in order to reach a sink. * the enclosing callable in order to reach a sink.
*/ */
pragma[nomagic] pragma[nomagic]
predicate revFlow(NodeEx node, boolean toReturn, Configuration config) { private predicate revFlow(NodeEx node, boolean toReturn, Configuration config) {
revFlow0(node, toReturn, config) and revFlow0(node, toReturn, config) and
fwdFlow(node, config) fwdFlow(node, config)
} }

10
cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImpl.qll
View File

@@ -598,13 +598,9 @@ private predicate hasSinkCallCtx(Configuration config) {
} }
private module Stage1 implements StageSig { private module Stage1 implements StageSig {
class ApApprox = Unit;
class Ap = Unit; class Ap = Unit;
class ApOption = Unit; private class Cc = boolean;
class Cc = boolean;
/* Begin: Stage 1 logic. */ /* Begin: Stage 1 logic. */
/** /**
@@ -613,7 +609,7 @@ private module Stage1 implements StageSig {
* The Boolean `cc` records whether the node is reached through an * The Boolean `cc` records whether the node is reached through an
* argument in a call. * argument in a call.
*/ */
predicate fwdFlow(NodeEx node, Cc cc, Configuration config) { private predicate fwdFlow(NodeEx node, Cc cc, Configuration config) {
sourceNode(node, _, config) and sourceNode(node, _, config) and
if hasSourceCallCtx(config) then cc = true else cc = false if hasSourceCallCtx(config) then cc = true else cc = false
or or
@@ -753,7 +749,7 @@ private module Stage1 implements StageSig {
* the enclosing callable in order to reach a sink. * the enclosing callable in order to reach a sink.
*/ */
pragma[nomagic] pragma[nomagic]
predicate revFlow(NodeEx node, boolean toReturn, Configuration config) { private predicate revFlow(NodeEx node, boolean toReturn, Configuration config) {
revFlow0(node, toReturn, config) and revFlow0(node, toReturn, config) and
fwdFlow(node, config) fwdFlow(node, config)
} }

10
cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImpl2.qll
View File

@@ -598,13 +598,9 @@ private predicate hasSinkCallCtx(Configuration config) {
} }
private module Stage1 implements StageSig { private module Stage1 implements StageSig {
class ApApprox = Unit;
class Ap = Unit; class Ap = Unit;
class ApOption = Unit; private class Cc = boolean;
class Cc = boolean;
/* Begin: Stage 1 logic. */ /* Begin: Stage 1 logic. */
/** /**
@@ -613,7 +609,7 @@ private module Stage1 implements StageSig {
* The Boolean `cc` records whether the node is reached through an * The Boolean `cc` records whether the node is reached through an
* argument in a call. * argument in a call.
*/ */
predicate fwdFlow(NodeEx node, Cc cc, Configuration config) { private predicate fwdFlow(NodeEx node, Cc cc, Configuration config) {
sourceNode(node, _, config) and sourceNode(node, _, config) and
if hasSourceCallCtx(config) then cc = true else cc = false if hasSourceCallCtx(config) then cc = true else cc = false
or or
@@ -753,7 +749,7 @@ private module Stage1 implements StageSig {
* the enclosing callable in order to reach a sink. * the enclosing callable in order to reach a sink.
*/ */
pragma[nomagic] pragma[nomagic]
predicate revFlow(NodeEx node, boolean toReturn, Configuration config) { private predicate revFlow(NodeEx node, boolean toReturn, Configuration config) {
revFlow0(node, toReturn, config) and revFlow0(node, toReturn, config) and
fwdFlow(node, config) fwdFlow(node, config)
} }

10
cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImpl3.qll
View File

@@ -598,13 +598,9 @@ private predicate hasSinkCallCtx(Configuration config) {
} }
private module Stage1 implements StageSig { private module Stage1 implements StageSig {
class ApApprox = Unit;
class Ap = Unit; class Ap = Unit;
class ApOption = Unit; private class Cc = boolean;
class Cc = boolean;
/* Begin: Stage 1 logic. */ /* Begin: Stage 1 logic. */
/** /**
@@ -613,7 +609,7 @@ private module Stage1 implements StageSig {
* The Boolean `cc` records whether the node is reached through an * The Boolean `cc` records whether the node is reached through an
* argument in a call. * argument in a call.
*/ */
predicate fwdFlow(NodeEx node, Cc cc, Configuration config) { private predicate fwdFlow(NodeEx node, Cc cc, Configuration config) {
sourceNode(node, _, config) and sourceNode(node, _, config) and
if hasSourceCallCtx(config) then cc = true else cc = false if hasSourceCallCtx(config) then cc = true else cc = false
or or
@@ -753,7 +749,7 @@ private module Stage1 implements StageSig {
* the enclosing callable in order to reach a sink. * the enclosing callable in order to reach a sink.
*/ */
pragma[nomagic] pragma[nomagic]
predicate revFlow(NodeEx node, boolean toReturn, Configuration config) { private predicate revFlow(NodeEx node, boolean toReturn, Configuration config) {
revFlow0(node, toReturn, config) and revFlow0(node, toReturn, config) and
fwdFlow(node, config) fwdFlow(node, config)
} }

10
cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImpl4.qll
View File

@@ -598,13 +598,9 @@ private predicate hasSinkCallCtx(Configuration config) {
} }
private module Stage1 implements StageSig { private module Stage1 implements StageSig {
class ApApprox = Unit;
class Ap = Unit; class Ap = Unit;
class ApOption = Unit; private class Cc = boolean;
class Cc = boolean;
/* Begin: Stage 1 logic. */ /* Begin: Stage 1 logic. */
/** /**
@@ -613,7 +609,7 @@ private module Stage1 implements StageSig {
* The Boolean `cc` records whether the node is reached through an * The Boolean `cc` records whether the node is reached through an
* argument in a call. * argument in a call.
*/ */
predicate fwdFlow(NodeEx node, Cc cc, Configuration config) { private predicate fwdFlow(NodeEx node, Cc cc, Configuration config) {
sourceNode(node, _, config) and sourceNode(node, _, config) and
if hasSourceCallCtx(config) then cc = true else cc = false if hasSourceCallCtx(config) then cc = true else cc = false
or or
@@ -753,7 +749,7 @@ private module Stage1 implements StageSig {
* the enclosing callable in order to reach a sink. * the enclosing callable in order to reach a sink.
*/ */
pragma[nomagic] pragma[nomagic]
predicate revFlow(NodeEx node, boolean toReturn, Configuration config) { private predicate revFlow(NodeEx node, boolean toReturn, Configuration config) {
revFlow0(node, toReturn, config) and revFlow0(node, toReturn, config) and
fwdFlow(node, config) fwdFlow(node, config)
} }

10
cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImplLocal.qll
View File

@@ -598,13 +598,9 @@ private predicate hasSinkCallCtx(Configuration config) {
} }
private module Stage1 implements StageSig { private module Stage1 implements StageSig {
class ApApprox = Unit;
class Ap = Unit; class Ap = Unit;
class ApOption = Unit; private class Cc = boolean;
class Cc = boolean;
/* Begin: Stage 1 logic. */ /* Begin: Stage 1 logic. */
/** /**
@@ -613,7 +609,7 @@ private module Stage1 implements StageSig {
* The Boolean `cc` records whether the node is reached through an * The Boolean `cc` records whether the node is reached through an
* argument in a call. * argument in a call.
*/ */
predicate fwdFlow(NodeEx node, Cc cc, Configuration config) { private predicate fwdFlow(NodeEx node, Cc cc, Configuration config) {
sourceNode(node, _, config) and sourceNode(node, _, config) and
if hasSourceCallCtx(config) then cc = true else cc = false if hasSourceCallCtx(config) then cc = true else cc = false
or or
@@ -753,7 +749,7 @@ private module Stage1 implements StageSig {
* the enclosing callable in order to reach a sink. * the enclosing callable in order to reach a sink.
*/ */
pragma[nomagic] pragma[nomagic]
predicate revFlow(NodeEx node, boolean toReturn, Configuration config) { private predicate revFlow(NodeEx node, boolean toReturn, Configuration config) {
revFlow0(node, toReturn, config) and revFlow0(node, toReturn, config) and
fwdFlow(node, config) fwdFlow(node, config)
} }

10
cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl.qll
View File

@@ -598,13 +598,9 @@ private predicate hasSinkCallCtx(Configuration config) {
} }
private module Stage1 implements StageSig { private module Stage1 implements StageSig {
class ApApprox = Unit;
class Ap = Unit; class Ap = Unit;
class ApOption = Unit; private class Cc = boolean;
class Cc = boolean;
/* Begin: Stage 1 logic. */ /* Begin: Stage 1 logic. */
/** /**
@@ -613,7 +609,7 @@ private module Stage1 implements StageSig {
* The Boolean `cc` records whether the node is reached through an * The Boolean `cc` records whether the node is reached through an
* argument in a call. * argument in a call.
*/ */
predicate fwdFlow(NodeEx node, Cc cc, Configuration config) { private predicate fwdFlow(NodeEx node, Cc cc, Configuration config) {
sourceNode(node, _, config) and sourceNode(node, _, config) and
if hasSourceCallCtx(config) then cc = true else cc = false if hasSourceCallCtx(config) then cc = true else cc = false
or or
@@ -753,7 +749,7 @@ private module Stage1 implements StageSig {
* the enclosing callable in order to reach a sink. * the enclosing callable in order to reach a sink.
*/ */
pragma[nomagic] pragma[nomagic]
predicate revFlow(NodeEx node, boolean toReturn, Configuration config) { private predicate revFlow(NodeEx node, boolean toReturn, Configuration config) {
revFlow0(node, toReturn, config) and revFlow0(node, toReturn, config) and
fwdFlow(node, config) fwdFlow(node, config)
} }

10
cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl2.qll
View File

@@ -598,13 +598,9 @@ private predicate hasSinkCallCtx(Configuration config) {
} }
private module Stage1 implements StageSig { private module Stage1 implements StageSig {
class ApApprox = Unit;
class Ap = Unit; class Ap = Unit;
class ApOption = Unit; private class Cc = boolean;
class Cc = boolean;
/* Begin: Stage 1 logic. */ /* Begin: Stage 1 logic. */
/** /**
@@ -613,7 +609,7 @@ private module Stage1 implements StageSig {
* The Boolean `cc` records whether the node is reached through an * The Boolean `cc` records whether the node is reached through an
* argument in a call. * argument in a call.
*/ */
predicate fwdFlow(NodeEx node, Cc cc, Configuration config) { private predicate fwdFlow(NodeEx node, Cc cc, Configuration config) {
sourceNode(node, _, config) and sourceNode(node, _, config) and
if hasSourceCallCtx(config) then cc = true else cc = false if hasSourceCallCtx(config) then cc = true else cc = false
or or
@@ -753,7 +749,7 @@ private module Stage1 implements StageSig {
* the enclosing callable in order to reach a sink. * the enclosing callable in order to reach a sink.
*/ */
pragma[nomagic] pragma[nomagic]
predicate revFlow(NodeEx node, boolean toReturn, Configuration config) { private predicate revFlow(NodeEx node, boolean toReturn, Configuration config) {
revFlow0(node, toReturn, config) and revFlow0(node, toReturn, config) and
fwdFlow(node, config) fwdFlow(node, config)
} }

10
cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl3.qll
View File

@@ -598,13 +598,9 @@ private predicate hasSinkCallCtx(Configuration config) {
} }
private module Stage1 implements StageSig { private module Stage1 implements StageSig {
class ApApprox = Unit;
class Ap = Unit; class Ap = Unit;
class ApOption = Unit; private class Cc = boolean;
class Cc = boolean;
/* Begin: Stage 1 logic. */ /* Begin: Stage 1 logic. */
/** /**
@@ -613,7 +609,7 @@ private module Stage1 implements StageSig {
* The Boolean `cc` records whether the node is reached through an * The Boolean `cc` records whether the node is reached through an
* argument in a call. * argument in a call.
*/ */
predicate fwdFlow(NodeEx node, Cc cc, Configuration config) { private predicate fwdFlow(NodeEx node, Cc cc, Configuration config) {
sourceNode(node, _, config) and sourceNode(node, _, config) and
if hasSourceCallCtx(config) then cc = true else cc = false if hasSourceCallCtx(config) then cc = true else cc = false
or or
@@ -753,7 +749,7 @@ private module Stage1 implements StageSig {
* the enclosing callable in order to reach a sink. * the enclosing callable in order to reach a sink.
*/ */
pragma[nomagic] pragma[nomagic]
predicate revFlow(NodeEx node, boolean toReturn, Configuration config) { private predicate revFlow(NodeEx node, boolean toReturn, Configuration config) {
revFlow0(node, toReturn, config) and revFlow0(node, toReturn, config) and
fwdFlow(node, config) fwdFlow(node, config)
} }

10
cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowImpl4.qll
View File

@@ -598,13 +598,9 @@ private predicate hasSinkCallCtx(Configuration config) {
} }
private module Stage1 implements StageSig { private module Stage1 implements StageSig {
class ApApprox = Unit;
class Ap = Unit; class Ap = Unit;
class ApOption = Unit; private class Cc = boolean;
class Cc = boolean;
/* Begin: Stage 1 logic. */ /* Begin: Stage 1 logic. */
/** /**
@@ -613,7 +609,7 @@ private module Stage1 implements StageSig {
* The Boolean `cc` records whether the node is reached through an * The Boolean `cc` records whether the node is reached through an
* argument in a call. * argument in a call.
*/ */
predicate fwdFlow(NodeEx node, Cc cc, Configuration config) { private predicate fwdFlow(NodeEx node, Cc cc, Configuration config) {
sourceNode(node, _, config) and sourceNode(node, _, config) and
if hasSourceCallCtx(config) then cc = true else cc = false if hasSourceCallCtx(config) then cc = true else cc = false
or or
@@ -753,7 +749,7 @@ private module Stage1 implements StageSig {
* the enclosing callable in order to reach a sink. * the enclosing callable in order to reach a sink.
*/ */
pragma[nomagic] pragma[nomagic]
predicate revFlow(NodeEx node, boolean toReturn, Configuration config) { private predicate revFlow(NodeEx node, boolean toReturn, Configuration config) {
revFlow0(node, toReturn, config) and revFlow0(node, toReturn, config) and
fwdFlow(node, config) fwdFlow(node, config)
} }

10
csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowImpl.qll
View File

@@ -598,13 +598,9 @@ private predicate hasSinkCallCtx(Configuration config) {
} }
private module Stage1 implements StageSig { private module Stage1 implements StageSig {
class ApApprox = Unit;
class Ap = Unit; class Ap = Unit;
class ApOption = Unit; private class Cc = boolean;
class Cc = boolean;
/* Begin: Stage 1 logic. */ /* Begin: Stage 1 logic. */
/** /**
@@ -613,7 +609,7 @@ private module Stage1 implements StageSig {
* The Boolean `cc` records whether the node is reached through an * The Boolean `cc` records whether the node is reached through an
* argument in a call. * argument in a call.
*/ */
predicate fwdFlow(NodeEx node, Cc cc, Configuration config) { private predicate fwdFlow(NodeEx node, Cc cc, Configuration config) {
sourceNode(node, _, config) and sourceNode(node, _, config) and
if hasSourceCallCtx(config) then cc = true else cc = false if hasSourceCallCtx(config) then cc = true else cc = false
or or
@@ -753,7 +749,7 @@ private module Stage1 implements StageSig {
* the enclosing callable in order to reach a sink. * the enclosing callable in order to reach a sink.
*/ */
pragma[nomagic] pragma[nomagic]
predicate revFlow(NodeEx node, boolean toReturn, Configuration config) { private predicate revFlow(NodeEx node, boolean toReturn, Configuration config) {
revFlow0(node, toReturn, config) and revFlow0(node, toReturn, config) and
fwdFlow(node, config) fwdFlow(node, config)
} }

10
csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowImpl2.qll
View File

@@ -598,13 +598,9 @@ private predicate hasSinkCallCtx(Configuration config) {
} }
private module Stage1 implements StageSig { private module Stage1 implements StageSig {
class ApApprox = Unit;
class Ap = Unit; class Ap = Unit;
class ApOption = Unit; private class Cc = boolean;
class Cc = boolean;
/* Begin: Stage 1 logic. */ /* Begin: Stage 1 logic. */
/** /**
@@ -613,7 +609,7 @@ private module Stage1 implements StageSig {
* The Boolean `cc` records whether the node is reached through an * The Boolean `cc` records whether the node is reached through an
* argument in a call. * argument in a call.
*/ */
predicate fwdFlow(NodeEx node, Cc cc, Configuration config) { private predicate fwdFlow(NodeEx node, Cc cc, Configuration config) {
sourceNode(node, _, config) and sourceNode(node, _, config) and
if hasSourceCallCtx(config) then cc = true else cc = false if hasSourceCallCtx(config) then cc = true else cc = false
or or
@@ -753,7 +749,7 @@ private module Stage1 implements StageSig {
* the enclosing callable in order to reach a sink. * the enclosing callable in order to reach a sink.
*/ */
pragma[nomagic] pragma[nomagic]
predicate revFlow(NodeEx node, boolean toReturn, Configuration config) { private predicate revFlow(NodeEx node, boolean toReturn, Configuration config) {
revFlow0(node, toReturn, config) and revFlow0(node, toReturn, config) and
fwdFlow(node, config) fwdFlow(node, config)
} }

10
csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowImpl3.qll
View File

@@ -598,13 +598,9 @@ private predicate hasSinkCallCtx(Configuration config) {
} }
private module Stage1 implements StageSig { private module Stage1 implements StageSig {
class ApApprox = Unit;
class Ap = Unit; class Ap = Unit;
class ApOption = Unit; private class Cc = boolean;
class Cc = boolean;
/* Begin: Stage 1 logic. */ /* Begin: Stage 1 logic. */
/** /**
@@ -613,7 +609,7 @@ private module Stage1 implements StageSig {
* The Boolean `cc` records whether the node is reached through an * The Boolean `cc` records whether the node is reached through an
* argument in a call. * argument in a call.
*/ */
predicate fwdFlow(NodeEx node, Cc cc, Configuration config) { private predicate fwdFlow(NodeEx node, Cc cc, Configuration config) {
sourceNode(node, _, config) and sourceNode(node, _, config) and
if hasSourceCallCtx(config) then cc = true else cc = false if hasSourceCallCtx(config) then cc = true else cc = false
or or
@@ -753,7 +749,7 @@ private module Stage1 implements StageSig {
* the enclosing callable in order to reach a sink. * the enclosing callable in order to reach a sink.
*/ */
pragma[nomagic] pragma[nomagic]
predicate revFlow(NodeEx node, boolean toReturn, Configuration config) { private predicate revFlow(NodeEx node, boolean toReturn, Configuration config) {
revFlow0(node, toReturn, config) and revFlow0(node, toReturn, config) and
fwdFlow(node, config) fwdFlow(node, config)
} }

10
csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowImpl4.qll
View File

@@ -598,13 +598,9 @@ private predicate hasSinkCallCtx(Configuration config) {
} }
private module Stage1 implements StageSig { private module Stage1 implements StageSig {
class ApApprox = Unit;
class Ap = Unit; class Ap = Unit;
class ApOption = Unit; private class Cc = boolean;
class Cc = boolean;
/* Begin: Stage 1 logic. */ /* Begin: Stage 1 logic. */
/** /**
@@ -613,7 +609,7 @@ private module Stage1 implements StageSig {
* The Boolean `cc` records whether the node is reached through an * The Boolean `cc` records whether the node is reached through an
* argument in a call. * argument in a call.
*/ */
predicate fwdFlow(NodeEx node, Cc cc, Configuration config) { private predicate fwdFlow(NodeEx node, Cc cc, Configuration config) {
sourceNode(node, _, config) and sourceNode(node, _, config) and
if hasSourceCallCtx(config) then cc = true else cc = false if hasSourceCallCtx(config) then cc = true else cc = false
or or
@@ -753,7 +749,7 @@ private module Stage1 implements StageSig {
* the enclosing callable in order to reach a sink. * the enclosing callable in order to reach a sink.
*/ */
pragma[nomagic] pragma[nomagic]
predicate revFlow(NodeEx node, boolean toReturn, Configuration config) { private predicate revFlow(NodeEx node, boolean toReturn, Configuration config) {
revFlow0(node, toReturn, config) and revFlow0(node, toReturn, config) and
fwdFlow(node, config) fwdFlow(node, config)
} }

10
csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowImpl5.qll
View File

@@ -598,13 +598,9 @@ private predicate hasSinkCallCtx(Configuration config) {
} }
private module Stage1 implements StageSig { private module Stage1 implements StageSig {
class ApApprox = Unit;
class Ap = Unit; class Ap = Unit;
class ApOption = Unit; private class Cc = boolean;
class Cc = boolean;
/* Begin: Stage 1 logic. */ /* Begin: Stage 1 logic. */
/** /**
@@ -613,7 +609,7 @@ private module Stage1 implements StageSig {
* The Boolean `cc` records whether the node is reached through an * The Boolean `cc` records whether the node is reached through an
* argument in a call. * argument in a call.
*/ */
predicate fwdFlow(NodeEx node, Cc cc, Configuration config) { private predicate fwdFlow(NodeEx node, Cc cc, Configuration config) {
sourceNode(node, _, config) and sourceNode(node, _, config) and
if hasSourceCallCtx(config) then cc = true else cc = false if hasSourceCallCtx(config) then cc = true else cc = false
or or
@@ -753,7 +749,7 @@ private module Stage1 implements StageSig {
* the enclosing callable in order to reach a sink. * the enclosing callable in order to reach a sink.
*/ */
pragma[nomagic] pragma[nomagic]
predicate revFlow(NodeEx node, boolean toReturn, Configuration config) { private predicate revFlow(NodeEx node, boolean toReturn, Configuration config) {
revFlow0(node, toReturn, config) and revFlow0(node, toReturn, config) and
fwdFlow(node, config) fwdFlow(node, config)
} }

10
csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowImplForContentDataFlow.qll
View File

@@ -598,13 +598,9 @@ private predicate hasSinkCallCtx(Configuration config) {
} }
private module Stage1 implements StageSig { private module Stage1 implements StageSig {
class ApApprox = Unit;
class Ap = Unit; class Ap = Unit;
class ApOption = Unit; private class Cc = boolean;
class Cc = boolean;
/* Begin: Stage 1 logic. */ /* Begin: Stage 1 logic. */
/** /**
@@ -613,7 +609,7 @@ private module Stage1 implements StageSig {
* The Boolean `cc` records whether the node is reached through an * The Boolean `cc` records whether the node is reached through an
* argument in a call. * argument in a call.
*/ */
predicate fwdFlow(NodeEx node, Cc cc, Configuration config) { private predicate fwdFlow(NodeEx node, Cc cc, Configuration config) {
sourceNode(node, _, config) and sourceNode(node, _, config) and
if hasSourceCallCtx(config) then cc = true else cc = false if hasSourceCallCtx(config) then cc = true else cc = false
or or
@@ -753,7 +749,7 @@ private module Stage1 implements StageSig {
* the enclosing callable in order to reach a sink. * the enclosing callable in order to reach a sink.
*/ */
pragma[nomagic] pragma[nomagic]
predicate revFlow(NodeEx node, boolean toReturn, Configuration config) { private predicate revFlow(NodeEx node, boolean toReturn, Configuration config) {
revFlow0(node, toReturn, config) and revFlow0(node, toReturn, config) and
fwdFlow(node, config) fwdFlow(node, config)
} }

10
java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImpl.qll
View File

@@ -598,13 +598,9 @@ private predicate hasSinkCallCtx(Configuration config) {
} }
private module Stage1 implements StageSig { private module Stage1 implements StageSig {
class ApApprox = Unit;
class Ap = Unit; class Ap = Unit;
class ApOption = Unit; private class Cc = boolean;
class Cc = boolean;
/* Begin: Stage 1 logic. */ /* Begin: Stage 1 logic. */
/** /**
@@ -613,7 +609,7 @@ private module Stage1 implements StageSig {
* The Boolean `cc` records whether the node is reached through an * The Boolean `cc` records whether the node is reached through an
* argument in a call. * argument in a call.
*/ */
predicate fwdFlow(NodeEx node, Cc cc, Configuration config) { private predicate fwdFlow(NodeEx node, Cc cc, Configuration config) {
sourceNode(node, _, config) and sourceNode(node, _, config) and
if hasSourceCallCtx(config) then cc = true else cc = false if hasSourceCallCtx(config) then cc = true else cc = false
or or
@@ -753,7 +749,7 @@ private module Stage1 implements StageSig {
* the enclosing callable in order to reach a sink. * the enclosing callable in order to reach a sink.
*/ */
pragma[nomagic] pragma[nomagic]
predicate revFlow(NodeEx node, boolean toReturn, Configuration config) { private predicate revFlow(NodeEx node, boolean toReturn, Configuration config) {
revFlow0(node, toReturn, config) and revFlow0(node, toReturn, config) and
fwdFlow(node, config) fwdFlow(node, config)
} }

10
java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImpl2.qll
View File

@@ -598,13 +598,9 @@ private predicate hasSinkCallCtx(Configuration config) {
} }
private module Stage1 implements StageSig { private module Stage1 implements StageSig {
class ApApprox = Unit;
class Ap = Unit; class Ap = Unit;
class ApOption = Unit; private class Cc = boolean;
class Cc = boolean;
/* Begin: Stage 1 logic. */ /* Begin: Stage 1 logic. */
/** /**
@@ -613,7 +609,7 @@ private module Stage1 implements StageSig {
* The Boolean `cc` records whether the node is reached through an * The Boolean `cc` records whether the node is reached through an
* argument in a call. * argument in a call.
*/ */
predicate fwdFlow(NodeEx node, Cc cc, Configuration config) { private predicate fwdFlow(NodeEx node, Cc cc, Configuration config) {
sourceNode(node, _, config) and sourceNode(node, _, config) and
if hasSourceCallCtx(config) then cc = true else cc = false if hasSourceCallCtx(config) then cc = true else cc = false
or or
@@ -753,7 +749,7 @@ private module Stage1 implements StageSig {
* the enclosing callable in order to reach a sink. * the enclosing callable in order to reach a sink.
*/ */
pragma[nomagic] pragma[nomagic]
predicate revFlow(NodeEx node, boolean toReturn, Configuration config) { private predicate revFlow(NodeEx node, boolean toReturn, Configuration config) {
revFlow0(node, toReturn, config) and revFlow0(node, toReturn, config) and
fwdFlow(node, config) fwdFlow(node, config)
} }

10
java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImpl3.qll
View File

@@ -598,13 +598,9 @@ private predicate hasSinkCallCtx(Configuration config) {
} }
private module Stage1 implements StageSig { private module Stage1 implements StageSig {
class ApApprox = Unit;
class Ap = Unit; class Ap = Unit;
class ApOption = Unit; private class Cc = boolean;
class Cc = boolean;
/* Begin: Stage 1 logic. */ /* Begin: Stage 1 logic. */
/** /**
@@ -613,7 +609,7 @@ private module Stage1 implements StageSig {
* The Boolean `cc` records whether the node is reached through an * The Boolean `cc` records whether the node is reached through an
* argument in a call. * argument in a call.
*/ */
predicate fwdFlow(NodeEx node, Cc cc, Configuration config) { private predicate fwdFlow(NodeEx node, Cc cc, Configuration config) {
sourceNode(node, _, config) and sourceNode(node, _, config) and
if hasSourceCallCtx(config) then cc = true else cc = false if hasSourceCallCtx(config) then cc = true else cc = false
or or
@@ -753,7 +749,7 @@ private module Stage1 implements StageSig {
* the enclosing callable in order to reach a sink. * the enclosing callable in order to reach a sink.
*/ */
pragma[nomagic] pragma[nomagic]
predicate revFlow(NodeEx node, boolean toReturn, Configuration config) { private predicate revFlow(NodeEx node, boolean toReturn, Configuration config) {
revFlow0(node, toReturn, config) and revFlow0(node, toReturn, config) and
fwdFlow(node, config) fwdFlow(node, config)
} }

10
java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImpl4.qll
View File

@@ -598,13 +598,9 @@ private predicate hasSinkCallCtx(Configuration config) {
} }
private module Stage1 implements StageSig { private module Stage1 implements StageSig {
class ApApprox = Unit;
class Ap = Unit; class Ap = Unit;
class ApOption = Unit; private class Cc = boolean;
class Cc = boolean;
/* Begin: Stage 1 logic. */ /* Begin: Stage 1 logic. */
/** /**
@@ -613,7 +609,7 @@ private module Stage1 implements StageSig {
* The Boolean `cc` records whether the node is reached through an * The Boolean `cc` records whether the node is reached through an
* argument in a call. * argument in a call.
*/ */
predicate fwdFlow(NodeEx node, Cc cc, Configuration config) { private predicate fwdFlow(NodeEx node, Cc cc, Configuration config) {
sourceNode(node, _, config) and sourceNode(node, _, config) and
if hasSourceCallCtx(config) then cc = true else cc = false if hasSourceCallCtx(config) then cc = true else cc = false
or or
@@ -753,7 +749,7 @@ private module Stage1 implements StageSig {
* the enclosing callable in order to reach a sink. * the enclosing callable in order to reach a sink.
*/ */
pragma[nomagic] pragma[nomagic]
predicate revFlow(NodeEx node, boolean toReturn, Configuration config) { private predicate revFlow(NodeEx node, boolean toReturn, Configuration config) {
revFlow0(node, toReturn, config) and revFlow0(node, toReturn, config) and
fwdFlow(node, config) fwdFlow(node, config)
} }

10
java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImpl5.qll
View File

@@ -598,13 +598,9 @@ private predicate hasSinkCallCtx(Configuration config) {
} }
private module Stage1 implements StageSig { private module Stage1 implements StageSig {
class ApApprox = Unit;
class Ap = Unit; class Ap = Unit;
class ApOption = Unit; private class Cc = boolean;
class Cc = boolean;
/* Begin: Stage 1 logic. */ /* Begin: Stage 1 logic. */
/** /**
@@ -613,7 +609,7 @@ private module Stage1 implements StageSig {
* The Boolean `cc` records whether the node is reached through an * The Boolean `cc` records whether the node is reached through an
* argument in a call. * argument in a call.
*/ */
predicate fwdFlow(NodeEx node, Cc cc, Configuration config) { private predicate fwdFlow(NodeEx node, Cc cc, Configuration config) {
sourceNode(node, _, config) and sourceNode(node, _, config) and
if hasSourceCallCtx(config) then cc = true else cc = false if hasSourceCallCtx(config) then cc = true else cc = false
or or
@@ -753,7 +749,7 @@ private module Stage1 implements StageSig {
* the enclosing callable in order to reach a sink. * the enclosing callable in order to reach a sink.
*/ */
pragma[nomagic] pragma[nomagic]
predicate revFlow(NodeEx node, boolean toReturn, Configuration config) { private predicate revFlow(NodeEx node, boolean toReturn, Configuration config) {
revFlow0(node, toReturn, config) and revFlow0(node, toReturn, config) and
fwdFlow(node, config) fwdFlow(node, config)
} }

10
java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImpl6.qll
View File

@@ -598,13 +598,9 @@ private predicate hasSinkCallCtx(Configuration config) {
} }
private module Stage1 implements StageSig { private module Stage1 implements StageSig {
class ApApprox = Unit;
class Ap = Unit; class Ap = Unit;
class ApOption = Unit; private class Cc = boolean;
class Cc = boolean;
/* Begin: Stage 1 logic. */ /* Begin: Stage 1 logic. */
/** /**
@@ -613,7 +609,7 @@ private module Stage1 implements StageSig {
* The Boolean `cc` records whether the node is reached through an * The Boolean `cc` records whether the node is reached through an
* argument in a call. * argument in a call.
*/ */
predicate fwdFlow(NodeEx node, Cc cc, Configuration config) { private predicate fwdFlow(NodeEx node, Cc cc, Configuration config) {
sourceNode(node, _, config) and sourceNode(node, _, config) and
if hasSourceCallCtx(config) then cc = true else cc = false if hasSourceCallCtx(config) then cc = true else cc = false
or or
@@ -753,7 +749,7 @@ private module Stage1 implements StageSig {
* the enclosing callable in order to reach a sink. * the enclosing callable in order to reach a sink.
*/ */
pragma[nomagic] pragma[nomagic]
predicate revFlow(NodeEx node, boolean toReturn, Configuration config) { private predicate revFlow(NodeEx node, boolean toReturn, Configuration config) {
revFlow0(node, toReturn, config) and revFlow0(node, toReturn, config) and
fwdFlow(node, config) fwdFlow(node, config)
} }

10
java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImplForOnActivityResult.qll
View File

@@ -598,13 +598,9 @@ private predicate hasSinkCallCtx(Configuration config) {
} }
private module Stage1 implements StageSig { private module Stage1 implements StageSig {
class ApApprox = Unit;
class Ap = Unit; class Ap = Unit;
class ApOption = Unit; private class Cc = boolean;
class Cc = boolean;
/* Begin: Stage 1 logic. */ /* Begin: Stage 1 logic. */
/** /**
@@ -613,7 +609,7 @@ private module Stage1 implements StageSig {
* The Boolean `cc` records whether the node is reached through an * The Boolean `cc` records whether the node is reached through an
* argument in a call. * argument in a call.
*/ */
predicate fwdFlow(NodeEx node, Cc cc, Configuration config) { private predicate fwdFlow(NodeEx node, Cc cc, Configuration config) {
sourceNode(node, _, config) and sourceNode(node, _, config) and
if hasSourceCallCtx(config) then cc = true else cc = false if hasSourceCallCtx(config) then cc = true else cc = false
or or
@@ -753,7 +749,7 @@ private module Stage1 implements StageSig {
* the enclosing callable in order to reach a sink. * the enclosing callable in order to reach a sink.
*/ */
pragma[nomagic] pragma[nomagic]
predicate revFlow(NodeEx node, boolean toReturn, Configuration config) { private predicate revFlow(NodeEx node, boolean toReturn, Configuration config) {
revFlow0(node, toReturn, config) and revFlow0(node, toReturn, config) and
fwdFlow(node, config) fwdFlow(node, config)
} }

10
java/ql/lib/semmle/code/java/dataflow/internal/DataFlowImplForSerializability.qll
View File

@@ -598,13 +598,9 @@ private predicate hasSinkCallCtx(Configuration config) {
} }
private module Stage1 implements StageSig { private module Stage1 implements StageSig {
class ApApprox = Unit;
class Ap = Unit; class Ap = Unit;
class ApOption = Unit; private class Cc = boolean;
class Cc = boolean;
/* Begin: Stage 1 logic. */ /* Begin: Stage 1 logic. */
/** /**
@@ -613,7 +609,7 @@ private module Stage1 implements StageSig {
* The Boolean `cc` records whether the node is reached through an * The Boolean `cc` records whether the node is reached through an
* argument in a call. * argument in a call.
*/ */
predicate fwdFlow(NodeEx node, Cc cc, Configuration config) { private predicate fwdFlow(NodeEx node, Cc cc, Configuration config) {
sourceNode(node, _, config) and sourceNode(node, _, config) and
if hasSourceCallCtx(config) then cc = true else cc = false if hasSourceCallCtx(config) then cc = true else cc = false
or or
@@ -753,7 +749,7 @@ private module Stage1 implements StageSig {
* the enclosing callable in order to reach a sink. * the enclosing callable in order to reach a sink.
*/ */
pragma[nomagic] pragma[nomagic]
predicate revFlow(NodeEx node, boolean toReturn, Configuration config) { private predicate revFlow(NodeEx node, boolean toReturn, Configuration config) {
revFlow0(node, toReturn, config) and revFlow0(node, toReturn, config) and
fwdFlow(node, config) fwdFlow(node, config)
} }

10
python/ql/lib/semmle/python/dataflow/new/internal/DataFlowImpl.qll
View File

@@ -598,13 +598,9 @@ private predicate hasSinkCallCtx(Configuration config) {
} }
private module Stage1 implements StageSig { private module Stage1 implements StageSig {
class ApApprox = Unit;
class Ap = Unit; class Ap = Unit;
class ApOption = Unit; private class Cc = boolean;
class Cc = boolean;
/* Begin: Stage 1 logic. */ /* Begin: Stage 1 logic. */
/** /**
@@ -613,7 +609,7 @@ private module Stage1 implements StageSig {
* The Boolean `cc` records whether the node is reached through an * The Boolean `cc` records whether the node is reached through an
* argument in a call. * argument in a call.
*/ */
predicate fwdFlow(NodeEx node, Cc cc, Configuration config) { private predicate fwdFlow(NodeEx node, Cc cc, Configuration config) {
sourceNode(node, _, config) and sourceNode(node, _, config) and
if hasSourceCallCtx(config) then cc = true else cc = false if hasSourceCallCtx(config) then cc = true else cc = false
or or
@@ -753,7 +749,7 @@ private module Stage1 implements StageSig {
* the enclosing callable in order to reach a sink. * the enclosing callable in order to reach a sink.
*/ */
pragma[nomagic] pragma[nomagic]
predicate revFlow(NodeEx node, boolean toReturn, Configuration config) { private predicate revFlow(NodeEx node, boolean toReturn, Configuration config) {
revFlow0(node, toReturn, config) and revFlow0(node, toReturn, config) and
fwdFlow(node, config) fwdFlow(node, config)
} }

10
python/ql/lib/semmle/python/dataflow/new/internal/DataFlowImpl2.qll
View File

@@ -598,13 +598,9 @@ private predicate hasSinkCallCtx(Configuration config) {
} }
private module Stage1 implements StageSig { private module Stage1 implements StageSig {
class ApApprox = Unit;
class Ap = Unit; class Ap = Unit;
class ApOption = Unit; private class Cc = boolean;
class Cc = boolean;
/* Begin: Stage 1 logic. */ /* Begin: Stage 1 logic. */
/** /**
@@ -613,7 +609,7 @@ private module Stage1 implements StageSig {
* The Boolean `cc` records whether the node is reached through an * The Boolean `cc` records whether the node is reached through an
* argument in a call. * argument in a call.
*/ */
predicate fwdFlow(NodeEx node, Cc cc, Configuration config) { private predicate fwdFlow(NodeEx node, Cc cc, Configuration config) {
sourceNode(node, _, config) and sourceNode(node, _, config) and
if hasSourceCallCtx(config) then cc = true else cc = false if hasSourceCallCtx(config) then cc = true else cc = false
or or
@@ -753,7 +749,7 @@ private module Stage1 implements StageSig {
* the enclosing callable in order to reach a sink. * the enclosing callable in order to reach a sink.
*/ */
pragma[nomagic] pragma[nomagic]
predicate revFlow(NodeEx node, boolean toReturn, Configuration config) { private predicate revFlow(NodeEx node, boolean toReturn, Configuration config) {
revFlow0(node, toReturn, config) and revFlow0(node, toReturn, config) and
fwdFlow(node, config) fwdFlow(node, config)
} }

10
python/ql/lib/semmle/python/dataflow/new/internal/DataFlowImpl3.qll
View File

@@ -598,13 +598,9 @@ private predicate hasSinkCallCtx(Configuration config) {
} }
private module Stage1 implements StageSig { private module Stage1 implements StageSig {
class ApApprox = Unit;
class Ap = Unit; class Ap = Unit;
class ApOption = Unit; private class Cc = boolean;
class Cc = boolean;
/* Begin: Stage 1 logic. */ /* Begin: Stage 1 logic. */
/** /**
@@ -613,7 +609,7 @@ private module Stage1 implements StageSig {
* The Boolean `cc` records whether the node is reached through an * The Boolean `cc` records whether the node is reached through an
* argument in a call. * argument in a call.
*/ */
predicate fwdFlow(NodeEx node, Cc cc, Configuration config) { private predicate fwdFlow(NodeEx node, Cc cc, Configuration config) {
sourceNode(node, _, config) and sourceNode(node, _, config) and
if hasSourceCallCtx(config) then cc = true else cc = false if hasSourceCallCtx(config) then cc = true else cc = false
or or
@@ -753,7 +749,7 @@ private module Stage1 implements StageSig {
* the enclosing callable in order to reach a sink. * the enclosing callable in order to reach a sink.
*/ */
pragma[nomagic] pragma[nomagic]
predicate revFlow(NodeEx node, boolean toReturn, Configuration config) { private predicate revFlow(NodeEx node, boolean toReturn, Configuration config) {
revFlow0(node, toReturn, config) and revFlow0(node, toReturn, config) and
fwdFlow(node, config) fwdFlow(node, config)
} }

10
python/ql/lib/semmle/python/dataflow/new/internal/DataFlowImpl4.qll
View File

@@ -598,13 +598,9 @@ private predicate hasSinkCallCtx(Configuration config) {
} }
private module Stage1 implements StageSig { private module Stage1 implements StageSig {
class ApApprox = Unit;
class Ap = Unit; class Ap = Unit;
class ApOption = Unit; private class Cc = boolean;
class Cc = boolean;
/* Begin: Stage 1 logic. */ /* Begin: Stage 1 logic. */
/** /**
@@ -613,7 +609,7 @@ private module Stage1 implements StageSig {
* The Boolean `cc` records whether the node is reached through an * The Boolean `cc` records whether the node is reached through an
* argument in a call. * argument in a call.
*/ */
predicate fwdFlow(NodeEx node, Cc cc, Configuration config) { private predicate fwdFlow(NodeEx node, Cc cc, Configuration config) {
sourceNode(node, _, config) and sourceNode(node, _, config) and
if hasSourceCallCtx(config) then cc = true else cc = false if hasSourceCallCtx(config) then cc = true else cc = false
or or
@@ -753,7 +749,7 @@ private module Stage1 implements StageSig {
* the enclosing callable in order to reach a sink. * the enclosing callable in order to reach a sink.
*/ */
pragma[nomagic] pragma[nomagic]
predicate revFlow(NodeEx node, boolean toReturn, Configuration config) { private predicate revFlow(NodeEx node, boolean toReturn, Configuration config) {
revFlow0(node, toReturn, config) and revFlow0(node, toReturn, config) and
fwdFlow(node, config) fwdFlow(node, config)
} }

10
ruby/ql/lib/codeql/ruby/dataflow/internal/DataFlowImpl.qll
View File

@@ -598,13 +598,9 @@ private predicate hasSinkCallCtx(Configuration config) {
} }
private module Stage1 implements StageSig { private module Stage1 implements StageSig {
class ApApprox = Unit;
class Ap = Unit; class Ap = Unit;
class ApOption = Unit; private class Cc = boolean;
class Cc = boolean;
/* Begin: Stage 1 logic. */ /* Begin: Stage 1 logic. */
/** /**
@@ -613,7 +609,7 @@ private module Stage1 implements StageSig {
* The Boolean `cc` records whether the node is reached through an * The Boolean `cc` records whether the node is reached through an
* argument in a call. * argument in a call.
*/ */
predicate fwdFlow(NodeEx node, Cc cc, Configuration config) { private predicate fwdFlow(NodeEx node, Cc cc, Configuration config) {
sourceNode(node, _, config) and sourceNode(node, _, config) and
if hasSourceCallCtx(config) then cc = true else cc = false if hasSourceCallCtx(config) then cc = true else cc = false
or or
@@ -753,7 +749,7 @@ private module Stage1 implements StageSig {
* the enclosing callable in order to reach a sink. * the enclosing callable in order to reach a sink.
*/ */
pragma[nomagic] pragma[nomagic]
predicate revFlow(NodeEx node, boolean toReturn, Configuration config) { private predicate revFlow(NodeEx node, boolean toReturn, Configuration config) {
revFlow0(node, toReturn, config) and revFlow0(node, toReturn, config) and
fwdFlow(node, config) fwdFlow(node, config)
} }

10
ruby/ql/lib/codeql/ruby/dataflow/internal/DataFlowImpl2.qll
View File

@@ -598,13 +598,9 @@ private predicate hasSinkCallCtx(Configuration config) {
} }
private module Stage1 implements StageSig { private module Stage1 implements StageSig {
class ApApprox = Unit;
class Ap = Unit; class Ap = Unit;
class ApOption = Unit; private class Cc = boolean;
class Cc = boolean;
/* Begin: Stage 1 logic. */ /* Begin: Stage 1 logic. */
/** /**
@@ -613,7 +609,7 @@ private module Stage1 implements StageSig {
* The Boolean `cc` records whether the node is reached through an * The Boolean `cc` records whether the node is reached through an
* argument in a call. * argument in a call.
*/ */
predicate fwdFlow(NodeEx node, Cc cc, Configuration config) { private predicate fwdFlow(NodeEx node, Cc cc, Configuration config) {
sourceNode(node, _, config) and sourceNode(node, _, config) and
if hasSourceCallCtx(config) then cc = true else cc = false if hasSourceCallCtx(config) then cc = true else cc = false
or or
@@ -753,7 +749,7 @@ private module Stage1 implements StageSig {
* the enclosing callable in order to reach a sink. * the enclosing callable in order to reach a sink.
*/ */
pragma[nomagic] pragma[nomagic]
predicate revFlow(NodeEx node, boolean toReturn, Configuration config) { private predicate revFlow(NodeEx node, boolean toReturn, Configuration config) {
revFlow0(node, toReturn, config) and revFlow0(node, toReturn, config) and
fwdFlow(node, config) fwdFlow(node, config)
} }

10
ruby/ql/lib/codeql/ruby/dataflow/internal/DataFlowImplForHttpClientLibraries.qll
View File

@@ -598,13 +598,9 @@ private predicate hasSinkCallCtx(Configuration config) {
} }
private module Stage1 implements StageSig { private module Stage1 implements StageSig {
class ApApprox = Unit;
class Ap = Unit; class Ap = Unit;
class ApOption = Unit; private class Cc = boolean;
class Cc = boolean;
/* Begin: Stage 1 logic. */ /* Begin: Stage 1 logic. */
/** /**
@@ -613,7 +609,7 @@ private module Stage1 implements StageSig {
* The Boolean `cc` records whether the node is reached through an * The Boolean `cc` records whether the node is reached through an
* argument in a call. * argument in a call.
*/ */
predicate fwdFlow(NodeEx node, Cc cc, Configuration config) { private predicate fwdFlow(NodeEx node, Cc cc, Configuration config) {
sourceNode(node, _, config) and sourceNode(node, _, config) and
if hasSourceCallCtx(config) then cc = true else cc = false if hasSourceCallCtx(config) then cc = true else cc = false
or or
@@ -753,7 +749,7 @@ private module Stage1 implements StageSig {
* the enclosing callable in order to reach a sink. * the enclosing callable in order to reach a sink.
*/ */
pragma[nomagic] pragma[nomagic]
predicate revFlow(NodeEx node, boolean toReturn, Configuration config) { private predicate revFlow(NodeEx node, boolean toReturn, Configuration config) {
revFlow0(node, toReturn, config) and revFlow0(node, toReturn, config) and
fwdFlow(node, config) fwdFlow(node, config)
} }

10
ruby/ql/lib/codeql/ruby/dataflow/internal/DataFlowImplForLibraries.qll
View File

@@ -598,13 +598,9 @@ private predicate hasSinkCallCtx(Configuration config) {
} }
private module Stage1 implements StageSig { private module Stage1 implements StageSig {
class ApApprox = Unit;
class Ap = Unit; class Ap = Unit;
class ApOption = Unit; private class Cc = boolean;
class Cc = boolean;
/* Begin: Stage 1 logic. */ /* Begin: Stage 1 logic. */
/** /**
@@ -613,7 +609,7 @@ private module Stage1 implements StageSig {
* The Boolean `cc` records whether the node is reached through an * The Boolean `cc` records whether the node is reached through an
* argument in a call. * argument in a call.
*/ */
predicate fwdFlow(NodeEx node, Cc cc, Configuration config) { private predicate fwdFlow(NodeEx node, Cc cc, Configuration config) {
sourceNode(node, _, config) and sourceNode(node, _, config) and
if hasSourceCallCtx(config) then cc = true else cc = false if hasSourceCallCtx(config) then cc = true else cc = false
or or
@@ -753,7 +749,7 @@ private module Stage1 implements StageSig {
* the enclosing callable in order to reach a sink. * the enclosing callable in order to reach a sink.
*/ */
pragma[nomagic] pragma[nomagic]
predicate revFlow(NodeEx node, boolean toReturn, Configuration config) { private predicate revFlow(NodeEx node, boolean toReturn, Configuration config) {
revFlow0(node, toReturn, config) and revFlow0(node, toReturn, config) and
fwdFlow(node, config) fwdFlow(node, config)
} }

10
swift/ql/lib/codeql/swift/dataflow/internal/DataFlowImpl.qll
View File

@@ -598,13 +598,9 @@ private predicate hasSinkCallCtx(Configuration config) {
} }
private module Stage1 implements StageSig { private module Stage1 implements StageSig {
class ApApprox = Unit;
class Ap = Unit; class Ap = Unit;
class ApOption = Unit; private class Cc = boolean;
class Cc = boolean;
/* Begin: Stage 1 logic. */ /* Begin: Stage 1 logic. */
/** /**
@@ -613,7 +609,7 @@ private module Stage1 implements StageSig {
* The Boolean `cc` records whether the node is reached through an * The Boolean `cc` records whether the node is reached through an
* argument in a call. * argument in a call.
*/ */
predicate fwdFlow(NodeEx node, Cc cc, Configuration config) { private predicate fwdFlow(NodeEx node, Cc cc, Configuration config) {
sourceNode(node, _, config) and sourceNode(node, _, config) and
if hasSourceCallCtx(config) then cc = true else cc = false if hasSourceCallCtx(config) then cc = true else cc = false
or or
@@ -753,7 +749,7 @@ private module Stage1 implements StageSig {
* the enclosing callable in order to reach a sink. * the enclosing callable in order to reach a sink.
*/ */
pragma[nomagic] pragma[nomagic]
predicate revFlow(NodeEx node, boolean toReturn, Configuration config) { private predicate revFlow(NodeEx node, boolean toReturn, Configuration config) {
revFlow0(node, toReturn, config) and revFlow0(node, toReturn, config) and
fwdFlow(node, config) fwdFlow(node, config)
} }