???????????????????????????????????

???????????????Program Static Analysis???????????д???????￡?????????????????????????????????????????????????裬??????????????淶?????????????????????????????????????????????????????????????????????????????????д???????????????????????????????????????????

?????????????????????????????t????????????????????????????????????????????????????????????????й????

?????????????????

???????????????????????????????????????????????????????????跢?????????????????????????????

??????1?????????г???????????????????????????????г?????з???????????????????????????????????й????????檔???????????????????д??????????????????????????з?????

??????2?????????Ч???????????????????????????????????д???????????????????м??????Ч???????

??????3????????????????????????????????????????????????????????????д????????????????λstrcpy???????????????????????????????????????Щ???????λ????????????????????????????????????????????????????????????

???????????t??????????

??????1???????????????????????????????????????????????????????????????裬?????????????????????????????????????Token?? ???????????????б??Lex????÷????????

??????2???????????ж????????????????????????????????????????????????????? Yacc????ù????

??????3??????????????????????????????ν?????????????????????е?????????????javacc?????????????????

??????4????????????????????????????????????й????????顣

??????5???????????????????????????????y????????????飬??????????????????·??????????????????????????????????????ù??????????????????????

??????6?????????????????????????б??????????????????????????????????????????

??????7??????????????????????ж??????????Щ??????????????????????????????????????????????