mirror of
https://github.com/github/codeql.git
synced 2025-12-17 17:23:36 +01:00
15 lines
417 B
Plaintext
15 lines
417 B
Plaintext
import csharp
|
|
import Common
|
|
|
|
predicate step(DataFlow::Node pred, DataFlow::Node succ) {
|
|
DataFlow::localFlowStep(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
|