取值范围分析技术研究现状

• 分析内容
• 问题分解
• 范围传播——基础范围传播
• 范围传播——分支点处理
• 范围传播——符号范围传播
• 范围分析
• 范围表示

范围分析技术的应用

• 范围分析技术

  范围信息 的应用

• 通过值范围传播进行准确的静态分支预测
• 在JIT编译器中动态消除冗余溢出测试

范围分析在缺陷检测技术的思考

• 值抽象—结合抽象解释
• 状态抽象—结合符号分析
• 指针抽象 —> 指针分析

范围分析在缺陷检测技术的思考

• 依托准确的取值范围分析
• 允许取值范围不准确

本次组会内容下载链接