Files
codeql/cpp/ql/test/library-tests/dataflow/security-taint/tainted_ir.ql
2020-11-12 14:32:19 -08:00

12 lines
373 B
Plaintext

import semmle.code.cpp.ir.dataflow.DefaultTaintTracking
class SourceConfiguration extends TaintedWithPath::TaintTrackingConfiguration {
override predicate isSink(Element e) { any() }
}
from Expr source, Element tainted
where
TaintedWithPath::taintedWithPath(source, tainted, _, _) and
not tainted.getLocation().getFile().getExtension() = "h"
select source, tainted