hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-26 17:25:19 +02:00
Code Issues Packages Projects Releases Wiki Activity

Dataflow: One more pragma.

Browse Source
This commit is contained in:
Anders Schack-Mulligen
2021-03-12 15:59:19 +01:00
parent 674886a17d
commit 5aa9c2bd19
23 changed files with 69 additions and 69 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
csharp/ql/src/semmle/code/csharp/dataflow/internal/DataFlowImpl.qll
View File

@@ -850,7 +850,7 @@ private module Stage2 {
ap = getApNil(node)
or
exists(Node mid, Ap ap0, LocalCc localCc |
fwdFlow(mid, cc, argAp, ap0, config) and
fwdFlow(mid, pragma[only_bind_into](cc), argAp, ap0, config) and
localCc = getLocalCc(mid, cc, config)
|
localStep(mid, node, true, _, config, localCc) and
@@ -1489,7 +1489,7 @@ private module Stage3 {
ap = getApNil(node)
or
exists(Node mid, Ap ap0, LocalCc localCc |
fwdFlow(mid, cc, argAp, ap0, config) and
fwdFlow(mid, pragma[only_bind_into](cc), argAp, ap0, config) and
localCc = getLocalCc(mid, cc, config)
|
localStep(mid, node, true, _, config, localCc) and
@@ -2206,7 +2206,7 @@ private module Stage4 {
ap = getApNil(node)
or
exists(Node mid, Ap ap0, LocalCc localCc |
fwdFlow(mid, cc, argAp, ap0, config) and
fwdFlow(mid, pragma[only_bind_into](cc), argAp, ap0, config) and
localCc = getLocalCc(mid, cc, config)
|
localStep(mid, node, true, _, config, localCc) and

6
csharp/ql/src/semmle/code/csharp/dataflow/internal/DataFlowImpl2.qll
View File

@@ -850,7 +850,7 @@ private module Stage2 {
ap = getApNil(node)
or
exists(Node mid, Ap ap0, LocalCc localCc |
fwdFlow(mid, cc, argAp, ap0, config) and
fwdFlow(mid, pragma[only_bind_into](cc), argAp, ap0, config) and
localCc = getLocalCc(mid, cc, config)
|
localStep(mid, node, true, _, config, localCc) and
@@ -1489,7 +1489,7 @@ private module Stage3 {
ap = getApNil(node)
or
exists(Node mid, Ap ap0, LocalCc localCc |
fwdFlow(mid, cc, argAp, ap0, config) and
fwdFlow(mid, pragma[only_bind_into](cc), argAp, ap0, config) and
localCc = getLocalCc(mid, cc, config)
|
localStep(mid, node, true, _, config, localCc) and
@@ -2206,7 +2206,7 @@ private module Stage4 {
ap = getApNil(node)
or
exists(Node mid, Ap ap0, LocalCc localCc |
fwdFlow(mid, cc, argAp, ap0, config) and
fwdFlow(mid, pragma[only_bind_into](cc), argAp, ap0, config) and
localCc = getLocalCc(mid, cc, config)
|
localStep(mid, node, true, _, config, localCc) and

6
csharp/ql/src/semmle/code/csharp/dataflow/internal/DataFlowImpl3.qll
View File

@@ -850,7 +850,7 @@ private module Stage2 {
ap = getApNil(node)
or
exists(Node mid, Ap ap0, LocalCc localCc |
fwdFlow(mid, cc, argAp, ap0, config) and
fwdFlow(mid, pragma[only_bind_into](cc), argAp, ap0, config) and
localCc = getLocalCc(mid, cc, config)
|
localStep(mid, node, true, _, config, localCc) and
@@ -1489,7 +1489,7 @@ private module Stage3 {
ap = getApNil(node)
or
exists(Node mid, Ap ap0, LocalCc localCc |
fwdFlow(mid, cc, argAp, ap0, config) and
fwdFlow(mid, pragma[only_bind_into](cc), argAp, ap0, config) and
localCc = getLocalCc(mid, cc, config)
|
localStep(mid, node, true, _, config, localCc) and
@@ -2206,7 +2206,7 @@ private module Stage4 {
ap = getApNil(node)
or
exists(Node mid, Ap ap0, LocalCc localCc |
fwdFlow(mid, cc, argAp, ap0, config) and
fwdFlow(mid, pragma[only_bind_into](cc), argAp, ap0, config) and
localCc = getLocalCc(mid, cc, config)
|
localStep(mid, node, true, _, config, localCc) and

6
csharp/ql/src/semmle/code/csharp/dataflow/internal/DataFlowImpl4.qll
View File

@@ -850,7 +850,7 @@ private module Stage2 {
ap = getApNil(node)
or
exists(Node mid, Ap ap0, LocalCc localCc |
fwdFlow(mid, cc, argAp, ap0, config) and
fwdFlow(mid, pragma[only_bind_into](cc), argAp, ap0, config) and
localCc = getLocalCc(mid, cc, config)
|
localStep(mid, node, true, _, config, localCc) and
@@ -1489,7 +1489,7 @@ private module Stage3 {
ap = getApNil(node)
or
exists(Node mid, Ap ap0, LocalCc localCc |
fwdFlow(mid, cc, argAp, ap0, config) and
fwdFlow(mid, pragma[only_bind_into](cc), argAp, ap0, config) and
localCc = getLocalCc(mid, cc, config)
|
localStep(mid, node, true, _, config, localCc) and
@@ -2206,7 +2206,7 @@ private module Stage4 {
ap = getApNil(node)
or
exists(Node mid, Ap ap0, LocalCc localCc |
fwdFlow(mid, cc, argAp, ap0, config) and
fwdFlow(mid, pragma[only_bind_into](cc), argAp, ap0, config) and
localCc = getLocalCc(mid, cc, config)
|
localStep(mid, node, true, _, config, localCc) and

6
csharp/ql/src/semmle/code/csharp/dataflow/internal/DataFlowImpl5.qll
View File

@@ -850,7 +850,7 @@ private module Stage2 {
ap = getApNil(node)
or
exists(Node mid, Ap ap0, LocalCc localCc |
fwdFlow(mid, cc, argAp, ap0, config) and
fwdFlow(mid, pragma[only_bind_into](cc), argAp, ap0, config) and
localCc = getLocalCc(mid, cc, config)
|
localStep(mid, node, true, _, config, localCc) and
@@ -1489,7 +1489,7 @@ private module Stage3 {
ap = getApNil(node)
or
exists(Node mid, Ap ap0, LocalCc localCc |
fwdFlow(mid, cc, argAp, ap0, config) and
fwdFlow(mid, pragma[only_bind_into](cc), argAp, ap0, config) and
localCc = getLocalCc(mid, cc, config)
|
localStep(mid, node, true, _, config, localCc) and
@@ -2206,7 +2206,7 @@ private module Stage4 {
ap = getApNil(node)
or
exists(Node mid, Ap ap0, LocalCc localCc |
fwdFlow(mid, cc, argAp, ap0, config) and
fwdFlow(mid, pragma[only_bind_into](cc), argAp, ap0, config) and
localCc = getLocalCc(mid, cc, config)
|
localStep(mid, node, true, _, config, localCc) and