There's some sentiment that we should stick with static analysis. One option is kCFA from Olin's dissertation. Brian introduced this last semester but I think it would be worthwhile to go look at it again in more depth. Any other suggestions? - Sam -------------- next part -------------- HTML attachment scrubbed and removed