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

Conform Config modules to naming convention

Browse Source
This commit is contained in:
Ed Minnix
2023-03-16 23:15:19 -04:00
parent 8856730843
commit c7816ea180
2 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
java/ql/src/Security/CWE/CWE-129/ImproperValidationOfArrayConstructionCodeSpecified.ql
View File

@@ -15,7 +15,7 @@ import java
import ArraySizing import ArraySizing
import semmle.code.java.dataflow.TaintTracking import semmle.code.java.dataflow.TaintTracking
private module BoundedFlowSourceConf implements DataFlow::ConfigSig { private module BoundedFlowSourceConfig implements DataFlow::ConfigSig {
predicate isSource(DataFlow::Node source) { predicate isSource(DataFlow::Node source) {
source instanceof BoundedFlowSource and source instanceof BoundedFlowSource and
// There is not a fixed lower bound which is greater than zero. // 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<BoundedFlowSourceConf>; module BoundedFlowSourceFlow = DataFlow::Make<BoundedFlowSourceConfig>;
import BoundedFlowSourceFlow::PathGraph import BoundedFlowSourceFlow::PathGraph

4
java/ql/src/Security/CWE/CWE-614/InsecureCookie.ql
View File

@@ -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) { predicate isSource(DataFlow::Node source) {
exists(MethodAccess ma, Method m | ma.getMethod() = m | exists(MethodAccess ma, Method m | ma.getMethod() = m |
m.getDeclaringType() instanceof TypeCookie and m.getDeclaringType() instanceof TypeCookie and
@@ -47,7 +47,7 @@ private module SecureCookieConfiguration implements DataFlow::ConfigSig {
} }
} }
module SecureCookieFlow = DataFlow::Make<SecureCookieConfiguration>; module SecureCookieFlow = DataFlow::Make<SecureCookieConfig>;
from MethodAccess add from MethodAccess add
where where