Jens Dietrich

False negatives with Java 11 (but as-expected behaviour with Java 8)

2

Example source code can be found [here](https://github.com/jensdietrich/infer-spikes) . The package `issue1` contains 4 simple classes `Foo1A`, `Foo1B`, `Foo2A`, `Foo2B` all containing a NP issue triggered by null flowing from a...

Void should be annotated @Nullable

5

There are multiple methods using `java.lang.Void` as return or parameter type, not annotated as `@Nullable`. Examples: com.google.errorprone.bugpatterns.threadsafety.ConstantExpressions::visitIdentifier com.google.errorprone.bugpatterns.threadsafety.ConstantExpressions::visitParenthesized com.google.errorprone.bugpatterns.threadsafety.ConstantExpressions::visitBinary com.google.errorprone.bugpatterns.threadsafety.DoubleCheckedLocking::vistBlock com.google.errorprone.bugpatterns.threadsafety.ImmutableChecker::visitMemberSelect com.google.errorprone.refaster.RefasterScanner::scan etc As `Void` cannot be instantiated, the respective...

Randoop fails with a runtime exception when generating tests for spring

1

In my setup I try to generate tests for spring beans using the following parameters: ``` --testjar /spring-beans-5.3.22.jar --no-regression-assertions --junit-package-name=generated.org.springframework.beans --junit-output-dir=generated-tests --log=randoop-spring-beans-5.3.22.log ``` The classpath work, and I have generated...