Re: analyze2?

[Matthias Felleisen <matthias@ccs.neu.edu>]

As paul said, analyze2 is an attempt to re-engineer MrSpidey, DrScheme's
static debugger. Our goal is to build a more efficient implementation of
the set-based analysis algorithms. The goal is to explain potential bugs
with precise set-expressions and set-flow diagrams (types and type
dependence). We are also pursuing alternative routes to the same goal, but
we have no substantial results yet, so i won't say anything more than
that. -- Matthias