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.