[cfe-dev] [analyzer] UninitializedObjectChecker evaluation

[George Karpenkov via cfe-dev]

Yeah would be great if you could implement a prototype, and then I could check it on a bunch of codebases.

> On Sep 5, 2018, at 11:20 AM, Kristóf Umann <dkszelethus at gmail.com> wrote:
> 
> 
> Another hack I was thinking about:
> 
>  - Check *syntactically* whether there is an *unguarded* access to uninitialized fields in equality/assignment/destructor operators.
> Or maybe unguarded access in general.
> This is checkable syntactically and provides a fairly strong indicator of a bug.
> 
> I wish we had dataflow for that, but we don’t =/
> 
> I like this a lot. This could reduce the amount of reports greatly. Thanks!

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20180905/174618cc/attachment.html>