C-C++源代碼靜態(tài)檢測系統(tǒng)的設計和實現.pdf

1、在線評測系統(tǒng)Online Judge System（簡稱:OJ系統(tǒng)）是程序設計類競賽和教學的重要輔助系統(tǒng)，以自動評測代替?zhèn)鹘y(tǒng)的手工評測代碼的方式，具有高效率、高準確度的特點。但是，OJ系統(tǒng)通常是對提交的源代碼直接進行編譯、測試和運行，如果這些源程序存在錯誤或安全漏洞，將可能會給OJ系統(tǒng)造成安全隱患。所以對提交的源程序進行安全分析（在不運行程序的基礎上）是十分必要的。
　　 本文設計了一個C/C++源代碼靜態(tài)檢測系統(tǒng)，該系統(tǒng)會對學

2、生提交的源代碼(c/c++程序代碼)進行檢測。該系統(tǒng)將會檢測源程序中是否存在數組越界、標準字符串函數錯誤、緩沖區(qū)越界等錯誤。這些錯誤在編譯階段很難被識別。當這些程序在學校的Online Judge System運行時，就很可能危害到OJ系統(tǒng)的正常運行，甚至會造成系統(tǒng)的崩潰。
　　 C/C++源代碼靜態(tài)檢測系統(tǒng)主要采用了靜態(tài)分析技術和符號執(zhí)行技術。系統(tǒng)利用靜態(tài)分析技術對C/C++源程序進行預處理和靜態(tài)分析，然后生成整個程序的靜態(tài)分