Nima Karimipour

[WIP] Fix issue with serialization in running multiple modules in parallel.

1

This PR fixes #626 which explains how current implementation by using a fixed files name for outputs, limits parallelization techniques in environments where multiple execution units are available. To address...

NullAway version: `0.9.8` Following [PR26](https://github.com/nimakarimipour/NullAwayAnnotator/pull/26) which enables Annotator to perform analysis on downstream dependencies when analyzing a target, it is required to run NullAway on a set of modules. Since...

Fix #657 by splitting field initialization region into smaller regions

4

Note: This PR can wait until the next release of NullAway (`0.10.2`). This PR resolves #657 by splitting the field initialization region into smaller regions. We currently only consider the...

Version: `0.10.1`. Currently any `error` or `fix` object instantiated while visiting a node in the field initialization region, the enclosing method is "null" as they are not enclosed by any...

Adding type annotation with Lexical Preserving Printer

9

javaparser version: `3.24.7-SNAPSHOT` on `master`. ---- I couldn't find any way to add a declaration annotation on a `NodeWithAnnotations` instance while a type annotation exists in node's annotations. Please find...

Non-termination of WPI on NJR Benchmarks for Nullness Checker Annotations

2

#### Tested on CF versions `3.34.0` and `3.42.0` ---- I executed `WPI` on [NJR](https://zenodo.org/records/6314162) benchmarks to infer annotations for [Nullness Checker](https://checkerframework.org/manual/#nullness-checker). And observed that in the majority of benchmarks, `WPI`...

Daikon crash on some benchmarks in NJR dataset

2

### Environment Daikon Version: `5.8.20` OS Version: `Mac OS 14.5 (Sonoma)` Java Version: `11` ### Steps followed to install Daikon ```shell wget http://plse.cs.washington.edu/daikon/download/daikon-5.8.20.tar.gz export DAIKONDIR=daikonparentpath/daikon-5.8.20 source $DAIKONDIR/scripts/daikon.bashrc make -C $DAIKONDIR...

Augment NullAway error / fix serialization for Annotator auto fix mode

7

This PR updates the NullAway error serialization to include additional information needed for Annotator’s automatic code-fix mode. The implementation is in an initial state and will require further refactoring. ##...