Oliver Fung

Spurious Overflow Warnings and Imprecision for Guards Involving Signed AND Unsigned Types

8

When comparing a signed integer with an unsigned integer and a constant in a loop. Goblint fails to parse those expressions: In the following example: ```c //PARAM: --enable ana.int.interval --set...

Enhance detection of buffer overflows by introducing variable for length of array/blob

4

This draft PR enhances the detection of buffer overflows by introducing a variable for the length of array/blob as suggested by @michael-schwarz in #620. Arrays: Upon creation of a VLA...