Comments on: Static analysis newslets http://blog.mozilla.com/dmandelin/2008/09/05/static-analysis-newslets/ Just another Blog.mozilla.com weblog Wed, 25 Jan 2012 23:29:35 +0000 hourly 1 http://wordpress.org/?v=3.2.1 By: tglek http://blog.mozilla.com/dmandelin/2008/09/05/static-analysis-newslets/comment-page-1/#comment-733 tglek Fri, 05 Sep 2008 19:35:11 +0000 http://blog.mozilla.com/dmandelin/?p=26#comment-733 Congrads, I didn't realize that by talking with cairo guys you meant doing a presentation! We use the IR GIMPLE, so the code should already work on C except where we poke at C++ types. C type representation sucks. I suspect getting treehydra to do C will be a matter of making sure that it doesn't call C++ FE functions and weaking linking them, which should take almost no time at all to do. Another C type analysis analysis is to redo my prcheck tool in treehydra such that it can be integrated into the build. Same idea, ints and ints typedefed to PRBool are to be treated differently. Congrads, I didn’t realize that by talking with cairo guys you meant doing a presentation!

We use the IR GIMPLE, so the code should already work on C except where we poke at C++ types. C type representation sucks.
I suspect getting treehydra to do C will be a matter of making sure that it doesn’t call C++ FE functions and weaking linking them, which should take almost no time at all to do.

Another C type analysis analysis is to redo my prcheck tool in treehydra such that it can be integrated into the build. Same idea, ints and ints typedefed to PRBool are to be treated differently.

]]>