您的位置： 专家智库 > >

李仁见

作品数：10 被引量：7H指数：2
供职机构：国防科学技术大学更多>>
发文基金：国家自然科学基金载人航天领域预先研究项国家重点基础研究发展计划更多>>
相关领域：自动化与计算机技术航空宇航科学技术更多>>

合作作者

文献类型

  • 6篇期刊文章
  • 2篇学位论文
  • 2篇专利

领域

  • 8篇自动化与计算...
  • 1篇航空宇航科学...

主题

  • 3篇内存
  • 2篇代码
  • 2篇星载
  • 2篇星载计算机
  • 2篇源代码
  • 2篇链表
  • 2篇漏检
  • 2篇内存错误
  • 2篇内存泄漏
  • 2篇内存泄漏检测
  • 2篇开销
  • 2篇缓冲区
  • 2篇缓冲区溢出
  • 2篇计算机
  • 2篇IP
  • 2篇词法分析
  • 2篇存储开销
  • 1篇堆内存
  • 1篇形态分析
  • 1篇循环处理

机构

  • 10篇国防科学技术...
  • 1篇海军驻沈阳地...

作者

  • 10篇李仁见
  • 4篇陈立前
  • 4篇刘万伟
  • 4篇王戟
  • 3篇董威
  • 3篇董龙明
  • 2篇吴学光
  • 2篇王昭飞
  • 1篇于冠龙
  • 1篇张媛

传媒

  • 1篇武汉大学学报...
  • 1篇计算机工程
  • 1篇软件学报
  • 1篇计算机工程与...
  • 1篇计算机科学
  • 1篇载人航天

年份

  • 1篇2014
  • 4篇2012
  • 3篇2011
  • 1篇2007
  • 1篇2006
共 10 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
命令式程序终止性验证方法综述
2011年
作为软件完全正确性的重要组成部分,程序终止性受到越来越多的关注。旨在跟踪国内外针对命令式程序的终止性验证方法,调研该领域的最新研究成果,同时提出解决该问题的建议性方法框架,对命令式程序终止性研究提供有意义的帮助。给出了程序终止性问题的定义,介绍了已有的数值程序、堆操作程序终止性验证方法,并分别进行了分析与对比。总结了当前研究中存在的难点与热点问题,给出了一种基于模型检验的C程序终止性验证框架,该框架可以作为研究命令式程序终止性的基本框架。
李仁见王昭飞
关键词：终止性秩函数
一种面向堆操作程序的内存泄漏检测方法
本发明公开了一种面向堆操作程序的内存泄漏检测方法，要解决的技术问题是针对当前堆操作程序内存错误检测方面存在精度和效率的问题，提供一种新的内存泄漏检测方法，提高检测的精度和效率。技术方案是先对程序源代码进行语句分析和词法分...
王戟董龙明陈立前董威刘万伟李仁见
星载计算机中IP//ATM及路由关键技术研究与实现
未来卫星通信要求卫星能够无缝透明地接入Internet,然而目前大部分卫星仍然采用原始的通讯模式,并继续在网络层以上独立于Internet;卫星接入Internet最好的解决方案就是使用IP技术。卫星星座工作模式及星际链...
李仁见
关键词：星载计算机RIP缓冲区溢出
文献传递
IP及其路由技术在星载计算机中的应用被引量：1
2007年
卫星接入Internet最好的解决方案就是在卫星通信中使用IP技术。该文结合某型号星载计算机的研制工作,探索IP及其路由技术在卫星通信中的应用;在实时操作系统RTEMS下开发了ATM网络设备驱动,实现了IP over ATM技术以支持IP协议,实现了动态路由协议RIP。针对星载应用的特点,在设计和实现中就协议栈简化、安全性等方面进行了适当的优化,成功地在星载计算机中实现了路由器功能。
李仁见陈立前王戟
关键词：IPATM网络RTEMS星载计算机路由
一种面向堆操作程序的内存泄漏检测方法
本发明公开了一种面向堆操作程序的内存泄漏检测方法，要解决的技术问题是针对当前堆操作程序内存错误检测方面存在精度和效率的问题，提供一种新的内存泄漏检测方法，提高检测的精度和效率。技术方案是先对程序源代码进行语句分析和词法分...
王戟董龙明陈立前董威刘万伟李仁见
文献传递
堆操作程序分析验证技术研究
堆内存为现代计算机软件提供了灵活方便、功能强大的支持,在类C的编程语言中,程序员大量采用递归数据结构操作堆内存。其中,链表是进行堆内存操作时最经常采用的数据结构之一,在操作系统内核代码及驱动程序编写中广泛应用。但包括链表...
李仁见
关键词：形态分析链表
文献传递
精确的堆内存使用量上界分析
2011年
基于符号执行框架分析了程序堆内存使用量的符号化上界.首先扩展了经典符号执行技术中的内存模型,针对堆内存分配与释放操作进行建模,维护堆内存的使用量信息,然后针对"平板循环"、带分支循环等常见循环结构给出了特殊处理策略,并采用程序切片技术缩减程序分析的规模.最后基于开源符号执行工具KLEE设计实现了一个堆内存使用量上界分析原型工具.实验结果证明,该工具能够针对很多常见程序给出精确可靠的堆内存使用量上界.
李仁见刘万伟王昭飞吴学光
关键词：循环处理程序切片
一种基于变量可达向量的链表抽象方法
2012年
提出了一种链表抽象表示方法.该方法隐式存储链表结点之间的边信息,并采用了一种紧致的链表状态表示,存储开销较低,且维护了链表长度信息,精确度较高.具体而言,根据变量对链表结点的可达性质定义了变量可达向量,采用带计数的变量可达向量集描述链表的形态及数量性质,并定义了基本链表操作的抽象语义.通过简单扩展,该方法可以建模包括环形链表在内的所有单向链表.最后,为了验证该链表抽象方法的正确性,在符号执行框架中进行实验,并对常见链表操作程序的运行时错误、长度相关性质等关键性质进行了分析与验证.
李仁见刘万伟陈立前王戟
面向载人航天软件安全性的标准、方法及工具综述被引量：2
2012年
调研与学习已有的标准、方法和工具,是保障载人航天软件安全性的必要途径。首先以DO-178B标准为例介绍了适用于我国载人航天软件研制的安全性标准;然后基于DO-178B标准的安全性要求,介绍了三种适用的软件安全性保障方法;最后总结介绍了一些采用不同技术手段增强软件安全性的工具。基于文中的调研结果及我国载人航天系统的研制现状,给出了一种建议的载人航天软件安全性保障框架,可对我国载人航天型号研制中软件安全性保障工作提供一定的指导意义。
李仁见董威董龙明吴学光
关键词：载人航天软件开发方法
一种基于模型检验的缓冲区溢出检测方法被引量：4
2012年
缓冲区溢出已经成为程序漏洞的主要根源之一。目前存在的缓冲区溢出检测方法或多或少地都存在着不足,从而限制了这些方法的实际应用。深入研究了当前缓冲区溢出检测方法的优缺点,对程序中的缓冲区及其相关操作进行建模,设计了一种基于模型检验的缓冲区溢出检测方法,并开发了一个原型工具来对该方法进行初步验证。在剖析缓冲区溢出基本原理的基础上,对程序中的缓冲区及其相关操作建立了理论模型,设计了一种基于模型检验的缓冲区溢出检测方法。最后,实现了一个原型工具来对该方法进行初步验证。
张媛张媛于冠龙
关键词：缓冲区溢出
全选 清除 导出
共1页<1>
聚类工具0