10.3969/j.issn.1001-2400.2006.03.011
一种基于契约的跨过程安全分析方法
针对C/C++程序安全漏洞,提出了一种基于契约的跨过程安全分析方法.该方法自下而上分析遍历程序中的函数体,将跨过程分析转变为过程内分析.通过为变量和函数附加契约以记录其前置和后置条件,并在程序分析的过程中按照规则更新契约,使得在程序分析时自动进行安全检查.该方法具有代价小,灵活性强的特点,可用来检查程序中指针非法引用、内存泄漏及其他资源泄漏等安全漏洞.
基于契约、跨过程、安全分析
33
TP314(计算技术、计算机技术)
国家部委预研项目51406070101DZ0151
2006-06-27（万方平台首次上网日期，不代表论文的发表时间）
共5页
390-394
