路径敏感分析相关论文
大量而广泛存在的源码系统使得软件源码的安全问题日益重要.文中在大型源码系统中采取路径敏感的方式挖掘关联变量访问规则,并自动......
软件缺陷是衡量软件测试充分性的一项重要指标，为了提高基于BPEL的组合Web服务流程的可靠性和健壮性，提出了一种死路径语义下路径敏......
文件系统中的TOCTTOU缺陷是类Unix操作系统面临的一个严重安全问题,现有的静态检测方法具有很高的误报率.原因有2点：一是对导致TOCT......
