Skip to content

Commit 7889895

Browse files
committed
Updating change log
1 parent 6f1aade commit 7889895

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed
Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,5 @@
11
---
22
category: minorAnalysis
33
---
4-
* Altered Buffer.qll and BuferAccess.qll to account for observed false positives.
4+
* Removed false positives caused by buffer accesses in unreachable code
5+
* Removed false positives caused by inconsistent type checking

0 commit comments

Comments
 (0)