Java Static Checker (JSC) 6

License: Free ‎File size: N/A
‎Users Rating: 3.0/5 - ‎1 ‎votes

ABOUT Java Static Checker (JSC)

This is a prototype of the Java Static Checker (JSC), a light-weight static analysis tool which examines Java source code for fault classes via fault category. The tool is geared at soundness and scalability while considering completeness.