All of the following commands crash. I am running them from ~mernst/research/invariants/java/, but you can do so from your own checkout. make check-nullness-all make check-igj-all make check-javari-all I can provide the exact backtraces if these do not crash for you. -Mike