位置：成果数据库 > 会议 > 会议详情页
Static Analysis of List-manipulating Programs via Bit-Vectors and Numerical Abstractions
  • 所属机构名称：中国人民解放军国防科学技术大学
  • 会议名称：The 28th Symposium On Applied Computing (SAC 2013)
  • 时间：2013.3.18
  • 成果类型：会议
  • 相关项目：面向数值程序安全性与鲁棒性的抽象解释技术
同会议论文项目
面向数值程序安全性与鲁棒性的抽象解释技术
期刊论文 6 会议论文 7
同项目会议论文
Data Race Detection for Interrupt-Driven Programs via Bounded Model Checking
Modular Heap Abstraction-based Memory Leak Detection for Heap-manipulating Programs
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
基于指向与数值抽象的带指针算术程序的分析方法