C-C++源代碼靜態(tài)檢測系統(tǒng)的設(shè)計(jì)和實(shí)現(xiàn).pdf

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

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