Contributor
Vlastimil Dort

Bounded-size strings


Mentors
Suzanne Millstein, Michael Ernst, Martin Kellogg
Organization
Checker Framework

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.