hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-24 04:36:35 +01:00
Code Issues Packages Projects Releases Wiki Activity

C#: Re-factor the flowsources test.

Browse Source
This commit is contained in:
Michael Nebel
2023-03-31 15:54:29 +02:00
parent f00c97810a
commit 61b8f97b75
1 changed files with 7 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
csharp/ql/test/library-tests/security/dataflow/flowsources/StoredFlowSources.ql
View File

@@ -1,13 +1,13 @@
import semmle.code.csharp.security.dataflow.flowsources.Stored
class StoredConfig extends TaintTracking::Configuration {
StoredConfig() { this = "stored" }
module StoredConfig implements DataFlow::ConfigSig {
predicate isSource(DataFlow::Node s) { s instanceof StoredFlowSource }
override predicate isSource(DataFlow::Node s) { s instanceof StoredFlowSource }
override predicate isSink(DataFlow::Node s) { s.asExpr().fromSource() }
predicate isSink(DataFlow::Node s) { s.asExpr().fromSource() }
}
from StoredConfig s, DataFlow::Node sink
where s.hasFlow(any(StoredFlowSource sfs), sink)
module Stored = TaintTracking::Global<StoredConfig>;
from DataFlow::Node sink
where Stored::flow(any(StoredFlowSource sfs), sink)
select sink