基于契约相关硕士博士期刊学术论文

针对C／C＋＋程序安全漏洞，提出了一种基于契约的跨过程安全分析方法．该方法自下而上分析遍历程序中的函数体．将跨过程分析转变为过程内分析......