hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-03-30 12:18:18 +02:00
Code Issues Packages Projects Releases Wiki Activity

Java: Adjust qldoc.

Browse Source
This commit is contained in:
Anders Schack-Mulligen
2022-09-14 10:16:09 +02:00
parent b8a1818422
commit 83e7bf71d7
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
java/ql/lib/semmle/code/java/dataflow/TypeFlow.qll
View File

@@ -651,7 +651,7 @@ private predicate unionTypeFlowBaseCand(TypeFlowNode n, RefType t, boolean exact
}
/**
* Holds if `ioe` checks `v`, its true-successor is `bb`, and `bb` has 2 or more
* Holds if `ioe` checks `v`, its true-successor is `bb`, and `bb` has multiple
* predecessors.
*/
private predicate instanceofDisjunct(InstanceOfExpr ioe, BasicBlock bb, BaseSsaVariable v) {
@@ -660,7 +660,7 @@ private predicate instanceofDisjunct(InstanceOfExpr ioe, BasicBlock bb, BaseSsaV
exists(ConditionBlock cb | cb.getCondition() = ioe and cb.getTestSuccessor(true) = bb)
}
/** Holds if `bb` is disjunctively guarded by two or more `instanceof` tests on `v`. */
/** Holds if `bb` is disjunctively guarded by multiple `instanceof` tests on `v`. */
private predicate instanceofDisjunction(BasicBlock bb, BaseSsaVariable v) {
strictcount(InstanceOfExpr ioe | instanceofDisjunct(ioe, bb, v)) =
strictcount(bb.getABBPredecessor())