位置：成果数据库 > 会议 > 会议详情页
Modular Heap Abstraction-based Memory Leak Detection for Heap-manipulating Programs
  • 所属机构名称：中国人民解放军国防科学技术大学
  • 会议名称：The 19th Asia-Pacific Software Engineering Conference (APSEC 2012)
  • 成果类型：会议
  • 相关项目：面向数值程序安全性与鲁棒性的抽象解释技术
同会议论文项目
面向数值程序安全性与鲁棒性的抽象解释技术
期刊论文 6 会议论文 7
同项目会议论文
Data Race Detection for Interrupt-Driven Programs via Bounded Model Checking
Static Analysis of List-manipulating Programs via Bit-Vectors and Numerical Abstractions
Numerical Static Analysis of Interrupt-driven Programsvia Sequentialization
An Abstract Domain to Infer Octagonal Constraints with Absolute Value
An Abstract Domain to Infer Symbolic Ranges over Nonnegative Parameters
基于指向与数值抽象的带指针算术程序的分析方法