This is the web page for FindBugs, a program which uses static analysis to look for bugs in Java code.