more real-world static analysis results

Reto Kramer <>
Mon Oct 25 22:48:21 CEST 2004


On Oct 25, 2004, at 6:25 AM, Thomas Lindgren wrote:

>
> --- Luke Gorrie <> wrote:
>
>> I have one vague feature desire but I don't think it
>> could be done in
>> ...
>> false positives.
>
> Maybe you should have a look at Sven-Olof Nystrom's
> type analyzer, presented at the 2003 Erlang workshop,
> and also developed at Uppsala -- probably even within
> a 10m radius of dialyzer :-). As I recall, it could
> actually analyze concurrent code, but returned types
> (including mailbox types) rather than "bug feedback".
>
> <http://user.it.uu.se/~svenolof/SA/>
>
> You're probably the pioneer in doing that, of course.
> Good luck! :-)

Does anyone know of an integration of the type syntax in "edoc" with 
the "SA" work referred to above?  I'm trying to be diligent with the 
types in edoc and it would be great if I could leverage that and have 
it be checked automatically.

Thanks,
- Reto




More information about the erlang-questions mailing list