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

Merge pull request #19760 from d10c/d10c/go/diff-informed-2

Browse Source 
Go: mass-enable diff-informed queries phase 2 - `getASelected{Source,Sink}Location() { none() }`
This commit is contained in:
Nora Dimitrijević
2025-06-19 14:44:56 +02:00
committed by GitHub
parent 9974f9e93b 51826c72d0
commit b62a6db314
5 changed files with 12 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
go/ql/src/Security/CWE-020/MissingRegexpAnchor.ql
View File

@@ -74,6 +74,8 @@ module Config implements DataFlow::ConfigSig {
predicate isSink(DataFlow::Node sink) { sink instanceof RegexpPattern } predicate isSink(DataFlow::Node sink) { sink instanceof RegexpPattern }
predicate observeDiffInformedIncrementalMode() { any() } predicate observeDiffInformedIncrementalMode() { any() }
Location getASelectedSinkLocation(DataFlow::Node sink) { none() }
} }
module Flow = DataFlow::Global<Config>; module Flow = DataFlow::Global<Config>;

2
go/ql/src/Security/CWE-079/HtmlTemplateEscapingBypassXss.ql
View File

@@ -101,6 +101,8 @@ module UntrustedToTemplateExecWithConversionConfig implements DataFlow::StateCon
conversion.getType().getUnderlyingType*() = unescapedType conversion.getType().getUnderlyingType*() = unescapedType
) )
} }
predicate observeDiffInformedIncrementalMode() { any() }
} }
module UntrustedToTemplateExecWithConversionFlow = module UntrustedToTemplateExecWithConversionFlow =

2
go/ql/src/Security/CWE-326/InsufficientKeySize.ql
View File

@@ -27,6 +27,8 @@ module Config implements DataFlow::ConfigSig {
} }
predicate observeDiffInformedIncrementalMode() { any() } predicate observeDiffInformedIncrementalMode() { any() }
Location getASelectedSourceLocation(DataFlow::Node sink) { none() }
} }
/** /**

4
go/ql/src/experimental/CWE-285/PamAuthBypass.ql
View File

@@ -44,6 +44,8 @@ module PamStartToAcctMgmtConfig implements DataFlow::ConfigSig {
} }
predicate observeDiffInformedIncrementalMode() { any() } predicate observeDiffInformedIncrementalMode() { any() }
Location getASelectedSinkLocation(DataFlow::Node sink) { none() }
} }
module PamStartToAcctMgmtFlow = TaintTracking::Global<PamStartToAcctMgmtConfig>; module PamStartToAcctMgmtFlow = TaintTracking::Global<PamStartToAcctMgmtConfig>;
@@ -59,6 +61,8 @@ module PamStartToAuthenticateConfig implements DataFlow::ConfigSig {
} }
predicate observeDiffInformedIncrementalMode() { any() } predicate observeDiffInformedIncrementalMode() { any() }
Location getASelectedSinkLocation(DataFlow::Node sink) { none() }
} }
module PamStartToAuthenticateFlow = TaintTracking::Global<PamStartToAuthenticateConfig>; module PamStartToAuthenticateFlow = TaintTracking::Global<PamStartToAuthenticateConfig>;

2
go/ql/src/experimental/CWE-369/DivideByZero.ql
View File

@@ -47,6 +47,8 @@ module Config implements DataFlow::ConfigSig {
} }
predicate observeDiffInformedIncrementalMode() { any() } predicate observeDiffInformedIncrementalMode() { any() }
Location getASelectedSourceLocation(DataFlow::Node sink) { none() }
} }
/** /**