指针分析相关论文
近年来静态程序分析已成为保障软件可靠性、安全性和高效性的关键技术之一.指针分析作为基础程序分析技术为静态程序分析提供关于......
该论文主要研究了C/C++语言程序切片中的指针分析算法.在安全性分析工具的设计中,我们采用程序切片技术进行安全性分析.当进行数据......
本文针对C／C++程序中使用无效指针引起的安全漏洞做静态检测。首先分析了漏洞的表现形式和产生原因，构建安全规则。然后在程序分析时......
人类对计算能力的需求永无止境，高性能计算水平逐渐成为世界强国竞相追逐的焦点。并行化编译作为高性能计算中不可或缺的一部分，能够......
利用Java字节码文件中的属性,本文提出了一种用于Java程序优化的方法。该方法利用前置改良同步逃逸分析算法,将待优化Java程序中冗......
AspectJ是一门新的程序设计语言，它是在Java语言的基础上扩充了AOP系统而来的。AspectJ语言的面向方面程序设计方法能够弥补传统面......
从变量的初始化中获取指针指向信息是完整的指针分析不可缺少的一个重要环节,它有助于提高其它数据流分析的准确性.文中提出了一个......
