Skip to content

Commit 51826c7

Browse files
committed
Go: mass-add none() location overrides
1 parent 17cd58b commit 51826c7

File tree

5 files changed

+12
-0
lines changed

5 files changed

+12
-0
lines changed

go/ql/src/Security/CWE-020/MissingRegexpAnchor.ql

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -74,6 +74,8 @@ module Config implements DataFlow::ConfigSig {
7474
predicate isSink(DataFlow::Node sink) { sink instanceof RegexpPattern }
7575

7676
predicate observeDiffInformedIncrementalMode() { any() }
77+
78+
Location getASelectedSinkLocation(DataFlow::Node sink) { none() }
7779
}
7880

7981
module Flow = DataFlow::Global<Config>;

go/ql/src/Security/CWE-079/HtmlTemplateEscapingBypassXss.ql

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -101,6 +101,8 @@ module UntrustedToTemplateExecWithConversionConfig implements DataFlow::StateCon
101101
conversion.getType().getUnderlyingType*() = unescapedType
102102
)
103103
}
104+
105+
predicate observeDiffInformedIncrementalMode() { any() }
104106
}
105107

106108
module UntrustedToTemplateExecWithConversionFlow =

go/ql/src/Security/CWE-326/InsufficientKeySize.ql

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -27,6 +27,8 @@ module Config implements DataFlow::ConfigSig {
2727
}
2828

2929
predicate observeDiffInformedIncrementalMode() { any() }
30+
31+
Location getASelectedSourceLocation(DataFlow::Node sink) { none() }
3032
}
3133

3234
/**

go/ql/src/experimental/CWE-285/PamAuthBypass.ql

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -44,6 +44,8 @@ module PamStartToAcctMgmtConfig implements DataFlow::ConfigSig {
4444
}
4545

4646
predicate observeDiffInformedIncrementalMode() { any() }
47+
48+
Location getASelectedSinkLocation(DataFlow::Node sink) { none() }
4749
}
4850

4951
module PamStartToAcctMgmtFlow = TaintTracking::Global<PamStartToAcctMgmtConfig>;
@@ -59,6 +61,8 @@ module PamStartToAuthenticateConfig implements DataFlow::ConfigSig {
5961
}
6062

6163
predicate observeDiffInformedIncrementalMode() { any() }
64+
65+
Location getASelectedSinkLocation(DataFlow::Node sink) { none() }
6266
}
6367

6468
module PamStartToAuthenticateFlow = TaintTracking::Global<PamStartToAuthenticateConfig>;

go/ql/src/experimental/CWE-369/DivideByZero.ql

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -47,6 +47,8 @@ module Config implements DataFlow::ConfigSig {
4747
}
4848

4949
predicate observeDiffInformedIncrementalMode() { any() }
50+
51+
Location getASelectedSourceLocation(DataFlow::Node sink) { none() }
5052
}
5153

5254
/**

0 commit comments

Comments
 (0)