%PDF-1.4
%
1 0 obj
<< /S /GoTo /D (section.1) >>
endobj
4 0 obj
(Introduction)
endobj
5 0 obj
<< /S /GoTo /D (subsection.1.1) >>
endobj
8 0 obj
(What is a bug?)
endobj
9 0 obj
<< /S /GoTo /D (section.2) >>
endobj
12 0 obj
(Static analysis)
endobj
13 0 obj
<< /S /GoTo /D (subsection.2.1) >>
endobj
16 0 obj
(Revisiting XYLEM data)
endobj
17 0 obj
<< /S /GoTo /D (subsection.2.2) >>
endobj
20 0 obj
(The challenge of consistency)
endobj
21 0 obj
<< /S /GoTo /D (subsection.2.3) >>
endobj
24 0 obj
(Impossible dereferences)
endobj
25 0 obj
<< /S /GoTo /D (subsection.2.4) >>
endobj
28 0 obj
(Implicit nonnull assertions)
endobj
29 0 obj
<< /S /GoTo /D (subsection.2.5) >>
endobj
32 0 obj
(Static analysis results)
endobj
33 0 obj
<< /S /GoTo /D (section.3) >>
endobj
36 0 obj
(Annotations for nullness)
endobj
37 0 obj
<< /S /GoTo /D (subsection.3.1) >>
endobj
40 0 obj
(Uses of Map.get\(\))
endobj
41 0 obj
<< /S /GoTo /D (section.4) >>
endobj
44 0 obj
(When NPE is Better)
endobj
45 0 obj
<< /S /GoTo /D (section.5) >>
endobj
48 0 obj
(Conclusions)
endobj
49 0 obj
<< /S /GoTo /D [50 0 R /Fit ] >>
endobj
56 0 obj <<
/Length 4924
/Filter /FlateDecode
>>
stream
x[KFrWD̀x?-QWb,FMwh4;_{ UY|gۏ_>._EEP%*ʠ̓WEyؼum,}gܙGvo}v֡f;|a?Jի(x( *zEi\WSYC<]]pWʠT&*Hh4|g.c9G|4Ҿ`e4ݫ<3_ь ggy?lgg\ṭFWAbto5l5Q'wlwDGU{WH7r;5(v}66t"Org\lVtK,dGm2\=hOA,}3`HݣxarMy#@ݷ5K<rW;7`"N|~r}'ne?}c0#~&V'6!nQi}}2*Oc?"3^NjSPB" ĵ>7[tocyyk"["ujuQ̥F=W"2{eDAUDÛgQʀ2JJQӍȤ}UZ>joGgLCm|;vRx8LD/Pm+>jL7;z%AG d)Se\iPhݎ'"tEgt39H`oT.'aeJ XݡC9dh*j O-.Ue$~&'}q|*,]狶g7B{h#mqWR£p
ྣ-꼬P ;h>6Fb;TUQI|cDAͱ,f˽Bvw{meQBKY2LAn"Y㠪r?O~=3tGhEvD$+JçqNhbvJ6zH ]L,\C}>rO)m
mt
y_
v8 {(!r!9YٌTwI!EcvG2E*cEۥr42[m)!7fo[tڕ=I2n"O-kRWg9L:~0'f %jSM(]z1PY [.OZ(MHPFa:7Ӂx8"LҶI'K%#y2k夜Ʃ,00-+\S/
H=ZYodq\hzvBMJBֶֆbjV5\YxϺk<%5 Q2ӖD~{Xxެ`P,i)gW2GYݑbuat=LXޒU:XYHAG'aqpq
z I>_M{nrlg(ql-e/O'W0=$dy4v7$ݭlLVL8hI-;e9i,]aqZNɚtm$uhх|TYM˖l
`TA\aqOVto mAVF'\D("&8!.X"1Ė8"t&Iloɢ Ĥ37{]q33*"cv\~ơU禒}ϱMK+kPץB)`K1LI| @}V+{@k#Ck7 }-wNBG/5T\a%2+iu تDpu-| TeBc7UHAwBYz9dG©`qOйq
hc,5+B/Փ[tݍ
.""BAppMaݒ'R)L*ڹ9h\(@
B!a/B<J8ܶAΨvECCj$L_vxx3^Q,FKFDs=\!j