field and context sensitive analysis; heap-manipulating programs; memory leak detection; modular heap abstraction;
机译:自动完善堆操作程序的部分规范
机译:构建堆操作程序的验证
机译:验证并发堆操作程序的安全属性
机译:基于模块化堆抽象的堆操作程序的代码克隆检测
机译:证明堆操作程序正确性的自动技术。
机译:堆:一种高灵敏准确的SNP检测工具用于低覆盖率高通量测序数据
机译:基于模块化堆抽象的堆操作程序内存泄漏检测
机译:仪器分析:一种自动生成堆操作程序数值抽象的方法