Add ConditionalExpr.getBranchExpr(boolean)

2025-12-22 19:56:32 +01:00 · 2021-02-12 03:56:29 +01:00
parent 02578cfff2
commit 905648e452
13 changed files with 35 additions and 65 deletions
--- a/java/ql/src/Security/CWE/CWE-190/ArithmeticCommon.qll
+++ b/java/ql/src/Security/CWE/CWE-190/ArithmeticCommon.qll
@@ -148,9 +148,7 @@ predicate upcastToWiderType(Expr e) {
    or
    exists(Parameter p | p.getAnArgument() = e and t2 = p.getType())
    or
-    exists(ConditionalExpr cond | cond.getTrueExpr() = e or cond.getFalseExpr() = e |
-      t2 = cond.getType()
-    )
+    exists(ConditionalExpr cond | cond.getBranchExpr(_) | t2 = cond.getType())
  )
 }