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

10 lines
291 B
Plaintext

import csharp
import Common
from MyFlowSource source, Access sink, string s
where
TaintTracking::localTaintStep+(source, DataFlow::exprNode(sink)) and
exists(MethodCall mc | mc.getTarget().getName() = "Check" and mc.getAnArgument() = sink) and
s = sink.toString()
select s order by s