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