On Sun, Jul 11, 2010 at 9:03 PM, Scott Ritchie scott@open-vote.org wrote:
I was watching this presentation on Mozilla's static analysis tools:
http://www.galois.com/blog/2010/07/09/galois-tech-talk-video-large-scale-sta...
He is very fond of a new tool made by a recent PHD that was capable of handling Mozilla's massive codebase: sixgill.org
I noticed it's not listed at http://wiki.winehq.org/StaticAnalysis, so maybe there's some benefit to using it as well.
Hard to test when it doesn't compile ;-):
g++ -g -O2 -I/home/austin/gits/xgill -Wall -Wno-non-virtual-dtor -Wno-strict-aliasing -Werror -fPIC -c backend/backend_block.cpp -o backend/backend_block.o backend/backend_block.cpp: In function ‘bool Xgill::Backend_IMPL::BlockWriteFile(Xgill::Transaction*, const Xgill::VectorXgill::TOperand*&, Xgill::TOperand**)’: backend/backend_block.cpp:1457:50: error: ‘ptrdiff_t’ was not declared in this scope backend/backend_block.cpp:1457:61: error: expected ‘)’ before ‘preproc_length’ make: *** [backend/backend_block.o] Error 1
I emailed their devel list, haven't heard back it (it has to clear a moderator).