interprocedural相关论文
过程间分析技术通常用于静态检测并行程序中的错误模式实例,目前已成为静态测试、错误模式匹配等领域的研究热点。然而,现存的过程......
针对C/C++程序安全漏洞,提出了一种基于契约的跨过程安全分析方法.该方法自下而上分析遍历程序中的函数体.将跨过程分析转变为过程内分析......
对指针别名及其表示方式进行了阐述。描述了跨过程指针别名分析的框架,通过在分析时创建PCG(程序调用图)来处理函数指针。研究了基......