Rewriting for Fast Prototyping of Static Analyzers

HAL Id: inria-00106330

https://hal.inria.fr/inria-00106330v2

Submitted on 16 Oct 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,

Rewriting for Fast Prototyping of Static Analyzers

Yohan Boichut, Thomas Genet, Thomas Jensen, Luka Leroux

To cite this version:

Yohan Boichut, Thomas Genet, Thomas Jensen, Luka Leroux. Rewriting for Fast Prototyping of Static Analyzers. [Research Report] RR-5997, INRIA. 2006, pp.20. �inria-00106330v2�

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

Rewriting Approximations for Fast Prototyping of Static Analyzers

Yohan Boichut , Thomas Genet , Thomas Jensen , Luka Leroux

N˚5997

13 Octobre 2006

Systèmes communicants — Systèmes cognitifs

234*657

8-9;:=<?>A@09;BDC#:FEGIHJ6:9;KL<?MNPOQ>OQGPH=J6:9?KR<?M&S?OQ>MTOQ>UHWVEXY<ZV[OQ\T9;EF]

^`_badcfeg,hiakjlmg,gonqpqrsjtupvcaxwy^`_bazc{eig0hTajlQ|mpqr}c{r}~a

€W lu‚dhckƒFtup+„bh

… tm†q†+l ck„qh  hij‡Yh  j‡qhˆp-‰vŠu‹m‹`ŒPwŽi‘j4cflm’  h$“u”m”Q•$w–“u”o†Ytu|Qhia

—&˜™iš›#œqmšmž Ÿ ‡qrsa†Ytm†+h  „bh YpqhTa-t¡pqhi¢£~ tug,hi¢¤l {¥ ~¦l  ~tQadc-†  lmc{lucd_`†qr§pq|¡lu~[azcftuc{rsjtupYtm¨}_`©ih  a

’+tma{hi„xlmp  hi¢  r}c{r§pq|ªcfhij‡qpYr§«vnqhTa¬­^vcft cfr}pq|Z~ lQg®t¯c{h  g  h¢  r°cfr}pY|Zaz_bazc{hig  h†  hTazhipQcfr}pY|¯c{‡qh

lQ†+h  tuc{r§lmpYtm¨+a{hg6tupvcfr§jia±lm~'c{‡qh²cft  |Qhc7†  lQ|  tug,g,r}pY|¨§tmpq|mn+tu|mh²tupY„&|mr§³mhpt†  lm|  tmg´cfl0tmpYtu¨§_`©hmµ

¢7hPtunqc{lmg6tuc{rsjtu¨§¨§_ZjlQpYadc  n+j4c&tup¶l#³Qh {·tm†q†  l¹¸br}g6t#cfr}lQp¯lu~c{‡Yhºazhclu~  hitmj‡+tu’q¨§hc{h  g6aµr»¬hQ¬Alm~

† lQ|  tug¼adct#cfhia0c{‡+t#c&jtmpL’?h  hitmj‡Yhi„½¬R¾¶r°cf‡Rc{‡qrsatu†Y†  l¹¸br§g6t#c{r§lmpFµWr°crsa,†?lQafazr§’q¨§hcfl¯†  l#³mht

³#t



r§hcd_¡lu~a{tu~¦hcd_¿l



a{hijn



r}cd_¿†



lm†?h



c{r§hia²h¸b†



hiafazr§’q¨§hor§pIc{h



g6a‘lu~²Ànqp+Á



hitQj‡Ytu’Yr}¨§r°cd_Q¬0¤lmg,†Yt



hT„

¢r}c{‡ªazcftuc{rsj6tupYtm¨}_ba{r§a’+tma{hi„Ãlmpªtm’Yadc



tQj4c$r§pQcfh

 † 

hcftuc{r§lmp'µt¿a{tm¨}r§hpvc$~¦hTt#c{n



h6lm~7cf‡qrsa-tu†Y†



lvtmj‡Ir§a

cf‡Yt#c7r°crsa7jl

f

hTj4c±’`_6jlQpYazc



nYj4cfr}lQp'¬ Ÿ ‡Yh²tu†Y†



lvtmj‡6hipYtu’q¨§hia±~tmazc¤†



lmc{lucd_`†qr§pq|lm~azcft#cfr§j²tupYtm¨}_`©ih

 a

’?hijitunYa{hkg,lb„br}~¦_`r}pq|-c{‡qhtup+tu¨§_`a{rsa±a{r}g,†q¨§_6tug,lmnqpvcaWcfloj‡Ytmpq|mr§pq|$cf‡qh‘a{hc7lu~



h¢



r}c{h



nq¨§hia7„bh YpYr}pq|

cf‡qh,tu†q†



l¹¸br}g6tuc{r§lmp'¬ Ÿ lr}¨§¨§nYadc



tuc{h-c{‡qho~



tmg,h¢7l

f¥

† 

lm†?lQa{hi„¡‡Yh



holQpºt



hitm¨}rsadcfr§j-†



lm|



tug,g,r§pq|

¨stupY|mnYtm|mh‘¢¤h$r§pYazcftupvcfr§tuc{h$r}c[¢r°cf‡¡c{‡qh-Ävt¹³#t0Åkr cfnYtu¨Fƺtmj‡qr§pqh$azhig6tupvc{rsja[tmpY„nYa{hÄQt¹³#to’v_vcfhijlb„bh

† lQ|  tug6atma  nqpqpqr§pq|6h¸btmg,†q¨}hTa¬7¾Ãh-az‡Yl#¢A‡ql#¢Ac{ljlmg,†qr§¨}ht&ÄQt¹³#t0’`_Qcfhijl`„qh$†  lQ|  tugÇr§pvc{ltmp

hT«vnqr}³#tm¨}hipQc-c{h  g  hi¢  r}c{r§pq|Pa{_`azc{higÈtmpY„¯a{‡ql#¢­‡ql#¢´cflI«vnqrsj¥ ¨}_Ãaz†?hijr°~¦_¯tup+„Ér}g,†q¨§hg,hpvc,azr§g,†q¨}h

Ävt¹³#toj¨§tQa{atmpY„tu¨§r§tQa7tmpYtu¨§_bazrsa’`_&„bh Ypqr§pq|  hi¢  r}c{r§pq|,tu†q†  l¹¸br§g,tuc{r§lmpYai¬

Ê¿ËvÌ;ÍfÎ-Ï ›#Йmž£Ÿ

h  g … h¢



r°cfr}pY|k^`_badcfhg6aµu^vct#cfr§jWÑkpYtu¨§_bazrsaiµ

hTtmj‡Ytm’qr§¨}r}cd_mµTÑ[†q†



l¹¸br}g6tuc{r§lmp'µTÄQt¹³#tqµ

Ò

_vc{hTjlb„bhQµ

Ÿ 

hh$Ñ[nqc{lmg6tucft

ÓsÔ½Õ{ÖØ×iÙÕÚÛ§ÖØÜ»ÝÞ

Unité de recherche INRIA Rennes

z-34*6 F Ç '

™ ž ¤hc$t  c{rsj¨§h0„ Ypqr}c$nqpÃpqlmnq³QhitmnºjtQ„  ho†+lQn  ¨}h0†  lucflucd_`†Ytu|Qh  tu†qrs„bh,„tmpYtu¨§_bazhin  a

azcftuc{rs«vnqhia’YtQaazn  „qhiac{hTj‡qpqrs«vnqhia„bh  ij  r}c{n  hQ¬FÑR†Yt  c{r „nYp0a{_badcfeg,h7„qh  Tj  r°cfn  h  h†  ia{hp ·

ctupvc¨§t,ag6tupvc{rs«vnqh‘lm†  t#c{r§lmpYpqh¨§¨}h„bn¨§tmpq|Qtm|mh‘„bh²†  lQ|  tug,g6t#c{r§lmpjr§’q¨}h‘hc[„nqp¡†  lm|  tmg0g,h

tmpYtu¨§_bazh  µvpqlQnYajlQpYadc  nYr§a{lmpYa7tunqc{lmg6tuc{rs«QnYhg,hpvcnqpqh$a{n z·tu†Y†  l¹¸br§g6t#c{r§lmp„qh$¨hpYa{hgo’q¨§h„qhia7c{h z·

g,hTatuczc{hir}|QpYtu’Y¨}hTaµ#j · ·„$„bhTacftucfa„bh¤†  lQ|  tug,g,hWt#czcfhr§|mpYtm’q¨§hiai¬FÑZ¨turs„bh7„qh¤jhTatm†q†  l¹¸br}g6t#cfr}lQpYaiµ

r§¨YhTadc7†+lva{a{r§’q¨}h²„bh[†  lmnq³Qh  nYpqh[|  tup+„bh³#t  rck„bh²†  lm†  rcTaW„bhka  hckhc7„qhkaTjn  r}c[h¸`†  r§g!hia

a{lmn+a¨stk~¦l  g0h„nqp0†  lQ’q¨§eg,h7„qh‘Àpqlmp+Átuczc{hir}|QpYtu’Yr}¨§r°c"m¬W¤lmg,†Yt ih#²¨tupYtm¨}_ba{h¤azcftuc{rs«QnYh7’+tmah¤a{n 

¨r}pvc{h  †  cft#cfr}lQpºtu’+adc  tmr°cfhmµ;nqpqh,jt  tQj4c  rsazc{rs«QnYhr}pvc"  hiafa{tmpQcfho„bh,jhczcfh0tm†q†  l`j‡Yh-hiazc$«Qn$hi¨}¨§hohTadc

jl

f

hTj4cfhk†Yt



jlmpYazc



nYjc{r§lmp'¬±Â¤hc{c{h$tu†Y†



lbj‡qh²†+h



g,hc„qh‘†



lmc{lucd_`†?h

7

tm†qrs„bhg,hpvc„bhiatmpYtu¨§_bazhin

 a

azcftuc{rs«vnqhia[jit



†?lmn



g,lb„br° +h



¨§h$cd_`†?h-„tupYtm¨}_ba{h$h&%;hij4cfnmµ?r§¨Fhiazc²a{n('a{tmpvc²„bhg,lb„br}~¦h



¨hpYa{hgo’q¨}h

„qh



ei|m¨§hia„bh



ij



r}c{n



h„( +pqr§afaftupvc[¨tu†Y†



l¹¸br§g6t#c{r§lmpF¬7Ñ[ YpP„r}¨§¨}n+adc

 h 

jhczcfhg!c{‡Yl`„qh-„bh³)



r° 

·

jit#cfr}lQpIa{n



nqpè§tmpq|Qtm|mho„qh0†



lQ|



tug,g6t#c{r§lmp



Ttu¨§r§azc{hQµ½pqlmnYa$t¹³QlmpYa‘j‡qlQr§a{r=„bh,¨r}p+adctupYjr}h



t¹³mhij-¨§t

ag6tmpQcfr§«vnqh²„bhk¨st$g6tmj‡qr§pqh²³vr



c{nqhi¨}¨§hk„bh‘ÄQt¹³#tÀDÄmőƺÁ=hc7„tupYtm¨}_ba{h



„bhia±†



lQ|



tug,g,hiaWÄvt¹³#t’`_Qcfh

·

jlb„bhm¬!*[lQnYag,lmpvc



lmpYajlmg,g,hpvcjlmg,†qr§¨}h



nqpÆ



lQ|



tug,g,hoÄvt¹³#t&hipInqpÉa{_`azc{eig,h,„qh



Tj



r°cfn

 h

T«vnqr}³#tm¨}hipQchc-pqlQnYa$g,lmpvc  lmp+a+|Qtm¨}hig,hpvc-jlQg0g,hipQc  tu†Yr§„bhig,hpvcoa{†,Tjr} Yh  hc-r§g0†Y¨ig0hipvc{h  „bhia

tmpYtu¨§_bazhTa„bh$j¨stmafazh$a{r}g,†q¨§hiahip¡„ Ypqrsafa{tmpQc[„bhTa  ei|m¨§hia„tu†Y†  l¹¸br§g6t#c{r§lmpF¬

-´Ï šT™ Í /. ž

^b_`azc{eig,hia=„bh



Tj



r°cfn



hQµmÑ[p+tu¨§_`a{hadct#cfr§«vnqhQµQÑ7czcfhr§|mpYtm’qr§¨}r}cQµQÑ[†Y†



l¹¸br§g6t#c{r§lmpFµuÄQt¹³#tqµ

Ò

_vc{hTjlb„bhQµqÑ[nbcflmg6t#cfhia„t  ’  hia

: ;

o F 1±

Ÿ ‡Yh¡tmr}g lu~‘c{‡qrsa,†Ytu†?h  rsa,cflÉa{‡ql#¢Ç‡Yl#¢Çc{lªjlmgo’qr}pYh  h¢  r°cfr}pY|Icf‡qhl  _¯¢r}c{‡x†  r§pYjr§†q¨§hia0~ lmg

tm’Yazc  tmj4cr§pQcfh  †  hcftuc{r§lmpIr}pÃl  „bh  cfllQ’bcftmr}pÉt~tmazctupY„  hi¨}rstu’Y¨}h,g,hcf‡qlb„blm¨§lm|Q_¡~¦l  †  luc{lmcd_`†qr}pY|

azcftuc{rsjtupYtm¨}_`©h  aF~¦l  †  lm|  tmg6a¬ … h¢  r°cfr}pq|²c{‡Yhl  _tup+„-r§po†+t c{rsjnq¨st  hitmj‡+tu’qr§¨}r}cd_$tupYtm¨}_ba{r§a’YtQazhT„

lQp¡c  hh-tmnbc{lQg6t#cft‡Ytmak†  l#³Qhi„c{l&’+h0t6†+l#¢7h  ~¦nq¨Fc{hij‡Ypqr§«vnqh~¦l  tmpYtu¨§_`©r§pq|†Yt  cfr§jnq¨st  j¨§tQa{a{hialm~

a{lu~cd¢t  hoa{nYj‡Ãtmaj  _`†bc{lQ|  tu†q‡qrsj†  lmc{lbjlQ¨§a=<}QuµŒvµ=¹“?>»¬@ pPcf‡qrsa†Ytu†?h  ¢7h0a{hc$nq†Ét&~ tmg0hi¢¤l {¥

cf‡Yt#ctu¨§¨}l#¢[ac{l&tm†q†q¨§_&cf‡qlQa{hcfhij‡qpqrs«vnqhia[c{l&t&|mhipqh  tu¨'†  lQ|  tug,g,r}pq|,¨stupq|QnYtu|Qhm¬k²n  ~ tmg0hi¢¤l {¥

jlmpYa{rsadca¤lm~cf‡  hh†Yt  cfaA

B

tupPhipYjlb„br§pq|lm~=c{‡qholm†?h  t#cfr}lQpYtu¨azhig,tmpvc{rsja[lm~=c{‡qho¨§tmpq|mn+tu|mhtQaktc{h  g  hi¢  r}c{r§pq|&a{_badcfhg

ÀŸ … ^&~¦l  az‡ql  c4Á4µ

B

toc



tupYa{¨§tuc{r§lmp¡a{j‡Yhg,h‘~¦l

 c  tup+ad~¦l



g,r§pq|o†



lQ|



tug6a±r§pvc{l



h¢



r°cfh



nq¨§hiaiµ

B

tupY„0tup0l#³mh z·tu†Y†  l¹¸br§g6t#c{r§lmplm~Yc{‡Yh[azhclm~  hitQj‡Ytu’q¨§h7†  lQ|  tug azcft#cfhia  h†  hia{hpvcfhi„’`_t²c hh

tunbcflmg6t#cflmp'µb’+tma{hi„lmpc{‡qhc  hihtmnbc{lQg6t#cft,jlmg,†q¨§hc{r§lmp¡tu¨§|ml r}c{‡YgC<Œ?>»¬

@ pAc{‡qrsa†Ytu†?h  µk¢7hÃr}pYazcftmpvc{rst#c{hºc{‡qrsa~ tug,h¢7l f¥ lQp/t  hTtu¨²c{hiazc¿jtma{hmµ²pYtug,hi¨}_ Ävt¹³#tq¬­¾Ih

hipYjlb„bh²c{‡Yh‘Ävt¹³#tÅkr c{nYtm¨?ÆPtQj‡qr§pqh0ÀDÄmÅ‘Æ ~¦l  a{‡ql  c4Á=lm†?h  t#cfr}lQpYtu¨;a{hg6tupvc{rsja7tup+„&Ävt¹³¹t’v_vcfhijlb„bh

† lQ|  tug6a±r§pvc{l Ÿ … ^tup+„jlmpYazc  nYjc7l#³Qh {·tm†q†  l¹¸`r§g6t#cfr}lQp6lu~ÄQÅ²Æ azcftuc{hiai¬

¾¶r}c{‡  hi|Qt  „qa0cfl  hi¢  r}c{r§pq|+µc{‡qhIg,tmr}p jlmpvc r§’qnbc{r§lmp¶lm~$c{‡qrsa†Ytu†?h  r§ac{lª‡Yt¹³Qhºafjtu¨§hi„xnY†

tÃcf‡qhl  hc{rsjtm¨[jlmp+adc nYjc{r§lmp'µ7pYtmg0hi¨}_Zc  hhPtmnbc{lQg,tucftÉjlQg,†q¨}hc{r§lmp'µ7cflÉc{‡qh¿³Qh  r° +jit#cfr}lQpLlm~Ävt¹³#t

’`_vc{hTjlb„bh† lQ|  tug6ai¬I¾¶r}c{‡ hi|Qt  „qac{lÉadct#cfr§jtupYtm¨}_ba{r§aiµc{‡Yh¡jlmpvc  r§’qnbc{r§lmpZlu~[cf‡qr§a0†Ytm†+h  r§aoc{l

a{‡ql#¢Zc{‡Ytuc  hi|mnq¨st  tm†q†  l¹¸br}g6t#cfr}lQpYajtmp0’?h[nYa{hi„6tQaWt‘~¦lmnYpY„qt#cfr}lQpYtu¨Yg0hTj‡YtupYr§a{gˆ~¦l  hpYa{n  r}pY|Yµu’`_

jlmpYazc  nYjc{r§lmp'µmaft#~¦hcd_lu~'azcftuc{rsjtupYtm¨}_`©h  ai¬ Ÿ ‡qrsa=†Ytm†+h  rsaWt‘   adcWazc{h†6r§p0c{‡Ytuc¤„br hTj4cfr}lQp0tmpY„,az‡ql#¢[a

cf‡Yt#ccf‡qh-tm†q†  lQtmj‡jtmp¡tm¨ hitQ„b_’?hnYa{hi„c{ltQj‡qr§h³mh$azcftmpY„qt  „j¨stmafa[tupYtm¨}_ba{r§a7lQp¡Ävt¹³#t0’v_vcfhijlb„bh

† lQ|  tug6a¬Æ¿l  hl#³Qh  µunYa{r}pY|0tm†q†  l¹¸`r§g6t#cfr}lQp  nq¨§hia¤r§pYadcfhitQ„lu~tu’Yazc  tmjc7„blQg,tmr}p+a±g6t ¥ hia7tupYtm¨}_ba{r§a

hTtma{r}h  c{lL†  luc{lmcd_`†+hPtmpY„xc{lªc{nqpqhQ¬ Ÿ ‡qrsarsalu~|  hitucr}pvcfh  hiazciµ¢‡qhip/tªazcftup+„qt  „¶tupYtm¨}_ba{r§ar§a

cfl`l&jlvt



azhQµYazr§pYjhlmn



c{hij‡Ypqr§«vnqho†+h



g,r}cfa[c{ltQ„qtu†qcc{‡qh0tupYtm¨}_ba{r§acfl6c{‡Yh-†



lm†?h



cd_cfl†



l#³mhtup+„

†  hTazh



³Qh²aft#~¦hcd_Q¬

Ÿ ‡qh&†Ytu†?h



rsal



|vtupqr§©hT„ItQa~¦lm¨§¨§l#¢[a¬¡^`hijc{r§lmpZ“r§pQc



lb„bn+jhia$c{‡qh6~¦l



g6tm¨W’Ytmj

¥ | 

lQnqpY„Ilu~c{‡qh



h¢



r}c{r§pq|cf‡qhl



_Q¬^`hTj4cfr}lQp0az‡ql#¢[a¤‡ql#¢xcflol#³Qh

{·

tm†q†



l¹¸`r§g6t#cfh¤cf‡qhazhc7lm~



hTtmj‡Ytm’q¨§h[c{h



g6a¤nYa{r}pq|

c 

hihtunbcflmg6t#ctq¬¤^bhij4cfr}lQpED6†



hia{hpvcfat0cfh

 g  h¢



r°cfr}pq|6g,lb„bhi¨'lu~c{‡YhÄQt¹³#t,azhig6tupvc{rsjai¬7^`hTj4cfr}lQp¿Š

† hTazhipQcaµm’v_c{‡qhg,hitmp,lu~?a{lmg,hj¨stmafa{r§jitu¨`h¸qtug,†q¨§hiaiµu‡ql#¢  h¢  r°cfr}pq|tu†Y†  l¹¸br§g6t#c{r§lmp+ajitup0’+hn+azhT„

~¦l  t,j¨stmafatupYtm¨}_ba{r§ai¬^bhij4cfr}lQp¿•0jlmg,†Yt  hTa¤¢r}c{‡  h¨st#cfhi„¢¤l {¥ ai¬^`hTj4cfr}lQp¿ŒojlQpYj¨§nY„bhTa¬

F

%&$=3HG£1JI,

¤lQg,†  hi‡qhp+azr§³mhazn  ³Qh_bajtmp’?h~¦lmnYpY„¡r}pK<Šbµ+“>'~¦l  c{h  g  h¢  r}c{r§pq|6az_bazc{hg6aiµqr§pL<DYµF8D>~¦l  c  hh

tmnbc{lQg6t#cft0tup+„&c  hih¨§tmpq|mnYtm|mh²c{‡qhil  _m¬

ƒFhcNM ’?ht YpYr°cfhazhclm~a{_`g-’?lm¨saµ½hTtmj‡Étmafazlbjr§tuc{hi„P¢r°cf‡ÉtmpÃt  r}cd_¡~¦nqpYjc{r§lmp'µtupY„I¨§hc=O ’+h

tjlQnqpvcftm’q¨}h,a{hc$lu~7³¹t  rstu’Y¨}hTa¬QPSRTMVU+OXW„bhipqlucfhia²c{‡Yh,a{hc$lm~±c{h  g6aiµ'tupY„LPXRMYW‘„bhipqlucfhia‘c{‡Yh,a{hc

lm~$|  lmnqpY„Zc{h  g6aIÀc{h  g6a6¢r}c{‡Ylmnbc³¹t  rstu’Y¨}hTafÁ¬ Ÿ ‡qhºa{hclu~³¹t  rstu’Y¨}hTa6lu~$tÉc{h  g[Z,r§a„bhpqlmc{hT„

’`_,RZW4¬xÑ2aznq’+adcfr°cfnbc{r§lmpRr§a,tº~¦nqpYjc{r§lmp¶~



lmg O r}pvcflLP RTMVU+OXWµ±¢‡qrsj‡RjitupLnqpqrs«QnYh¨§_ª’+h

h¸`c{hp+„bhi„&c{l6tuphp+„blmg,l



†q‡qrsa{glu~JPSRTMVU+OXW¬=Ñ)†+lvazr}c{r§lmp &~¦l



toc{h

 g Z¤r§ato¢¤l



„&l#³mh



N

¬ Ÿ ‡qh

hig,†bcd_a{hi«vnqhipYjh"!²„bhpYluc{hTac{‡Yh$c{lQ†

·

g,lvadc[†?lQa{r°cfr}lQp'¬ Ÿ ‡qh-a{hc$#&%('RTZ Wlu~=†+lvazr}c{r§lmp+alu~=t,c{h

 g Zr§a

r§pY„bn+j4c{r§³mhi¨}_„bh YpYhi„’`_A

B

#&%('RTZ W*),+-!/.$r°~ Z10EO

B

#&%('R2 RTZ43U65/5658UZ87 W W*),+-!/.19:+/;5:<=?>@;A>@BItmpY„ C0D#&%('RTZ8E1W.

@Ø~F0@#&%('RTZ Wµcf‡qhpHZ6<G¡„qhpqlmc{hiac{‡qhaznq’qc{h  g lm~ Ztuc-†?lQa{r°cfr}lQpHLtupY„LZJI'JKLG¡„qhpqlmc{hiac{‡qhc{h  g

lQ’bcftmr}pYhi„¿’`_  hi†q¨stmjhig,hpvcklu~=cf‡qh,aznq’qc{h  g Z6<G&tuc²†?lQa{r°cfr}lQpMº’`_c{‡qh-c{h gN'Q¬‘Ñ´c{h  g  h¢  r°cfr}pY|

a{_badcfhgPO2rsa[t,azhc[lu~ )QQ 5RTS `µY¢‡qh  h RUU&0EPXRM U9OXWµ RV0 O¡µYtup+„W,RRWXYZ R[W¬

Ñ hi¢  r}c{h  nq¨}h R\S rsa 53!9 ^])59 r}~hitQj‡I³#t  rstu’q¨§h6lu~ R À hia{†'¬H#Álbjjn  alQpq¨}_IlmpYjh6r}p R ¬Ñ

Ÿ … ^_O rsa‘¨}h~c ·¨}r§pqhit  r}~±hi³mh  _  hi¢  r}c{h nY¨}h R*S lu~*O r§a²¨§h~c ·¨§r}pqhTt  Á4¬ Ÿ ‡qh Ÿ … ^_OÈr}p+„bnYjhTa²t



h¢



r}c{r§pq|



h¨st#cfr}lQp

S`

lQp-cfh



g,a¢‡qlvazh



hJaYh¸`r§³mh¤c



tup+azr}c{r§³mhj¨§lQa{n



h±rsa=„bhpqlmc{hT„’`_

Sb

` ¬ Ÿ

‡Yha{hc

lm~TO

·

„bhiafjhipY„qtmpQcalu~=t,azhclm~|



lQnqpY„c{h



g6a$c£r§aOHdR[c=W*),+?Z*0EPXRMYW$<feg'?0_c­a¬ci¬*'

Shb

`

Z.Q¬

ikj

œhl.

Ëmn%

Opo

q M$/SQ 4X r 2

Os)t+u2 R[vW

Sxw

R2 R[vW WQ.

y $ )

2 R[ W

8 1 1

w R2 R WW z2 R W SM`,w R2 R W W6 / 556*u Fw R^2 R[ WW SD`w Rw R2 R[ WW6h{ Y r, | 2 R[ W SD`

d

w Rw

R2 R W W W/

8 c}o

V r 88 Q.!X )8Q

c~)+u2 R,WQ.€

r,-, 5Q N"M |

OHdR[cQW‚)

+2 R[ WU

w

R^2 R[ W WU

w Rw

R2 R,WW WU6565/5ƒ.)t+

w

dR^2 R[ W WQ.

Ÿ ‡qh±³mh  r} +jtuc{r§lmp²c{hij‡Ypqr§«vnqh±¢¤h=†  lm†?lQa{hr}pcf‡qrsa'†Ytm†+h  r§aF’Ytma{hi„‘lQp²cf‡qh±jlmg,†qnbct#c{r§lmplm~OHdR[c=W4¬

*klucfh-cf‡Yt#cOHdR[cQW²rsa²†?lQafa{r}’q¨§_¿r§pb Ypqr}c{h¿À¦¨§r¥ h0r}pIc{‡qh0†  h³`r§lmnYa‘h¸qtmg0†Y¨}h¹ÁA$O g,t¹_¿pYluc‘c{h  g,r}p+t#c{h

tmpY„…„#l  cg6t¹_’+h0r§pb Ypqr}c{hQ¬ Ÿ ‡qh0azhc†O d R[cQWkrsak|Qhpqh  tm¨}¨§_&pqlmc‘jlmg,†qnbctu’q¨§hS<§8D>جk‡kl#¢¤hi³mh  µ+r°c‘r§a

†?lQafa{r}’q¨§h,c{l¿l#³Qh {·tm†q†  l¹¸br}g6t#cfh-r}cS<Œvµ±T‹&>±nYa{r}pY|¡c  hh&tmnbc{lQg,tucftYµFr»¬hQ¬t Ypqr}c{h hi†  hTazhipvcft#cfr}lQpIlm~

r§pb YpYr°cfhÀ h|mnY¨§t  Á¤azhcfalm~Fcfh  g,ai¬=¾Ãh$pqh¸`c[„bh +pqhc  hh$tunqc{lmg6tucftq¬

ƒFhc_ˆ"’?htmp¯r}pb +pqr°cfha{hc0lu~ka{_`g-’?lm¨saµ¢r}c{‡Zt r}cd_‰Yµ=jtu¨§¨§hi„ ) ) a{nYj‡Éc{‡Ytuc_ˆ‹Š MŒ)Žb¬

PSRTM9ˆ$W¤r§a[jitu¨§¨}hT„cf‡qha{hclu~ 49/J( + ¬

‘Ë’“”š ”ϕ“mh–U— ›#œ “ ™ ”š ”Dυ“ œ “ Ð “Ï › ªœ .”[˜QË ÐZši›¹œ “ ™ ”š ”ϕ“™L c  tmpYazr}c{r§lmp 8 1 Q 5

š

SŒ› "œ 8

š = 49/J( + š 0 PSRTM9ˆ$W 2•z› 0hˆ pql  g6tu¨§r}©ihi„&c  tupYa{r°cfr}lQp

X 3+

š

Sž› œ +

š

)n2 R› 32U65/565U

› 7 W 2C0-M

œ &8Y *X B y"›

3U65/5658U

›

7W0ˆ

‘Ë’“”

š

”ϕ“‹Ÿ –U¡oÏ

šš

Ï Í

œl

“Ï…“FÍ Ð Ë š Ë ›

”[“”

™iš

”

’“œ”

š Ë

š›

Ë`Ë

œš

Ï

ªœbš

υ“F™ o

12z]¢?2£]

 )8= 9 4y 1 9( 12Y2 12W¤1 9 ) ) ! 4 L¥ ¦J ZQ?5§

)t¨TMVU-ˆQU-ˆ© U«ª‚¬

œ + ˆ©‚­tˆ y ª QY88 !0567 9

Ÿ ‡qh 8 3,085 lmpNP RTM9ˆ$W½r§pY„bnYjhi„’`_²c{‡qh±c  tupYa{r}c{r§lmpYaFlu~ § À¦c{‡qhazhcª,Á½rsa„bhpqlmc{hT„

’`_ S¯® ¬=¾¶‡qhp:ªÇr§aj¨}hTt  ~ lmgcf‡qhjlQpQcfh¸`ciµ S¯® ¢r§¨}¨tu¨sazl,’?h„bhpqlmc{hT„&’`_ S¯° ¬

‘Ë’“”š ”ϕ“±@–&Ë  ϕ²•“œ”˜mË Ð .œ “² œ ²?Ëg™y X 3++5,( Y++49+2 7?« o *‚§ V 12 1›

³$R§ U › W*)t+Z*0-PSRMYW\<Z Sb

° › . y N5,( Q949 7? o *?§ ³R § W*)´zµQ¶£·¸³R§ U › W/

9 5f 8QN1( 520!QyS 5*! 49 o Q94++ 7? o * 9Q( 12Y2 12

ikj

œhl.

Ë:Ÿ,% &§

o

K r 3++ ) )

¨TMVU-ˆQU-ˆ © U«ª‚¬

Q 4« r 2

M ) +u2U

w

U4…. ˆ )

+ › U ›

3u. ˆ © ) + › .

y

ª ) +2 R› W S › U w R› 38W

S ›

U«

S ›

3-.

ª

9 …]

2

pYl



g,tm¨}r§©hT„T

32 .! q Q!2

2 Rw R›

38WW S › 2 = 57?

• 18Q]

w R W E 18 ! PXRTM,9 ˆ$W ¤.2• ! PXRTMW¥ y 49 o 8 3 ) o * ª r N!255F]

, "* w R[ W S ® w R› 3 W S ® ›

2 1L r 2 ³R§ U › 3 W) +-…. y ³R§ Wh)}³R§ U ›

W)

+ w R WU«2 Rw R W WU2 R2 Rw R,WW WU6565/5ƒ.)t+u2 b Rw R[ W WQ.

[ - !R1 ¡3

‘r§³mhip6tkc  hih[tunbcflmg6t#cflmp § tupY„,t Ÿ … ^zOPµucf‡qhc  hh[tmnbc{lQg6t#cftjlmg,†q¨§hc{r§lmp,tu¨§|ml  r}c{‡Ygµm†  lQ†+lvazhT„

r§p <§i”qµqŒ?>»µqjlmg,†qnbcfhia7tc  hih²tunqc{lmg6tuc{lmp §

`

a{nYj‡6cf‡Yt#c\³R§

`

WA)YOHdRr³R§ W W7¢‡Yhpr}cr§a¤†+lva{a{r§’q¨}h

À¦~¦l  cf‡qhPj¨stmafa{hia0lu~ Ÿ … ^ba6¢‡Yh  hPtupxh¸qtmjcjlmg,†qnqcft#cfr}lQpxr§a,†?lQafazr§’q¨§hmµa{hhK<Œ&>Á,tmpY„xazn+j‡Lcf‡Yt#c

³$R§

`

WX¯OHdRr³$R§ WWlmc{‡qh  ¢rsazhQ¬

Ÿ ‡qhc  hihtmnbc{lQg,tucftIjlmg,†q¨§hcfr}lQpZ¢7l f¥ aotQa-~¦lQ¨}¨§l#¢[ai¬  lmg § ) § `

jlmg,†q¨§hc{r§lmpL’qnqr§¨§„Ya0t

a{hi«vnqhipYjh § ` 5§ 3` 5/565 §

`

lm~tunbcflmg6t#ct-a{nYj‡cf‡Yt#cr}~'?0_³$R§ E`

W±tmpY„W' S ` ZWcf‡qhpVZ0W³$R§ Eœ3

`

W4¬

@Ø~½¢7h7 YpY„6t‘ q¸b†?lmr§pQc7tunbcflmg6t#cflmp §

`

azn+j‡ocf‡Yt#cFO d R[³R§ ` W W1)Y³R§ `

Wµmcf‡qhp6¢7h‡Yt¹³Qh³$R§ ` WA)

OHdRr³$R§ ` W WÀ hia{†'¬\³R§

`

W†XYOHdRr³R§ W Wkr}~O rsa[pYluckr§pPlmpYhj¨stmafa[lu~ <Œ>¦Á4¬ Ÿ l6’qnqr§¨§„ § E3

` ~ lmg

§ E`

µ+¢7h-tQj‡qr}hi³mht 492 5 K )1 ¢‡qr§j‡Ijlmp+azrsadcar§p¿ YpY„br§pq| 48 4+25 29 ’+hcd¢¤hihp S` tup+„

S

°

¬ Ÿ

l$„bh Ypqhcf‡qhpqlucfr}lQpolm~?j



r}c{rsjtm¨b†Ytur



µ#¢7hh¸`c{hipY„oc{‡qh[„qh Ypqr}c{r§lmp0lu~;aznY’Yadcfr°cfnbc{r§lmp+ac{l‘c{h



g6a

lm~ PXRTM,9ˆ$W4¬Yl  tºaznq’+adcfr°cfnbc{r§lmp OS ˆ"tupY„¯t  nq¨§h RkS 0@OPµ=tPj  r}c{rsjtu¨¤†Ytur rsa-tmp

r§pYazcftmpYjh

R

ºlu~

R

aznYj‡c{‡+t#cc{‡Yh



h‘h¸br§azcfa

›

0ˆ)a{tuc{rsad~¦_`r§pq|

R S d

°

›

tupY„

R Sh`

¬ *kluc{hcf‡Yt#c

a{r§pYjh\OPµ § E

`

tupY„0cf‡qh²a{hcˆ/lu~'azcftuc{hia±lu~ § E` t  h[ Ypqr}c{hmµQc{‡Yh  hkrsaWlmpY¨}_,t Ypqr}c{h²p`nqg-’?h  lu~Fj  r}c{rsjtu¨

†+tur ai¬Yl  hi³mh  _ºj  r}c{rsjtm¨W†Ytur „bhc{hTj4c{hT„É’+hcd¢¤hihpO tup+„ § E`

aznYj‡Ãcf‡Yt#c& VS d

°

› µFcf‡qh6c  hh

tmnbc{lQg6t#c{lQp § Eœ3

`

r§ajlQpYazc  nYj4cfhi„¿’`_Ptm„Y„br}pY|tpqh¢)c  tmpYazr}c{r§lmp u S › c{l § E`

a{nYj‡ºc{‡Ytuc § Eœ3

`

 hijlm|Qpqr}©ihia1Ir§p › µqr»¬hQ¬Fu S °

"!

› ¬ #

$&%

')(

* + , %

- # '

(.0/

*

‡kl#¢¤hi³mh  µcf‡qhÃc  tupYa{r}c{r§lmp‹ S › r§apqlmc¿pqhijhiafa{t r§¨}_¶tLpql  g6tu¨§r}©ihi„xc tmpYa{r°cfr}lQp/lu~-c{‡qhÃ~¦l  g

2 R› 3U6565/58U › 7 W S~› tupY„oazl‘r°c=‡YtQac{l’+h7pql  g6tu¨§r§©hi„   adcT¬Yl  h¸qtug,†q¨§hmµ#cfl²pYl  g,tm¨}r§©htkc tupYa{r°cfr}lQp

lm~+cf‡qh~¦l  g 2 Rw R,WU21%R›43W W Sž› µm¢7hpqhhT„-cfl YpY„,a{lmg,hadct#c{hTa › 3U ›65 U ›67 tupY„  h†q¨stmjh7c{‡qh†  h³`r§lmnYa

c  tmpYa{r°cfr}lQp’`_t²azhclm~qpql  g6tu¨§r}©ihi„‘c  tmpYazr}c{r§lmp+a8AF+u S~› 3U w R› 3W Sž›85 U91 R›43W S~›87 U«2 R›85 U ›87 W S~› .Q¬

@Ø~ › 3&U ›65 U ›87 t  h-pqh¢ azcft#cfhiaiµqcf‡qhpºtQ„q„br§pq|6cf‡qhc  tmpYazr}c{r§lmp¡r}cfa{h¨}~Wl  r°ca[pql  g6tu¨§r§©hi„~¦l  g2„bl`hia

pYlucg6t

¥

h,tmp`_º„br%?h



hipYjhQ¬²pÃc{‡qh6lQ†q†+lvazr}c{hQµr}~¢¤h6rs„bhpvcfr°~¦_

› 3 ¢r}c{‡

› 5

µFcf‡qh6pql



g6tu¨§r§©hi„º~¦l

 g

’?hijlmg,hia?+-

SŒ›

3 U w R› 3 W

SŒ›

3 U21%R

›43 W S › 7

U«2 R› 3 U › 7 W S ›

.Q¬ Ÿ ‡qr§akazhcklu~=pql



g6tu¨§r§©hi„&c



tup+azr}c{r§lmpYa

 h†  hTazhipQca0c{‡qh  hi|mnq¨st  a{hc&lm~$pqlmp · pql g6tu¨§r§©hi„Zc  tup+azr}c{r§lmpYalu~c{‡qhP~¦l  g 2 Rwb R[ WU91 R›43WW S ›

¢‡Yr§j‡¡jlQpQctur§pYa7c{‡Yhc  tupYa{r°cfr}lQp&¢7h$¢7tmpvc7cfl6tm„q„’qnbcktm¨§a{l,g,tmp`_lucf‡qh  a¬F‡khpYjhmµbcf‡qr§arsa[tmpl#³Qh {·

tm†q†  l¹¸br}g6t#cfr}lQp'¬º¾Ãh¡jlmnY¨§„¯‡+t¹³mh&g6tQ„bhtmpZh³Qhpªg,l  h„  tQadcfr§jtu†q†  l¹¸br§g,tuc{r§lmpɒ`_¯r§„qhpvc{r}~¦_`r}pq|

› 3&U ›85 U ›87 ¢r}c{‡ › µb~¦l  r}pYazcftmpYjhQ¬

¾¶‡qhip/tu¨§¢t¹_`a,n+azr§pq|¯pqhi¢2azcftuc{hTa6c{l¯pYl



g,tm¨}r§©h¡cf‡qh¿c



tmpYazr}c{r§lmp+aµjlQg,†q¨}hc{r§lmp¶rsa&tQa6†



hijrsa{h

tQa-†?lQafa{r}’q¨§hm¬ ‡[l#¢7h³mh



µ=¢r}c{‡Ylmnbc6tu†q†



l¹¸br§g,tuc{r§lmp'µWjlmg,†q¨§hcfr}lQpZrsao¨§r

¥

h¨§_¯pqlmcocflIcfh



g,r}pYtuc{hÉÀ¦’?h

·

jitunYa{hlm~|Qhpqh



tm¨'nqpY„qhijrs„qtm’qr}¨§r}cd_



hia{nq¨}cfaQ<}D>Á¬ Ÿ lhpb~¦l



jh$c{h



g,r§pYt#cfr}lQp'µ+tmpY„¿†



lb„bnYjh-tup¿l#³Qh

{·

tm†q†  l¹¸br}g6t#cfr}lQp'µ¹c{‡Yh[jlmg,†q¨§hcfr}lQp0tm¨}|Ql  r°cf‡qgˆrsa†Yt  tug,hc  r}©ihi„o’v_ot$azhclm~ 9+8Y2 32-Q 5 ¬

¾¶‡YhpPcf‡qh6azhc r§a‘nYa{hi„I„bn  r}pq|¡jlQg,†q¨}hc{r§lmp¿cflpYl  g,tm¨}r§©h-c tupYa{r}c{r§lmpYaiµ?c{‡qh0lm’bctur§pqhi„Pc  hh,tun ·

cflmg6t#ct,t  h„bhpqlmc{hT„’`_ § 3

`

U65/565U§

`

¬±tQj‡¡a{nYj‡  nq¨}h„qhiafj  r}’?hiat6jlmpvc{h¸vc[r§p¿¢‡qrsj‡¿t,¨}rsadc

lm~ nY¨}hTaojitupª’?hn+azhT„Éc{lIpql  g6tu¨§r}©ih&t¿cfh  g¬ ql  tm¨}¨\'U R3 U6565/5U R7 0 PXRM9ˆNU9OXW-tmpY„É~¦l  tm¨}¨

v%UUv 3 U/565658UUv 7 0hˆ¯9VO¡µqcf‡qh$|mhipqh  tu¨?~¦l  g~¦l  tup¡tu†q†  l¹¸br§g,tuc{r§lmp  nq¨§hr§aA

I' S v£K

S IR3 S v 3 U/565658U

R7 S v 7 K

¬ Ÿ ‡qhPh¸b† hTa{a{r§lmp,I' S v£K²rsa&tɆYtuczcfh  pxc{l¯’?hºg6t#cj‡qhi„R¢r}c{‡xc{‡Yhºpqhi¢"c  tmpYazr}c{r§lmp+aZ S ›43

lQ’bcftmr}pYhi„¶’`_ jlQg,†q¨}hc{r§lmp'¬ Ÿ ‡qhÃh¸b†  hiafa{r}lQp IR3 S v 3 U/56565U R7 S v 7 K$rsatLazhclm~  nq¨}hTa&n+azhT„

cflªpql  g6tu¨§r§©h Z4¬ Ÿ lªpql g6tm¨}r§©hºt¯c  tupYa{r°cfr}lQp¶lu~$cf‡qhP~¦l  g Z S ›43µk¢¤hPg6tucfj‡'º¢r°cf‡ Ztup+„

vx¢r}c{‡ ›43µ¤lm’bctur§pRtÃa{nq’Yazc{r}c{nbcfr}lQp@ ~ lQg c{‡qh¡g6t#cj‡qr}pY|ÉtmpY„¯cf‡qhpR¢7hpql  g6tm¨}r§©hVZ¢r}c{‡Rc{‡qh

 h¢  r}c{h¿az_bazc{hig + R3 S v 3 U/565/5UR7 S v 7 .Q¬ qn  c{‡qh  g,l  hQµ¤r}~ y; ) =*565654B 1v E 0 ˆ2l 

v•EA0:,RREWT9_1 R'&WT9 +-v.$c{‡YhpCvy3J U65/565?UUv…7 Ét h$pqhTjhTa{aft  r}¨§_azcft#cfhiai¬"@Ø~Wt0c  tup+azr}c{r§lmp¡jtmpqpqluc

’?h~¦nq¨§¨}_pql  g6tu¨§r}©ihi„nYa{r}pq|6tm†q†  l¹¸`r§g6t#cfr}lQp  nq¨}hTa¯µqpql  g6tm¨}r§©ituc{r§lmp&rsa7 Ypqrsa{‡qhi„nYa{r}pY|azlQg0hpqhi¢

azcftuc{hTa¬

Ÿ ‡qhg6tur§p0†  lQ†+h cd_lm~Yc{‡Yh¤c  hih7tmnbc{lQg6t#cft‘jlQg,†q¨}hc{r§lmp0tu¨§|ml  r}c{‡qg rsac{‡Ytuciµm¢‡+t#c{hi³mh  cf‡qhadct#c{h

¨stu’?h¨sa²nYazhT„¡c{lpql  g6tu¨§r}©ih$c{‡Yhopqhi¢)c  tupYa{r}c{r§lmpYaiµ+r}~¤jlmg,†q¨§hc{r§lmpPc{h  g,r}p+t#c{hTa[cf‡qhpIr°c†  lb„bnYjhTaktmp

l#³Qh

{·

tm†q†



l¹¸br}g6t#cfr}lQplm~



hitQj‡Ytu’q¨§hcfh



g6a=<Œ?>جQ@ pÃlucf‡qh



¢7l



„qaiµ'tu†q†



l¹¸br}g6tuc{r§lmpºaft#~¦hcd_P„bl`hia‘pqluc

„qh†?hpY„LlmpZc{‡qh¡azhc0lm~²tu†Y†



l¹¸br§g6t#c{r§lmp



nq¨§hiaonYa{hi„½¬R^`r}p+jhc{‡qh



lm¨§h&lu~‘tu†q†



l¹¸br}g6tuc{r§lmp



nq¨}hTa0r§a

lQpq¨§_c{la{h¨§hijc[†Yt



c{rsjnY¨§t



adct#cfhia~¦l



pql



g6tu¨§r}©ir}pY|oc



tmpYa{r°cfr}lQpYaµ`cf‡qh-aft#~¦hcd_c{‡Yhl



hglu~ <Œ&>jtmp¿’+h

 h~¦l  gonq¨st#c{hT„r§pc{‡qh~¦lQ¨}¨§l#¢r}pY|o¢t¹_m¬

—Ë`Ï › Ë mn% O o SE53!9 ])569 $/£ A§ o 9X( 12Y2 12 • o V8 $.!X+q]

Q 5 !=4+2 58 32 )2 1QW§

`

q

³$R§

`

WXO

d

R[³R§ W W

‡kh



h¤rsat²a{r}g,†q¨§h7h¸qtug,†q¨§h¤r§¨§¨}nYazc



t#cfr}pY|²jlQg,†q¨}hc{r§lmp0tupY„c{‡qhnYa{h¤lm~+tu†Y†



l¹¸br§g6t#c{r§lmp



nq¨§hia¢‡qhip

cf‡qh$¨stupq|QnYtu|Qh†OHdR[cQW7rsapqlmc



hi|mnq¨st

 ¬

ikj œhl.ËC±t% O) + w R[v U W S w R2 R[vWU2 R W WQ. •V5 A§ o Y q 3++Y( 12Y2 12K 4 q

ˆ©¯)~+ › ©g. y ª )~+- S › Uw R› U › W S › ©g. 849 ³$R§ WD)ž+ w R[U«,WQ. • OHdRcQWM)

+ w R^2

7

R[ WU2

7

R[ W Wh<B ‰ . %8 ) Iw R^2 Rrv WU«2 R WW S K S I2 Rrv W S › 3&U2 R W S › 3«K8

& L r " 9 Q49 58 32 1)… ="? yL 4 495J w R› U › W SD` w R^2 R› WU«2 R› WW 2•

› R› U › W S d° › © {

( q , | )0fZ$ q 3+ w

R2 R› WU2 R› WW

S~›

©

1§

$ 57?

r,0 9 £ " )4«zw R2 R[vWU«2 R WW rzw R^2 R› WU«2 R› WW y )4« q‚› © 2•X o )

)Œ+/vS › U S › U S › © . 5* 1 I2 R[vW S › 3U«2 R W S › 3K q|& I2 R› W S

› 3&U2 R› W S › 3QK¢ y 5& *& 18[ , 1 2Y257?L q 32¯w R2 R› WU2 R› W W S

› © 1K r E8 + w R› 3 U › 3 W S › © U«2 R› W S › 3 . œ,4 fZH )C§ ) o 12 §

3

` y

492 5 H?499 4+2 £ ! 2 r 8V 1) y y&E§

5

`

œ &8-88 =.!V 9