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

Go: mass-add none() location overrides

Browse Source
This commit is contained in:
Nora Dimitrijević
2025-06-13 15:25:04 +02:00
parent 17cd58bd3c
commit 51826c72d0
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 observeDiffInformedIncrementalMode() { any() }
Location getASelectedSinkLocation(DataFlow::Node sink) { none() }
}
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
)
}
predicate observeDiffInformedIncrementalMode() { any() }
}
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() }
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() }
Location getASelectedSinkLocation(DataFlow::Node sink) { none() }
}
module PamStartToAcctMgmtFlow = TaintTracking::Global<PamStartToAcctMgmtConfig>;
@@ -59,6 +61,8 @@ module PamStartToAuthenticateConfig implements DataFlow::ConfigSig {
}
predicate observeDiffInformedIncrementalMode() { any() }
Location getASelectedSinkLocation(DataFlow::Node sink) { none() }
}
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() }
Location getASelectedSourceLocation(DataFlow::Node sink) { none() }
}
/**