mirror of
https://github.com/github/codeql.git
synced 2025-12-17 09:13:20 +01:00
14 lines
402 B
Plaintext
14 lines
402 B
Plaintext
import semmle.code.csharp.security.dataflow.flowsources.Stored
|
|
|
|
module StoredConfig implements DataFlow::ConfigSig {
|
|
predicate isSource(DataFlow::Node s) { s instanceof StoredFlowSource }
|
|
|
|
predicate isSink(DataFlow::Node s) { s.asExpr().fromSource() }
|
|
}
|
|
|
|
module Stored = TaintTracking::Global<StoredConfig>;
|
|
|
|
from DataFlow::Node sink
|
|
where Stored::flow(any(StoredFlowSource sfs), sink)
|
|
select sink
|