jppa is a pointer and purity analysis tool for Java programs. Mainly a purity analysis tool: given a full Java program, it detects pure JML-style methods, i.e., methods that do not mutate existing objects (they may mutate new ones).
JTombstone is a program for finding dead code in your Java programs. It reports on dead code at the method level, by processing Java class files. No source code is needed to use it. JTombstone is a Java program and requires JDK 1.4 or later.