Checkout Concepts.qll

Author: jorgectf

python/ql/src/experimental/semmle/python/Concepts.qll

@@ -80,69 +80,3 @@ class RegexEscape extends DataFlow::Node {
 
   DataFlow::Node getRegexNode() { result = range.getRegexNode() }
 }
-
-/** Provides classes for modeling LDAP query execution-related APIs. */
-module LDAPQuery {
-  /**
-   * A data-flow node that collects methods executing a LDAP query.
-   *
-   * Extend this class to model new APIs. If you want to refine existing API models,
-   * extend `LDAPQuery` instead.
-   */
-  abstract class Range extends DataFlow::Node {
-    /**
-     * Gets the argument containing the executed expression.
-     */
-    abstract DataFlow::Node getQuery();
-  }
-}
-
-/**
- * A data-flow node that collect methods executing a LDAP query.
- *
- * Extend this class to refine existing API models. If you want to model new APIs,
- * extend `LDAPQuery::Range` instead.
- */
-class LDAPQuery extends DataFlow::Node {
-  LDAPQuery::Range range;
-
-  LDAPQuery() { this = range }
-
-  /**
-   * Gets the argument containing the executed expression.
-   */
-  DataFlow::Node getQuery() { result = range.getQuery() }
-}
-
-/** Provides classes for modeling LDAP components escape-related APIs. */
-module LDAPEscape {
-  /**
-   * A data-flow node that collects functions escaping LDAP components.
-   *
-   * Extend this class to model new APIs. If you want to refine existing API models,
-   * extend `LDAPEscape` instead.
-   */
-  abstract class Range extends DataFlow::Node {
-    /**
-     * Gets the argument containing the escaped expression.
-     */
-    abstract DataFlow::Node getAnInput();
-  }
-}
-
-/**
- * A data-flow node that collects functions escaping LDAP components.
- *
- * Extend this class to refine existing API models. If you want to model new APIs,
- * extend `LDAPEscape::Range` instead.
- */
-class LDAPEscape extends DataFlow::Node {
-  LDAPEscape::Range range;
-
-  LDAPEscape() { this = range }
-
-  /**
-   * Gets the argument containing the escaped expression.
-   */
-  DataFlow::Node getAnInput() { result = range.getAnInput() }
-}