Files
codeql/csharp/ql/test/library-tests/security/dataflow/flowsources/StoredFlowSources.ql
2018-12-20 10:19:59 +01:00

14 lines
422 B
Plaintext

import semmle.code.csharp.security.dataflow.flowsources.Stored
class StoredConfig extends TaintTracking::Configuration {
StoredConfig() { this = "stored" }
override predicate isSource(DataFlow::Node s) { s instanceof StoredFlowSource }
override predicate isSink(DataFlow::Node s) { s.asExpr().fromSource() }
}
from StoredConfig s, DataFlow::Node sink
where s.hasFlow(any(StoredFlowSource sfs), sink)
select sink