过程内分析相关论文
程序静态分析不编译运行程序，而是对程序源代码进行分析以发现其中的错误。静态分析的目标不是证明程序完全正确，而是在程序运行前尽......
能耗是制约便携式智能设备发展的重要瓶颈.随着嵌入式操作系统的广泛应用,因不能合理使用操作系统的API而导致的能耗错误已经成为......
符号执行是路径敏感的分析方法,分析精度高,时间空间消耗较大,是作为单元测试的一种很好的方法。针对符号执行的特点,本文提出一种......
指针别名分析在Ｃ语言的并行优化中占有重要的地位，但已有的指针别名分析只能处理指针标量的情况．文章在介绍已有指针别名信息表示法的......
