#697
93%

Ran 12 Jan 2022 09:53PM UTC

Jobs 1

Files 55

Run time 27min

Badge

Embed ▾

pending completion

Build # #697

Build Type

push

github-actions

Committed by

web-flow

Commit Message

Small tweaks to handling of assignments in dataflow (#547)

We add two small tweaks to assignment handling (found while reading the code):

1. If we see an assignment `e.f = ...`, treat `e` as non-null on the non-exceptional successor (since the dereference succeeded), if it's an access path that we can track.  We already did this for assignments to array elements; we should do the same for field assignments, for consistency.
2. Don't track nullability for variables and fields of primitive type, as they can never be de-referenced.  This is an optimization that could reduce the size of the stores we propagate around.  I didn't measure the impact, but it seems like an obvious, if small, win.

I put the new test input in the same place as other similar ones in `NullAwayPositiveCases`, for consistency.

Run Details

4125 of 4603 relevant lines covered (89.62%)

0.9 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	#697.1	12 Jan 2022 09:53PM UTC	0	89.62

Source Files on build #697

Detailed source file information is not available for this build.

uber / NullAway / #697
93%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #697

uber / NullAway / #697 93%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build #697

uber / NullAway / #697
93%

README BADGES
x