Static checking java with the Java Static Checker

This paper introduces a new open source static analysis tool, the Java Static Checker (JSC). Traditional static analysis tools examine Java code for fault instances considering specific code patterns. JSC is novel in that it examines Java code for potential fault classes based on propagating values ... View More