[cfe-dev] alpha.security.ArrayBound doesn't know when to stop?

[<Alexander G. Riccio> via cfe-dev]

Oops, ArrayBoundV2 does this also.

Sincerely,
Alexander Riccio
--
"Change the world or go home."
about.me/ariccio

<http://about.me/ariccio>
If left to my own devices, I will build more.
⁂

On Mon, Feb 29, 2016 at 5:22 PM, <Alexander G. Riccio> <test35965 at gmail.com>
wrote:

> Is this by design? The buffer size in the attached result is 32, and thus
> every access beyond that is invalid. Yet, ArrayBound keeps iterating until
> it reaches analyzer-max-loop. Is this by design, or is this a bug? I
> realize that ArrayBound is the "old" version of the array bounds checker.
>
>
> Sincerely,
> Alexander Riccio
> --
> "Change the world or go home."
> about.me/ariccio
>
> <http://about.me/ariccio>
> If left to my own devices, I will build more.
> ⁂
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20160229/9d25f66f/attachment.html>