File tree Expand file tree Collapse file tree 10 files changed +20
-10
lines changed
experimental/semmle/code/cpp/ir/dataflow/internal/tainttracking1
dataflow/internal/tainttracking1
ir/dataflow/internal/tainttracking1
csharp/ql/lib/semmle/code/csharp/dataflow/internal/tainttracking1
go/ql/lib/semmle/go/dataflow/internal/tainttracking1
java/ql/lib/semmle/code/java/dataflow/internal/tainttracking1
python/ql/lib/semmle/python/dataflow/new/internal/tainttracking1
dataflow/internal/tainttracking1
swift/ql/lib/codeql/swift/dataflow/internal/tainttracking1 Expand file tree Collapse file tree 10 files changed +20
-10
lines changed Original file line number Diff line number Diff line change @@ -7,7 +7,8 @@ import TaintTrackingParameter::Public
7
7
private import TaintTrackingParameter:: Private
8
8
9
9
private module AddTaintDefaults< DataFlowInternal:: FullStateConfigSig Config> implements
10
- DataFlowInternal:: FullStateConfigSig {
10
+ DataFlowInternal:: FullStateConfigSig
11
+ {
11
12
import Config
12
13
13
14
predicate isBarrier ( DataFlow:: Node node ) {
Original file line number Diff line number Diff line change @@ -7,7 +7,8 @@ import TaintTrackingParameter::Public
7
7
private import TaintTrackingParameter:: Private
8
8
9
9
private module AddTaintDefaults< DataFlowInternal:: FullStateConfigSig Config> implements
10
- DataFlowInternal:: FullStateConfigSig {
10
+ DataFlowInternal:: FullStateConfigSig
11
+ {
11
12
import Config
12
13
13
14
predicate isBarrier ( DataFlow:: Node node ) {
Original file line number Diff line number Diff line change @@ -7,7 +7,8 @@ import TaintTrackingParameter::Public
7
7
private import TaintTrackingParameter:: Private
8
8
9
9
private module AddTaintDefaults< DataFlowInternal:: FullStateConfigSig Config> implements
10
- DataFlowInternal:: FullStateConfigSig {
10
+ DataFlowInternal:: FullStateConfigSig
11
+ {
11
12
import Config
12
13
13
14
predicate isBarrier ( DataFlow:: Node node ) {
Original file line number Diff line number Diff line change @@ -7,7 +7,8 @@ import TaintTrackingParameter::Public
7
7
private import TaintTrackingParameter:: Private
8
8
9
9
private module AddTaintDefaults< DataFlowInternal:: FullStateConfigSig Config> implements
10
- DataFlowInternal:: FullStateConfigSig {
10
+ DataFlowInternal:: FullStateConfigSig
11
+ {
11
12
import Config
12
13
13
14
predicate isBarrier ( DataFlow:: Node node ) {
Original file line number Diff line number Diff line change @@ -7,7 +7,8 @@ import TaintTrackingParameter::Public
7
7
private import TaintTrackingParameter:: Private
8
8
9
9
private module AddTaintDefaults< DataFlowInternal:: FullStateConfigSig Config> implements
10
- DataFlowInternal:: FullStateConfigSig {
10
+ DataFlowInternal:: FullStateConfigSig
11
+ {
11
12
import Config
12
13
13
14
predicate isBarrier ( DataFlow:: Node node ) {
Original file line number Diff line number Diff line change @@ -7,7 +7,8 @@ import TaintTrackingParameter::Public
7
7
private import TaintTrackingParameter:: Private
8
8
9
9
private module AddTaintDefaults< DataFlowInternal:: FullStateConfigSig Config> implements
10
- DataFlowInternal:: FullStateConfigSig {
10
+ DataFlowInternal:: FullStateConfigSig
11
+ {
11
12
import Config
12
13
13
14
predicate isBarrier ( DataFlow:: Node node ) {
Original file line number Diff line number Diff line change @@ -7,7 +7,8 @@ import TaintTrackingParameter::Public
7
7
private import TaintTrackingParameter:: Private
8
8
9
9
private module AddTaintDefaults< DataFlowInternal:: FullStateConfigSig Config> implements
10
- DataFlowInternal:: FullStateConfigSig {
10
+ DataFlowInternal:: FullStateConfigSig
11
+ {
11
12
import Config
12
13
13
14
predicate isBarrier ( DataFlow:: Node node ) {
Original file line number Diff line number Diff line change @@ -7,7 +7,8 @@ import TaintTrackingParameter::Public
7
7
private import TaintTrackingParameter:: Private
8
8
9
9
private module AddTaintDefaults< DataFlowInternal:: FullStateConfigSig Config> implements
10
- DataFlowInternal:: FullStateConfigSig {
10
+ DataFlowInternal:: FullStateConfigSig
11
+ {
11
12
import Config
12
13
13
14
predicate isBarrier ( DataFlow:: Node node ) {
Original file line number Diff line number Diff line change @@ -114,7 +114,8 @@ module ZipSlip {
114
114
* sanitizer-guard.
115
115
*/
116
116
private class StringConstArrayInclusionCallAsSanitizer extends Sanitizer ,
117
- StringConstArrayInclusionCallBarrier { }
117
+ StringConstArrayInclusionCallBarrier
118
+ { }
118
119
119
120
/**
120
121
* A sanitizer like `File.expand_path(path).start_with?` where `path` is a path of a single entry inside the archive.
Original file line number Diff line number Diff line change @@ -7,7 +7,8 @@ import TaintTrackingParameter::Public
7
7
private import TaintTrackingParameter:: Private
8
8
9
9
private module AddTaintDefaults< DataFlowInternal:: FullStateConfigSig Config> implements
10
- DataFlowInternal:: FullStateConfigSig {
10
+ DataFlowInternal:: FullStateConfigSig
11
+ {
11
12
import Config
12
13
13
14
predicate isBarrier ( DataFlow:: Node node ) {
You can’t perform that action at this time.
0 commit comments