流敏感分析相关论文
对可信指针分析技术的定义和描述、指针分析对软件可信性的保障、可信指针分析属性以及该领域主要研究成果等方面进行了综述。通过......
文件系统中的TOCTTOU缺陷是类Unix操作系统面临的一个严重安全问题,现有的静态检测方法具有很高的误报率.原因有2点：一是对导致TOCT......
程序执行时的越界访问将导致异常的行为，已有的越界检测方法存在效率低或精度不高的缺点．分两步检测程序中的越界访问语句：在约束产生......
程序指向分析是一种静态程序分析技术，它分析程序中指针类型的变量，并计算其运行时可能指向对象的集合。指向分析结果广泛应用于编译......
