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

Polish query file

Browse Source
This commit is contained in:
jorgectf
2021-04-08 00:19:00 +02:00
parent bfd4280d35
commit db1f54a5f3
1 changed files with 7 additions and 71 deletions
Download Patch File Download Diff File Expand all files Collapse all files

78
python/ql/src/experimental/Security/CWE-287/LDAPImproperAuth.ql
View File

@@ -1,9 +1,9 @@
/**
* @name Python LDAP Improper Authentication
* @description Check if a user-controlled query carry no authentication
* @description Check if a user-controlled query carries no authentication
* @kind path-problem
* @problem.severity warning
* @id python/ldap-improper-auth
* @id python/ldap-improper-authentication
* @tags experimental
* security
* external/cwe/cwe-287
@@ -11,75 +11,11 @@
// Determine precision above
import python
import semmle.python.dataflow.new.RemoteFlowSources
import semmle.python.dataflow.new.DataFlow
import semmle.python.dataflow.new.TaintTracking
import experimental.semmle.python.security.LDAPImproperAuth
import DataFlow::PathGraph
// LDAP2
class BindSink extends DataFlow::Node {
BindSink() {
exists(SsaVariable bindVar, CallNode bindCall, CallNode searchCall |
// get variable initializing the connection
bindVar.getDefinition().getImmediateDominator() = Value::named("ldap.initialize").getACall() and
// get a call using that variable
bindVar.getAUse().getImmediateDominator() = bindCall and
// restrict call to any bind method
bindCall.getNode().getFunc().(Attribute).getName().matches("%bind%") and
(
// check second argument (password)
bindCall.getArg(1).getNode() instanceof None or
count(bindCall.getAnArg()) = 1
) and
// get another call using that variable
bindVar.getAUse().getNode() = searchCall.getNode().getFunc().(Attribute).getObject() and
// restrict call to any search method
searchCall.getNode().getFunc().(Attribute).getName().matches("%search%") and
// set the third argument as sink
this.asExpr() = searchCall.getArg(2).getNode()
)
}
}
// LDAP3
class ConnectionSink extends DataFlow::Node {
ConnectionSink() {
exists(SsaVariable connectionVar, CallNode connectionCall, CallNode searchCall |
// get call initializing the connection
connectionCall = Value::named("ldap3.Connection").getACall() and
(
// check password argument
not exists(connectionCall.getArgByName("password")) or
connectionCall.getArgByName("password").pointsTo(Value::named("None"))
) and
// get the variable initializing the connection
connectionVar.getDefinition().getImmediateDominator() = connectionCall and
// get a call using that variable
connectionVar.getAUse().getNode() = searchCall.getNode().getFunc().(Attribute).getObject() and
// restrict call to any search method
searchCall.getNode().getFunc().(Attribute).getName().matches("%search%") and
// set the second argument as sink
this.asExpr() = searchCall.getArg(1).getNode()
)
}
}
class LDAPImproperAuthSink extends DataFlow::Node {
LDAPImproperAuthSink() {
this instanceof BindSink or
this instanceof ConnectionSink
}
}
class LDAPImproperAuthConfig extends TaintTracking::Configuration {
LDAPImproperAuthConfig() { this = "LDAPImproperAuthConfig" }
override predicate isSource(DataFlow::Node source) { source instanceof RemoteFlowSource }
override predicate isSink(DataFlow::Node sink) { sink instanceof LDAPImproperAuthSink }
}
from LDAPImproperAuthConfig config, DataFlow::PathNode source, DataFlow::PathNode sink
from LDAPImproperAuthenticationConfig config, DataFlow::PathNode source, DataFlow::PathNode sink
where config.hasFlowPath(source, sink)
select sink.getNode(), source, sink, "$@ LDAP query executes $@.", sink.getNode(), "This",
source.getNode(), "a user-provided value without authentication."
select sink.getNode(), source, sink,
"$@ LDAP query parameter contains $@ and is executed without authentication.", sink.getNode(),
"This", source.getNode(), "a user-provided value"