跨过程相关论文
文中提出了一种跨过程指针别名分析的框架，研究了基于此框架的一个流敏感、上下文敏感的指针分析算法。该算法采用了共享指针指向信......
针对C／C＋＋程序安全漏洞，提出了一种基于契约的跨过程安全分析方法．该方法自下而上分析遍历程序中的函数体．将跨过程分析转变为过程内分析......
对指针别名及其表示方式进行了阐述。描述了跨过程指针别名分析的框架,通过在分析时创建PCG(程序调用图)来处理函数指针。研究了基......
