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

Use _ instead of exists variable x2

Browse Source
This commit is contained in:
Owen Mansel-Chan
2025-09-02 15:51:37 +01:00
parent a3eb0100a6
commit 32de2113a6
2 changed files with 3 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
go/ql/lib/semmle/go/dataflow/SsaImpl.qll
View File

@@ -349,10 +349,8 @@ private module Internal {
varBlockReachesBaseCand(v, b1, b2) and varBlockReachesBaseCand(v, b1, b2) and
blockPrecedesVar(v, b2) blockPrecedesVar(v, b2)
or or
exists(ReachableBasicBlock mid | varBlockReachesRecCand(v, b1, _, b2) and
varBlockReachesRecCand(v, b1, mid, b2) and blockPrecedesVar(v, b2)
blockPrecedesVar(v, b2)
)
} }
/** /**

4
go/ql/lib/semmle/go/security/LogInjectionCustomizations.qll
View File

@@ -79,9 +79,7 @@ module LogInjection {
*/ */
private class SafeFormatArgumentSanitizer extends Sanitizer { private class SafeFormatArgumentSanitizer extends Sanitizer {
SafeFormatArgumentSanitizer() { SafeFormatArgumentSanitizer() {
exists(DataFlow::Node arg, StringOps::Formatting::StringFormatCall call | exists(StringOps::Formatting::StringFormatCall call | safeFormatArgument(_, call) |
safeFormatArgument(arg, call)
|
this = call.getAResult() this = call.getAResult()
) )
} }