Java Static Checker (JSC) 6
License: Free File size: N/A
Users Rating: 3.0/5 - 1 votes
Please wait ... Your download link is being verified for malicious content.
You'll be able to download in 5 seconds.
You'll be able to download in 5 seconds.
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.