#998
93%

Ran 14 Nov 2022 07:16PM UTC

Jobs 1

Files 73

Run time 4s

Badge

Embed ▾

pending completion

Build # #998

Build Type

push

github-actions

Committed by

web-flow

Commit Message

Fix serialization field region computation bug fix (#689)

This PR fixes a bug in field region computation. The bug is in the computation of region for fields initialized through chain of  member selects. Please see the example below:

```java
class C{
  @Nullable Object val;
}
class B{
   C c = new C();
}
class A {
    B b = new B();
    Object f = b.c.val;
}
```

For expression `Object f = b.c.val;` which causes an `ASSIGN_NULLABLE` error (`val` is `@Nullable`) the computed region is `null`. This PR resolves this bug by correctly computing the region and setting `f` as the region where the error is reported.

Run Details

5081 of 5469 relevant lines covered (92.91%)

0.93 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	#998.1	14 Nov 2022 07:16PM UTC	0	92.91

Source Files on build #998

Detailed source file information is not available for this build.

uber / NullAway / #998
93%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #998

uber / NullAway / #998 93%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #998

uber / NullAway / #998
93%

README BADGES
x