您的位置： 专家智库 > >

陈胤立

作品数：1 被引量：3H指数：1
供职机构：北京航空航天大学计算机学院软件开发环境国家重点实验室更多>>
发文基金：国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇软件工程

机构

  • 1篇北京航空航天...

作者

  • 1篇林梦香
  • 1篇陈睿
  • 1篇陈胤立

传媒

  • 1篇北京航空航天...

年份

  • 1篇2009
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于懒替换的C符号执行被引量：3
2009年
针对传统符号执行中的动态地址计算问题,提出了基于懒替换的符号执行方法.通过引入尽可能替换的策略,基于懒替换的符号执行在无法静态确定变量的地址或符号表达式过长时不做符号替换.首先给出了基于懒替换的符号执行算法,在此基础上,详细分析了C语言主要结构尤其是数组和指针的懒符号执行语义.LazySEC是一个面向C程序的懒符号执行系统原型,初步实验表明,它可以有效地处理含有指针和结构体等涉及动态地址计算的程序语言结构.
林梦香陈胤立陈睿周刚
关键词：软件工程
全选 清除 导出
共1页<1>
聚类工具0