HAL Id: inria-00073457
https://hal.inria.fr/inria-00073457
Submitted on 24 May 2006
HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub-
L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non,
Static Debugging of C Programs: Detection of Pointer Errors in Recursive Data Structures
Ronan Gaugne
To cite this version:
Ronan Gaugne. Static Debugging of C Programs: Detection of Pointer Errors in Recursive Data Structures. [Research Report] RR-3232, INRIA. 1997. �inria-00073457�
a p p o r t
d e r e c h e r c h e
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
Static debugging of C programs:
detection of pointer errors in recursive data structures
Ronan Gaugne
N ˚ 3232
aoˆut 1997
TH `EME 2
#$%&$'()*+%,% -'.%% $0/+1$2 3$4&$%
57698:98<;=:9>?@8$ACB
D#E3F
GHIGKJLNM=OGPRQSGTSUWVXQSY'QZGT
G'[Y'\]T^Y _`T3acbdHe9UWTSQ^fX_`G
g4h
U]ijG'[%kl\]PnmoG
p
\WqRqnU
h
[%moG
h
GY E G h Y E
GrPsXtXJ]tuJ=Lv\]U3w_o[xyXyuz{L|J]}+q`\]VXGa
~7'R WW D#E
G=QZP`Y'U hh
GY0[_`aGU]q9UWQSPX[G
h
aQ^aUWPRGUWK[
E
GCHIUuaj[7Y'UWHIHIUWPacUX_
h
Y GU]eR_RVuaQSP
QSHIqnG
h
\][QSWG{TS\WPRVW_`\WVWGa'P[
E
QSaY'UWPu[G'd[o\]PdbIdQZP`m7U]ac[\][Q^Y{Y'UomoGY
E
GYdQZP`VY'\Wq`\]e`TZGU]mRG [GY0[QZPRV
q9U][G'Pu[Q^\]Toe`_RVXa4\][4Y UWHIqRQSTSG#[QSH+GQ^a$&G'T^Y UWHIGX
D#E
Q^a$q`\WqnG h q h
GaG'Pu[a$\ac[\[QSY#moGeR_RVXVWQSPRV[GY
E
PRQSfu_RG
U h [ E
GmoG [GY0[QZUXPUWQZPnY U hh
GY0[+\WY'Y'GaacGa[UHIG'HIU
h
bmRG
h
G G
h
G'PnY GaU]%QSPd\]TSQSmqnUXQZPu[G
h
a0
D#E
G
\WP`\]TSboacGm*TS\WPRVW_`\WVWGIQ^a\Ca_Re`aG [UW{{
D#E
G7[UdUWT4Q^aen\WaGm UWP¡\=aj[\[Q^Y\WP`\]TSboacG
h
G d[GP`moGm QZ[
E
\XaaG
h
[QSUWPna¢QSP`aG
h
[Gm7QSP£[
E
Ge9Uomob7UWl[
E
Gq
h
UXV
h
\]H$¤aacG
h
[QZUXP`a\
h
G{UW[j&UIdQZP`m`a'¥
¦
aj[\[QSY\XaaG
h
[QSUWP`a#\W_o[UXHI\][Q^Y'\WTZTSbWG
h
QZ§`Gm¨edb[
E
G\]P`\WTZboaG h
¦
mobdP`\]HIQ^Y\WaacG
h
[QZUXP`a¢[
h
G\][Gm£\Wa\Xaa_RHIqo[QZUXP`a#edb[
E
G\WP`\]TSboacG h
D#E
G[GY
E
P`QSfu_RGImoG\WTSaKQZ[
E
mobdP`\WH+Q^Y'\WTZTSbC\]TSTSUdY\[Gm=m`\[\£ac[
h
_`Y0[_
h
GaK\]P`mQ©[Q^a\WYY _
h
\[GGPRUW_RV
E
[U
E
\]P`mRTZGY'Q
h
Y _RT^\
h
ac[
h
_`Y0[_
h
Ga
ª«u¬@®¯ °W
aj[\[Q^Y£moG'eR_`VWVWQSPRVn¢ac[\[QSY\WP`\]TSboacQ^a'±q
h
UXV
h
\]H²WG
h
QZ§nY\[QSUWPl4mR\]PRVXTZQSPRV q9UWQSPX[G
h
a'
\XaaG
h
[QSUWP¨e`\WaGm£moGeR_RVWVXQZP`V`R³%Uu\
h
G{TSUWVXQSY
´^µ+¶
·¸º¹»
¶
·{¼½S¸¿¾ºÀ Á
Â4à ÄÅÆÃ0ÇÆÈÉÊÌ˺ÊÌͺÄÎÏSË
%& % +'+$ '% - 3$4&$%
+ %% %% /%
« «
k_o[QSTZQ^a\[QSUWPQSP`Y'U hh
GY0[GCmRGCqnUXQZPu[G'_
h
aGaj[7_`PRGmoGa7aUW_
h
Y GamG hh
G_
h
aTZGaqRTS_`a
h OGq`\]P`mR_RGam`\]P`a7TZGaT^\]PRVu\]VWGaQSH+q#OG h
\[Q©a{\WP`a£Y GY'UWPu[G'd[GW#[UW_o[£±OG h Q©§9Y'\[G'_
h
ac[\][Q^fu_RGmoG
Y'UomoGY'\Wq`\]e`TZGmoGm¢OG [GY [G
h
moGaG hh
G_
h
a#q9U][G'Pu[QSG'TSTSGa
F
\ITS\Y'UWHIqRQSTS\][QSUWPGaj[e`QZGPuXG'Pd_3%¢G [K\
h
[Q^Y TSG
q h OGacGPu[G$_RPRG$[GY
E
PRQ^fu_RG±moG4m&OG'e9UWVu\]VWG$ac[\[QSfu_RG±qnUX_
h
T^\m¢OG [GY [QSUWPm\WY'Y
F
Ga9QSP`Y U hh
GY [a
F
\#T^\HOG'HIUXQ h G
m&OG h OG'OG h
G'PnY Ga@moG±qnUXQZPu[G_
h
a3QSPu\WTZQ^moGa0$k3G±TS\WPRVX\WVWG4Y UXP`aQSm&OG h GGaj[_RPaUW_`a¿G'P`aG'HeRTZG4mRG#{ÆkO UW_o[QZT
Gaj[e`\XaoOGa_
h
_RP\]Pn\]TSbdaG'_
h
ac[\][Q^fu_RGOG [G'P`mR_¨q`\
h
moGa\XaaG
h
[QSUWPna&fu_RQacUXPX[%moGmoG_o7[jbdq9Ga¥
¦ TZGa%\WaaG
h
[QSUWP`a#ac[\[QSfu_RGafu_RQ3acUXPu[#¢OG h
QZ§OGGa&\]_o[UWH\[QSfu_RGHIG'Pu[q`\
h
T\WP`\]TSboacG_
h
¦ TZGa%\WaaG
h
[QSUWP`a
E
bdqnUW[
E OG'[Q^fu_RGa#fu_RQlaUWPu[#[
h
\]QZ[ROGGa#Y UXHIH+GmoGa
E
buq9U][
E3F
GacGa¢qn\
h
T\WP`\]TSboacG_
h
k\[GY
E
PRQ^fu_RGq
h
GP`mGP¨Y'UWHIqo[GTSGa#aj[
h
_nY0[_
h
Ga¢moGKmoUXPRP#OGGa&\]TSTZUX_&OG'Ga±mobdP`\WHIQSfu_RGH+GPu[&G'[>ZTSG{Gaj[
a_a\]HIHIG'Pu[q
h OGY Q^aG{q9UW_
h [ h
\WQ©[G
h
TSGaac[
h
_`Y0[_
h
GaY Q
h
Y _RT^\]Q
h
Ga'
¯ «
m&OGenUXVX\WVWGac[\[QSfu_RGX4\]P`\WTZboaG7ac[\[QSfu_RGX±OG
h
Q©§9Y'\[QZUXP¡moG7q
h
UXV
h
\]HIHIGaq9UWQSPu[G'_
h a
q9G'PnmR\]Pu[aRm&OGenUXVX\WVWGq`\
h
\WaaG
h
[QSUWP`adTZUXVWQ^fX_`GKmRG³%UX\
h G
t
9 :
+7C&$ +
D#E
GHIUW[QSÆ\][QSUWP£U h [ E
G&U
h
moGaY
h
QZe9Gm¨QSP¨[
E
Q^aq`\]q9G
h
Y'UWHIGa&
h
UWH [ ERh
G'GKUXe`acG
h
\][QSUWP`a¥
¦<; UXac[KQSmoGTZb_nacGmCq
h
UWV
h
\WH+HIQSPRVT^\]PRVX_`\]VXGa\]TSTZUG'oqRTZQ^Y QZ[KqnUXQZPu[G
h
HI\WPRQSqR_RT^\[QSUWPna'
D#E
G
G oq
h
GaacQSWGPRGaaq
h
UuQ^moGmedba_`Y
E
G\[_
h
Ga$QSa\WqRq
h
GY'QS\][GmedbH\]Pdbq
h
UWV
h
\WHIH+G
h
alenGY'\W_`acG
Q©[%H\WWGa#q9UXaaQZeRTSG[UH\Wac[G
h
TZU TZGWGT3moG [\]QSTSa\WenUX_o[%HIG'HIU
h
b7\]TSTSUdY\[QZUXP£\WP`m
h
G'_nacGX$³U
¢GWG
h
[
E
GG oqRTSQ^Y QZ[4_`acG#UW9q9UWQSPu[G
h
aY'\WPe9G%fu_RQZ[G%a_Reo[TSG%\]PnmG hh
U h q h
UWPRGX¿[4Q^a$&G'TSTRdPRUP
[ E
\][%UWPRGKUW[
E
GHIUXac[Y'UWHIHIUWPacUX_
h
Y GKU]eR_RVXa%QZPCQ^a#[
E
GQZPnY U hh
GY0[#_`aGKU]$qnUXQZPu[G
h
a
¦ bdP`\WHIQSYKmoGeR_RVWVXQZP`V[UuUXTSa#\
h
G{WG
h
b\WYY _
h
\[G%[U+TSUoY'\][GG hh
U h a±QZP£q
h
UWV
h
\]Ha¢enGY'\W_`acG{[
E
G'b
E
\ÆWG&\WYY Gaa [U%[
E
G¢G'R\WY0[$aj[\[G±U]`[
E
G¢H+GHIU
h
bW
D#E
G'Q
h
&G\WuP`Gaa3Q^a3[
E
\[[
E
Gb\
h
G4G oGY _o[QZUXP
moG'q9G'PnmoG'Pu[&\WP`mIQZ[±QSa±PRU][¢qnUuaaQZe`TZG%QSPVWGPRG
h
\]TR[UK[Gaj[#\]TSTRG oQ^aj[QZP`VG oGY'_o[QSUWPnaU]3\q
h
UWV
h
\WH
=
P[
E
GUWq`qnUuacQZ[GX9ac[\][Q^YY UomoGY
E
GYXG
h
aqnG
h
U
h
H-\]PG'
E
\]_`ac[QSWGWG
h
QZ§nY'\][QSUWPU]q
h
UWV
h
\WHa
\[[
E
GY Uuaj[U]$acUXHIGK\WqRq
h
UÆoQZH\[QZUXP`a
¦ P7moGeR_RVWVXQZP`V`d\QSmRGaq
h
G\Wm+[GY
E
PRQ^fu_RGQ^a±[
E
G{_`acG{U]3\WaaG
h
[QSUWP`a±QZP`aG
h
[GmIQZP[
E
G{enUomobUW \
q h UWV
h
\]H [UaqnGY QZb¨QZ[aG'oqnGY0[GmenG
E
\ÆdQZU h
D#E
GQZHIq9U
h
[\WP`Y GUW\XaaG
h
[QSUWPna¢QSPCmoGeR_RVWVXQZP`V
QSamRQSaY _`aaGmQSP>©xz@?ºBAG
h
QZ§nY'\][QSUWPUWn\WaaG
h
[QSUWP`aQSaVXG'PRG
h
\WTZTSbmoUWPRG&edb\[
E
GU
h
G'Hq
h
UWG
h
\]Pnm
Y'\WPCenG+\XG
h
b[QSHIG+Y'UWP`a_RHIQSPRV[\Xac@¤P=QSHIqnU
h
[\]Pu[{Y
E
\WTZTSG'PRVXGQ^a%[U§`P`m\Y UXH+q
h
UXH+Q^aG
enG'[j¢GG'P [
E
G7G'dq
h
GaaQZXG'PRGaaKUW#[
E
G£\]P`\WTZboaGm*q
h
UWq9G
h
[QSGa\WP`m*[
E
G7H+GY
E
\]P`QSa\[QZUXP*UW[
E G
\]P`\WTZboaQSa
D#E
G=VWUu\]T%UW[
E
G=[GY
E
PRQ^fX_`GmoGaY
h
QSenGm QZP [ E Q^a7qn\]q9G
h
QSa[
E
G moG [GY [QSUWPU]QSP`Y'U hh
GY0[7HIG'HIU h b
\XY'Y'GaacGa[
ERh
UW_RV
E
moG
h
G G
h
GP`Y QSPRVQSPdÆ\WTZQ^mIq9UWQSPX[G
h
a'¤q9UWQSPu[G
h
H\Æbe9G%QSPdÆ\WTZQ^me9GY\]_`aGQ©[
E
\Wa±PRU][
e9G'GPQZP`Q©[QS\WTZQ^acGm£U
h
e9GY\]_`aGQ©[
h
G'G
h
a#[U\HIGH+U
h
b7TZUoY'\][QSUWP
E
Q^Y EE
\Wa%enGG'PCmoG\]TSTZUoY'\][Gm D#E
G
H\WQZP¨G\][_
h
Ga#UW[
E
GmoG'e`_RVWVXQZPRV+[GY
E
PRQ^fu_RGmoGaY
h
QSenGm¨QSP¨[
E
Q^aq`\WqnG h \ h
G{[
E
GKUWTSTSUQZPRVn¥
¦
¿[%QSa\]eRTSG[UmoG [GY [QZPnY U hh
GY0[#_`aGKU]$qnUXQZPu[G
h
a#QZ[
E
QZP
h
GY _
h
aQZXGm`\[\Iac[
h
_`Y0[_
h
Ga
¦ ¿[%QSaU
h
HI\WTZTSbe`\XacGm¨UXP£\P`\[_
h
\WT^¢UXqnG
h
\][QSUWP`\WT3acGHI\WPu[Q^Y'a&U][
E
GT^\]P`VW_`\WVWGW
¦ ¿[%UC@G
h
a\]P£QZPu[G
h
\WY0[QZXG\WaacG
h
[QZUXPºen\WaGmQSPu[G
h
\WY'G[U+[
E
G_nacG
h
a
D#E
Q^a%Y'UWPu[
h
\Wac[a¢U
h
QSP`ac[\WP`Y GKQZ[
E2D.E@F4G
>Zxt6?3
E
QSY Eh
G [_
h
P`a##\
h
PRQSPRVXa#Y'UWP`Y'G
h
PRQZP`V[
E
G_`aGUW
_`PRQZP`Q©[QS\WTZQ^acGm*Æ\
h
Q^\]e`TZGa{e`_o[moUdGaKP`U][Y
E
GY=moG
h
G G
h
GP`Y GaU]#qnUXQZPu[G
h
aKQSP
h
GY _
h
aQZXG+mR\][\ac[
h
_`Y
[_
h
Ga
D
UUW_
h
uP`UTZGmoVWGX]PRUU
h
H\]TRmRG §`PRQZ[QSUWPUW@[
E G D.EF4G
Y E GYWG
hE
\Wae9G'GPqR_ReRTSQSa
E
GmIG'QZ[
E G h
=
Y'UW_
h
aGPRUIaj[\[QSYqnUXQZPu[G
h
\]P`\WTZboaQSa&Y'\WPenGKY UXHIqRTZG'[GK\]P`m7¢GKmoGY Q^moG[UG hh
UWP[
E
GKY UXP`acG h
\][QSWGaQSmoGX¥4&Ga
E
U)[
E
\][%[
E
GG oGY'_o[QSUWPUW$\Iq
h
UWV
h
\WH [ E
\][
E
\Xaq`\WaaGm¨UW_
h Y E
GYdQZP`V+q
h
UoY Gaa
Y\]PRP`U][TSG\Xm*[U=\WP¡QZPnY U hh
GY0[q9UWQSPu[G
h
moG
h
G'G
h
G'P`Y'GW
D#E
G h Gfu_RQ
h
Gm \]q`q
h
UÆoQSH\[QSUWP HIG\WP`a[
E
\[
UX_
h Y E
GYWG
h
Y'\WP
h
G'[_
h
P¨#\
h
PRQSPRVXa#Y'UWP`Y'G
h
PRQZP`V+a\GKq
h
UWV
h
\WHIa
H
WG'P QZQ©[IY'\]P`PRU][e9G7Y UXHIqRTZG'[GX$a_`Y
E
\£[UdUXT±H_naj[e9G7\Xa\WYY _
h
\[G\Waq9UXaacQSeRTSGW
D#E
G_`aG
h
&UW_`TSm+U][
E G h
Q^acGe9Ga&\WH+q9GmIQZ[
E
aqR_
h
QSUW_`a#\
h
PRQSPRVXa\WP`m+[
E
G[UdUWTn¢UX_RT^me9G%UW@TSQZ[c[TSG
E
G'TSq3$P
qn\
h
[Q^Y _RT^\
h
[
E
G¢[UdUWTdH_`aj[e9G&\WeRTSG±[U
h
G [_
h
P_`aG _RTdQSPoU
h
H\[QSUWP+\]e9UW_o[
h
GY _
h
aQZXG±mR\][\aj[
h
_`Y [_
h
Ga
QSP£[
E G E
G\]ql
D
¢UaQZVXPRQ©§9Y'\]Pu[#G\][_
h
Ga#UWUX_
h Y E
GYWG
h
QZ[
Eh
GaqnGY0[[UmR\][\ac[
h
_`Y0[_
h
Ga\
h
G[
E G
UXTZTSUQSPRV`¥
¦ ¿[¨Q^a¨\WeRTSG[U[
h
G\[
h
GY _
h
acQSWGCm`\[\aj[
h
_`Y [_
h
Ga7QZP \ PRUWP)_RPRQZU
h H #\Æb<QZPnmoQSY\[QZPRVn#U
h
G R\]HIqRTSGWu[
E
\[%\q9UWQSPu[G
h
\
h
Q^\]eRTSG
h
G G
h
a±[U[
E
G[\]QST9UW3[
E
G{TSQSac[
E
Q^Y
E
Q^a&\WTSaUq9UWQSPu[Gm[U
edb¨\]P`U][
E G h
\
h
QS\WeRTZGR0
¦ ¿[±Q^a4\]eRTSG#[U
E
\]P`mRTZG%Y'Q
h
Y _RT^\
h
TSQ^aj[aQ©[
E
UW_R[±QZPu[
h
Uomo_`Y'QZP`VacqR_
h
QSUW_`a\WTZQ^\WaGa$e9G [j&G'GPmoQC9G
h
GPX[
\WmRm
h
GaaGa&QSP¨[
E
GTSQSac[
_`Y
E
\WYY _
h
\WY'b
E
\Wa&\q9U][GPu[Q^\]TSTZb
E
QSV
E
Y UWHIqR_R[\[QZUXP`\]T@Y Uuaj[P¨U
h
moG
h
[U+moGaQZVXP7\
h
G\]TSQSac[Q^Y#[UdUXT
&G
E
\ÆXG¢[U§`P`mI\Y'UWHIq
h
UWHIQ^acG#e9G [j&G'G'PIG Y'QZGP`Y bI\]Pnm+\XY'Y'_
h
\XY bX *GY
E
UdUXaG\`G oQSeRTZG%aUWTS_o[QZUXP
edb*UC@G
h
QZP`V=\]P QSPu[G
h
\WY [QSWGQSPu[G
h
\XY G[U[
E
G¨_`aG h
D#E
G7QSPu[G
h
\WY [QSUWP Q^ae`\XacGm UWP [j&UdQZPnmRaUW
\XaaG
h
[QSUWPna'¥
¦ aj[\[QSY\WaacG
h
[QZUXP`a4
E
UXaGY'UWP`aQSac[GP`Y bIQZ[
E¨h
Gacq9GY [¢[U[
E
G{q
h
UXqnG
h
[QZGa±QSPoG hh
GmedbI[
E
G\WP`\
TZboaG
h
Q^a%\]_R[UWH\][Q^Y'\]TSTSbWG
h
QZ§`Gm R\WP`m
¦ mobdP`\]HIQ^Y±\XaaG
h
[QSUWP`a9[
h
G\[Gm\Wa\WmRmRQ©[QZUXP`\]T
E
bdq9U][
E
GaGaleub{[
E
G¢\]Pn\]TSbdaG
h
\WP`mXG
h
Q©§`GmKmo_
h
QZPRV
q h UWV
h
\]H G'oGY _R[QSUWP3
_`Y
E
\aUWTS_o[QZUXP¨q
h
GaG'Pu[a&aG'XG
h
\]T \WmRÆ\WPu[\]VXGa¥
¦
D#E
GI_`aG
h
Y'\WP=HIUomoQ©bC[
E
G+[
h
\WmRG¿UC enG'[j¢GG'P=G Y QSG'P`Y'b=\]P`m\WYY _
h
\WY'bWRU
h
G R\]HIqRTSGW
E G
H\Æb7moGY'QSmRGK[UacdQSq£[
E
G\WP`\]TSboacQ^a&U]\qn\
h
[#UWl[
E
Gq
h
UWV
h
\]H
¦ bdP`\WHIQSY\WaacG
h
[QZUXP`a4q9G
h
HIQ©[&[UG'P
E
\]P`Y'G%[
E
G\XY'Y _
h
\XY b+U] [ E
G\WP`\]TSboacG
h
edb\WmRmoQSPRVq
h
UXqnG h
[QSGa#[
E
\[Y\]PRP`U][enGQSPoG hh
Gm¨edb[
E
G\WP`\]TSboacG h
¦
[\][Q^Y\WaacG
h
[QZUXP`a#\
h
GK_`acG'_RT [U+TSUoY'\][GKq
h
GY Q^aG'TSb7\]P£G hh
U h
moG [GY0[Gm£edb[
E
G\]P`\WTZboaG h
P¡aGY [QSUWP¡Jo¢Ge
h
QSG`bq
h
GacGPu[[
E
G7\WP`\]TSboacG h [ E
\[U
h
HIa[
E
Ge`\XacQ^aKU]UX_
h
moG'e`_RVWVXG
h
\]Pnm
h
GY\]TSTl[
E
GIH\]QSP
h
Ga_RT©[a'¤TZVXU
h
Q©[
E
HIQSY+Y UXP`Y G
h
Pna{\
h
G+moQSaY _naaGm=QZP acGY0[QZUXP=tR
D#E
GG'u[G'P`aQSUWP=UW
[ E
G7\WP`\]TSboacG
h
QZ[
E
\XaaG
h
[QSUWPnaKQSamRGaY
h
QZe9Gm QSP acGY0[QSUWP £¤ mobdP`\WHIQSYXG
h
Q©§9Y'\[QZUXPUW#mRbuPn\]HIQSY
\XaaG
h
[QSUWPnaQ^amoG §nPRGm=[U£TZU&G h [ E G h
Q^acUW¢G hh
U h a[
E
\[
E
\ÆXGq`\XaaGmC[
E
Gac[\][Q^Y+Y
E
GYdQZP`V7q
E
\XacG
mR_RG%[U[
E
GQSPX[
h
Uomo_nY0[QSUWP7U]3
h
UWPRV\XaaG
h
[QSUWPna'
UWHIGG'R\]HIqRTSGa4QSTSTZ_`ac[
h
\[QZP`VmoQC9G
h
GPu[&moGeR_RVWVXQZP`V
aY GP`\
h
QSUXa\
h
GVWQSWGPQZP aGY [QSUWPR
GY [QSUWP } h G'dQSG'%a
h
G'T^\[Gm &U
h
\]P`m)acGY0[QSUWP)z a_RVXVWGac[a
\ÆXG'Pd_RGa±U
h
_
h [E G h%h
GacG\
h Y E D#E
GY UXHIqRTZG'[GmoG'§`PRQZ[QSUWPU][
E
G\]P`\WTZboaG
h
moGaY
h
QSenGm£QZPaGY0[QZUXPJ
\WP`m7[
E
G\We`aj[
h
\XY0[acbdPu[\]7\]P`m£mobdP`\WH+Q^YaG'H\]Pu[Q^Y'a&UWl[
E
Gac_RenacG'[#UW4 Y UXP`acQ^moG
h
GmQSP¨[
E
Q^a#q`\]q9G
h
\ h GVX\][
E G h
Gm7QSP£[
E
G\WqRq9G'P`moQZ
¨*%%C . 2 l$' ¨ %
klG [&_`a§
h
ac[
h
GY'\WTZT`[
E
Gaj[\[QSY{\]P`\WTZboaQSa4mRGaY
h
QZe9GmQSP2>6?¿uQZ[a¢q9UXaacQSeRQSTZQZ[QSGa¢QZP¨aj[\[Q^Y%moGeR_RVXVWQSPRV\]Pnm
[ E
GH\WQZPCY'U hh
GY0[P`Gaa
h
Gac_`T©[a'
D#E
GVWUu\]T3UW[
E
G+\]P`\WTZboaQSaQ^a[
E
GmRG [GY0[QZUXPCU]q9UWQSPX[G
h
a%G hh
U h aQSP
q h
GacGP`Y G#U]
h
GY _
h
aQZXGmR\[\aj[
h
_`Y [_
h
Ga
D#E
G%G R\]HIqRTSGa$QSPQZVX_
h
Gx%\WP`mQZVX_
h
GJQSTSTZ_`ac[
h
\[G%acUXHIG
UW[
E
G+q9UXaacQSeRQSTZQZ[QSGaU][
E
GI\]P`\WTZboaG
h
`U
h
QZP`ac[\WP`Y GX@QZPQSVW_
h
G¨xW9[
E
G+\]P`\WTZboaG
h
QSaK\]e`TZG[U£q
h
UXG
[ E
\[±[
E
GmoG
h
G G
h
GP`Y GUXPQZ[
E
QSP[
E
G ED!
ºTSUdUWqIQSa¢\]TS&\ÆboaY'U hh
GY0[±mo_RG%[U[
E
G{Y'UWP`moQZ[QSUWP#"%$
G
D#E
G%G hh
U h UWPI[
E
G{mRUW_ReRTSG{mRG
h
G G
h
G'PnY G%UXPQ^a¢mRG [GY0[Gme9GY\]_`aG[
E
Gq
h
UWq9G
h
[jb $ G Q^a±[
h
_RG\[¢[
E G
GP`mU]4[
E
GITZUdUWqlP QSVW_
h
GJo@[
E
Ga\WH+G+q
h
UWV
h
\WH Q^aK\]qRq`TZQSGmUWP*\¨Y'Q
h
Y _RT^\
h
TSQSac[P=[
E
Q^aY'\WaGW
[ E
G\]Pn\]TSbdaG
h
Q^a\]eRTSG[Uq
h
UWG{[
E
\[[
E
G
E
UWTSGKq
h
UXV
h
\]H Q^a%Y U hh
GY [
G
! ED!
"%$
G
$ F
G ¯ Æ « W° « «¿« « «
$
F
G
F
G
¯
«
]°
«
«¿«
« «
QZVX_
h
GIxX¥¿[G
h
\[QZUXP¨UXP£\ITSQSac[
G
"!
#$
! ED!
"%$
G
$ F
G %¯ Æ « ]'& ¯(
$
F
G
F
G
QZVX_
h
GJR¥¿[G
h
\[QZUXP¨UXP£\Y'Q
h
Y _RT^\
h
TSQSac[
D#E
G¨\]P`\WTZboaG
h
Q^amoG §nPRGm QZ[
E h
GaqnGY0[[UC\P`\[_
h
\]T4UXqnG
h
\][QSUWP`\WT4acGHI\WPu[Q^Y'aUW#\a_Re`aG [UW
{
D#E
GCT^\]PRVX_`\]VXGQZP`Y'TZ_nmoGa£aj[\]P`m`\
h
mG\[_
h
GaU] \XaaQSVWPRHIG'Pu[a'Y UXP`moQZ[QSUWP`\WT ED
ºTSUdUWqn
\WP`m \]T^aUQZP`ac[
h
_`Y [QSUWP`a
h
G'T^\[QZXGI[U[
E
G¨mRbuPn\]HIQSY7\]TSTZUoY'\][QSUWP \]Pnm moG\WTZTSUoY'\[QZUXP U]HIG'HIU
h
bY'G'TSTSa
*) DD+-,
\]P`m/.0
0
D#E
GIabdPu[\C\WP`maG'H\WPX[QSYaU]4[
E
GIq
h
UXV
h
\]HIHIQZP`VTS\WPRVW_n\]VWG+Y UXP`acQ^moG
h
GmCQSP
[ E Q^aq`\WqnG
h \ h
G¨q
h
UuQ^moGm QZP QSVW_
h
G=x \]Pnm QZVX_
h
GCx}=QZP [ E
G\]qRq9G'P`mRQ© G£_`aG[
E
G¨G'oY'G'q
[QZUXP \]TS_RG EDD! 21
) D
[U=moGPRU][GI[
E G h
Gac_RTZ[UW\Y'UWHIqR_o[\[QZUXP*QSPdWUXTZdQSPRV[
E
G¨moG
h
G G
h
GP`Y GUW#\WP
}
QSPd\]TSQSm*q9UWQSPX[G h
D#E
GT^\]PRVX_`\]VXGIY'UWP`aQ^moG
h
Gm E G h
GmoUdGaP`U][QSP`Y TS_`moGq
h
UoY Gmo_
h
GIY\]TSTSa\WP`m*VWUW[UXa
e`_o[enUW[
E \ h
G£[
h
G\[Gm QZP [ E
G_RTZTWG
h
aQZUXP¡U][
E
G\WP`\]TSboacQ^aImoGaY
h
QZe9Gm QSP >Ìz@?¿ GC\WTSaUQSVWP`U h G
\ h QZ[
E
H+G'[Q^Y£UWq9G
h
\[QSUWPnaUXP q9UWQSPu[G
h
a\WP`m&G\Waac_`H+G£[
E
\[UXPRTZbUWPRG£§`GTSm U]\
h
GY U
h
mY\]P enG
UW#[jbuq9G7q9UWQSPu[G
h {_RG7[UC[
E
Q^aaQZHIqRTSQZ§nY'\][QSUWP3$&G¨Y'\WP UWHIQZ[[
E
G§`GTSm Pn\]HIGaQZP\XY'Y'GaaY
E
\WQZP`a
QZ[
E
UW_o[\]HeRQZVX_RQZ[jbC
h
Q©[QZPRVnuU
h
QZPnaj[\]P`Y'GWIU
h
,
0+QZIQSa#\\
h
QS\WeRTZGU]l[jbuq9G D.E +G
QZ[
E
D.E +G
$
+G
0 ,6G ,
)20 E@F4G ,
0
D.E +G
0
D#E
G±§
h
aj[q`\
h
[UWo[
E
Q^alqn\]q9G
h
QSaY UXP`Y G
h
PRGmKQ©[
E [ E
G¢moG'§`PRQZ[QSUWPU]o[
E
G¢\]Pn\]TSbdaG
h
3¿[$QSaq
h
GaG'Pu[Gm
\Xa\aqnGY Q^\]TSQSaGm³%UX\
h
G¢TZUXVWQ^YU
h
Y'UWPRP`GY0[QZdQZ[jb\]P`m\]TSQS\XacQSPRV{q
h
UXqnG
h
[QZGalUW`q9UWQSPX[G
h
a'
D#E
GacGfu_RG'Pu[a
\ h G{[
h
QSqRTZG'[a
E G h
GW¥
¦
QSa\Iac[\[G'HIG'Pu[%UW[
E
G\]P`\WTZboaGm¨q
h
UXV
h
\]H
¦
Q^a&\q
h
GY UXP`moQZ[QSUWPG oq
h
GaaGmedb\TSUWVXQSY\]TnU
h
H_RT^\UWlUW_
h
T^\]PRVX_`\]VXG%U]q
h
UXqnG
h
[QZGa g±h
UXq
moG'§`PRGmenGTZU ¿[Y E \ h
\WY0[G
h
QSaGa±[
E
Gaj[\[GUWl[
E
GHIG'HIU
h
be9G U
h
G[
E
GG'oGY _R[QSUWPU]
¦
Q^a\{qnUuaj[ ¿Y'UWP`moQZ[QSUWPQZP[
E
G#a\]HIGabuPu[\\Wa
¿[4Y E \ h
\WY [G
h
Q^acGa [E
G#ac[\][G#U]n[
E
G#HIG'HIU h b
\[G h [ E
GG oGY'_o[QSUWP£U]
D#E
GY'TS\Xaa#UWq
h
UWq9G
h
[QSGa g±h
UXq¨Y'UWP`aQSmRG
h
Gm¨QZP£[
E
QSa#q`\WqnG
h
Q^amoG §`P`Gm£QZP QSVW_
h
GtR
!#"$ %&'(%#)%*,+-.%#/ 0 ˺ÅÈ 21 Ä)3ÌͺÈ
% 4657)84957
B
495:<;>= ?#@BA
C ËED<FG %HCI ÄË
QZVX_
h
GKt`¥
bdPu[\¨U]q
h
UXqnG
h
[QZGa
P7[
E
GKacGfu_RG'Tºd¢G{_`acG[
E
G&U
h
mKJc\
h
Q^\]eRTSG&L[U+moGPRU][GGQ©[
E G hMONPOQ#R
U h
\WP7\WYY Gaa±Y
E
\]QSP=[ E
\[
Q^a[Ua\Æb+\WPQSmRG'Pu[QZ§`G
h
UW [ E G{q
h
UWV
h
\]H qnUuaaQSeRTZb+q
h
G §RoGmedb+\aGfu_RGP`Y G{U]KU h7S
0
gh
\WPRVWGa
UXG hg±h
UXq3
h
\WPRVWGaUWG h [E
G£moUWH\WQZP U]%\
h
Q^\]eRTSGa A4\
h
\WP`m MONPOQ#R
aj[\]P`m`aU h [ E
G7_RP`moG'§`PRGm
TSUoY'\][QSUWP3&¤a_`a_`\WTT7moGPRU][Ga#[
E
G\]TS_RGY'UWPu[\WQZP`Gm\[[
E
G\Wm`m
h
GaaHU¨
E G h
GVU7QSa%[
E
G\WTZ_RGUW
W
S
Q^a#[
E
G\WmRm
h
Gaa&U]Xn
D#E
GKa_IoGaUW\+\
h
QS\WeRTSGV \ h G[
E
G\
h
Q^\]eRTSGa \]Pnm
S
D#E
GacGH\]Pu[Q^Y'a±U]3q
h
UWq9G
h
[QSGa±QSa&acq9GY'Q©§nGmI[
ERh
UX_RV
E
\Y U hh
GaqnUXP`moG'PnY G
h
G'T^\[QSUWPZY[£U
h
H\WTZQ^acGm
QSPQSVW_
h
GxÆz%QZP[
E
G%\]qRq9G'P`mRQ© D#E
QSaaG'H\WPX[QSYaQSa$q`\
h
\WHIG [G
h
Q^aGmQZ[
E
\KacG'[$UWn\
h
Q^\]eRTSGa]\_^ A4\
h
Y\]TSTZGm[
E G
33 "%
QZP=[
E
G+acGfX_`G'Tº
D#E
Q^a{q`\
h
\]HIG [G
h
Y'\]P=enG+_`aGm[U[_`PRG[
E
G+TZUXVWQ^YK[U¨VWG [
HIU
h
G4U
h
TSGaal\XY'Y _
h
\][G4\]Pn\]TSbdaGa) *G±QSHIqnUuacG¢UWPRTSb{UXPRG±Y'UWP`ac[
h
\]QSPu[¥,\H_`ac[Y'UWPu[\WQZPK[
E
G¢a_IoGa3UW
\WTZTn[
E
G\
h
Q^\]eRTSGa¢\WaacQSVWP`GmQSP[
E
G{q
h
UXV
h
\]H-\]Pnm[
E
G\
h
VX_RHIG'Pu[a¢U] .0
D#E
GY'U hh
Gacq9UWPnmoG'P`Y'G
h
G'T^\[QZUXP_Y [ /`a$`cb,d
h
G'T^\[Ga£aj[\[Ga£U][
E
G HIG'HIU
h b [U [ E
G*q
h
UWq9G
h
[QSGa¨[
E
G'b a\[Q^acbW
D#E
G
ac[\][Ga#U][
E
GHIG'HIU
h
b7\
h
GKq`\WQ
h
a
a7`eb,d
&
E G h G a
QSa\WP£GPduQ
h
UWPRHIG'Pu[QºGW4\+_RP`Y [QSUWPH\]qRq`QZPRV
Q^moGPX[Q©§nG
h
a$[U\XmRm
h
GaacGa W\]Pnm b,d
Q^a±\ac[U
h
GQºGW_RP`Y [QSUWPH\]qRq`QZPRV\WmRm
h
GaaGa[UÆ\WTZ_`Gac0
D#E
G
QSPu[_RQZ[QSUWPe9G
E
QSP`m¨[
E
GY U hh
GaqnUXP`moG'PnY G
h
GTS\][QSUWP£QSa&[
E
GKUWTSTZUQSPRVn¥
¦ Ofhg.i
E
UWT^mRaQZ[
E
G\]TS_RGUW$OfKQ^aGfu_`\]Tl[U[
E
G\WTZ_RGU]jiX%PCq`\
h
[QSY'_RTS\
h
Ofkg MONPlQ>R
HIG\]Pna%[
E
\[{[
E
GÆ\WTZ_`GU]$OfQSa\]PQSPdÆ\WTZQ^mq9UWQSPu[G
h
E
Q^Y
E
Q^a%[
E
GY\WaGQZ$Of
E
\Xa%PRUW[{e9G'GP
QZP`Q©[QS\WTZQ^acGm£U
h
QZ] f q9UWQSPu[a&[U\IY'G'TST3
E
Q^Y E¨E
\Xa#enGG'PmoG\]TSTZUoY'\][Gm7edb .0