checker-framework

checker-framework copied to clipboard

mernst

Optional checker: implicit `@MaybePresent` annotations are inserted in `.ajava` files

3

**Summary** An execution of WPI on a Java project with the Optional Checker will yield a set of `.ajava` files where the implicit `@MaybePresent` annotation is inserted for most (if...

jyoo980

Nullness Checker error message uses incorrect parameter name

1

Test case: ```java import org.checkerframework.checker.nullness.qual.Nullable; class Test { interface A { String fn(T1 o); } static String foo(Object o) { return o.toString(); } static void testPositive() { A p =...

msridhar

Print nullness or initialization type qualifiers, but not both, in error messages

1

When printing the "found" and "required" messages, show only, and all, the qualifiers from the relevant type hierarchy. In particular: If the problem is due to nullness, don't print `@Initialized`...

mernst

Test written by @kelloggm: ```java import java.net.*; public class BindFail { public void test() throws Exception { // :: error: required.method.not.called Socket s = new Socket(); SocketAddress addr = new...

msridhar

For this code: https://github.com/typetools/checker-framework/blob/42970d9ee4727351dce0d7bf64174c2732d98592/checker/src/main/java/org/checkerframework/checker/resourceleak/MustCallConsistencyAnalyzer.java#L1321-L1326 I think we can avoid calling `getPath()` here by passing down the CFG to this method. It should be possible to get the tree for the...

msridhar

Resource Leak Checker: multiple false positives trying to build a collection of owned resources

3

I am working on a program that passes around "bundles" of resources. When a client is done with a bundle, all of the underlying resources have to be closed. Today...

Calvin-L

Resource initialization after a `super()` call should be permitted.

2

Consider the following code, which is checked in as `InitializationAfterSuperTest.java`: ```java import java.io.IOException; import java.net.Socket; import org.checkerframework.checker.calledmethods.qual.EnsuresCalledMethods; import org.checkerframework.checker.mustcall.qual.InheritableMustCall; import org.checkerframework.checker.mustcall.qual.Owning; @InheritableMustCall("close") public class InitializationAfterSuperTest implements AutoCloseable { @Owning Socket...

mernst

`@MustCall` subtyping

2

This code passes the Must Call Checker: ```java @MustCall({"toString"}) String foo(@MustCall({"hashCode"}) String arg) { return arg; } ``` However, it seems wrong to permit one `@MustCall` type to be permitted...

mernst

Resource Leak Checker: handling `static @Owning` fields

1

Sometimes, programmers use `static @Owning` fields, especially in legacy code. It would be nice to have a flag to suppress all warnings related to `static @Owning` fields, or to respect...

mernst