陈立前 作品数:111 被引量:116 H指数:6 供职机构: 国防科学技术大学 更多>> 发文基金: 国家自然科学基金 国家高技术研究发展计划 湖南省自然科学基金 更多>> 相关领域: 自动化与计算机技术 文化科学 理学 更多>>
一种基于浮点格式感知模糊测试的浮点异常检测方法 本发明公开了一种基于浮点格式感知模糊测试的浮点异常检测方法,其包括:步骤S1:静态分析和插桩;利用静态分析技术识别并得到程序中所有的浮点操作以及程序的控制流图信息,定义并插桩相应的检测函数;为每个浮点操作插入了ErrBi... 陈立前 马成虎 王戟 易昕 范广生 毛晓光 陈振邦 董威基于原型设计的人机交互课程实验方案 被引量:2 2016年 人机交互课程是实践性很强的一门课。实验是人机交互课程的重要组成部分。现阶段,国内高校的人机交互课程的学时数普遍不多。没有足够的学时造成无法通过软件开发项目实战来开展人机交互设计实践。一种对策是开展软件界面原型设计实验。描述基于原型设计的人机交互课程实验方案。首先描述了实验目的,接着描述实验任务和目标,再接着重点描述了实验流程,然后描述实验成果验收的办法。最后总结了该实验方案的优势和面临的问题。 叶常春 陈立前关键词:人机交互 基于局部堆内存抽象表示的堆操作程序内存泄露检测 被引量:4 2012年 堆操作程序通过共享易变数据结构可灵活地申请、合并、删除堆内存.这类程序的内存泄漏检测要求精确的域敏感的指针别名信息,变得尤其复杂和难以处理.针对这个问题,提出了基于"指针扩展类型"域敏感的堆内存抽象方法,对指针变量在形态上的排列关系进行抽象以支持堆的局部推理.首先,定义了各种基本语句的操作语义,然后基于该抽象方法采用前向数据流迭代算法提出了一种新的内存泄露检测算法.在Crystal编译框架下实现了面向C程序的内存泄漏检测原型工具Heapcheck,该工具支持复杂数据结构内指针型数据域上的内存泄露检测.在典型基准C程序上的实验结果分析表明,该方法与现有的技术相比在效率和精度上都具有优势. 董龙明 王戟 陈立前 董威关键词:内存泄漏检测 一种面向配置缺陷的定向模糊测试方法 本发明公开了一种面向配置缺陷的定向模糊测试方法,目的是解决目前缺陷检测方法准确性有限,测试时间长问题。技术方案为:构建由配置污点分析模块、距离计算模块、配置与距离插桩模块、定向模糊测试模块构成的面向配置缺陷的定向模糊测试... 李姗姗 张元良 李解 王腾 陈立前 方寸谛 谢一帆 胡柳敏 黄响兵基于资源使用感知模糊测试的程序资源消耗量上界预测方法 本发明公开一种基于资源使用感知模糊测试的程序资源消耗量上界预测方法,步骤包括:步骤S1.利用静态分析方法识别目标程序中指定资源类型的资源操作API、识别涉及资源使用的函数,以及识别资源使用所在的控制流分支,并将预先定义的... 陈立前 黄仁杰 王戟 马成虎 陈振邦 董威 毛晓光 张永政 刘培一种基于图匹配网络的语义类代码克隆检测方法 本发明公开了一种基于图匹配网络的语义类代码克隆检测方法,目的是解决语义类克隆检测结果不准确的问题。技术方案是:构建由代码补全模块、代码中间表示提取模块、语义图构建模块、代码向量生成模块和向量相似度计算器构成的代码克隆检测... 李姗姗 薛志鹏 余跃 姜志杰 董威 陈振邦 陈立前 徐如林 周海芳基于抽象解释的函数内联过程间分析优化方法 被引量:1 2022年 分析实际程序时往往需要分析程序中函数的调用,一般使用过程间分析来实现全程序分析.函数内联是一种最为精确、易于实现的过程间分析方法.通过函数内联,可以使得已有过程内分析方法和工具支持包含函数调用的程序的分析.但是函数内联后代码的规模急剧增加,同时将产生大量中间变量,增加程序分析的变量维度,导致程序分析过程时空开销大大增加.考虑基于抽象解释框架下函数内联过程间分析的一些不足,并提出了相应的优化方法.基于抽象解释的程序分析关注自动推导程序变量之间的不变式约束关系,因此程序变量构成的程序环境大小(即各程序点处须考虑的相关变量集合)对分析的时空开销具有重要影响.为了减少函数内联后程序分析的开销,提出了面向内联函数块的程序环境降维优化方法.该方法针对内联函数后的程序代码,分析确定不同程序点处需维护的程序环境(即相关变量集合),而不是所有程序点共享同一全局程序环境,从而实现程序状态的降维.详细描述了基于该方法所实现的工具DRIP(dimension reduction for analyzing function inlined program)的架构、模块及算法细节.并在WCET Benchmarks测试集开展了分析实验.实验结果表明:DRIP在变量消除上取得的效果良好,甚至在某些测试集上能减少一半以上的变量,并在一定程度上降低了分析过程的时空开销. 陈涛清 范广生 尹帮虎 陈立前 王戟关键词:过程间分析 降维 抽象解释及其应用研究进展 2023年 抽象解释是一种对用于形式描述复杂系统行为的数学结构进行抽象和近似并推导或验证其性质的理论.抽象解释自20世纪70年代提出以来,在语义模型、程序分析验证、混成系统验证、程序转换、系统生物学模型分析等领域取得了广泛应用.近年来,抽象解释在程序分析、神经网络验证、完备性推理、抽象域改进等方面取得较大进展.基于此,系统综述了抽象解释及其应用的研究进展.首先概述了抽象解释理论的基本概念,介绍了抽象解释理论、抽象域的研究进展;然后概述了基于抽象解释的程序分析方面的研究进展;之后概述了基于抽象解释的神经网络模型验证、神经网络模型鲁棒训练、深度学习程序的分析等方面的研究进展;又对抽象解释在智能合约可信保证、信息安全保证、量子计算可信保证等方面的应用进展进行了介绍;最后指明了抽象解释未来可能的研究方向. 陈立前 范广生 尹帮虎 王戟关键词:程序语义 一种基于数值抽象的程序资源使用量自动分析方法 本发明公开了一种基于数值抽象的程序资源使用量自动分析方法,其包括:步骤S1:资源操作API的配置;步骤S2:代码自动插桩;步骤S3:资源引用变量指向分析:通过指向分析得到程序中每个资源引用变量指向的基地址集合及对应的资源... 陈立前 范广生 陈涛清 王戟 尹帮虎 刘江潮 董威 毛晓光 李姗姗文献传递 含有析取语义循环的不变式生成改进方法 被引量:3 2016年 抽象解释为程序不变式的自动化生成提供了通用的框架,但是该框架下的大多数已有数值抽象域只能表达几何上是凸的约束集.因此,对于包含(所对应的约束集是非凸的)析取语义的特殊程序结构,采用传统数值抽象域会导致分析结果不精确.针对显式和隐式含有析取语义的循环结构,提出了基于循环分解和归纳推理的不变式生成改进方法,缓解了抽象解释分析中出现的语义损失问题.实验结果表明:相比已有方法,该方法能为这种包含析取语义的循环结构生成更加精确的不变式,并且有益于一些安全性质的推理. 潘建东 陈立前 黄达明 孙浩 曾庆凯