Java: Consider AssignOps in ArithExpr

This commit is contained in:
Tony Torralba
2023-09-19 12:06:51 +02:00
parent c45ca7212a
commit 1e95a5a38a
2 changed files with 21 additions and 5 deletions

View File

@@ -0,0 +1,4 @@
---
category: minorAnalysis
---
* Improved the class `ArithExpr` of the `Overflow.qll` module to also include compound operators. Because of this, new alerts may be raised in queries related to overflows/underflows.