C程序數(shù)組越界檢查技術研究.pdf

1、隨著軟件的廣泛應用，用戶在追求滿足越來越復雜的邏輯功能的同時也在追求高安全、高可靠的軟件。數(shù)組越界錯誤是一類常見的運行時錯誤，已經(jīng)成為影響程序正常運行的重大隱患。
　　數(shù)組本質(zhì)上可看作是下標變量到數(shù)組元素的映射。基于這一思想，本文將數(shù)組越界問題轉(zhuǎn)換為程序變量值范圍分析問題。抽象解釋為程序靜態(tài)分析提供了理論基礎，可在編譯時自動分析出程序中變量的取值范圍。基于該技術，本文建立了支持數(shù)組越界檢查的數(shù)值程序靜態(tài)分析框架。該框架包括前端預處

2、理、抽象域庫和不動點求解器三個模塊，其中面向數(shù)組分析的抽象域的設計是實現(xiàn)數(shù)組越界檢查的關鍵，也是本文的重點工作。
　　為了支持面向數(shù)組的分析，本文從不同精度與可擴展性需要出發(fā)，設計并實現(xiàn)了兩類面向數(shù)組分析的抽象域:
　　1、基于合并語義的抽象域arrayMerge。為了獲得高可擴展性，本文把整個數(shù)組抽象成一個單獨的區(qū)間變量來處理，設計并開發(fā)了相應抽象域arrayMerge;
　　2、基于分離語義的抽象域arraySma