Summary: sql injection: move source identification to configuration

This commit is contained in:
Michael Hohn
2020-07-20 14:10:36 -07:00
committed by =Michael Hohn
parent 42e2c5de8b
commit c91db6a653

View File

@@ -12,7 +12,12 @@ import semmle.code.cpp.dataflow.TaintTracking
class SqliFlowConfig extends TaintTracking::Configuration {
SqliFlowConfig() { this = "SqliFlow" }
override predicate isSource(DataFlow::Node source) { any() }
override predicate isSource(DataFlow::Node source) {
exists(FunctionCall read |
read.getTarget().getName() = "read" and
read.getArgument(1) = source.asExpr()
)
}
override predicate isSanitizer(DataFlow::Node sanitizer) { none() }