Sanjay Malakar

Inconsistent inferred annotated file generation during WPI iterations causing non-termination

3

## Description We are experiencing a non-termination issue where the Checker Framework inconsistently generates output files during Whole Program Inference (WPI). Specifically, the framework alternates between generating annotated files in...

Compiler exception due to mismatch between JavaParser and javac

13

Encountered it while running CF on the NJR benchmark. ### Stacktrace ``` An exception has occurred in the compiler (11.0.22). Please file a bug against the Java compiler via the...

The Resource Leak Checker currently flags warnings for field assignments in constructors, even when the constructor is clearly performing the first and only write to that field. This results in...

Incorrect RLC inference of EnsuresCalledMethods for outer-class fields released by inner-class methods

3

The inference for Resource Leak Checker's (RLC) annotations incorrectly infers the `EnsuresCalledMethods` annotation on outer-class resources that are closed by methods within an inner class. For example: ```java class Foo...

RLC inference with a private finalizer method

1

When using Resource Leak Checker (RLC) inference, private finalizer methods that are invoked internally can lead to incorrect or incomplete inference results. Specifically, the inference mechanism does not annotate the...

While running CF RLC with inference on the NJR benchmark, I encountered several leaks where CF reported: ``` [[checkOwningField() did not find a reason!]] ``` One specific example from the...

Crash: AsSuperVisitor Declared_Primitive: type is not a boxed primitive

2

The Checker Framework crashes while running Whole Program Inference (WPI) in the NJR benchmark. The error occurs during the analysis of a specific Java file, resulting in the exception: AsSuperVisitor...