New static analysis tool recommended by Mozilla: sixgill.org

Scott Ritchie scott at open-vote.org
Tue Jul 13 09:34:43 CDT 2010


On 07/12/2010 08:54 PM, Austin English wrote:
> On Sun, Jul 11, 2010 at 9:03 PM, Scott Ritchie <scott at 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-static-analysis-at-mozilla/?ftw
>>
>> 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::Vector<Xgill::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).
> 

You may need to register on the list to skip the moderator check.

Thanks,
Scott Ritchie



More information about the wine-devel mailing list