#694
93%

Ran 10 Jan 2022 10:27PM UTC

Jobs 1

Files 55

Run time 14s

Badge

Embed ▾

pending completion

Build # #694

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.

Run Details

4122 of 4600 relevant lines covered (89.61%)

0.9 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	#694.1	10 Jan 2022 10:27PM UTC	0	89.61

Source Files on build #694

Detailed source file information is not available for this build.

uber / NullAway / #694
93%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #694

uber / NullAway / #694 93%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #694

uber / NullAway / #694
93%

README BADGES
x