James Yoo

Possible run-time exception on empty response topic

1

I was looking at some code in [RequestResponse.java](https://github.com/hivemq/hivemq-mqtt-client/blob/bb5dee551e1e19edbc4d6a9b19037a616a05db4f/examples/src/main/java/com/hivemq/client/mqtt/examples/RequestResponse.java#L43) and noticed a call to `get()` here: ```java .topic(requestPublish.getResponseTopic().get()) ``` will crash with a `NoSuchElementException` at run time if the response topic...

The instructions to install Daikon from a tar file [here](http://plse.cs.washington.edu/daikon/download/doc/daikon.html#Installation) mention that to compile Daikon locally, the user must satisfy the requirements in the [Daikon manual](http://plse.cs.washington.edu/daikon/download/doc/developer.html#Requirements-for-compiling-Daikon). The compilation requirements state...

A Java `FunctionalInterfaceNode` can be one of: - Method Reference: https://docs.oracle.com/javase/specs/jls/se8/html/jls-15.html#jls-15.13 - Lambda Expression: https://docs.oracle.com/javase/specs/jls/se8/html/jls-15.html#jls-15.27

Given the following Java class: ```java import java.util.Optional; import org.checkerframework.checker.optional.qual.Present; import org.checkerframework.framework.qual.EnsuresQualifierIf; import org.checkerframework.dataflow.qual.Pure; public class Main { public static void main(String[] args) { OptStringContainer optStrCont = new OptStringContainer("Hello"); if...

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...

Feature request: `do-like-javac` should support projects with a subdirectory structure

1

**Summary** Currently, running `wpi.sh` on a project with a subdirectory structure (i.e., having one or more subdirectories which are themselves compilable units) appears to be failing with an error related...

Optional checker: possible erroneous report of an incompatible method receiver for `Optional#get` in a `Stream#map`

5

**Summary** Running the Optional checker on code that contains a call to `Optional#get` within a call to `.map` on a Java stream produces an error reporting to an incompatible method...

Integrating the Checker Framework in other static analysis tools?

2

I would like to ask whether it is feasible to use the functionality of the Checker Framework within another static analysis tool. For example, suppose a static analysis tool performs...