C++: autoformat

This commit is contained in:
Robert Marsh
2020-11-12 14:32:19 -08:00
parent 275d75295c
commit 68040b717e

View File

@@ -1,13 +1,11 @@
import semmle.code.cpp.ir.dataflow.DefaultTaintTracking
class SourceConfiguration extends TaintedWithPath::TaintTrackingConfiguration {
override predicate isSink(Element e) {
any()
}
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
select source, tainted