зеркало из https://github.com/github/codeql.git
sanitize resutls exist in test/demo/example/sample directories
This commit is contained in:
Родитель
1c3cc1fa29
Коммит
eb5529eac5
|
@ -19,6 +19,7 @@ import semmle.python.ApiGraphs
|
|||
import semmle.python.dataflow.new.TaintTracking
|
||||
import WebAppConstantSecretKeyDjango
|
||||
import WebAppConstantSecretKeyFlask
|
||||
import semmle.python.filters.Tests
|
||||
|
||||
newtype TFrameWork =
|
||||
Flask() or
|
||||
|
@ -33,7 +34,13 @@ module WebAppConstantSecretKeyConfig implements DataFlow::StateConfigSig {
|
|||
state = Django() and DjangoConstantSecretKeyConfig::isSource(source)
|
||||
}
|
||||
|
||||
predicate isBarrier(DataFlow::Node node) { node.getLocation().getFile().inStdlib() }
|
||||
predicate isBarrier(DataFlow::Node node) {
|
||||
node.getLocation().getFile().inStdlib() or
|
||||
node.getLocation()
|
||||
.getFile()
|
||||
.getAbsolutePath()
|
||||
.matches(["%test%", "%demo%", "%example%", "%sample%"])
|
||||
}
|
||||
|
||||
predicate isSink(DataFlow::Node sink, FlowState state) {
|
||||
state = Flask() and FlaskConstantSecretKeyConfig::isSink(sink)
|
||||
|
|
Загрузка…
Ссылка в новой задаче