程序静态分析相关论文
抽象解释理论是Cousot.P和Cousot.R于1977年提出的程序静态分析时构造和逼近程序的不动点理论。它的一个重要应用是分析程序中的变......
计算机软件在快速发展给人们带来方便,但同时由于软件规模日趋庞大、形态日趋复杂,而使得许多软件本身的可信性变得越来越脆弱。传......
在编译器测试中,基于部分求值技术的编译器测试方法将用于编译器优化和程序例化的部分求值技术应用到编译器测试中,是一种比较新颖......
智能手机在日常生活中已成为必不可少的电子产品,其中运行Android系统的设备在智能手机市场上占据很大比例,在Android系统上运行的......
