mirror of
https://github.com/github/codeql.git
synced 2025-12-21 03:06:31 +01:00
19 lines
461 B
Plaintext
19 lines
461 B
Plaintext
import java
|
|
import semmle.code.java.dataflow.DataFlow
|
|
|
|
module ThisFlowConfig implements DataFlow::ConfigSig {
|
|
predicate isSource(DataFlow::Node src) {
|
|
exists(DataFlow::PostUpdateNode cie | cie.asExpr() instanceof ClassInstanceExpr |
|
|
cie.getPreUpdateNode() = src or cie = src
|
|
)
|
|
}
|
|
|
|
predicate isSink(DataFlow::Node sink) { any() }
|
|
}
|
|
|
|
module ThisFlow = DataFlow::Global<ThisFlowConfig>;
|
|
|
|
from DataFlow::Node n
|
|
where ThisFlow::flowTo(n)
|
|
select n
|