Comments for Goanna Static Analysis by Red Lizard Software

Comment on Goanna statistics by Hung

Hung — Sat, 12 Dec 2009 03:08:36 +0000

Can Goanna also output this statistics page when u run goanna on the whole project’s files. It would be nice to see something like that.

And what is the “scheme_expand_list” on that page about? I guess it is the name of the function Goanna is working on.

Comment on Goanna for Visual Studio 1.0 Released! by hassan

hassan — Thu, 19 Nov 2009 10:12:33 +0000

I need this program to analysis some reults of my resaerches

Comment on Visual Studio: now available for download by tongyi

tongyi — Thu, 20 Aug 2009 01:52:50 +0000

good job

Comment on Visual Studio Plugin: Screenshot by David Crawshaw

David Crawshaw — Thu, 06 Aug 2009 22:54:47 +0000

Modifying a loop variable inside its body is one of our more “stylistic” checks. In our next Eclipse release (and first Visual Studio release), the stylistic checks will be turned off by default. They can be enabled one-by-one in settings page, if they fit with your code style guidelines.

Comment on Visual Studio Plugin: Screenshot by oxff

oxff — Thu, 06 Aug 2009 11:21:12 +0000

So why is modification of a loop variable a dangerous condition? It occurs quite frequently and if you have a lot of such `detections’, you’ll end up with loads of false positives.

Comment on Sean Tapes Go Public by Colin

Colin — Mon, 13 Jul 2009 02:56:21 +0000

Where are the rest of the ‘Sean tapes’?

Comment on In Praise of s-Expressions by mfp

mfp — Fri, 26 Jun 2009 23:26:26 +0000

You can also compile with

ocamlfind ocamlc -package sexplib.syntax -syntax camlp4o Tree.ml -linkpkg

-syntax camlp4o lets ocamlfind build the required -pp option.

Comment on Glossing over Bugs by Pascal Cuoq

Pascal Cuoq — Wed, 20 May 2009 09:54:25 +0000

This happens to us all the time. You could call it an unforeseen consequence of writing in OCaml a static analyzer for a language with a completely different syntax.

Another related “problem” is that Frama-C developpers write “==” in OCaml modules in places where they meant “=”, because they have been looking at C test files all morning. We actually complained about this in
http://www.mediafire.com/?gt5hyzhybxg
but we do not have a solution to propose, apart from the very low-tech periodical grep for “==” in the .ml files.

Good luck with the launch. I hope we’ll be in touch.

Pascal

Comment on Plugging Goanna at CeBit by James Campbell

James Campbell — Thu, 14 May 2009 03:11:55 +0000

Thanks Ansgar, enjoyed the entry yet more importantly you didn’t mention that it’s the first time I’ve bought you coffee…..