Files
codeql/csharp/ql/test/library-tests/dataflow/global/TaintTracking.ql
2019-01-16 10:29:26 +01:00

17 lines
373 B
Plaintext

import csharp
import Common
class TTConfig extends TaintTracking::Configuration {
Config c;
TTConfig() { this = c }
override predicate isSource(DataFlow::Node source) { c.isSource(source) }
override predicate isSink(DataFlow::Node sink) { c.isSink(sink) }
}
from TTConfig c, DataFlow::Node source, DataFlow::Node sink
where c.hasFlow(source, sink)
select sink