New static analysis tool recommended by Mozilla: sixgill.org

[Scott Ritchie]

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.


Thanks,
Scott Ritchie

[Austin English]

On Sun, Jul 11, 2010 at 9:03 PM, Scott Ritchie <scott(a)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::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).

-- 
-Austin

[Scott Ritchie]

On 07/12/2010 08:54 PM, Austin English wrote:
> On Sun, Jul 11, 2010 at 9:03 PM, Scott Ritchie <scott(a)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::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