Comments on: State of Static Analysis At Mozilla http://blog.mozilla.org/tglek/2010/01/21/state-of-static-analysis-at-mozilla/ Taras' blog on Snappy, Startup, Telemetry and other Firefox peroformance matters Tue, 27 Nov 2012 16:50:13 +0000 hourly 1 http://wordpress.org/?v=3.5.1 By: Edwin Smith http://blog.mozilla.org/tglek/2010/01/21/state-of-static-analysis-at-mozilla/comment-page-1/#comment-28768 Edwin Smith Thu, 02 Sep 2010 19:03:41 +0000 http://blog.mozilla.org/tglek/?p=227#comment-28768 > Some of the not-so-Mozilla-specific analyses should
> be bundled together to make them easy to try out
> on other projects.

bug 427115 would almost certianly be such an analysis. Definitely applicable to Tamarin and Flash.

]]> By: Tom Tromey http://blog.mozilla.org/tglek/2010/01/21/state-of-static-analysis-at-mozilla/comment-page-1/#comment-26881 Tom Tromey Sat, 20 Mar 2010 17:49:52 +0000 http://blog.mozilla.org/tglek/?p=227#comment-26881 There are a few things I am curious about.

I’d like to hear more about what kinds of analyzers you think should be built.

Have you tried the clang analyzer?

I think it would be pretty useful to have a GCC wish-list of things that would help your analysis efforts. I only saw one bug in bugzilla … but that can’t be all there is.

]]>