A prototype static analysis tool for observable effects(plsadventures.blogspot.com)

http://plsadventures.blogspot.com/2009/08/prototype-static-analysis-tool-for.html