more real-world static analysis results
Mon Oct 25 22:48:21 CEST 2004
On Oct 25, 2004, at 6:25 AM, Thomas Lindgren wrote:
> --- Luke Gorrie <luke@REDACTED> 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".
> 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.
More information about the erlang-questions