steensgaard-cc96 - P o in ts-toA na ly s isbyT yp eIn fe...

Info iconThis preview shows pages 1–3. Sign up to view the full content.

View Full Document Right Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: P o in ts-toA na ly s isbyT yp eIn fe ren ce o fP rog ram sw ithS tru c tu resandU n ion s B ja rn eS teen sgaa rd M icro so ftR esea rch A b stract W ep resen tan in terp rocedu ra l ow- in sen s it iv epo in ts-toana ly s isa lgo r ithm ba sedonm onom o rph ictyp e in feren ce .T h esou rce languagem od e lth e im po r- tan tfea tu reso fC in c lud ingpo in ters ,po in tera r ithm e t ic ,po in tersto fun c t ion s , stru c tu redob jec ts ,andun ion s .T h ea lgo r ithm isba sedonanon-standa rd typ e sy stemw h eretyp esrep resen tnod esand edges inasto rageshap eg raph . T h isw o rk isan ex ten s iono fp rev iou sw o rkonp er fo rm ingpo in ts-toana ly s is o fC p rog ram s ina lm o st lin ea rt im e .T h isw o rkm ak esth reen ew con tr ibu t ion s . T h erst isan ex ten s iono fa typ esy stem fo rd escr ib ingsto rageshap eg raph s to in c lud eob jec tsw ith in terna lstru c tu re .T h esecond isacon stra in tsy stem tha tcand ea lw itha rb itra ryu seo fpo in tersandw h ich in co rpo ra tesa tw o-t ier dom a ino fpo in terose tsto im p rov eth eresu ltso fth eana ly s is .T h eth ird isan ec ien t in feren cea lgo r ithm fo rth econ stra in tsy stem ,lead ing toana lgo r ithm tha tha sc lo seto lin ea rt im eand spacep er fo rm an ce inp rac t ice . K eyw o rd s :in terp rocedu ra lp rog ram ana ly s is ,po in ts-toana ly s is ,C p rog ram s ,non- standa rd typ es ,con stra in tso lv ing . In trodu c t ion M od ernop t im iz ingcom p ilersandp rog ram und erstand ingandb row s ingtoo lsfo r po in ter languag es lik eC [Am e,KR ]a red ep end en ton sem an t ic in fo rm a t ionob- ta in edbye ith erana lia sana ly s iso rapo in ts-toana ly s is .A lia sana ly sescom pu tepa irs o fexp ress ion s(o ra ccesspa th s)tha tm ayb ea lia sed ( e .g . ,[LR ,LR Z ]) .P o in ts- toana ly sescom pu tea sto rem od e lu s ingab stra ct loca t ion s( e .g . ,[CW Z ,EGH , W L ,R u f]) .P o in ts-toana ly s isresu ltsserv enopu rpo se in th em se lv es ,bu tth ey a reap rerequ is ite fo rm o sto th erana ly sesand tran s fo rm a t ion sfo r im p era t iv ep ro- g ram s( e .g . ,com pu t ingu se-d e fre la t ion s ,p erm itted cod em o t ion ,andd etect iono fu se o fun in it ia lizedva r iab les) . M o stcu rren tcom p ilersandp rog ramm ing too lsu seon ly in trap rocedu ra lpo in ts-to ana ly ses ,a sth epo lynom ia lt im eand spa cecom p lex ityo fth ecomm onda ta- ow ba sed po in ts-toana ly sesp rev en tsth eu seo fin terp rocedu ra lana ly sesfo r la rg ep rog ram s . In terp rocedu ra lana ly s is isb ecom ing in crea s ing ly im po rtan t ,a s it isap rerequ is ite fo r w ho le-p rog ram op t im iza t ionandva r iou sp rog ram und erstand ing too ls . A u tho r 'sadd ress :M icro so ftC o rpo ra t ion ,O n eM icro so ftW ay ,R edm ond ,W A ,U SA . E-m a il: rusa@research.microsoft.com inti,*i,**i,**i; floatf,**f; struct f inta,*b,*c; g s,*s; struct f intd,*e;floatf,*g; g s,*s; s=&s; s=&s; f=&s->g; *f=&f; i=&s->b; i=&s->c; *i=&i; i=(int*)s; i=(int*)s;...
View Full Document

Page1 / 15

steensgaard-cc96 - P o in ts-toA na ly s isbyT yp eIn fe...

This preview shows document pages 1 - 3. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online