蒋剑琴
- 作品数：5 被引量：28H指数：2
- 供职机构：南京大学计算机科学与技术系计算机软件新技术国家重点实验室更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划国家教育部博士点基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于语义抽象的内存访问错误检测
- 内存访问错误是程序中最严重的缺陷之一。本文提出一种基于语义抽象的内存访问错误检测方法，通过对程序具体语义的完备近似抽象，对相关约束变量操作的精确检验，以及控制流图遍历中的函数信息收集，能够在过程间完备地静态检测C程序源代...
- 蒋剑琴黄达明曾庆凯
- 关键词：程序静态分析
- 文献传递
- 程序缺陷分析与安全保护技术研究被引量：5
- 2007年
- 程序安全是信息安全研究的一个重要方向,主要研究程序缺陷分析和安全保护技术等。介绍程序缺陷分析研究及其分类方法,然后将程序安全保护研究分为三类主要途径进行重点阐述和分析,最后讨论程序安全研究的发展趋势。
- 蒋剑琴罗宏曾庆凯
- 基于语义抽象的内存访问错误检测
- 2009年
- 为了检测内存访问错误,提出了一种基于语义抽象的内存访问错误检测方法,通过对程序具体语义的完备近似抽象,对相关约束变量操作的精确检验,以及控制流图遍历中的函数信息收集,能够在过程间完备地静态检测C程序源代码中的内存访问边界错误。通过将程序分析和程序验证相结合,提高内存检查的自动化和准确性。原型实现表明了方法的有效性。
- 蒋剑琴黄达明曾庆凯
- 关键词：程序静态分析
- 程序安全属性及静态分析方法研究
- 随着信息技术的广泛应用，软件正随着网络发展、自身规模的扩大和复杂度的提高，变得越来越难以控制，软件安全已成为信息技术研究的热点之一。采用容错、复用等技术并不能从根本上消除软件中的缺陷。如何分析程序和检测程序中的错误，帮助...
- 蒋剑琴
- 关键词：程序语言
- 用于软件保护的代码混淆技术被引量：23
- 2006年
- 对软件的盗版、篡改和逆向工程使软件的安全受到了严重威胁。攻击者通过静态分析和动态跟踪来分析编程者的思想,获取机密数据和核心算法。因此,保护程序在未知环境下正常运行,防止逆向工程和静态分析的攻击,成为软件保护的一个重要问题。文章从软件保护的方法出发,介绍和分析代码混淆技术的方法和目标,并指出了代码混淆技术的优势和发展趋势。
- 罗宏蒋剑琴曾庆凯
- 关键词：代码混淆
