计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2014年
z1期
442-444
,共3页
程序静态分析%函数调用%代码安全
程序靜態分析%函數調用%代碼安全
정서정태분석%함수조용%대마안전
Static code analysis%Function call%Code security
程序静态分析(Program Static Analysis)是指在不运行代码的方式下,通过词法分析、语法分析、控制流分析等技术对程序代码进行扫描,验证代码是否满足规范性、安全性、可靠性、可维护性等指标的一种代码分析技术.首先对程序静态分析的特点、常用静态分析技术、静态分析实现方式进行描述,然后通过一个实例讲解C语言静态代码分析中函数与变量的调用关系的实现方法,总结了现今在C语言调用关系分析中可以借鉴的工具与实现方式.
程序靜態分析(Program Static Analysis)是指在不運行代碼的方式下,通過詞法分析、語法分析、控製流分析等技術對程序代碼進行掃描,驗證代碼是否滿足規範性、安全性、可靠性、可維護性等指標的一種代碼分析技術.首先對程序靜態分析的特點、常用靜態分析技術、靜態分析實現方式進行描述,然後通過一箇實例講解C語言靜態代碼分析中函數與變量的調用關繫的實現方法,總結瞭現今在C語言調用關繫分析中可以藉鑒的工具與實現方式.
정서정태분석(Program Static Analysis)시지재불운행대마적방식하,통과사법분석、어법분석、공제류분석등기술대정서대마진행소묘,험증대마시부만족규범성、안전성、가고성、가유호성등지표적일충대마분석기술.수선대정서정태분석적특점、상용정태분석기술、정태분석실현방식진행묘술,연후통과일개실례강해C어언정태대마분석중함수여변량적조용관계적실현방법,총결료현금재C어언조용관계분석중가이차감적공구여실현방식.
