Re: learning how to use MrSpidey

[Matthias Felleisen <matthias@cs.rice.edu>]

The answers are no, no, and no. 

Two reasons: 

Spidey implements a naive set-based interpretation of programs. In
particular, all arguments that flow into the first position of a binary
function are co-mingled with all arguments that flow into the second
position (well more or less). 

Furthermore, Spidey's if-splitting works only when you have a single
predicate in a test. A conjunction pollutes the analysis. 

-- Matthias