The goal of this project is to implement a checker for bounded-size strings in the Checker Framework, as described on the GSoC 2017 Ideas page. The checker will be based on a type system in the form of Java type annotations (JSR 308). The annotations will state that the annotated strings and arrays have a bounded size, and running the checker will statically check that the specified size is never exceeded.

Organization

Student

Vlastimil Dort

Mentors

  • Suzanne Millstein
  • Michael Ernst
  • Martin Kellogg
close

2017