GitHub / kiniry / ESCJava2
The Extended Static Checker for Java version 2 (ESC/Java2) is a programming tool that attempts to find common run-time errors in JML-annotated Java programs by static analysis of the program code and its formal annotations.
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/kiniry%2FESCJava2
PURL: pkg:github/kiniry/ESCJava2
Stars: 4
Forks: 0
Open issues: 0
License: None
Language:
Size: 105 KB
Dependencies parsed at: Pending
Created at: over 12 years ago
Updated at: about 4 years ago
Pushed at: over 12 years ago
Last synced at: 5 months ago
Loading...