A subset of IBM's DOMO program analysis infrastructure is now available open-source, under the Eclipse public license. The name for the open-source release is WALA. See http://wala.sourceforge.net for more information.
Feel free to give the code a spin, edit the wiki, open defects or feature requests, join the mailing list, send flames, forward this announcement to your friends, or inflict this code on your students. The code has undergone a massive churn recently to prepare for the release, so things may be slightly rough around the edges at the moment. We'll be working on improving things as we go along.... read more