hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-30 19:26:02 +02:00
Code Issues Packages Projects Releases Wiki Activity

Rename configurations from "Conf" to "Config"

Browse Source
This commit is contained in:
Ed Minnix
2023-03-19 17:55:53 -04:00
parent 2d5944fb0e
commit c852d3a541
6 changed files with 14 additions and 13 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
java/ql/lib/semmle/code/java/frameworks/android/OnActivityResultSource.qll
View File

@@ -63,7 +63,7 @@ class OnActivityResultIncomingIntent extends DataFlow::Node {
/**
* A data flow configuration for implicit intents being used in `startActivityForResult`.
*/
private module ImplicitStartActivityForResultConf implements DataFlow::ConfigSig {
private module ImplicitStartActivityForResultConfig implements DataFlow::ConfigSig {
predicate isSource(DataFlow::Node source) {
exists(ClassInstanceExpr cc |
cc.getConstructedType() instanceof TypeIntent and source.asExpr() = cc
@@ -103,7 +103,8 @@ private module ImplicitStartActivityForResultConf implements DataFlow::ConfigSig
}
}
private module ImplicitStartActivityForResult = DataFlow::Make<ImplicitStartActivityForResultConf>;
private module ImplicitStartActivityForResult =
DataFlow::Make<ImplicitStartActivityForResultConfig>;
/** An Android Activity or Fragment. */
private class ActivityOrFragment extends Class {

4
java/ql/lib/semmle/code/java/security/FragmentInjectionQuery.qll
View File

@@ -23,7 +23,7 @@ deprecated class FragmentInjectionTaintConf extends TaintTracking::Configuration
}
}
private module FragmentInjectionTaintConf implements DataFlow::ConfigSig {
private module FragmentInjectionTaintConfig implements DataFlow::ConfigSig {
predicate isSource(DataFlow::Node source) { source instanceof RemoteFlowSource }
predicate isSink(DataFlow::Node sink) { sink instanceof FragmentInjectionSink }
@@ -37,4 +37,4 @@ private module FragmentInjectionTaintConf implements DataFlow::ConfigSig {
* Taint-tracking flow for unsafe user input
* that is used to create Android fragments dynamically.
*/
module FragmentInjectionTaintFlow = TaintTracking::Make<FragmentInjectionTaintConf>;
module FragmentInjectionTaintFlow = TaintTracking::Make<FragmentInjectionTaintConfig>;

4
java/ql/lib/semmle/code/java/security/IntentUriPermissionManipulationQuery.qll
View File

@@ -35,7 +35,7 @@ deprecated class IntentUriPermissionManipulationConf extends TaintTracking::Conf
}
}
private module IntentUriPermissionManipulationConf implements DataFlow::ConfigSig {
private module IntentUriPermissionManipulationConfig implements DataFlow::ConfigSig {
predicate isSource(DataFlow::Node source) { source instanceof RemoteFlowSource }
predicate isSink(DataFlow::Node sink) { sink instanceof IntentUriPermissionManipulationSink }
@@ -53,4 +53,4 @@ private module IntentUriPermissionManipulationConf implements DataFlow::ConfigSi
* Taint tracking flow for user-provided Intents being returned to third party apps.
*/
module IntentUriPermissionManipulationFlow =
TaintTracking::Make<IntentUriPermissionManipulationConf>;
TaintTracking::Make<IntentUriPermissionManipulationConfig>;

4
java/ql/lib/semmle/code/java/security/UnsafeContentUriResolutionQuery.qll
View File

@@ -26,7 +26,7 @@ deprecated class UnsafeContentResolutionConf extends TaintTracking::Configuratio
}
}
private module UnsafeContentResolutionConf implements DataFlow::ConfigSig {
private module UnsafeContentResolutionConfig implements DataFlow::ConfigSig {
predicate isSource(DataFlow::Node src) { src instanceof RemoteFlowSource }
predicate isSink(DataFlow::Node sink) { sink instanceof ContentUriResolutionSink }
@@ -41,4 +41,4 @@ private module UnsafeContentResolutionConf implements DataFlow::ConfigSig {
}
/** Taint-tracking flow to find paths from remote sources to content URI resolutions. */
module UnsafeContentResolutionFlow = TaintTracking::Make<UnsafeContentResolutionConf>;
module UnsafeContentResolutionFlow = TaintTracking::Make<UnsafeContentResolutionConfig>;

6
java/ql/test/TestUtilities/InlineFlowTest.qll
View File

@@ -47,7 +47,7 @@ private predicate defaultSource(DataFlow::Node src) {
src.asExpr().(MethodAccess).getMethod().getName() = ["source", "taint"]
}
module DefaultFlowConf implements DataFlow::ConfigSig {
module DefaultFlowConfig implements DataFlow::ConfigSig {
predicate isSource(DataFlow::Node n) { defaultSource(n) }
predicate isSink(DataFlow::Node n) {
@@ -57,9 +57,9 @@ module DefaultFlowConf implements DataFlow::ConfigSig {
int fieldFlowBranchLimit() { result = 1000 }
}
private module DefaultValueFlow = DataFlow::Make<DefaultFlowConf>;
private module DefaultValueFlow = DataFlow::Make<DefaultFlowConfig>;
private module DefaultTaintFlow = TaintTracking::Make<DefaultFlowConf>;
private module DefaultTaintFlow = TaintTracking::Make<DefaultFlowConfig>;
class DefaultValueFlowConf extends DataFlow::Configuration {
DefaultValueFlowConf() { this = "qltest:defaultValueFlowConf" }

4
java/ql/test/library-tests/dataflow/state/test.ql
View File

@@ -39,7 +39,7 @@ predicate step(Node n1, Node n2, string s1, string s2) {
predicate checkNode(Node n) { n.asExpr().(Argument).getCall().getCallee().hasName("check") }
module Conf implements DataFlow::StateConfigSig {
module Config implements DataFlow::StateConfigSig {
class FlowState = string;
predicate isSource(Node n, FlowState s) { src(n, s) }
@@ -55,7 +55,7 @@ module Conf implements DataFlow::StateConfigSig {
int explorationLimit() { result = 0 }
module Flow = TaintTracking::MakeWithState<Conf>;
module Flow = TaintTracking::MakeWithState<Config>;
module PartialFlow = Flow::FlowExploration<explorationLimit/0>;