Home » org.checkerframework » testlib » Used By

Checker Framework Testing Library

Testlib is a collection of utility classes for testing checkers that use the Checker Framework.

Artifacts using Checker Framework Testing Library (3)
Sort by:Popular▼
✓Popular✓Newest

1.Returns Receiver Checker1 usages

net.sridharan.objectconstruction » returnsrcvr-checker MIT

Object Construction Checker
Last Release on Mar 28, 2020

2.Object Construction Checker

net.sridharan.objectconstruction » object-construction-checker MIT

Object Construction Checker
Last Release on May 4, 2021

3.AWS KMS Compliance Checker

software.amazon.checkerframework » aws-kms-compliance-checker Apache

A checker for the Checker Framework that assures that KMS keys are 256 bits.
Last Release on Feb 27, 2019
  • Prev
  • 1
  • Next