Currently, Android uses its own annotations that are similar to some in the Checker Framework. Examples include the @NonNull, @IntRange, @IntDef, and others annotations. The goal of this project is to create Android Resource and Thread type checkers using the Checker Framework. Then, do a case study to show the utility (or not) of pluggable type-checking, by comparison with how Android Studio currently checks the annotations.

Organization

Student

Ayush Agarwal

Mentors

  • Colin S. Gordon
  • Werner Dietl
close

2019