From c7816ea1806b2fa22412cf0c33eda0f55eac41bf Mon Sep 17 00:00:00 2001 From: Ed Minnix Date: Thu, 16 Mar 2023 23:15:19 -0400 Subject: [PATCH] Conform `Config` modules to naming convention --- .../ImproperValidationOfArrayConstructionCodeSpecified.ql | 4 ++-- java/ql/src/Security/CWE/CWE-614/InsecureCookie.ql | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/java/ql/src/Security/CWE/CWE-129/ImproperValidationOfArrayConstructionCodeSpecified.ql b/java/ql/src/Security/CWE/CWE-129/ImproperValidationOfArrayConstructionCodeSpecified.ql index 321479e9f38..680b538c870 100644 --- a/java/ql/src/Security/CWE/CWE-129/ImproperValidationOfArrayConstructionCodeSpecified.ql +++ b/java/ql/src/Security/CWE/CWE-129/ImproperValidationOfArrayConstructionCodeSpecified.ql @@ -15,7 +15,7 @@ import java import ArraySizing import semmle.code.java.dataflow.TaintTracking -private module BoundedFlowSourceConf implements DataFlow::ConfigSig { +private module BoundedFlowSourceConfig implements DataFlow::ConfigSig { predicate isSource(DataFlow::Node source) { source instanceof BoundedFlowSource and // There is not a fixed lower bound which is greater than zero. @@ -27,7 +27,7 @@ private module BoundedFlowSourceConf implements DataFlow::ConfigSig { } } -module BoundedFlowSourceFlow = DataFlow::Make; +module BoundedFlowSourceFlow = DataFlow::Make; import BoundedFlowSourceFlow::PathGraph diff --git a/java/ql/src/Security/CWE/CWE-614/InsecureCookie.ql b/java/ql/src/Security/CWE/CWE-614/InsecureCookie.ql index e8aaa106e78..821c6f7a1fc 100644 --- a/java/ql/src/Security/CWE/CWE-614/InsecureCookie.ql +++ b/java/ql/src/Security/CWE/CWE-614/InsecureCookie.ql @@ -26,7 +26,7 @@ predicate isSafeSecureCookieSetting(Expr e) { ) } -private module SecureCookieConfiguration implements DataFlow::ConfigSig { +private module SecureCookieConfig implements DataFlow::ConfigSig { predicate isSource(DataFlow::Node source) { exists(MethodAccess ma, Method m | ma.getMethod() = m | m.getDeclaringType() instanceof TypeCookie and @@ -47,7 +47,7 @@ private module SecureCookieConfiguration implements DataFlow::ConfigSig { } } -module SecureCookieFlow = DataFlow::Make; +module SecureCookieFlow = DataFlow::Make; from MethodAccess add where