framework/tests/value/ExceptionTest.java

import org.checkerframework.common.value.qual.*;

public class ExceptionTest {

  public void foo() {
    int indexTooBig = 5;
    String s = "hello";
    // :: warning: (method.evaluation.exception)
    char c = s.charAt(indexTooBig);
  }
}