代碼安全審計淺析

近些年來，隨着我國社會發展和科技進步，在軍事、航天、航空、能源、金融、公共安全等衆多領域，國家大型關鍵基礎設施正在向着更強、更高的水平急劇躍升，呈現出超大型化、複雜化、安全關鍵的特徵。軟件在系統中起到核心的作用。隨着軟件規模的日益增大，代碼數量由幾萬行，發展到現在經常出現幾十萬行，甚至幾百萬行代碼的規模，系統的邏輯結構越來越複雜，只靠人工基本上無法滿足代碼審計的對於時效和成本等各方面的要求。 代碼

>>阅读原文<<