array access checker for the Checker Framework
Primary LanguageJavaGNU General Public License v2.0GPL-2.0