Move LdapInjectionLib to LdapInjectionQuery.qll

This commit is contained in:
Ed Minnix
2023-03-28 16:35:35 -04:00
parent 1add692643
commit e3af8b2c7f
2 changed files with 4 additions and 1 deletions

View File

@@ -0,0 +1,23 @@
/** Provides a taint tracking configuration to reason about unvalidated user input that is used to construct LDAP queries. */
import java
import semmle.code.java.dataflow.FlowSources
import semmle.code.java.security.LdapInjection
/**
* A taint-tracking configuration for unvalidated user input that is used to construct LDAP queries.
*/
module LdapInjectionFlowConfig implements DataFlow::ConfigSig {
predicate isSource(DataFlow::Node source) { source instanceof RemoteFlowSource }
predicate isSink(DataFlow::Node sink) { sink instanceof LdapInjectionSink }
predicate isBarrier(DataFlow::Node node) { node instanceof LdapInjectionSanitizer }
predicate isAdditionalFlowStep(DataFlow::Node pred, DataFlow::Node succ) {
any(LdapInjectionAdditionalTaintStep a).step(pred, succ)
}
}
/** Tracks flow from remote sources to LDAP injection vulnerabilities. */
module LdapInjectionFlow = TaintTracking::Global<LdapInjectionFlowConfig>;