[PATCH] StaticAnalyzer: ExplodedGraphViewer

[Anna Zaks]

In r184768.

Thanks,
Anna.
On Jun 20, 2013, at 11:57 PM, Béatrice Creusillet <bac at silkan.com> wrote:

> Hi Anna,
> 
> Here is the patch with the checker documented in docs/analyzer.
> 
> Le 21/06/2013 08:06, Anna Zaks a écrit :
>> What happens when multiple functions are analyzed? Do we open multiple documents?
> It depends whether the calls are inlined in the EG during the analysis, that is if the caller and callee belong to the same translation unit or not. I hope the explanation I give in DebugChecks.rst is clear enough.
>> Also, we might want to warn that the graph for a non-trivial function would be very large (possibly even in checker description).
> Done.
>> Otherwise, looks good.
> 
> Thanks,
> 
> Regards
> -- 
> Béatrice Creusillet
> SILKAN - www.silkan.com
> <ExplodedGraphViewer.patch>

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20130624/f23874cb/attachment.html>