陈睿
- 作品数：4 被引量：4H指数：1
- 供职机构：北京航空航天大学计算机学院软件开发环境国家重点实验室更多>>
- 发文基金：国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 面向自定义规则的静态分析器的研究与实现
- 陈睿
- 关键词：过程间分析
- 基于懒替换的C符号执行被引量：3
- 2009年
- 针对传统符号执行中的动态地址计算问题,提出了基于懒替换的符号执行方法.通过引入尽可能替换的策略,基于懒替换的符号执行在无法静态确定变量的地址或符号表达式过长时不做符号替换.首先给出了基于懒替换的符号执行算法,在此基础上,详细分析了C语言主要结构尤其是数组和指针的懒符号执行语义.LazySEC是一个面向C程序的懒符号执行系统原型,初步实验表明,它可以有效地处理含有指针和结构体等涉及动态地址计算的程序语言结构.
- 林梦香陈胤立陈睿周刚
- 关键词：软件工程
- 利用关系数据库实现无模式XML数据管理平台被引量：1
- 2005年
- 基于目前无模式XML数据被广泛应用的现状,研究了如何利用关系数据库对无模式XML数据进行统一管理, 设计并验证了一种基于关系数据库的统一无模式XML数据管理平台。分析了什么是无模式XML数据,介绍了管理平台 的总体结构,详细叙述了管理平台的设计思想和实现技术,结合实际的应用项目验证了无模式XML数据管理平台。
- 陈睿林广艳
- 关键词：XMLXQUERY关系数据库数据管理平台
- 基于XQuery的XML查询工具的研究与实现
- 自XML问世至今,获得了广泛的应用,大量的XML数据不仅出现在Web上,而且在信息处理的各个领域,它已经成为数据组织和交换事实上的标准.在XML的各类应用中,查询问题是急待解决的重要共性问题.为了解决XML查询问题,W3...
- 陈睿
- 关键词：XMLXQUERYXML查询
- 文献传递
