Apply naming suggestions from code review

Co-authored-by: Rasmus Wriedt Larsen <rasmuswriedtlarsen@gmail.com>
This commit is contained in:
yoff
2023-09-28 11:47:10 +02:00
committed by GitHub
parent 12dab88ec7
commit 8156fa9a4d
3 changed files with 6 additions and 6 deletions

View File

@@ -378,13 +378,13 @@ module SqlExecution {
}
}
/** Provides a class for modeling NoSql execution APIs. */
/** Provides a class for modeling NoSQL execution APIs. */
module NoSqlExecution {
/**
* A data-flow node that executes NoSQL queries.
*
* Extend this class to model new APIs. If you want to refine existing API models,
* extend `NoSQLQuery` instead.
* extend `NoSqlExecution` instead.
*/
abstract class Range extends DataFlow::Node {
/** Gets the argument that specifies the NoSql query to be executed. */
@@ -402,7 +402,7 @@ module NoSqlExecution {
* A data-flow node that executes NoSQL queries.
*
* Extend this class to refine existing API models. If you want to model new APIs,
* extend `NoSQLQuery::Range` instead.
* extend `NoSqlExecution::Range` instead.
*/
class NoSqlExecution extends DataFlow::Node instanceof NoSqlExecution::Range {
/** Gets the argument that specifies the NoSql query to be executed. */

View File

@@ -11,7 +11,7 @@ private import NoSQLInjectionCustomizations::NoSqlInjection as C
/**
* A taint-tracking configuration for detecting NoSQL injection vulnerabilities.
*/
module NoSQLInjectionConfig implements DataFlow::StateConfigSig {
module NoSqlInjectionConfig implements DataFlow::StateConfigSig {
class FlowState = C::FlowState;
predicate isSource(DataFlow::Node source, FlowState state) {
@@ -57,4 +57,4 @@ module NoSQLInjectionConfig implements DataFlow::StateConfigSig {
}
}
module Flow = TaintTracking::GlobalWithState<NoSQLInjectionConfig>;
module NoSqlInjectionFlow = TaintTracking::GlobalWithState<NoSqlInjectionConfig>;

View File

@@ -1,4 +1,4 @@
import python
import experimental.dataflow.TestUtil.DataflowQueryTest
import semmle.python.security.dataflow.NoSQLInjectionQuery
import FromTaintTrackingStateConfig<NoSQLInjectionConfig>
import FromTaintTrackingStateConfig<NoSqlInjectionConfig>