Merge branch 'python-port-insecure-protocol' of github.com:yoff/codeql into python-port-insecure-protocol

This commit is contained in:
Rasmus Lerchedahl Petersen
2021-03-26 08:06:51 +01:00

View File

@@ -39,13 +39,7 @@ class InsecureContextConfiguration extends DataFlow::Configuration {
)
}
override predicate isBarrierIn(DataFlow::Node node) {
exists(ProtocolUnrestriction r |
r = library.protocol_unrestriction() and
node = r.getContext() and
r.getUnrestriction() = tracked_version
)
}
override predicate isBarrierIn(DataFlow::Node node) { this.isSource(node) }
}
/**