Manu Sridharan
Manu Sridharan
I seem to recall we had an issue with Coveralls, GitHub Actions, and the coverage format generated by Jacoco (at least I think that was an issue :-) ). If...
See #368 for further discussion. There we added a bailout check to avoid a crash, but we should understand what is going on here. /cc @shas19
WIP at https://github.com/uber/NullAway/tree/ms/jdk-11. We should get the core NullAway functionality working first. Some notes: * I don't think coveralls works yet * Android-related sample app building will be a pain...
Looking at #292 I realized I had forgotten about the ExhaustiveOverride option. I think we should remove it. It could give a performance gain in some cases, but it could...
In #129 we added (some) support for JetBrains `@Contract` annotations. We should somehow extend this support to fields, e.g., to handle the example in [this comment](https://github.com/uber/NullAway/issues/96#issuecomment-354638317). This will require going...
@tbroyer has pointed out that AutoValue-generated source code is ending up in our artifact (see [here](https://github.com/uber/NullAway/pull/242#discussion_r225205080)). We should update the path for generated code so this doesn't happen.
As a baby step toward support of generics, we should support writing *models* of generic library types and checking uses of those types against the models. E.g., for a `Pair`...
If we see `@VisibleForTesting(otherwise = PRIVATE)` we should treat the method as if it were private for the purposes of analyzing methods called from initializers.
We should be able to leverage inheritance when writing models for librarys. E.g., [`Collections.toArray(T[])`](https://docs.oracle.com/javase/7/docs/api/java/util/Collection.html#toArray(T[])) is specified to throw an NPE whenever the parameter is `null`. Right now, we need to...
We should add some unit tests and document it for the next release