Conform queries to Config naming convention

This commit is contained in:
Ed Minnix
2023-03-16 23:07:46 -04:00
parent d317de14c9
commit 7eb3fd2ff7
3 changed files with 6 additions and 6 deletions

View File

@@ -65,7 +65,7 @@ private newtype WebViewOrSettings =
IsWebView() or
IsSettings()
private module WebViewDisallowContentAccessConfiguration implements DataFlow::StateConfigSig {
private module WebViewDisallowContentAccessConfig implements DataFlow::StateConfigSig {
class FlowState = WebViewOrSettings;
predicate isSource(DataFlow::Node node, FlowState state) {
@@ -102,7 +102,7 @@ private module WebViewDisallowContentAccessConfiguration implements DataFlow::St
}
module WebViewDisallowContentAccessFlow =
TaintTracking::MakeWithState<WebViewDisallowContentAccessConfiguration>;
TaintTracking::MakeWithState<WebViewDisallowContentAccessConfig>;
from Expr e
where

View File

@@ -44,7 +44,7 @@ class TrustAllHostnameVerifier extends RefType {
/**
* A configuration to model the flow of a `TrustAllHostnameVerifier` to a `set(Default)HostnameVerifier` call.
*/
private module TrustAllHostnameVerifierConfiguration implements DataFlow::ConfigSig {
private module TrustAllHostnameVerifierConfig implements DataFlow::ConfigSig {
predicate isSource(DataFlow::Node source) {
source.asExpr().(ClassInstanceExpr).getConstructedType() instanceof TrustAllHostnameVerifier
}
@@ -77,7 +77,7 @@ private module TrustAllHostnameVerifierConfiguration implements DataFlow::Config
}
}
module TrustAllHostnameVerifierFlow = DataFlow::Make<TrustAllHostnameVerifierConfiguration>;
module TrustAllHostnameVerifierFlow = DataFlow::Make<TrustAllHostnameVerifierConfig>;
import TrustAllHostnameVerifierFlow::PathGraph

View File

@@ -16,13 +16,13 @@ import semmle.code.java.dataflow.FlowSources
import semmle.code.java.dataflow.TaintTracking
import semmle.code.java.security.XPath
private module XPathInjectionConfiguration implements DataFlow::ConfigSig {
private module XPathInjectionConfig implements DataFlow::ConfigSig {
predicate isSource(DataFlow::Node source) { source instanceof RemoteFlowSource }
predicate isSink(DataFlow::Node sink) { sink instanceof XPathInjectionSink }
}
module XPathInjectionFlow = TaintTracking::Make<XPathInjectionConfiguration>;
module XPathInjectionFlow = TaintTracking::Make<XPathInjectionConfig>;
import XPathInjectionFlow::PathGraph