Files
codeql/java/ql/test/library-tests/dataflow/this-flow/this-flow.ql
2018-10-11 11:31:37 +02:00

20 lines
460 B
Plaintext

import java
import semmle.code.java.dataflow.DataFlow
import DataFlow
class ThisFlowConfig extends Configuration {
ThisFlowConfig() { this = "ThisFlowConfig" }
override predicate isSource(Node src) {
exists(PostUpdateNode cie | cie.asExpr() instanceof ClassInstanceExpr |
cie.getPreUpdateNode() = src or cie = src
)
}
override predicate isSink(Node sink) { any() }
}
from Node n, ThisFlowConfig conf
where conf.hasFlow(_, n)
select n