From 83e7bf71d7aa799d83328f8ca13fa4d86a9d88b1 Mon Sep 17 00:00:00 2001 From: Anders Schack-Mulligen Date: Wed, 14 Sep 2022 10:16:09 +0200 Subject: [PATCH] Java: Adjust qldoc. --- java/ql/lib/semmle/code/java/dataflow/TypeFlow.qll | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/java/ql/lib/semmle/code/java/dataflow/TypeFlow.qll b/java/ql/lib/semmle/code/java/dataflow/TypeFlow.qll index 86b66abf30f..c3fd63cbf26 100644 --- a/java/ql/lib/semmle/code/java/dataflow/TypeFlow.qll +++ b/java/ql/lib/semmle/code/java/dataflow/TypeFlow.qll @@ -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())