Lines Matching +full:tests +full:- +full:coverage +full:- +full:reporting
4 ---------------
13 ---------------
18 * Fix backwards-incompatible calls to ASTHelpers.hasDirectAnnotationWithSimpleName (#894)
22 ---------------
25 - Update to WALA 1.6.3 (#887)
26 - Update to Error Prone 2.24.1 (#888)
29 ---------------
32 - Main use case is NullAwayAnnotator
36 - JSpecify: In generics code, get rid of checks for ClassType (#863)
40 ---------------
41 * Fix assertion check for structure of enhanced-for loop over a Map keySet (#868)
44 ---------------
48 - JSpecify: adding com.google.common to annotated packages in build.gradle (#857)
49 - JSpecify: handling the return of a diamond operator anonymous object method caller (#858)
50 - Create com.uber.nullaway.generics package (#855)
51 - Clarifications and small fixes for checking JSpecify @Nullable annotation (#859)
52 - Apply minor cleanups suggested by IntelliJ in generics code (#860)
55 ---------------
60 - JSpecify: handle return types of method references in Java Generics (#847)
61 - JSpecify: handle Nullability for lambda expression parameters for Generic Types (#852)
62 - JSpecify: Modify Array Type Use Annotation Syntax (#850)
63 - JSpecify: handle Nullability for return types of lambda expressions for Generic Types (#854)
65 - Update to Gradle 8.4 and Error Prone 2.23.0 (#849)
68 ---------------
74 - Properly check generic method overriding in explicitly-typed anonymous classes (#808)
75 - JSpecify: handle incorrect method parameter nullability for method reference (#845)
76 - JSpecify: initial handling of generic enclosing types for inner classes (#837)
78 - Update Gradle and a couple of plugin versions (#832)
79 - Run recent JDK tests on JDK 21 (#834)
80 - Fix which JDKs are installed on CI (#835)
81 - Update to Error Prone 2.22.0 (#833)
82 - Ignore code coverage for method executed non-deterministically in tests (#838 and #844)
83 - Build NullAway with JSpecify mode enabled (#841)
86 ---------------
89 - Note: Not just an internal implementation change. Needed to support JDK 21!
92 - Fixes Codecov Report Expired error (#821)
93 - Updated Readme.md with Codecov link (#823)
94 - Remove ASM-related hack in build config (#824)
95 - Run tests on JDK 21 (#826)
98 ---------------
103 - Generics checks for method overriding (#755)
104 - Make GenericsChecks methods static (#805)
105 - Add visitors for handling different types in generic type invariance check (#806)
107 - Bump versions for some dependencies (#800)
108 - Update to WALA 1.6.2 (#798)
109 - Update to Error Prone 2.21.1 (#797)
110 - Enable contract checking when building NullAway (#802)
111 - Bump Error Prone Gradle Plugin version (#804)
112 - Modify JMH Benchmark Workflow For Shellcheck (#813)
113 - Bump gradle maven publish plugin from 0.21.0 to 0.25.3 (#810)
114 - Use Spotless to enforce consistent formatting for Gradle build scripts (#809)
115 - Remove unnecessary compile dependence for jar-infer-cli (#816)
116 - Added Codecov to CI Pipeline (#820)
119 ---------------
127 * Improve auto-fixing of unnecessary castToNonNull calls (#796)
129 - JSpecify: avoid crashes when encountering raw types (#792)
130 - Fix off-by-one error in JSpecify checking of parameter passing (#793)
132 - Fix Publish Snapshot CI job (#774)
133 - Add step to create release on GitHub (#775)
134 - Build the Android sample app on JDK 17 (#776)
135 - Update to Error Prone 2.20.0 (#772)
136 - Add tasks to run JDK 8 tests on JDK 11+ (#778)
137 - Switch to Spotless for formatting Java code (#780)
138 - Added GCP JMH Benchmark Workflow (#770)
139 - Set concurrency for JMH benchmarking workflow (#784)
140 - Disable daemon when running benchmarks (#786)
141 - Update to Gradle 8.2.1 (#781)
144 ---------------
148 - Added support for Apache Validate (#769)
149 - Introduce FluentFutureHandler as a workaround for Guava FluentFuture (#771)
151 - [Refactor] Pass resolved Symbols into Handler methods (#729)
152 - Prepare for Nullable ASTHelpers.getSymbol (#733)
153 - Refactor: streamline mayBeNullExpr flow (#753)
154 - Refactor LibraryModelsHandler.onOverrideMayBeNullExpr (#754)
155 - Refactor simple onOverrideMayBeNullExpr handlers (#747)
157 - JSpecify generics checks for conditional expressions (#739)
158 - Generics checks for parameter passing (#746)
159 - Clearer printing of types in errors related to generics (#758)
161 - Update path serialization for class files (#752)
163 - Update to Gradle 8.0.2 (#743)
164 - Fix CI on Windows (#759)
165 - Upgrade to Error Prone 2.19.1 (#763)
166 - Upgrade maven publish plugin to 0.21.0 (#773)
169 ---------------
172 - Model Map.getOrDefault (#724)
173 - Model Class.cast (#731)
174 - Model Class.isInstance (#732)
176 - Refactor code to use Map.getOrDefault where possible (#727)
177 - Break loops when result can no longer change (#728)
179 - JSpecify: initial checks for generic type compatibility at assignments (#715)
180 - Add JSpecify checking for return statements (#734)
182 - Refactoring in symbol serialization (#736)
183 - Refactoring tabSeparatedToString logic to prepare for serialization version 3 (#738)
184 - Update method serialization to exclude type use annotations and type arguments (#735)
185 * Docs fix: -XepExcludedPaths was added in 2.1.3, not 2.13 (#744)
188 --------------
192 - Add Throwable.getCause and getLocalizedMessage() library models (#717)
193 - Support more test assertions in OptionalEmptinessHandler (#718)
194 - Support isInstanceOf(...) as implying non-null in assertion libraries (#726)
197 - Update to Error Prone 2.18.0 (#707)
200 --------------
202 * Add an initial `nullaway:nullaway-annotations` artifact. (#709)
203 - Contains only an implementation of `@Initializer` for now.
205 - Update region selection for initialization errors. (#713)
206 - Update path serialization for reported errors and fixes. (#714)
208 - Turn up various Error Prone checks (#710)
211 --------------
216 --------------
222 - Add source offset and path to reported errors in error serialization. (#704)
224 - [Jspecify] Update test dep to final JSpecify 0.3.0 release (#700)
225 = Intermediate PRs: 0.3.0-alpha-3 (#692), 0.3-alpha2 (#691)
226 - Update to Gradle 7.6 (#690)
230 --------------
234 - Fix Serialization: Split field initialization region into smaller regions (#658)
235 - Add serialization format version to fix serialization output (#688)
236 - Fix serialization field region computation bug fix (#689)
238 - [Jspecify] Update tests to JSpecify 0.3.0-alpha-1 (#673)
239 - [Jspecify] Add checks for proper JSpecify generic type instantiations (#680)
240 - (Note: Annotation support for generics is not complete/useful just yet)
243 --------------
248 - Bump dependency versions in GitHub Actions config (#683)
251 --------------
256 - PreconditionsHandler reflects Guava Preconditions exception types (#668)
257 - Handle Guava Verify functions (#682)
259 - checkerframework 3.26.0 (#671)
261 - Build and test against Error Prone 2.15.0 (#665)
262 - Bump Error Prone and EP plugin to 2.16 (#675)
265 --------------
268 - Fix crash in fixserialization when ClassSymbol.sourcefile is null (#656)
271 --------------
272 This is a bug-fixing release for a crash introduced in 0.10.1 on type.class
274 * Fix crash when querying null-markedness of primitive.class expressions (#654)
278 --------------
281 - [JSpecify] Support @NullMarked on methods. (#644)
282 - [JSpecify] Support @NullUnmarked. (#651)
283 - Allow AcknowledgeRestrictiveAnnotations to work on fields (#652)
285 - Update to WALA 1.5.8 (#650)
287 - Update to Gradle 7.5.1 (#647)
288 - Add Gradle versions plugin and update some "safe" dependencies (#649)
291 --------------
293 - Make library models override annotations by default. (#636)
294 - Generalize handler APIs for argument nullability on (un-)annotated code (#639)
295 - [Follow-up] Optimizations for parameter nullness handler / overriding (#646)
296 - Generalize handler APIs for return nullability on (un-)annotated code (#641)
298 - Add library model for Guava's Closer.register (#632)
299 - Support for Map.computeIfAbsent(...) (#640)
301 - Augment error serializarion info (#643)
303 - Update to Checker Framework 3.24.0 (#631)
307 -------------
314 - Clean up: Remove method parameter protection analysis (#622)
315 - Clean up: Remove nullable annotation configuration in fix serialization. (#621)
317 - Add a microbenchmark for type inference / dataflow (#617)
320 -------------
326 - Support for Preconditions.checkArgument (#608)
327 - Model for com.google.api.client.util.Strings.isNullOrEmpty (#605)
329 - Cleanups to AccessPath representation and implementation (#603)
330 - Clean-up: Remove unused fix suggestion code. (#615)
332 - Update to Checker Framework 3.22.2 (#610)
334 - Add NullAway 0.9.7 as a JMH benchmark (#602)
335 - Update to Error Prone 2.14.0 (#606)
338 -------------
339 * Allow zero-argument static method calls to be the root of an access path (#596)
341 - Add support for Optional.isEmpty() (#590)
342 - Model System.console() as returning @nullable (#591)
344 - Add a test of binding patterns (#583)
346 - Move JSpecify tests to correct package (#587)
348 - Fixes line breaks and tabs in serializing errors. (#584)
349 - Using flatNames for LocalType/anon. classes in fix serialization (#592)
350 - Fixes to computing class and method info for error serialization (#599)
352 - [JarInfer] Update Apache Commons IO dependency. (#582)
353 - Update to Checker Framework 3.21.3 (#564)
355 - NullAway now builds with NullAway (#560)
356 - Switch to using gradle-build-action (#581)
357 - Compile and test against Error Prone 2.12.0 (#585)
358 - Enabled a few more EP checks on our code (#586)
360 - Update to Gradle 7.4.2 (#589)
361 - Update to Error Prone 2.13.1 and latest Lombok (#588)
364 -------------
366 - Fix bug in handling of TreatGeneratedAsUnannotated (#580)
370 - Improve nullness tracking of map calls in the presence of type casts (#537)
371 - Reason about iterating over a map's key set using an enhanced for loop (#554)
372 - Reason about key set iteration for subtypes of Map (#559)
373 - Add support for Map.putIfAbsent. (#568)
375 - Serialization of Type Change Suggestions for Type Violations (#517)
376 - Measurement of Method protection against nullability of arguments (#575)
377 - Enhanced Serialization Test Infrastructure (#579)
378 - Field initialization serialization (#576)
380 - Enable parallel builds (#549) (#555)
381 - Add dependence from coveralls task to codeCoverageReport (#552)
382 - Switch to temurin on CI (#553)
383 - Separating NullAwayTests into smaller files (#550)
384 - Require braces for all conditionals and loops (#556)
385 - Enable build cache (#562)
386 - Fix JarInfer integration test on Java 11 (#529)
387 - Get Android sample apps building on JDK 11 (#531)
388 - Limit metaspace size (#563)
389 - Update CI jobs (#565)
390 - Set epApiVersion for jacoco coverage reporting (#566)
391 - Compile and test against Error Prone 2.11.0 (#567)
392 - Fix EP version for jacoco coverage step (#571)
393 - Update to latest Google Java Format (#572)
396 -------------
398 - Fix crash with switch expression as a lambda body (#543, follow up: #545)
399 - Better fix for crash on member selects inside module-info.java (#544)
402 - Bump AutoValue and AutoService versions (#538)
403 - Add task to run NullAway on itself (#542)
404 - Add test case for unsound map reassignment handling (#541)
407 -------------
408 * Fix crash with fully-qualified names in module-info.java import (#534)
411 -------------
416 * Improve reporting of multiple parameter errors on a single method call (#503)
417 * Support compile-time constant field args in method Access Paths (#504)
424 - Prevent JMH tests from running on pre-v11 JDKs (#492)
425 - Bump to Error Prone 2.8.1 (#494), 2.9.0 (#497), and 2.10.0 (#507)
426 - Docs: Fix a broken link in README.md (#495)
427 - Update to Gradle 7.2 (#496), 7.3.1 (#509), and 7.3.3 (#530)
428 - Add Autodispose benchmark (#498)
429 - Bump jmh plugin to 0.6.6 (#500)
430 - Bump to Checker dataflow 3.20.0 (#510)
431 - CI tests for JDK 17 (#512)
432 - Some fixes to GitHub Actions config (#514)
433 - Make jar-infer-lib tests pass on JDK 11 (#523)
434 - Extra tests for all DummyOptionsConfig's methods (#525)
435 - Pull jmh Gradle plugin version to top level (#526)
436 - Add tests for JDK 16+ records (#527)
437 - Support for Coveralls on multiple modules (#521)
438 - Changes to avoid re-running Gradle tasks unnecessarily (#528)
441 -------------
446 - Add library model for java.nio.file.Path.getParent() (#464)
447 - Default models support for Spring's Autowired (#477)
448 - Models for `Objects.requireNonNull()` with `Supplier` (#483)
450 - Small Gradle build cleanup (#469)
451 - Allow Error Prone API version to be configured via a property (#470)
452 - Also test NullAway on Error Prone 2.6.0 (#471)
453 - Check our code with Error Prone 2.6.0 (#472) [temporary, see below]
454 - Check code with Error Prone 2.7.1 (#480)
455 - Update to Gradle 7.0.2 (#481) then 7.1 (#486)
456 - Add a jmh module for benchmarking (#487, #489)
457 - Test on CI with Error Prone 2.8.0 (#491)
460 --------------
463 - Update Gradle to 6.8.3 (#451)
464 - Gradle: switch to java-library plugin where possible (#455)
465 - Switch from mvn-push script to gradle-maven-publish-plugin (#457)
466 - Fix publication of fat jar for jar-infer-cli. (#461)
470 --------------
472 - This allows compatibility with Error Prone 2.5.1 by
474 - Remove Checker Framework shadow config from nullaway module (#449)
479 * [Fix] Ignore library models return nullability on first-party code (#446)
482 - Add library model for TextView.getLayout() (#418)
483 - Add library model for Service.onStartCommand (#419)
484 - Models for common Spring/Spark/Apache utility classes (#436)
485 - Add support for jakarta.inject-api (#439)
487 - Update to Gradle 6.6.1 (#420)
488 - Switch CI to GitHub Actions (#440) (#442) (#450)
491 --------------
495 * Fix: android-jar.py's exit code. (#399)
497 - And fix detected issues (#403, #404)
498 * Allow library models of the form null param -> null return (#407)
501 * Also `-SNAPSHOT` builds are being published correctly again (#409)
502 * New android-jarinfer-models-sdk29 artifact for Android 10
505 --------------
506 * Add Java 8 streams nullness-propagation support (#371)
507 * Give line numbers for uninitialized fields when reporting error on an initializer (#380)
508 * Include outer$inner class name when reporting field init errors (#375)
513 - Fixes an IndexOutOfBoundsException checker crash
516 -------------
518 - Gradle to 5.6.2. (#362)
519 - WALA to 1.5.4 (#337)
520 - Checker Dataflow to 3.0.0 (#369)
522 - With this, `-XepOpt:NullAway:CheckOptionalEmptiness` should be
527 -------------
529 * [JarInfer] Ignore non-public classes when inferring annotations. (#360)
532 -------------
538 -------------
541 * Adding support for Aar-to-aar transformation (#334)
551 * Skip read-before-init analysis for assert statements (#348)
554 ------------
555 * Allow models to override @nullable on third-party functional interfaces (#326)
556 - Defines Guava's Function and Predicate as @NonNull->@NonNull
560 -------------
563 * Minor refactor and cleanup in JarInfer-lib (#319)
569 -------------
572 * Add tests for optional emptiness support with Rx (#308)
575 * Make class-level caches for InferredJARModelsHandler instance fields. (#315)
578 -------------
586 --------------
590 --------------
592 …`-XepOpt:NullAway:CheckOptionalEmptiness=true` to enable (experimental) support for `Optional` emp…
593 * Improved (partial but sound-er) varargs support (#291).
599 ---------------
604 ---------------
612 ---------------
614 * Disable JarInfer handler by default (#261). `-XepOpt:NullAway:JarInferEnabled=true` is now requi…
619 -------------
623 -------------
628 -------------
637 `-XepOpt:NullAway:AcknowledgeRestrictiveAnnotations=true` is set.
643 -------------
645 * De-genericize NullnessStore (#231)
651 -------------
652 * Add coverage measurement through coveralls. (#224)
657 -------------
662 -------------
670 -------------
671 * JarInfer: Third-party bytecode analysis (MVP version) (#199)
676 * Create android-jarinfer-models-sdk28 and fix release scripts. (#210)
679 Note: This is the first release to include jar-infer-cli, jar-infer-lib, and
680 android-jarinfer-models-sdk28 artifacts
683 -------------
685 * Add ExcludedFieldAnnotations unit tests. (#192)
690 -------------
694 -------------
696 * Add -XepOpt:NullAway:AcknowledgeRestrictiveAnnotations config flag. (#189)
697 - WARNING: This feature is broken in this release, fixed on 0.5.1
703 -------------
706 * Fix NPE inside NullAway when initializer methods use try-with-resources (#177)
709 -------------
715 -------------
719 -------------
723 -------------
728 -------------
732 * Add a Handler for supporting isSetXXXX() methods in Thrift-generated code (#148)
736 -------------
741 -------------
749 -------------
753 -------------
755 * Built-in support for JUnit 4/5 assertNotNull, Objects.requireNonNull
756 * Fix crash when using try-with-resource with an empty try block. (#135)
759 -------------
760 * Support for treating `@Generated`-annotated classes as unannotated (#127)
763 -------------
767 -------------
772 -------------
776 -------------
780 -------------
782 just method names (#90). This is an API-breaking change; if you've
791 -------------
795 -------------
800 -------------
804 code that was NullAway-clean before.
807 previously NullAway-clean.
810 -------------
816 -------------
817 * -XepOpt:NullAway:ExcludedClasses accepts package prefixes. (#38)
823 -------------
829 -------------
830 * Add finer grained suppressions and auto-fixes (#31). You can
837 -------------
841 -------------
845 -------------
851 -------------
857 -------------