[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: MzScheme and SML
MrSpidey uses Zodiac's source correlation mechanism. It can thus analyze
core forms but attach inferred value-flow information to the source
locations.
The .plt file installs source code into the collects/ folder.
MrSpidey isn't truly maintained anymore. We plan to rewrite MrSpidey's guts
for 200 so that we can conduct new experiments. The responsible parties are
Philippe Meunier and Paul Steckler.
I have cc'ed them. -- Matthias