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 <[email protected]> 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 > [email protected] > http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits _______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
