[PATCH] StaticAnalyzer: ExplodedGraphViewer

[Anna Zaks]

What happens when multiple functions are analyzed? Do we open multiple documents?

We have a document that lists debug checkers in the docs/analyzer folder, please document the new checker there.

Also, we might want to warn that the graph for a non-trivial function would be very large (possibly even in checker description).

Otherwise, looks good.

Cheers,
Anna.
On Jun 20, 2013, at 3:35 AM, Béatrice Creusillet <bac at silkan.com> wrote:

> Hi,
> 
> I would like to propose this patch which I have found useful to understand how the ExplodedGraph is built. It adds a debug checker which can be triggered using the following command:
> 
>  clang -cc1 -analyze -analyzer-checker=debug.ViewExplodedGraph my_program.c
> 
> -- 
> Béatrice Creusillet
> SILKAN - www.silkan.com
> 
> <ExplodedGraphViewer.patch>_______________________________________________
> cfe-commits mailing list
> cfe-commits at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits