On Sun, 2022-09-04 at 21:17 +0200, Tim Lange wrote:
> Hi Dave,
>
> sorry about the strncpy thing, I should've been more careful. Below
> is the
> patch with just the strcpy part.
Thanks - this patch looks OK for trunk.
Dave
Hi Dave,
sorry about the strncpy thing, I should've been more careful. Below is the
patch with just the strcpy part.
- Tim
This patch adds modelling for the semantics of strcpy in the simple case
where the analyzer is able to infer a concrete string size.
Regrtested on Linux x86_64.
2022-09-04
