跨过程相关论文
传统的单个函数的编译方式往往将寄存器分配限制在过程内,这在一定程度影响了寄存器分配优化的质量,而过程间分析技术的引入有望解......
文中提出了一种跨过程指针别名分析的框架,研究了基于此框架的一个流敏感、上下文敏感的指针分析算法。该算法采用了共享指针指向信......
针对C/C++程序安全漏洞,提出了一种基于契约的跨过程安全分析方法.该方法自下而上分析遍历程序中的函数体.将跨过程分析转变为过程内分析......
对指针别名及其表示方式进行了阐述。描述了跨过程指针别名分析的框架,通过在分析时创建PCG(程序调用图)来处理函数指针。研究了基......