计算机研究与发展
計算機研究與髮展
계산궤연구여발전
JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT
2006年
10期
1760-1766
,共7页
越界访问%静态分析%条件范围约束%线性规划%流敏感分析%可靠性%安全
越界訪問%靜態分析%條件範圍約束%線性規劃%流敏感分析%可靠性%安全
월계방문%정태분석%조건범위약속%선성규화%류민감분석%가고성%안전
程序执行时的越界访问将导致异常的行为,已有的越界检测方法存在效率低或精度不高的缺点.分两步检测程序中的越界访问语句:在约束产生阶段,提出一个流敏感、过程间的约束状态产生算法,为每条语句建立一个范围约束集合和值约束集合;在约束求解阶段,利用线性规划计算程序访问的内存大小和偏移量,报告可能的越界访问漏洞.实验表明,检测效率明显高于路径敏感的范围分析方法,而平均检测精度高于80%.
程序執行時的越界訪問將導緻異常的行為,已有的越界檢測方法存在效率低或精度不高的缺點.分兩步檢測程序中的越界訪問語句:在約束產生階段,提齣一箇流敏感、過程間的約束狀態產生算法,為每條語句建立一箇範圍約束集閤和值約束集閤;在約束求解階段,利用線性規劃計算程序訪問的內存大小和偏移量,報告可能的越界訪問漏洞.實驗錶明,檢測效率明顯高于路徑敏感的範圍分析方法,而平均檢測精度高于80%.
정서집행시적월계방문장도치이상적행위,이유적월계검측방법존재효솔저혹정도불고적결점.분량보검측정서중적월계방문어구:재약속산생계단,제출일개류민감、과정간적약속상태산생산법,위매조어구건립일개범위약속집합화치약속집합;재약속구해계단,이용선성규화계산정서방문적내존대소화편이량,보고가능적월계방문루동.실험표명,검측효솔명현고우로경민감적범위분석방법,이평균검측정도고우80%.