Javari Detect and prevent subtle, hard-to-debug errors in your Java programs
Download

Javari Ranking & Summary

Javari Tags

prevent error detect detect error error prevention prevent errors

Javari Description

Detect and prevent subtle, hard-to-debug errors in your Java programs Javari is an open source and backward-compatible extension of the Java language. Javari permits a programmer to specify that a particular reference is read-only — that is, the reference cannot be used to change the transitive state of its referent. The Javari compile-time checker verifies this property, giving a programmer (or other tools) confidence that no side effects are performed through the reference. The Javari toolset helps programmers to detect and prevent subtle, hard-to-debug errors in their programs.

Javari Related Software