Sanjay Malakar

@kelloggm I ran on the original project `url7a69e77641_benmouh_MySgbd_tgz-pJ8-Demo_CheckRowNumJ8` with the fix from #6588, but still getting the non-termination. Seems like the compier erorr still exists: ``` An exception has occurred...

@kelloggm I just rechecked the commit of my `checker.jar`. It turns out the checker version has been incremented to `3.43.1` from `3.43.0`. I was still using the JARs from the...

I'm encountering an issue where the code is crashing at an assert statement in `JointJavacJavaParserVisitor.java` on line 562. The problem involves the following class: ```java public class Test { ArrayList...

@smillst, could you please provide your expertise on this matter?

After thorough investigation, I am closing this issue as I was unable to reproduce it on other machines. The original issue was encountered on a Linux machine. However, after testing...

I've encountered this compiler crash again in some projects in the NJR benchmark. This time I could reproduce it in my local maching (M2 mac). Also, @msridhar was able to...

Under Java 8, the `Unrecognized option` error you are encountering is expected, as it was introduced in Java 9. This was required to run the Checker Framework using the OpenJDK...

> @iamsanjaymalakar Martin asked you to assign me when you had addressed his comments. Have you addressed them? Yes, I have. You can take a look.

@msridhar this is the abstracted example from real code keeping the same structure on how the real code closed the resource: ```java class Foo { @Owning private final FileWriter fileWriter;...