Updating change log

This commit is contained in:
REDMOND\brodes
2024-09-04 12:54:27 -04:00
parent 6f1aade8e0
commit 78898955b6

View File

@@ -1,4 +1,5 @@
---
category: minorAnalysis
---
* Altered Buffer.qll and BuferAccess.qll to account for observed false positives.
* Removed false positives caused by buffer accesses in unreachable code
* Removed false positives caused by inconsistent type checking