File tree Expand file tree Collapse file tree 3 files changed +6
-6
lines changed Expand file tree Collapse file tree 3 files changed +6
-6
lines changed Original file line number Diff line number Diff line change @@ -65,7 +65,7 @@ private newtype WebViewOrSettings =
65
65
IsWebView ( ) or
66
66
IsSettings ( )
67
67
68
- private module WebViewDisallowContentAccessConfiguration implements DataFlow:: StateConfigSig {
68
+ private module WebViewDisallowContentAccessConfig implements DataFlow:: StateConfigSig {
69
69
class FlowState = WebViewOrSettings ;
70
70
71
71
predicate isSource ( DataFlow:: Node node , FlowState state ) {
@@ -102,7 +102,7 @@ private module WebViewDisallowContentAccessConfiguration implements DataFlow::St
102
102
}
103
103
104
104
module WebViewDisallowContentAccessFlow =
105
- TaintTracking:: MakeWithState< WebViewDisallowContentAccessConfiguration > ;
105
+ TaintTracking:: MakeWithState< WebViewDisallowContentAccessConfig > ;
106
106
107
107
from Expr e
108
108
where
Original file line number Diff line number Diff line change @@ -44,7 +44,7 @@ class TrustAllHostnameVerifier extends RefType {
44
44
/**
45
45
* A configuration to model the flow of a `TrustAllHostnameVerifier` to a `set(Default)HostnameVerifier` call.
46
46
*/
47
- private module TrustAllHostnameVerifierConfiguration implements DataFlow:: ConfigSig {
47
+ private module TrustAllHostnameVerifierConfig implements DataFlow:: ConfigSig {
48
48
predicate isSource ( DataFlow:: Node source ) {
49
49
source .asExpr ( ) .( ClassInstanceExpr ) .getConstructedType ( ) instanceof TrustAllHostnameVerifier
50
50
}
@@ -77,7 +77,7 @@ private module TrustAllHostnameVerifierConfiguration implements DataFlow::Config
77
77
}
78
78
}
79
79
80
- module TrustAllHostnameVerifierFlow = DataFlow:: Make< TrustAllHostnameVerifierConfiguration > ;
80
+ module TrustAllHostnameVerifierFlow = DataFlow:: Make< TrustAllHostnameVerifierConfig > ;
81
81
82
82
import TrustAllHostnameVerifierFlow:: PathGraph
83
83
Original file line number Diff line number Diff line change @@ -16,13 +16,13 @@ import semmle.code.java.dataflow.FlowSources
16
16
import semmle.code.java.dataflow.TaintTracking
17
17
import semmle.code.java.security.XPath
18
18
19
- private module XPathInjectionConfiguration implements DataFlow:: ConfigSig {
19
+ private module XPathInjectionConfig implements DataFlow:: ConfigSig {
20
20
predicate isSource ( DataFlow:: Node source ) { source instanceof RemoteFlowSource }
21
21
22
22
predicate isSink ( DataFlow:: Node sink ) { sink instanceof XPathInjectionSink }
23
23
}
24
24
25
- module XPathInjectionFlow = TaintTracking:: Make< XPathInjectionConfiguration > ;
25
+ module XPathInjectionFlow = TaintTracking:: Make< XPathInjectionConfig > ;
26
26
27
27
import XPathInjectionFlow:: PathGraph
28
28
You can’t perform that action at this time.
0 commit comments