On Thursday 21 January 2010 15:08:36 Brian William Hackett wrote: > 2. I've put up a full source release and SVN access on the website. I think I don't really understand this stuff, but it looks interesting for doing checks in other C/C++ code.
It wasn't really easy to get to build, but eventually I managed it. The basic recipe I used was to: 0. Check out sixgill from svn. 1. build gcc from svn trunk (to make sure it works) 2. Patch gcc with the PLUGIN_DECL_FINISH support (which I extracted from the email on the gcc-patches list) 3. Installed CVC3 from source 4. Built a config.mk to turn on CVC3 solver and the GCC plugin. 5. make. Overall, I think it might be easier if there was a script to check for CVC3 and a GCC with plugin support, and to set things up. Ideally I would be able to use the CVC3 packages from my distro, and gcc header (when gcc 4.5 actually gets released). A patch to implement this is attached. The only problem is that CVC3 doesn't actually use pkgconfig yet, and while I have a patch to fix that, I'm not sure if it will get applied. The backup plan is to do a search for the includes / libs, but pkgconfig would be nicer. Thoughts, comments? Brad BTW: Now I have it built, can I have a hint on how to run this stuff?
_______________________________________________ dev-static-analysis mailing list [email protected] https://lists.mozilla.org/listinfo/dev-static-analysis
