SofCheck Inspector ist eine statische Analyse-Tool, das Fehler in der Java-Bytecodes entdeckt. Es nutzt statische Kontrollfluss, Datenfluss und möglichst wertgelegt Ausbreitung (PVP) Techniken, um Orte, an denen Laufzeitfehler auftreten könnten. Dieser...