Contract annotations for Java-FV formal verification (@NotNull, @Pure, @Immutable, @Requires, @Ensures, @Invariant, @Frame, @Throws)
| Version | Vulnerabilities | Usages | Date |
|---|
14.1.x | 14.1 | | | Mar 20, 2026 |
13.1.x | 13.1 | | | Mar 14, 2026 |
1.2.x | 1.2.0 | | | Mar 05, 2026 |
1.1.x | 1.1.0 | | | Mar 04, 2026 |
