Re: [Valgrind-developers] Results of applying "antic" static source code analysis to valgrind...

[John C. <joh...@ta...>]

On Sun, 10 Nov 2002, Jeremy Fitzhardinge wrote:

> On Sun, 2002-11-10 at 17:58, John Carter wrote:
> 
> > I have just pulled the sources for valgrind out of CVS and run "antic" 
> > over them and inspected the result, discarding obvious false positives. 
> 
> What's antic?  It looks interesting (and a Google search on it is a bit
> heavy on false hits).

That's because these days it is packaged with jlint, a java static 
analysis tool. (http://www.artho.com/jlint/index.shtml)

Not terrribly useful, but good for picking up the odd silly thing.

-- 


John Carter                             Phone : (64)(3) 358 6639
Tait Electronics                        Fax   : (64)(3) 359 4632
PO Box 1645 Christchurch                Email : joh...@ta...
New Zealand

Good Ideas:
Ruby                 - http://www.ruby-lang-org - The best of perl,python,scheme without the pain.
Valgrind             - http://developer.kde.org/~sewardj/ - memory debugger for x86-GNU/Linux
Free your books      - http://www.bookcrossing.com