mirror of
https://github.com/github/codeql.git
synced 2025-12-18 01:33:15 +01:00
15 lines
423 B
Plaintext
15 lines
423 B
Plaintext
import csharp
|
|
import Common
|
|
|
|
predicate step(DataFlow::Node pred, DataFlow::Node succ) {
|
|
TaintTracking::localTaintStep(pred, succ) and
|
|
not succ instanceof NullGuardedDataFlowNode
|
|
}
|
|
|
|
from MyFlowSource source, DataFlow::Node sink, Access target
|
|
where
|
|
step+(source, sink) and
|
|
sink = DataFlow::exprNode(target) and
|
|
exists(MethodCall mc | mc.getTarget().getName() = "Check" and mc.getAnArgument() = target)
|
|
select sink
|