论文部分内容阅读
针对C／C＋＋程序安全漏洞，提出了一种基于契约的跨过程安全分析方法．该方法自下而上分析遍历程序中的函数体．将跨过程分析转变为过程内分析．通过为变量和函数附加契约以记录其前置和后置条件，并在程序分析的过程中按照规则更新契约．使得在程序分析时自动进行安全检查．该方法具有代价小，灵活性强的特点．可用来检查程序中指针非法引用、内存泄漏及其他资源泄满等安全漏洞．