计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2012年
24期
46-49
,共4页
刘杰%王嘉捷%欧阳永基%王清贤
劉傑%王嘉捷%歐暘永基%王清賢
류걸%왕가첩%구양영기%왕청현
污点指针%污点传播%符号执行%边界条件%缺陷检测%内存破坏
汙點指針%汙點傳播%符號執行%邊界條件%缺陷檢測%內存破壞
오점지침%오점전파%부호집행%변계조건%결함검측%내존파배
污点指针严重影响二进制代码数据流和控制流的安全.为此,提出一种二进制代码缺陷检测方法.引入指针污点传播规则,结合路径约束条件和边界约束条件得到缺陷引发条件,构造能够引发4类污点指针代码缺陷的输入数据.在Linux系统下实现ELF二进制代码缺陷检测工具,测试结果表明,该方法能降低测试用例生成数量,并发现Linux系统工具的1个虚函数调用控制缺陷和2个指针内存破坏缺陷.
汙點指針嚴重影響二進製代碼數據流和控製流的安全.為此,提齣一種二進製代碼缺陷檢測方法.引入指針汙點傳播規則,結閤路徑約束條件和邊界約束條件得到缺陷引髮條件,構造能夠引髮4類汙點指針代碼缺陷的輸入數據.在Linux繫統下實現ELF二進製代碼缺陷檢測工具,測試結果錶明,該方法能降低測試用例生成數量,併髮現Linux繫統工具的1箇虛函數調用控製缺陷和2箇指針內存破壞缺陷.
오점지침엄중영향이진제대마수거류화공제류적안전.위차,제출일충이진제대마결함검측방법.인입지침오점전파규칙,결합로경약속조건화변계약속조건득도결함인발조건,구조능구인발4류오점지침대마결함적수입수거.재Linux계통하실현ELF이진제대마결함검측공구,측시결과표명,해방법능강저측시용례생성수량,병발현Linux계통공구적1개허함수조용공제결함화2개지침내존파배결함.
