1
93%
master: 93%

Ran 10 Jan 2022 10:27PM UTC

Files 55

Run time 12s

Badge

Embed ▾

Committed 10 Jan 2022 10:22PM UTC coverage: 89.609% (+0.007%) from 89.602%

Job # #694.1

Build Type

push

github-actions

Committed by

web-flow

Commit Message

Improve nullness tracking of map calls in the presence of type casts (#537)

When chains of `Map.get(a).get(b).get(c)` are used without casts, our existing map handling code suffices to keep track of non-null APs. However, this breaks in the presence of casts. Unfortunately, chains of maps with casts are a common way to handle hierarchical but untyped data sources, such as loaded JSON/Yaml.

In general, casts make tracking of access paths equivalence harder. As such, with this change, we strip all casts when considering the receiver of a method call or field access for access path construction. This seems to handle the   chained `Map<Object,Object>` pattern above, without being in any way specific to maps.

Coverage Stats

4122 of 4600 relevant lines covered (89.61%)

0.9 hits per line

uber / NullAway / #694 / 1
93%
master: 93%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job #694.1

uber / NullAway / #694 / 1 93% master: 93%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job #694.1

uber / NullAway / #694 / 1
93%
master: 93%

README BADGES
x