Lint4j ("Lint for Java") ist eine statische Java-Quellcodeanalyse. Sie entdeckt Lock- und Thread-, Performance- und Skalierbarkeits-Probleme. Sie prüft komplexe Vereinbarungen wie die Java-Serialisierung durch Typ-, Datenfluß- und Lock-Graphenanalyse. (hjb)