РRCOST - Research Centre on Software Technology. Department of Engineering, University of Sannio. Palazzo Ex-Poste, Via Traiano± 82100, Benevento, Italy.
0LJUDWLQJ&2%2/6\VWHPVWRWKH:(%E\XVLQJWKH09&'HVLJQ3DWWHUQ 7KLHUU\%RGKXLQ (QULFR*XDUGDEDVFLR DQG0DULD7RUWRUHOOD 5&2675HVHDUFK&HQWUHRQ6RIWZDUH7HFKQRORJ\ 'HSDUWPHQWRI(QJLQHHULQJ8QLYHUVLW\RI6DQQLR 3DOD]]R([3RVWH9LD7UDLDQR±%HQHYHQWR,WDO\
367±3DUFR6FLHQWLILFRH7HFQRORJLFRGL6DOHUQRHGHOOH$ULH,QWHUQHGHOOD&DPSDQLD 9LD3RUWDFDWHQD±6DOHUQR,WDO\ WERGKXLQHJXDUGDEDVFLR#SVWVDLWPDUWRU#XQLVDQQLRLW
$EVWUDFW
,QWHJUDWLQJ OHJDF\ &RERO V\VWHPV LQWR D ZHEEDVHG DUFKLWHFWXUH LV D FRPSOH[ DQG FKDOOHQJLQJ WDVN &RERO LV QRW D GLVWULEXWHG DQG REMHFWRULHQWHG ODQJXDJH KRZHYHU LWVLQWHJUDWLRQZLWKRWKHUODQJXDJHVRUGLVWULEXWHGV\VWHPV LV D SUHUHTXLVLWH WR DFKLHYH PLJUDWLRQ WRZDUG ZHE WHFKQRORJLHV 0RUHRYHU WKH XVHU LQWHUIDFH DQG WKH XVHU LQWHUDFWLRQ PRGDOLWLHV QHHG WR EH FKDQJHG 1XPHURXV VWUDWHJLHV KDYH EHHQ SURSRVHG IRU ZUDSSLQJ WKH EXVLQHVV ORJLFDQGIRUUHLPSOHPHQWLQJWKHXVHULQWHUIDFHEXWWKHUH LVVWLOODJUHDWQHHGIRUH[SHULPHQWDOUHVHDUFK 7KLVSDSHUSUHVHQWVDPLJUDWLRQVWUDWHJ\ZKRVHWDUJHW V\VWHPLVDZHEHQDEOHGDUFKLWHFWXUHEDVHGRQWKH0RGHO 9LHZ&RQWUROOHU 09& GHVLJQ SDWWHUQ %\ H[WUDFWLQJ DOO WKH QHHGHG LQIRUPDWLRQ IURP WKH &RERO VRXUFH FRGH WKH UHDOL]HG WRRONLW FDQ DXWRPDWLFDOO\ JHQHUDWH WKH ZUDSSHUV IRU WKH EXVLQHVV ORJLF DQG WKH GDWD PRGHO DQG WKH ZHE XVHULQWHUIDFHDV-DYD6HUYHU3DJHV 7KH VWUDWHJ\ DQG WKH WRRONLW SUHVHQWHG KDYH EHHQ GHILQHG ZLWKLQ WKH SURMHFW 0 6 6: D UHVHDUFK SURMHFW DLPHG DW GHILQLQJ QHZ WHFKQRORJLFDO VROXWLRQV WR EH WUDQVIHUUHGWR6PDOODQG0HGLXP(QWHUSULVHVRSHUDWLQJLQ WKH,QIRUPDWLRQDQG&RPPXQLFDWLRQ7HFKQRORJLHV
,QWURGXFWLRQ
7KH ZLGH GLIIXVLRQ RI ,QWHUQHW DQG WKH :RUOG :LGH :HE UHTXLUHV WKH LQWHJUDWLRQ DQGRU VXEVWLWXWLRQ RI ROG FHQWUDOL]HGPDLQIUDPHEDVHGV\VWHPVWRZDUGQHZV\VWHPV WKDW WDNH DGYDQWDJH RI WKH REMHFWRULHQWHG DQG :HE WHFKQRORJLHV ,Q PRVW FDVHV OHJDF\ V\VWHPV FDQQRW EH VLPSO\GLVFDUGHGEHFDXVHWKH\DUH YHU\ LPSRUWDQW IRUWKH EXVLQHVVWKH\VXSSRUWDQGEHFDXVHWKH\HQFDSVXODWHDJUHDW GHDO RI NQRZOHGJH DQG H[SHUWLVH DERXW WKH DSSOLFDWLRQ GRPDLQ 2IWHQ WKH OHJDF\ FRGH LV WKH RQO\ VRXUFH RI
Proceedings of the Ninth Working Conference on Reverse Engineering (WCRE’02) 1095-1350/02 $17.00 © 2002 IEEE
GRPDLQ NQRZOHGJH DQG LV WKH RQO\ WUXH GHVFULSWLRQ RI WKH FXUUHQW EXVLQHVV UXOHV 0RUHRYHU WKH KLJK FRVWV DQG ULVNV RI DGRSWLQJ D QHZ V\VWHP PRWLYDWH WKH FKRLFH IRU DQ LQFUHPHQWDO PLJUDWLRQ VWUDWHJ\ >@ IURP SURFHGXUDOWH[W EDVHG WR REMHFWRULHQWHGZHEEDVHG 7KLV VWUDWHJ\ FDQ EH EDVHG RQ UHYHUVH HQJLQHHULQJ ZUDSSLQJ DQG *8, UH LPSOHPHQWDWLRQ DQG DOORZV WKH JUDGXDO LQWURGXFWLRQ RI REMHFWRULHQWHG FRPSRQHQWV LQ WKH (QWHUSULVH ,QIRUPDWLRQ 6\VWHPDQGRQWKHRWKHUKDQGH[WHQGVWKHEHQHILWVRISDVW LQYHVWPHQWVLQLQIRUPDWLRQWHFKQRORJLHV>@ ,QWKHLQFUHPHQWDOPLJUDWLRQVWUDWHJ\ZUDSSLQJDOORZV QHZ REMHFW RULHQWHG DSSOLFDWLRQV WR FRH[LVW ZLWK OHJDF\ FRPSRQHQWV$ZUDSSHUUHSUHVHQWVWKHLQWHUIDFHWKDWJLYHV QHZ DSSOLFDWLRQV DFFHVV WR WKH OHJDF\ FRPSRQHQWV E\ WKH H[FKDQJH RI PHVVDJHV 7KH PHVVDJHV UHFHLYHG E\ WKH ZUDSSHUDUHFRQYHUWHGLQWRFDOOVWRWKHV\VWHPFRPSRQHQWV WKDWSHUIRUPWKHUHTXLUHGVHUYLFH :LWKLQWKLVFRQWH[WPDQ\UHVHDUFKHUVKDYHLQYHVWLJDWHG GLIIHUHQW VRIWZDUH PLJUDWLRQ VWUDWHJLHV ZLWK D FRQVHTXHQW SUROLIHUDWLRQRISRWHQWLDOVROXWLRQV 6QHHG>@SURSRVHGFRPSRQHQWVRIWZDUHHQFDSVXODWLRQ DW GLIIHUHQW JUDQXODULW\ OHYHOV EDWFK SURFHVV RQOLQH WUDQVDFWLRQSURJUDPDQGPRGXOH (DFKFRPSRQHQWFDQEH DFFHVVHG IURP RWKHU IRUHLJQ HQYLURQPHQWV YLD ZUDSSHUV DQGE\PHVVDJHSDVVLQJ7KHVDPHDXWKRULQ>@GHVFULEHV WKH WRROV DQG WHFKQLTXH IRU HQFDSVXODWLQJ KRVW &2%2/ SURJUDPV EHKLQG DQ ;0/ LQWHUIDFH ,Q >@ 7KLUDQ DQG +DLQDXW SUHVHQW D ZUDSSLQJ PHWKRGRORJ\ IRU OHJDF\ GDWD V\VWHPUHXVHVXSSRUWHGE\DQRSHUDWLRQDO&$6(WRRO $QRWKHU SULPDU\ WDVN LQYROYLQJ D OHJDF\ V\VWHP PLJUDWLRQ LV WKH UHLPSOHPHQWDWLRQ RI WKH ROG FKDUDFWHU EDVHGLQWHUIDFHE\XVLQJZHERULHQWHGWHFKQRORJLHVDIRUP RI ZHEEDVHG VFUHHQ VFUDSLQJ >@ 7KLV LV D FRPPRQ WHFKQLTXHIRUXVHULQWHUIDFHPRGHUQL]DWLRQWKDWFRQVLVWVRI ZUDSSLQJ ROG WH[WEDVHG LQWHUIDFHV ZLWK QHZ JUDSKLFDO LQWHUIDFHV 7KH ROG LQWHUIDFH LV RIWHQ D VHW RI WH[W VFUHHQV
UXQQLQJLQDWHUPLQDO,QFRQWUDVWWKHQHZLQWHUIDFHFDQEH D3&EDVHGJUDSKLFDOXVHULQWHUIDFHRUHYHQ+70/ ,Q>@WKHDXWKRUVSUHVHQWDSLORWSURMHFWIRUPLJUDWLQJD OHJDF\ &2%2/ V\VWHP WR D ZHEEDVHG DUFKLWHFWXUH XVLQJ XVHU LQWHUIDFH UHHQJLQHHULQJ DQG ZUDSSLQJ WHFKQLTXH 7KH XVHULQWHUIDFHFRPSRQHQWVDUHLVRODWHGDQGUHLPSOHPHQWHG XVLQJ 0LFURVRIW $FWLYH 6HUYHU 3DJHV DQG 9%6FULSW VFULSW ODQJXDJH 7KH OHJDF\ SURJUDP ZUDSSHUV DUH UHDOLVHG DV G\QDPLF ORDGHG OLEUDULHV ZULWWHQ LQ 0LFUR)RFXV 2EMHFW &2%2/,Q>@DQLQWHJUDWHGWRROHQYLURQPHQWEDVHGRQ VWDWLF DQDO\VLV RI FKDUDFWHUEDVHG SDQHOV IRU WKH LGHQWLILFDWLRQRIGLDORJHQWLWLHVLVSUHVHQWHG,WVXSSRUWVWKH PLJUDWLRQ RI FKDUDFWHUEDVHG SDQHOV RI D PDLQIUDPH DSSOLFDWLRQ WR JUDSKLFDO XVHU LQWHUIDFHV LQ D FOLHQWVHUYHU DSSOLFDWLRQ 0RRUH DQG 0RVKNLQD LQ >@ KDYH SURSRVHG WKH 0253+ 0RGHO 2ULHQWHG 5HHQJLQHHULQJ 3URFHVV IRU +XPDQ&RPSXWHU,QWHUIDFH WHFKQLTXHWRPDSFRPSRQHQWV RIDQH[LVWLQJLQWHUIDFHLQWRDQHZZHEEDVHGLQWHUIDFH,Q >@ $QWRQLRO HW DO SURSRVH DQ DSSURDFK WR UHHQJLQHHU %$6,& 3& OHJDF\ FRGH LQWR PRGHUQ JUDSKLFDO V\VWHPV LQ & FRGH 7KH DSSURDFK LV EDVHG RQ WKH FRQFHSWXDO UHSUHVHQWDWLRQ RI WKH RULJLQDO FRGH LQ WHUPV RI DEVWUDFW JUDSKLFDO REMHFWV DQG FDOOEDFNV ,Q >@ 0HUOR HW DO GHILQHG D SURFHVV WR UHYHUVHHQJLQHHULQJ XVHU LQWHUIDFH WR REWDLQ LWV VWUXFWXUDO DQG EHKDYLRXUDO VSHFLILFDWLRQ 7KH DSSURDFKZDVLPSOHPHQWHGLQDSURWRW\SHWKDWZDVXVHGWR FRQYHUW DQG UHHQJLQHHU WKH XVHU LQWHUIDFH IRU D &2%2/&,&6DSSOLFDWLRQSURJUDP 7KLV SDSHU LV PDLQO\ FRQFHUQHG ZLWK OHJDF\ SURJUDP ZUDSSLQJ DQG XVHU LQWHUIDFH UHLPSOHPHQWDWLRQ 7KH UHVHDUFKSUHVHQWHGLVDQHYROXWLRQRIWKHVWUDWHJ\GLVFXVVHG LQ >@ IRU LQFUHPHQWDOO\ PLJUDWLQJ D OHJDF\ V\VWHP 7KH VWUDWHJ\ SURSRVHG ZDV FRPSRVHG RI HLJKW VHTXHQWLDO SKDVHVHDFKRI ZKLFKSURYLGHGWKHLQSXWWRWKHIROORZLQJ RQH 0RUHRYHU WKH ILUVW SKDVHV ZHUH SDUWLDOO\ LPSOHPHQWHG 7KH WRRONLW GHYHORSHG IRU DXWRPDWLFDOO\ DSSO\LQJ WKH VWUDWHJ\ ZDV SUHVHQWHG LQ >@ +RZHYHU LW IDLOHG WR FRYHU WKH LPSOHPHQWDWLRQ RI WKH ZUDSSLQJ DQG XVHU LQWHUIDFH UHLPSOHPHQWDWLRQ SKDVH 7KLV SDSHU LV LQWHQGHGWRFRPSOHWHWKRVHGHWDLOV 7KH VWXG\ SUHVHQWHG ZDV GHYHORSHG ZLWKLQ WKH SURMHFW 0 6 6: 0HWKRGV DQG 7RROV IRU WKH 3URGXFWLRQ RI WKH 6RIWZDUH )RUPDWLRQ DQG $SSOLFDWLRQV ILQDQFHG E\ WKH ,WDOLDQ0LQLVWHURIWKH6FLHQWLILF 5HVHDUFKDQGFDUULHGRXW E\WKH367 6FLHQWLILFDQG7HFKQRORJLFDO3DUN RI6DOHUQR ,WDO\ 7KHQH[WVHFWLRQLOOXVWUDWHVWKHVWUDWHJ\SURSRVHGIURP WKH DXWKRUV IRU LQFUHPHQWDOO\ PLJUDWLQJ D &2%2/ OHJDF\ V\VWHPWRZDUGVDQHZV\VWHPZKRVHDUFKLWHFWXUHLVEDVHG RQ WKH 0RGHO9LHZ&RQWUROOHU 09& GHVLJQ SDWWHUQ > @ DQG WKH WRRONLW GHYHORSHG IRU DXWRPDWLFDOO\ DSSO\LQJ LW 6HFWLRQ GHVFULEHV WKH :UDSSLQJ DQG *8, 5H LPSOHPHQWDWLRQ SKDVH LQ GHWDLO DQG WKH FRUUHVSRQGLQJ WRROV LPSOHPHQWHG 6HFWLRQ GLVFXVVHV WKH UHVXOWV RI D
Proceedings of the Ninth Working Conference on Reverse Engineering (WCRE’02) 1095-1350/02 $17.00 © 2002 IEEE
VLPSOH FDVH VWXG\ PDGH E\ DSSO\LQJ WKH VWUDWHJ\ DQG WKH WRRONLW)LQDOO\VHFWLRQFRQFOXGHV
,QFUHPHQWDO 0LJUDWLRQ 6WUDWHJ\ DQG 7RRONLW
7KHPLJUDWLRQVWUDWHJ\SURSRVHGLQ>@LVFRPSRVHGRI WKHIROORZLQJHLJKWVHTXHQWLDOSKDVHV
7UDQVODWLRQRI&,&6LQVWUXFWLRQV WKH&,&6LQVWUXFWLRQV DUH WUDQVODWHG DQG WKH SURJUDP FRQWURO IORZ LV UHVWUXFWXUHG WR HOLPLQDWH WKH *2 72 DQG *2 72 '(3(1',1* 21 LQVWUXFWLRQV LQWURGXFHG E\ WKH SUH SURFHVVRU&,&6>@ 5HVWUXFWXULQJ WKH &2%2/ SURJUDPV WUDQVIRUPHG GXULQJ WKH ILUVW SKDVH FDQ EH LQWULQVLFDOO\ XQVWUXFWXUHG DQG VWLOO LQFOXGH *2 72 LQVWUXFWLRQV WKDW KDYH WR EH UHPRYHGE\UHVWUXFWXULQJDJDLQWKHSURJUDPFRQWUROIORZ >@ 6WDWLF$QDO\VLV WKHVRXUFHFRGHLVDQDO\VHGDQGDOOWKH LQIRUPDWLRQ XVHIXO WR WKH IROORZLQJ SKDVHV LV H[WUDFWHG ,QSDUWLFXODUWKLVWDVNLVLQWHQGHGWRLGHQWLI\LQWKHFRGH WKRVH REMHFWV PRGHOOLQJ IXQGDPHQWDO FRQFHSWV RI WKH OHJDF\ V\VWHP DSSOLFDWLRQ GRPDLQ 7KLV VHW RI REMHFWV ZLOOUHSUHVHQWWKHEDVLVIRUGHYHORSLQJWKHDUFKLWHFWXUHRI WKH QHZ VRIWZDUH V\VWHP $OO WKH LQIRUPDWLRQ LGHQWLILHG LVVWRUHGLQDUHSRVLWRU\DFFHVVLEOHIURPWKHRWKHUSKDVHV 3URJUDP 'HFRPSRVLWLRQ WKH VHJPHQWV RI FRGH LPSOHPHQWLQJ WKH LQWHUDFWLRQ EHWZHHQ WKH XVHU DQG WKH V\VWHPDUHLGHQWLILHGE\DSSO\LQJVOLFLQJWHFKQLTXHV> @ 7KLVWDVNDOORZVWKHXVHUWRVHOHFWWKHFRPSRQHQWVWREH ORFDWHG RQ WKH FOLHQW VLGH 0RUHRYHU WKH VOLFLQJ WHFKQLTXHVDUHDOVRXVHGIRULGHQWLI\LQJVHFWLRQVRIFRGH PDQDJLQJRQO\RQHSHUVLVWHQWGDWDVWRUH 2EMHFW 0RGHO $EVWUDFWLRQ DQ REMHFW PRGHO RI WKH V\VWHP LV FRQVWUXFWHG E\ DSSO\LQJ UHYHUVH HQJLQHHULQJ DFWLYLWLHV WR WKH FRGH PRGLILHG LQ WKH SUHYLRXV SKDVHV 7KH DSSURDFK DSSOLHG LV EDVHG RQ WKH DQDO\VLV RI WKH SHUVLVWHQWGDWDVWRUHV GDWDILOHDQGGDWDEDVHWDEOHV HDFK RIZKLFKLVUHIHUHQFHGE\WKHV\VWHP,WSURYLGHVDEDVLV IRU GHILQLQJ SRWHQWLDO SHUVLVWHQW REMHFWV $ VHJPHQW RI FRGHLVDVVRFLDWHGWRDSHUVLVWHQWREMHFWRQWKHEDVLVRILWV H[FOXVLYHDFFHVVWRWKDWGDWDVWRUH> @ 5HHQJLQHHULQJ WKH XVHU LQWHUIDFH IXQFWLRQV DQG WKH PHWKRGV RI WKH REMHFWV LGHQWLILHG LQ WKH SUHYLRXV SKDVHV DUH HQFDSVXODWHG LQ GLIIHUHQW &2%2/ SURJUDPV 7R HIIHFWLYHO\SHUIRUPWKLVWDVNWKHSKDVHPXVWLGHQWLI\WKH VHWRISDUDPHWHUVUHSUHVHQWLQJWKHLQWHUIDFHV /,1.$*( 6(&7,21 RIHDFK QHZ &2%2/SURJUDP>@DQGWKH YDULDEOHVWKDWKDYHWREHGHFODUHGLQWKHRWKHUVHFWLRQVRI WKH '$7$ ',9,6,21 >@ 7KLV JRDO LV DFKLHYHG E\ LGHQWLI\LQJ WKH LQSXWRXWSXW SDUDPHWHUV RI HDFK OHJDF\ FRPSRQHQW ZKLFK LV HLWKHU D SDUDJUDSK D VHW RI SDUDJUDSKV LPSOHPHQWLQJ WKH REMHFW PHWKRGV D VHFWLRQ RU D SURJUDP 7KLV WDVN LV SHUIRUPHG E\ DSSO\LQJ DQ
DOJRULWKP EDVHG RQ GDWD IORZ DQDO\VLV DW ERWK WKH LQWUD SURFHGXUDODQGWKHLQWHUSURFHGXUDOOHYHO>@ :UDSSLQJ DQG *8, 5HLPSOHPHQWHU WKH REMHFWV LGHQWLILHGLQWKH2EMHFW0RGHO$EVWUDFWLRQSKDVHKDYHWR EHHQFDSVXODWHGEHKLQGZUDSSHUVWRDOORZWKHLQWHUDFWLRQ EHWZHHQWKHOHJDF\DQGWKHQHZFRPSRQHQWVVRWKDWWKH XVHU LQWHUIDFH UHLPSOHPHQWDWLRQ FDQ WDNH DGYDQWDJH RI WKH ZHE WHFKQRORJLHV 6XEVHTXHQWO\ XVHU LQWHUIDFH FRPSRQHQWV LGHQWLILHG GXULQJ WKH GHFRPSRVLWLRQ SKDVH KDYH WR EH UHLPSOHPHQWHG XVLQJ ZHE FOLHQW VLGH WHFKQRORJLHV >@ 7KH LGHQWLILHG REMHFWV DUH HQFDSVXODWHGZLWKLQREMHFWZUDSSHUVRQWKHVHUYHUVLGHRI WKH WDUJHW V\VWHP ZKHUH WKH\ FDQ EH DFFHVVHG IURP WKH FOLHQW VLGH:UDSSHUVDQGXVHULQWHUIDFHFRPSRQHQWVDUH RUJDQLVHG LQ D QHZ DUFKLWHFWXUH FRPSRVHG RI WUHH PDMRU HOHPHQWV SUHVHQWDWLRQ 9LHZ GRPDLQFRQFHSWV 0RGHO GLVSDWFKRIUHTXHVWDQGFRQWURO &RQWUROOHU ,QFUHPHQWDO 7UDQVODWLRQ WKH ZUDSSHG REMHFWV FDQ EH VXEVWLWXWHGZLWKREMHFWVLPSOHPHQWHGE\XVLQJWKHREMHFW RULHQWHG SURJUDPPLQJ ODQJXDJH FKRVHQ IRU WKH WDUJHW V\VWHP 7KH VWUDWHJ\ KDV EHHQ LPSOHPHQWHG LQ WKH WRRONLW GHVFULEHG LQ )LJXUH 7KH ILUVW YHUVLRQ RI WKH WRRONLW SUHVHQWHG LQ >@ KDV EHHQ HQULFKHG ZLWK WKH QHZ WRROV :UDSSHU *HQHUDWRU DQG *8, 5HLPSOHPHQWHU )LJXUH VKRZV WKH WRRONLW DUFKLWHFWXUH ZLWK LWV WRROV DQG PXWXDO LQWHUDFWLRQV 7KH VROLG HGJHV UHSUHVHQW LQIRUPDWLRQ H[FKDQJHZKLOHGRWWHGRQHVGHSLFWWKHFRQWUROIORZ
5HHQJLQHHUHG
6\VWHP
5HHQJLQHHU $QDO\]HU
5HSRVLWRU\
&2%2/
$EVWUDFWRU
6\VWHP
6OLFHU
'HFRPSRVHG
:UDSSHUJHQHUDWRUDQG*8,
6\VWHP
UHLPSOHPHQWHU
&RQWUROOHU
1HZV\VWHPDUFKLWHFWXUH
6HUYOHW
*UDSKLF
2XWSXW
2XWSXW
&RQWUROOHU
7H[WXDO
2EMHFW :UDSSHU
0RGHO
-63+70/
9LHZ
)LJXUH7KHWRRONLWDUFKLWHFWXUH
Proceedings of the Ninth Working Conference on Reverse Engineering (WCRE’02) 1095-1350/02 $17.00 © 2002 IEEE
$OO WKH WRRONLW WRROV DUH LPSOHPHQWHG LQ WKH -DYD SURJUDPPLQJ ODQJXDJH WKDW HQVXUHV KDUGZDUH DQG RSHUDWLQJV\VWHPLQGHSHQGHQFH$EULHIGHVFULSWLRQRIWKH ILYHWRROVDOUHDG\SUHVHQWHGLQ>@IROORZV 7KH $QDO\VHU WRRO H[HFXWHV WKH VWDWLF DQDO\VLV RI WKH VRXUFH FRGH 7KH SDUVHU DQG OH[LFDO DQDO\VHU >@ IRU WKH &2%2/ SURJUDPPLQJ ODQJXDJH DUH WKH PRVW LPSRUWDQW FRPSRQHQWV RI WKH WRRO 7KH\ DUH LPSOHPHQWHG E\ XVLQJ WKH $17/5 HQYLURQPHQW > @ D -DYD UH LPSOHPHQWDWLRQRI3&&763XUGXH&RPSLOHU&RQVWUXFWLRQ 7RRO 6HW WKDW DXWRPDWLFDOO\ JHQHUDWHV D UHFXUVLYHGHVFHQW // N SDUVHU DQG D SUHGLFDWHG// N OH[HU IURP ([WHQGHG %1)VSHFLILFDWLRQ 7KH5HSRVLWRU\VWRUHVWKHLQIRUPDWLRQUHFRYHUHGE\WKH DQDO\VHUDQGWKHUHVXOWVSURGXFHGE\WKHRWKHUWRRONLWWRROV ,WLVDUHODWLRQDOGDWDEDVHDFFHVVHGXVLQJWKH-'%&$3,,W FDQ EH DQ\ UHODWLRQDO GDWDEDVH IRU ZKLFK WKHUH LV HLWKHU D -'%&RUDQ2'%&GULYHU 7KH &RQWUROOHU WRRO SURGXFHV JUDSKLF DQG WH[WXDO UHSRUWV E\ SURFHVVLQJ WKH LQIRUPDWLRQ LQ WKH 5HSRVLWRU\ 7KH UHSRUWV KDYH WKH GRXEOH UROH RI SURYLGLQJ VWDWLVWLFDO LQIRUPDWLRQ DERXW WKH OHJDF\ V\VWHP DQG RI FRRUGLQDWLQJ WKHH[HFXWLRQRIWKHRWKHUVWRROV %\ DSSO\LQJ D VOLFLQJ DOJRULWKP EDVHG RQ FRQWURO GHSHQGHQFH DQDO\VLV >@ WKH 6OLFHU WRRO GHFRPSRVHV WKH SURJUDPVWKDWDUHHLWKHULQWHUDFWLYHRUDFFHVVLQJPRUHWKDQ RQH LQSXWRXWSXW GDWD VWRUH ,W LGHQWLILHV DQG FOXVWHUV LQ HDFK QHZ &2%2/ SDUDJUDSK HLWKHU H[FOXVLYHO\ XVHU LQWHUIDFH VWDWHPHQWV RU H[FOXVLYHO\ ,2 VWDWHPHQWV RQ RQH DQG RQO\ RQH SHUVLVWHQW GDWD VWRUH 7KH QHZ SDUDJUDSKV REWDLQHG FDQ EH FODVVLILHG LQ RQH RI WKH IROORZLQJ WKUHH FDWHJRULHV XVHULQWHUIDFH SDUDJUDSKV SDUDJUDSKV PDQDJLQJ RQO\ RQH SHUVLVWHQW GDWD VWRUH DQG SDUDJUDSKV WKDW DUH QRW LQ WKH SUHYLRXV WZR FDWHJRULHV 7KH RXWSXW SURGXFHGE\WKH6OLFHUFRQVLVWVRIDUHPRGXODULVHGYHUVLRQ RI WKH OHJDF\ V\VWHP ZKHUH HDFK SURJUDP LV H[FOXVLYHO\ FRPSRVHGRISDUDJUDSKVEHORQJLQJWRRQHRIWKHFDWHJRULHV DERYH 7KH WRRO UHTXLUHV VRPH XVHU LQWHUDFWLRQ WR FKRRVH ZKLFKPRGDOLW\WRH[WUDFWWKHVOLFHV 7KH $EVWUDFWRU WRRO LGHQWLILHV LQ WKH OHJDF\ V\VWHP WKH REMHFWV DVVRFLDWHG ZLWK WKH GDWD VWRUHV (DFK REMHFW FRUUHVSRQGV WR D GDWD VWRUH FRQWDLQLQJ DWWULEXWHV WKDW DUH DVVRFLDWHG WR LWV GDWD VWUXFWXUH ZKLOH LWV PHWKRGV DUH PRGXOHVFRPSRVHGRISDUDJUDSKVKDYLQJH[FOXVLYHDFFHVV WRWKRVHDWWULEXWHV7RLGHQWLI\WKHPRGXOHVWKH$EVWUDFWRU XVHV WKH GRPLQDQFH UHODWLRQ >@ DQG JURXSV WZR SDUDJUDSKV LI WKH\ DUH RI WKH VDPH FDWHJRU\ DQG WKH\ DUH FRQQHFWHGE\DVWURQJDQGGLUHFWGRPLQDQFHUHODWLRQ 7KH 5HHQJLQHHU WRRO FUHDWHV WKH '$7$ ',9,6,21 ),/(:25.,1*6725$*(H/,1.$*(6(&7,216 RI WKH QHZ &2%2/ SURJUDP FRQWDLQLQJ WKH H[WUDFWHG PHWKRGV7KH),/(6(&7,21FRQWDLQVWKHGHVFULSWLRQRI WKH GDWD VWUXFWXUH RI WKH FRUUHVSRQGLQJ GDWD VWRUH WKH :25.,1*6725$*(6(&7,21LQFOXGHVWKHGHILQLWLRQ RI WKH SURJUDP YDULDEOHV DQG WKH /,1.$*( 6(&7,21
FRQWDLQV WKH GHVFULSWLRQ RI WKH YDULDEOHV GHILQLQJ WKH LQWHUIDFH ZLWK WKH FDOOLQJ SURJUDPV 7KH IROORZLQJ WKUHH VWHSV DUH H[HFXWHG WR GHILQH WKH :25.,1* 6725$*( DQG/,1.$*(6(&7,21V • LGHQWLILFDWLRQ RI WKH LQSXWRXWSXW YDULDEOHV IRU HDFK SDUDJUDSK • LGHQWLILFDWLRQ RI WKH LQWHUIDFH SDUDPHWHUV IRU HDFK PRGXOH • GHILQLWLRQRIWKH'$7$',9,6,21IRUHDFKPRGXOH 7KH JRDO RI WKH :UDSSHU *HQHUDWRU DQG *8, 5H LPSOHPHQWHU WRROV LV WKH JHQHUDWLRQ RI D QHZ V\VWHP DUFKLWHFWXUHIRUWKHOHJDF\V\VWHPEDVHGRQREMHFWRULHQWHG DQG ZHE WHFKQRORJLHV 7KH QH[W VHFWLRQ SURYLGHV D PRUH GHWDLOHGGHVFULSWLRQRIWKLVWRRODQGWKHPLJUDWLRQVWUDWHJ\ SKDVH:UDSSLQJDQG*8,5HLPSOHPHQWLRQLWVXSSRUWV )LQDOO\ WKH WRROV DUH XVHG LQ WKH IROORZLQJ RUGHU WKH $QDO\VHU SDUVHV WKH VRXUFH FRGH UHFHLYHG DV LQSXW DQG UHFRUGVWKHLQIRUPDWLRQH[WUDFWHGLQWRWKH5HSRVLWRU\ WKHQ WKH &RQWUROOHU HYDOXDWHV WKH QHHG WR GHFRPSRVH WKH SURJUDP DQG LQ WKLV FDVH WKH 6OLFHU LV SHUIRUPHG 7KH UHVXOWV RI WKH 6OLFHU FRQVLVW RI WKH GHILQLWLRQ RI QHZ SDUDJUDSKV ZLWK WKH VOLFHV LGHQWLILHG WKLV UHTXLUHV WKH UH H[HFXWLRQ RI WKH $QDO\VHU IRU XSGDWLQJ WKH FRQWHQW RI WKH 5HSRVLWRU\7KH$EVWUDFWRULGHQWLILHVWKHREMHFWVDQGWKHLU PHWKRGV E\ FROOHFWLQJ WKH QHHGHG LQIRUPDWLRQ IURP WKH 5HSRVLWRU\ 7KH 5HHQJLQHHU FRPSXWHV WKH SURJUDP DQG PHWKRGSDUDPHWHUVDQGVWRUHVWKHPLQWKHUHSRVLWRU\7KH *8, 5HLPSOHPHQWHU JHQHUDWHV D QHZ XVHU LQWHUIDFH FRPSRQHQWRIWKHV\VWHPE\XVLQJ-DYD6HUYHU3DJHV -63 >@ DQG +70/ WHFKQRORJLHV 7KH :UDSSHU *HQHUDWRU JHQHUDWHV WKH REMHFW DQG SURJUDP ZUDSSHUV LQ -DYD ODQJXDJHIRUDFFHVVLQJWKHOHJDF\V\VWHP
:UDSSLQJDQG*8,5HLPSOHPHQWDWLRQ
)LJXUH VKRZV WKH QHZ V\VWHP DUFKLWHFWXUH JHQHUDWHG E\ WKH DSSURDFK WDNHQ ,W LV EDVHG RQ WKH 09& GHVLJQ SDWWHUQ > @ WKDW GHFRPSRVHV DQ DSSOLFDWLRQ LQWR WKUHH NLQGVRIFRPSRQHQWV
• WKH0RGHOFRPSRQHQWLPSOHPHQWVWKHEXVLQHVVUXOHV,W LVFRPSRVHGRIREMHFWVKDYLQJWKHWDVNRIPDQDJLQJWKH EXVLQHVV ORJLF DQG LQWHUDFWLQJ ZLWK WKH SHUVLVWHQW GDWD VWRUH • WKH 9LHZ FRPSRQHQW JHQHUDWHV WKH XVHU LQWHUIDFH IRU LQWHUDFWLQJZLWKWKHXVHU • WKH &RQWUROOHU FRPSRQHQW LQWHUFHSWV WKH XVHU UHTXHVW KWWS UHTXHVW LQWHUSUHWV LW DQG LQWHUDFWV ZLWK WKH 0RGHO FRPSRQHQW E\ PHVVDJH H[FKDQJH LQ RUGHU WR VDWLVI\WKHUHTXHVWDVZHOODVZLWKWKH9LHZFRPSRQHQW WRYLVXDOLVHWKHDQVZHU
7KH 09& GHVLJQ SDWWHUQ DOORZV RQH WR NHHS WKH EXVLQHVV ORJLF DQG GDWD ILOHV RI WKH RULJLQDO &2%2/ V\VWHP ,Q SDUWLFXODU WKH GDWD ILOHV FDQ FRQWLQXH WR EH
Proceedings of the Ninth Working Conference on Reverse Engineering (WCRE’02) 1095-1350/02 $17.00 © 2002 IEEE
DFFHVVHG DV LQ WKH RULJLQDO V\VWHP DQG GR QRW QHHG WR EH LPPHGLDWHO\ PLJUDWHG :LWK WKLV DSSURDFK DOO SURJUDPV DFFHVVLQJGDWDILOHVFDQUHPDLQDVWKH\DUH 7KH /HJDF\ 6\VWHP *DWHZD\ LQ )LJXUH DFKLHYHV WKH LQWHJUDWLRQ RI QHZ DUFKLWHFWXUH FRPSRQHQWV ZLWK OHJDF\ FRPSRQHQWV ,W DFWV DV D FRPPXQLFDWLRQ EULGJH DQG VXSSOLHV PHWKRGVIRUFDOOLQJWKHOHJDF\FRPSRQHQWVXVLQJ VHFWLRQ DQG SURJUDP SDUDPHWHUV 7KH SDUDPHWHUV DUH LGHQWLILHGLQWKHSUHYLRXVPLJUDWLRQSKDVHVZKRVHRXWSXWLV WKH5HHQJLQHHUHG6\VWHPWKDWKDVWRFRPPXQLFDWHZLWKWKH QHZDSSOLFDWLRQDUFKLWHFWXUH /HJDF\ 6\VWHP
2WKHUSKDVHV RIWKH
1HZDUFKLWHFWXUH U H V Z R U % E H :
U H Y U H 6 E H :
&RQWUROOHU
0RGHO
PLJUDWLRQVWUDWHJ\
/HJDF\ 6\VWHP *DWHZD\
5HHQJLQHHUHG 6\VWHP
9LHZ &2%2/ 'DWD
)LJXUH1HZDSSOLFDWLRQDUFKLWHFWXUH 7KHFRPSRQHQWRIWKHQHZDUFKLWHFWXUHWKDWLVLQYROYHG LQ WKH LQWHUDFWLRQ ZLWK WKH OHJDF\ V\VWHP LV WKH 0RGHO ,W FRQWDLQV WKH REMHFWV ZUDSSHUV HQFDSVXODWLQJ WKH V\VWHP IXQFWLRQDOLWLHV DQG SRVVHVVLQJ WKH FDSDELOLWLHV IRU H[FKDQJLQJ PHVVDJHV ZLWK WKH OHJDF\ V\VWHP WKURXJK WKH /HJDF\6\VWHP*DWHZD\ 7KH RUJDQL]DWLRQ RI WKH V\VWHP VKRZQ LQ )LJXUH LV UHILQHGLQ)LJXUHZKHUHWKHPRGXOH:UDSSHU*HQHUDWRU DQG *8, 5HLPSOHPHQWHU LV GHSLFWHG 7KLV PRGXOH DXWRPDWLFDOO\JHQHUDWHVWKHZUDSSHUVRI&REROFRPSRQHQWV DW 0RGHO 9LHZ DQG &RQWUROOHU OHYHOV DQG LQWHJUDWHV WKHP LQWR D 09& DUFKLWHFWXUH ,Q )LJXUH WKH LPSOHPHQWHG WRROVDWWKHERWWRPDQGWKHQHZDUFKLWHFWXUHFRPSRQHQWVDW WKH WRS DUH OLQNHG E\ GDVKHG OLQHV UHSUHVHQWLQJ -DYD FRGH JHQHUDWLRQ7KHVROLGOLQHVLQWKHILJXUHUHSUHVHQWHLWKHUXVH UHODWLRQV RU PHVVDJH H[FKDQJHV EHWZHHQ YDULRXV FRPSRQHQWV 7KH :UDSSHU *HQHUDWRU DQG *8, 5HLPSOHPHQWHU KDV EHHQ LPSOHPHQWHG LQ WKH SURJUDPPLQJ ODQJXDJH -DYD XVLQJ WKH LQWHJUDWHG GHYHORSPHQW HQYLURQPHQW 681 0LFURV\VWHPV)257(70IRU-DYDUHOHDVH&RPPXQLW\ (GLWLRQ (YHQ WKH RXWSXWV RI WKH YDULRXV FRPSRQHQWV DUH JHQHUDWHGLQ-DYDVRXUFHFRGH 7KH :UDSSHU *HQHUDWRU DQG *8, 5HLPSOHPHQWHU LV FRPSRVHG RI IRXU JHQHUDWRUV %\ DQDO\VLQJ WKH LQIRUPDWLRQ SURGXFHG E\ WKH ILUVW SKDVHV RI WKH PLJUDWLRQ SURFHVV DQG VWRUHG LQ WKH UHSRVLWRU\ HDFK RI WKHP JHQHUDWHVDVSHFLILFFRPSRQHQWLQWKHQHZDUFKLWHFWXUH$V VKRZQ LQ )LJXUH WKUHH JHQHUDWRUV JHQHUDWH WKH 0RGHO
FRPSRQHQW WKDW FRQWDLQV WKUHH NLQGV RI SDFNDJHV 3HUVLVWHQW 'DWD :UDSSHUV 3URJUDP :UDSSHUV DQG 8VHU ,QWHUIDFH%HDQV(DFKJHQHUDWRULVGHVFULEHGEHORZZLWKLWV LQSXWDQGRXWSXW 1(:$5&+,7(&785(
0RGHO 3HUVLVWHQW 'DWD
U H V Z R U % E H :
U H Y U H 6 E H
&RQWUR OOHU
:UDSSHU
3(5&RERO
6HUY OHW
(QY LURQPHQW 3URJUDP :UDSSHU
-DYD
&2%2/
7UDQVODWLRQRI
'DWD
WKH&2%2/
:
OHJDF\ V\VWH P 9LHZ
8VHU
-63
,QWHUIDFH %HDQ
&2%2/ VRXUFH FRGH
9LHZ *H QHUDWRU
3URJUDP :UDSSHU *H QHUDWRU
2WKHUSKDVHV RI 5HSRVLWRU\
&R QWUROOHU
WKH0LJUDWLR Q 6WUDWHJ\
*H QHUDWRU
'DWD :UD SSHU *H QHUDWRU
:UDSSHU*HQHUDWRU DQG ,QWHUIDFH5HLPSOHPHQWHU
)LJXUH:UDSSHUJHQHUDWRUDQG*8,5H LPSOHPHQWHU 7KH 9LHZ *HQHUDWRU JHQHUDWHV WKH -63 SDJHV RI WKH 9LHZFRPSRQHQWDQGWKHLUUHODWHG8VHU,QWHUIDFH%HDQVLQ WKH0RGHOFRPSRQHQWLPSOHPHQWHGZLWK-DYD%HDQV>@ $ EHDQ LV D -DYD FODVV GHYHORSHG E\ FRGLQJ LWV DWWULEXWHV DQG PHWKRGV LQ D ZHOOGHILQHG VW\OH 2QH -63 SDJH LPSOHPHQWV D +70/ IRUP FRUUHVSRQGLQJ WR D FKDUDFWHU EDVHGVFUHHQRIWKHOHJDF\V\VWHP7KHROGVFUHHQDQGWKH QHZ +70/ IRUP DUH VLPLODU LQ WHUPV RI LQIRUPDWLRQ GLVSOD\HG DQG FRPPDQGV H[HFXWHG 7KH FRUUHVSRQGHQFH EHWZHHQ WKH +70/ LQWHUIDFH FRPSRQHQWV DQG WKH OHJDF\ RQHV LV GHWHUPLQHG LQ D VWDWLF PDQQHU 7KH WZR LQWHUIDFHV GLIIHULQWKHZD\WKHXVHUFDQLQWHUDFW E\XVLQJH[FOXVLYHO\ WKH NH\ERDUG ZLWK WKH RULJLQDO WH[W VFUHHQ DQG E\ LQWHUDFWLQJ ZLWK ERWK PRXVH DQG NH\ERDUG ZLWK WKH QHZ +70/ LQWHUIDFH 0RUHRYHU WKH IXQFWLRQ NH\V RI WKH RULJLQDOLQWHUIDFHDUHUHSODFHGE\85/OLQNVLQWKH+70/ LQWHUIDFH )LQDOO\ E\ XVLQJ WKH ILHOGV RI WKH DVVRFLDWHG 8VHU ,QWHUIDFH %HDQ WKH +70/ IRUP FDQ EH ILOOHG 7KH 9LHZ JHQHUDWRU SHUIRUPV LWV WDVN E\ DQDO\VLQJ WKH LQIRUPDWLRQ UHJDUGLQJ WKH OHJDF\ XVHU LQWHUIDFH UHWULHYHG GXULQJWKHVWDWLFDQDO\VLVSKDVHDQGVWRUHGLQWKHUHSRVLWRU\ DV;0/ILOHV 7KH 3URJUDP :UDSSHU *HQHUDWRU JHQHUDWHV WKH 3URJUDP :UDSSHUV WR HQFDSVXODWH WKH &2%2/ SURJUDP ILOHV 7KH LQSXW WR WKH WRRO FRQVLVWV RI WKH LQIRUPDWLRQ RQ WKHXVHULQWHUIDFHFRPSRQHQWVDQGSHUVLVWHQWGDWDVWRUHWKH &2%2/ OHJDF\ SURJUDP PDQDJHV $ JHQHUDWHG 3URJUDP :UDSSHU REMHFW H[KLELWV WKH IROORZLQJ IXQFWLRQDOLWLHV WR LQWHUSUHW EURZVHU UHTXHVWV VHQW E\ WKH FRQWUROOHU
Proceedings of the Ninth Working Conference on Reverse Engineering (WCRE’02) 1095-1350/02 $17.00 © 2002 IEEE
FRPSRQHQW WR ORDG IRUP FRQWHQW LQWR WKH FRUUHVSRQGLQJ 8VHU ,QWHUIDFH %HDQ WR VHUYH WKH UHTXHVW E\ FDOOLQJ D SURJUDP ZUDSSHU PHWKRG WR UHWXUQ WR WKH &RQWUROOHU WKH -63 SDJH UHSUHVHQWLQJ WKH UHVSRQVH WR WKH XVHU ZLWK WKH DVVRFLDWHGUHVXOWVVWRUHGLQWKH8VHU,QWHUIDFH%HDQ %\DQDO\VLQJWKHLQIRUPDWLRQH[WUDFWHGGXULQJWKHVWDWLF DQDO\VLV SKDVH WKH &RQWUROOHU *HQHUDWRU JHQHUDWHV WKH &RQWUROOHU FRPSRQHQW RI WKH QHZ DUFKLWHFWXUH $ -DYD 6HUYOHWWKHQLPSOHPHQWVWKHIROORZLQJIXQFWLRQV LQWHUFHSW WKH EURZVHU ZHE UHTXHVW LQWHUSUHW WKH UHTXHVW VHQG WKH UHTXHVW WR WKH SURJUDP ZUDSSHU RI WKH 0RGHO FRPSRQHQW DQGUHWXUQWKHUHVSRQVHWRWKHEURZVHU 7KH 'DWD :UDSSHU *HQHUDWRU JHQHUDWHV WKH 3HUVLVWHQW 'DWD :UDSSHUV ZKLFK DUH ZUDSSHUV RI WKH REMHFWV LGHQWLILHG LQ WKH 2EMHFW 0RGHO $EVWUDFWLRQ SKDVH RI WKH PLJUDWLRQ SURFHVV 7KH LQSXW RI WKH WRRO FRQVLVWV RI WKH LQIRUPDWLRQ DERXW WKH GDWD IORZ VWUXFWXUH VWRUHG LQ WKH 5HSRVLWRU\ DV ;0/ ILOHV 7KH 3HUVLVWHQW 'DWD :UDSSHU PDSV WKH GDWD UHFRUG VWUXFWXUH WR WKH ),/( 6(&7,21 RI WKH&2%2/V\VWHP 7KH QHZO\ JHQHUDWHG DUFKLWHFWXUH KDV WR LQWHUDFW ZLWK WKH UHHQJLQHHUHG &2%2/ V\VWHP DQG LWV GDWD 7KLV LV DFKLHYHGE\XVLQJDVDJDWHZD\WKHWRRO3(5&RERO70>@ GHYHORSHG E\ /HJDF\-70 7KH FRPPHUFLDO &2%2/ FRPSLOHU 3(5&RERO WUDQVODWHV D &2%2/ SURJUDP LQWR -DYDFRGH7KHXVDJHRID&2%2/FRPSLOHUZDVQHFHVVDU\ WR DOORZ DFFHVV WR WKH OHJDF\ GDWD ZLWKRXW SHUIRUPLQJ D GDWD PLJUDWLRQ SURFHVV 7KH FRPSLOHU 3(5&RERO ZDV FKRVHQ IRU WKH JHQHUDWLRQ RI -DYD FRGH DOORZLQJ LWV LQGHSHQGHQFH IURP WKH KDUGZDUH SODWIRUP DQG RSHUDWLQJ V\VWHP 3(5&RERO FUHDWHV D -DYD FODVV IRU HDFK &2%2/ ILOH 7KH -DYD FODVV FRQWDLQV D PHWKRG IRU HDFK VHFWLRQSDUDJUDSK LQ WKH &2%2/ SURJUDP DQG VRPH LQWHUQDO FODVVHV LPSOHPHQWLQJ WKH ),/( 6(&7,21 WKH :25.,1* 6725$*( 6(&7,21 DQG WKH /,1.$*( 6(&7,21RIWKH'$7$',9,6,21 )LJXUH VKRZV WKH FRUUHVSRQGHQFH EHWZHHQ WKH &2%2/ ILOH VHFWLRQV DQG WKH -DYD FODVVHV JHQHUDWHG E\ 3(5&RERO 7KH -DYD YHUVLRQ PDNHV LW SRVVLEOH WR VHWJHW WKH &2%2/ YDULDEOH YDOXHV DQG WR H[HFXWH D VLQJOH SDUDJUDSKFRGHE\FDOOLQJWKHUHODWLYH-DYDSUR[\PHWKRG &2%2/&RGH
-DYD&RGH
'$7$',9,6,21
&ODVVIRUWKH&REROILOH
• •
• • •
),/(6(&7,21 :25.,1*6725$*( 6(&7,21
•
/,1.$*(6(&7,21
,QQHU&ODVV)LO ,QQHU&ODVV:UN ,QQHU&ODVV/QN
352&('85(',9,6,21
•
•
3$5$*5$3+
0HWKRG
)LJXUH5HODWLRQVEHWZHHQ&2%2/VRXUFH DQG-DYDFRGHJHQHUDWHGIURP3(5&RERO 7KH SDUDPHWHUV RI WKH UHHQJLQHHUHG &2%2/ SURJUDP PRGXOH LGHQWLILHG GXULQJ WKH 5HHQJLQHHULQJ SKDVH DUH LQGLVSHQVDEOH IRU GHILQLQJ WKH LQWHUIDFH RI WKH ZUDSSHU
PHWKRGV VLQFH 3(5&RERO FDQQRW LGHQWLI\ DXWRPDWLFDOO\ LQSXWRXWSXWSDUDPHWHUV $ 3HUVLVWHQW 'DWD :UDSSHU LV GHILQHG IRU HDFK GDWD VWRUHWKH&2%2/V\VWHPPDQDJHVDQGIRUZKLFKDQREMHFW KDV EHHQ LGHQWLILHG E\ DSSO\LQJ WKH ILUVW SKDVHV RI WKH PLJUDWLRQ VWUDWHJ\ 7KH DWWULEXWHV RI WKH 3HUVLVWHQW 'DWD :UDSSHU FRQVLVW RI D VHW RI ILHOGV RI W\SH VWULQJ HDFK RI ZKLFK FRUUHVSRQGV WR D ILHOG LQ WKH DVVRFLDWH UHFRUG VWUXFWXUH VHW DQG JHW PHWKRGV DUH GHILQHG IRU HDFK ILHOG )RU HDFK PHWKRG DVVRFLDWHG ZLWK WKH REMHFWV LGHQWLILHG D PHWKRGLQWKH3HUVLVWHQW'DWD:UDSSHULVGHILQHGWRDFWDV DQLQWHUIDFHZLWKWKHFRUUHVSRQGLQJ&2%2/SURJUDP7KH 'DWD:UDSSHU*HQHUDWRUSHUIRUPVWKLVWDVNDXWRPDWLFDOO\ E\ FRQVLGHULQJ WKH PHWKRGV¶ LQSXWRXWSXW SDUDPHWHUV LGHQWLILHGYLDWKH5HHQJLQHHUWRRO>@ 7R EHWWHU H[SODLQ WKH JHQHUDWLRQ RI D 3HUVLVWHQW 'DWD :UDSSHUPHWKRGZHFRQVLGHUDK\SRWKHWLFREMHFWZUDSSHU FDOOHG2EM:UDSSHU7DEOHVKRZVWKH2EM:UDSSHUREMHFW SURJUDPBLQVWLVDQLQVWDQFHRIWKH-DYDFODVVSURJUDPB JHQHUDWHG E\ XVLQJ 3(5&RERO E\ WUDQVODWLQJ WKH 352*5$0&%/ ILOH SURJUDPB FRQWDLQV WKH DWWULEXWHV ZUNOQNILOZKLFKLPSOHPHQWWKH:25.,1*6725$*( /,1.$*(DQG),/(6(&7,216UHVSHFWLYHO\RIWKHILOH 352*5$0&%/ «««««« SXEOLFFODVV2EM:UDSSHU^ SURJUDPBSURJUDPBLQVW «««««««««« FODVVDWWULEXWHFRPSRVHGRIILHOGRIWKHILOH GDWDVWUXFWXUHGHILQHGLQWKH),/(6(&7,21 6WULQJSDUB ««««««««««« SXEOLF6WULQJJHW3DUB ^ UHWXUQ SDUB ` SULYDWHYRLGVHW3DUB 6WULQJSDUB ^ WKLVSDUB SDUB ` ««««««««««««« SXEOLFYRLGPHWKRGB 6WULQJSDUB6WULQJSDUB ^ V\QFKURQL]HG SURJUDPBLQVW ^ SURJUDPBLQVWOQNSDUBPRYH SDUB SURJUDPBLQVWZUNSDUBB2)BILHOGBPRYH SDUB SURJUDPBLQVWVHFWLRQB ILOO$WWULEXWH ` ` ««««««««««««««« SULYDWHYRLGILOO$WWULEXWH ^ SDUB SURJUDPBLQVWILOSDUB WR6WULQJ ««««««««««««««««« ``
7DEOH±6WUXFWXUHRIWKH2EM:UDSSHUREMHFW $VVKRZQLQ7DEOHWKH2EM:UDSSHUFODVVFRQWDLQVWKH DWWULEXWHV RQH IRU HDFK XQVWUXFWXUHG ILHOG LQ WKH ),/( 6(&7,21 RI WKH SHUVLVWHQW GDWD VWRUH DVVRFLDWHG WR 2EM:UDSSHU DQG WKHLU VHWJHW PHWKRGV )RU H[DPSOH LI SDUBLVDSDUDPHWHULQWKH),/(6(&7,21WKH PHWKRGV JHW3DUDQGVHW3DUDUHGHILQHG $PRUHFRPSOH[H[DPSOHLVSURYLGHGE\WKHPHWKRGB PHWKRG WKDW LPSOHPHQWV D IXQFWLRQ LQ WKH SDUDJUDSKVHFWLRQQDPHGVHFWLRQRIWKH&2%2/SURJUDP
Proceedings of the Ninth Working Conference on Reverse Engineering (WCRE’02) 1095-1350/02 $17.00 © 2002 IEEE
352*5$0 :H VXSSRVHV WKDW LQ WKH 5HHQJLQHHULQJ SKDVHWKUHHSDUDPHWHUVDUHLGHQWLILHGIRUVHFWLRQ SDUB DQ RXWSXW SDUDPHWHU RI VHFWLRQ FRGHG LQ WKH),/(6(&7,21 • SDUB DQ LQSXWRXWSXW SDUDPHWHU RI VHFWLRQ FRGHGLQWKH/,1.$*(6(&7,21 • SDUBDQLQSXWSDUDPHWHURIVHFWLRQFRGHGLQWKH :25.,1*6725$*(6(&7,21 0RUHRYHU ZH VXSSRVH WKDW SDUB LV D VXEILHOG RI VWUXFWXUHGILHOGILHOG 7KH ILUVW WZR LQVWUXFWLRQV LQ WKH PHWKRGB PHWKRG WR RSHUDWH RQ SURJUDPBLQVW LPSOHPHQW WKH SDVVDJH RI SDUDPHWHUV WR WKH SURJUDPBLQVW REMHFW ZKLOH WKH IROORZLQJLQVWUXFWLRQSHUPLWVWKHH[HFXWLRQRIWKH&2%2/ VHFWLRQ VHFWLRQ 7KH ILOO$WWULEXWH PHWKRG XSGDWHV WKH 2EM:UDSSHU¶V SDU DWWULEXWHV ZLWK WKH YDOXH RI WKH FRUUHVSRQGLQJ&2%2/),/(6(&7,21SDUDPHWHU •
««««««««««««««««« SURJUDPBSURJUDPBLQVW QHZSURJUDPB 2EM:UDSSHUREMBZUDSSHU QHZ2EM:UDSSHU REMBZUDSSHUVHW3URJUDP:UDSSHU SURJUDPBLQVW 6WULQJSDUBSDUB «««SDUB «««« REMBZUDSSHUPHWKRGB SDUBSDUB SDUB REMBZUDSSHUJHW3DUB SDUB SURJUDPBLQVWOQNSDUB WR6WULQJ 0DQDJH2XWSXWPR QHZ0DQDJH2XWSXW SDUBSDUB ««««««««««««««
7DEOH±-DYDFRGHIRUSDVVLQJWKHHODERUDWLRQ UHVXOWVWRRWKHUPHWKRGV 7RUHFHLYHWKHRXWSXWLQIRUPDWLRQDQGVHQGLWWRHLWKHUD QHZ RU D OHJDF\ DSSOLFDWLRQ LW LV QHFHVVDU\ WR UHFRYHU LW IURP WKH '$7$ ',9,6,21 FODVV RI WKH -DYD WUDQVODWHG &REROV\VWHP7DEOHVKRZVWKH-DYDFRGHWKDWKDVWREH SHUIRUPHGE\DQREMHFWWKDWZDQWVWRXVHWKHVHUYLFHVRIWKH PHWKRGB PHWKRG DQG SDVV WKH UHVXOWV WR DQRWKHU REMHFW IRU H[DPSOH D K\SRWKHWLFDO REMHFW 0DQDJH2XWSXW 7KH FRGH LQ 7DEOH UHSUHVHQWV DQ H[DPSOH RI D ZUDSSHU IRU SURYLGLQJH[WHUQDODFFHVVWRWKHIXQFWLRQDOLW\RID&2%2/ SURJUDPUHODWHGWRWKHSHUVLVWHQWGDWDREMHFW2EM:UDSSHU 7KLVFRGHFUHDWHVDQHZLQVWDQFHRIWKH2EM:UDSSHUVHWV WR LW D SRLQWHU WR WKH SURJUDPBLQVW REMHFW LQVWDQFH RI FODVV JHQHUDWHG E\ 3(5&RERO DQG FDOOV LWV PHWKRG PHWKRGBZLWKLQSXWSDUDPHWHUSDUBDQGSDUB$IWHUWKH PHWKRG H[HFXWLRQ SDUB DQG SDUB PRGLILHG E\ PHWKRGB DUHVHQWWRWKH0DQDJH2XWSXWREMHFW 7KH *8, 5HLPSOHPHQWHU KDV EHHQ LPSOHPHQWHG DQG WHVWHGXVLQJWKH1HWVFDSH&RPPXQLFDWRUDVDZHEEURZVHU DQG WKH -DNDUWD 7RPFDW DV D ZHE VHUYHU 7KH UHVXOWV REWDLQHG DOORZ RQH WR XVH WKH &2%2/ OHJDF\ V\VWHP IXQFWLRQVLQDZHEHQDEOHGHQYLURQPHQWWKDWDOVRXVHVWKH GDWDORJLFRIWKDW&REROV\VWHP,QIDFWWKHGDWDVWRUHVDQG VHYHUDO GDWD ILOHV LQ HLWKHU ,1'(;(' RU 6(48(17,$/ IRUPDW DUH QRW PRGLILHG DQG FRQWLQXH WR EH DFFHVVHG E\ WKH&2%2/ORJLFLQ&2%2/IRUPDW
DQ REMHFWRULHQWHG HQYLURQPHQW ZLWK WKHLU FRUUHVSRQGLQJ ZUDSSHUV DQG WKH VXEVHTXHQW UHLPSOHPHQWDWLRQ RI WKHLU XVHULQWHUIDFHZLOOEHGLVFXVVHGKHUH 7KHDSSOLFDWLRQRIWKH:UDSSHU*HQHUDWRUDQG*8,5H LPSOHPHQWHU WR 6@ & $OEDQHVH 7 %RGKXLQ ( *XDUGDEDVFLR 0 7RUWRUHOOD ³$ 7RRONLW IRU $SSO\LQJ D 0LJUDWLRQ 6WUDWHJ\ $ &DVH 6WXG\´ 3URF RI WKH WK (XURSHDQ &RQIHUHQFH RQ 6RIWZDUH 0DLQWHQDQFH DQG 5HHQJLQHHULQJ %XGDSHVW +XQJDU\ ,((( &6 3UHVV 0DUFK >@ * $QWRQLRO 5 )LXWHP ( 0HUOR DQG 3 7RQHOOD ³$SSOLFDWLRQDQG8VHU,QWHUIDFH0LJUDWLRQIURP%$6,&WR9LVXDO &´ 3URF RI ,((( ,QWHUQDWLRQDO &RQIHUHQFH RQ 6RIWZDUH 0DLQWHQDQFH2SLR 1LFH )UDQFH,(((&63UHVV >@ $: $SSHO ³0RGHUQ &RPSLOHU ,PSOHPHQWDWLRQ LQ -DYD´ &DPEULGJH8QLYHUVLW\3UHVV >@ / $YHUVDQR $ &LPLWLOH * &DQIRUD $ 'H /XFLD ³0LJUDWLQJ /HJDF\ 6\VWHPV WR WKH :HE´ 3URF RI WKH WK (XURSHDQ &RQIHUHQFH RQ 6RIWZDUH 0DLQWHQDQFH DQG 5HHQJLQHHULQJ/LVERQ3RUWXJDO,(((&RPS6RF3UHVV SS >@ 0/%URGLH06WRQHEUDNHU³0LJUDWLQJ/HJDF\6\VWHPV *DWHZD\ ,QWHUIDFHV ,QFUHPHQWDO $SSURDFK´ 0RUJDQ .DXIPDQQ3XEOLVKHUV,QF6DQ)UDQFLVFR&DOLIRUQLD >@ ) %XVFKPDQQ 5 0HXQLHU + 5RKQHUW 3 6RPPHUODG 0 6WDO ³3DWWHUQ2ULHQWHG 6RIWZDUH $UFKLWHFWXUH´ :LOH\ 6RQV ,6%1 >@ * &DQIRUD $ &LPLWLOH ³$ 5HIHUHQFH /LIHF\FOH IRU /HJDF\ 6\VWHPV´ 3URF RI ,&6( :RUNVKRS RQ 0LJUDWLRQ 6WUDWHJLHV IRU /HJDF\ 6\VWHPV %RVWRQ 0DVVDFKXVHWWV 86$ ,(((&63UHVV > @ * &DQIRUD $ &LPLWLOH $ 'H /XFLD * $ 'L /XFFD 'HFRPSRVLQJ/HJDF\3URJUDPV D)LUVW6WHSWRZDUGV0LJUDWLQJ WR &OLHQW6HUYHU 3ODWIRUPV 3URF RI WKH WK ,QWHUQDWLRQDO :RUNVKRS RQ 3URJUDP &RPSUHKHQVLRQ ,VFKLD ,WDO\ ,((( &6 3UHVV SS >@ * &DQIRUD $5 )DVROLQR 0 7RUWRUHOOD ³7RZDUGV 5HHQJLQHHULQJ LQ 5HXVH 5HHQJLQHHULQJ 3URFHVVHV´ 3URF RI WKH ,QWHUQDWLRQDO&RQIHUHQFHRQ6RIWZDUH0DLQWHQDQFH2SLR 1LFH )UDQFH,(((&63UHVV SS >@ ' ) &DUU ³:HE(QDEOLQJ /HJDF\ 'DWD :KHQ 5HVRXUFHV $UH7LJKW´,QWHUQHW:RUOG$XJXVW >@ $ &LPLWLOH 8 'H &DUOLQL $ 'H /XFLD ,QFUHPHQWDO 0LJUDWLRQ6WUDWHJ\ 'DWD)ORZ$QDO\VLV)RU:UDSSLQJ3URFRI WKH WK ,((( :RUNLQJ &RQIHUHQFH RQ 5HYHUVH (QJLQHHULQJ +RQROXOX+DZDLL86$,(((&63UHVV SS
Proceedings of the Ninth Working Conference on Reverse Engineering (WCRE’02) 1095-1350/02 $17.00 © 2002 IEEE
>@ $&LPLWLOH*9LVDJJLR³6RIWZDUH6DOYDJLQJDQGWKH&DOO 'RPLQDQFH7UHH´7KH-RXUQDORI6\VWHPDQG6RIWZDUHYRO QR SS >@ , &ODVVHQ . +HQQLJ , 0RKU 0 6FKXO] &8, WR *8, 0LJUDWLRQ 6WDWLF $QDO\VLV RI &KDUDFWHU%DVH 3DQHOV 3URF RI WKH VW (XURSHDQ &RQIHUHQFH RQ 6RIWZDUH 0DLQWHQDQFH DQG 5HHQJLQHHULQJ%HUOLQ*HUPDQ\,(((&63UHVV SS >@ 5 (QJODQGHU ³'HYHORSLQJ -DYD %HDQV´ 2µ5HLOO\ $VVRFLDWHV,QF6HEDVWRSRO&$-XQH >@ *( .UDVQHU DQG 67 3RSH ³$ &RRNERRN IRU 8VLQJ WKH 0RGHO9LHZ&RQWUROOHU 8VHU ,QWHUIDFH 3DUDGLJP LQ 6PDOOWDON ´-RXUQDORI2EMHFW2ULHQWHG3URJUDPPLQJ9RO1 $XJXVW6HSWHPEHU SS >@ ( 0HUOR 3 @ 7 3DUU - /LOO\ 3 :HOOV ³$17/5 5HIHUHQFH 0DQXDO´ PD\ZZZDQWOURUJGRFLQGH[KWPO >@ $ 6HOOLQN + 6QHHG & 9HUKRHI ³5HVWUXFWXULQJ RI &2%2/&,&6 /HJDF\ 6\VWHP´ 3URF RI WKH UG (XURSHDQ &RQIHUHQFH RQ 0DLQWHQDQFH DQG 5HHQJLQHHULQJ $PVWHUGDP 1HWKHUODQGV,(((&63UHVV SS >@ + 0 6QHHG (QFDSVXODWLQJ /HJDF\ 6RIWZDUH IRU 8VH LQ &OLHQW6HUYHU6\VWHPV3URFRIWKHUG:RUNLQJ&RQIHUHQFHRQ 5HYHUVH (QJLQHHULQJ 0RQWHUH\ &$ ,((( &6 3UHVV SS >@ + 0 6QHHG ³3URJUDP ,QWHUIDFH 5HHQJLQHHULQJ IRU :UDSSLQJ´ 3URF RI WK :RUNLQJ &RQIHUHQFH RQ 5HYHUVH (QJLQHHULQJ$PVWHUGDP1HWKHUODQGV,(((&63UHVV SS >@ +06QHHG:UDSSLQJ/HJDF\&2%2/3URJUDPVEHKLQG DQ ;0/LQWHUIDFH 3URF RI WKH WK :RUNLQJ &RQIHUHQFH RQ 5HYHUVH(QJLQHHULQJ6WXWWJDUW*HUPDQ\,(((&63UHVV SS >@ 3K 7KLUDQ - / +DLQDXW :UDSSHU 'HYHORSPHQW IRU /HJDF\ 'DWD 5HXVH 3URF RI WKH WK :RUNLQJ &RQIHUHQFH RQ 5HYHUVH(QJLQHHULQJ6WXWWJDUW*HUPDQ\,(((&63UHVV SS >@ 0*- YDQ GHQ %UDQG $ 6HOOLQN & 9HUKRHI ³&RQWURO )ORZ1RUPDOLVDWLRQIRU&2%2/&,&6/HJDF\6\VWHP´3URFRI WKH QG (XURPLFUR &RQIHUHQFH RQ 0DLQWHQDQFH DQG 5HHQJLQHHULQJ)ORUHQFH,WDO\,(((&63UHVV SS >@ ³$17/5 UHOHDVH ´ $17/5 KWWS ZZZDQWOURUJ >@ ³-DYD 6HUYHU 3DJHV´ -DYD6RIW KWWS MDYDVXQFRPSURGXFWVMVSLQGH[KWPO >@ ³3(5&RERO´ /HJDF\- KWWS ZZZOHJDF\MFRPSHUFBGHVFKWPO
