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

??????5?????????????????????????????????д????????????????Щ??????????????????????????????????????????????????????????????????л????????????????????????????????

??????6????????????????????????????????й??????????У??????????????ú??????????????????????????

??????7???????????????????????????????????????????????????д??????????????????????????????ж???????????????????????????δ????????????Щ??????????????????ж?????????????????

????3???????

?????????????????????????????????????????????????????崦??????????????ɡ?????????????IP ??????????裬?????????IP???????????????1?????

???????????????????????￡?

??????1??????????????????д?????塢??????????????????????????????????д??????????????????????????????????????????????????

??????2?? ?????????????????β??????м??????з???γ??????????????????????????????????У???????????????????????????????????????????

??????3?????????????崦??????????????????????????????????????????????????????????????????????????????????????塢???????????????????????????????????????????????????????????????????????????????????????????????????????????????????

??????4?????????????ɡ????????????崦????????????????????????е??????????????????????????????????????????????????к?????????????????????????????????????????????

??????5????????????ɡ???????????????????????????????????????????????????????????????

??????6??IP??衣IP?????????????????裬???????????????????????????????????????????????????IP??????????????????????????????????????????

??????7??????????????????????????????????IP?????????????IP????????ж?????????????????????????????????????衣?????????????????о???????????????8h???????100??200??IP??

????4????????

???????????????????????????Ч?????????????????????????????????????????????????????????????????????????÷?????????????????????????????г???????С???????????????????е?????????????????????е????????÷???????????е??????????????????????????????????г???????????????Reasoning ??????Klocwork ???????????????C++/ Java????????汾????????????????????????????ü??????о??????????????????????Ч????