期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到8篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
程序静态分析技术与工具 被引量：26
1
作者 杨宇 张健 《计算机科学》 CSCD 北大核心 2004年第2期171-174,共4页
静态分析对于保证程序质量,提高软件生产率有重要的意义。本文综述了静态分析常用的策略,介绍了当前静态分析的研究现状,比较了目前已有的静态程序分析工具。
关键词 软件开发 软件测试 软件生产率 软件质量 静态程序分析工具 程序设计语言 计算机
下载PDF
静态程序分析方法和工具
2
作者 高婉玲 赵鹤 《现代计算机（中旬刊）》 2017年第2期38-43,共6页
综述静态程序分析的方法和工具。采用系统化文献评价方法和文献计量分析方法,通过论文的收集、筛选、内容提取等过程,对大量论文的信息进行总结分析。通过文献管理工具Endnote、数据分析软件SPSS和文献分析工具Ref Viz,统计分析论文数... 综述静态程序分析的方法和工具。采用系统化文献评价方法和文献计量分析方法,通过论文的收集、筛选、内容提取等过程,对大量论文的信息进行总结分析。通过文献管理工具Endnote、数据分析软件SPSS和文献分析工具Ref Viz,统计分析论文数据库的基本信息,包括年代分布、作者分布、关键词和热点分析。通过阅读大量相关论文,静态程序分析方法可分为模型检测、符号执行、定理证明、抽象解释等。静态程序分析工具包括形式化验证工具、模型检测工具等。最后,总结静态分析方法和工具的不足。 展开更多
关键词 程序分析 静态分析方法 静态分析工具 系统化文献评价
下载PDF
软件测试自动化静态分析研究 被引量：22
3
作者 文昌辞 王昭顺 《计算机工程与设计》 CSCD 北大核心 2005年第4期987-989,共3页
为了加快软件测试的速度,减少人力投入,可以采用测试自动机对软件进行自动测试。测试自动化静态分析工具是一种软件,可以利用它对程序的源代码进行分析,自动测试应用系统的很多方面。在软件测试中,静态分析工具并不执行所测试的程序,只... 为了加快软件测试的速度,减少人力投入,可以采用测试自动机对软件进行自动测试。测试自动化静态分析工具是一种软件,可以利用它对程序的源代码进行分析,自动测试应用系统的很多方面。在软件测试中,静态分析工具并不执行所测试的程序,只是扫描所测试程序的正文,对程序的源代码进行分析,它类似于编译程序中的词法分析和语法分析,但工作量远不止于此。 展开更多
关键词 软件测试自动化 扫描 静态分析工具 源代码 语法分析
下载PDF
Java程序中数组越界和空指针错误的静态分析 被引量：2
4
作者 陈柏强 郭涛 +1 位作者 阮辉 严俊 《计算机应用》 CSCD 北大核心 2009年第5期1376-1379,共4页
介绍了静态分析的相关背景知识,对Java程序中数组越界和空指针错误的常见表现形式进行了归类,并通过实验评估了现有的Java静态分析工具功能,指出了其在跨过程分析中的不足,并对如何改进进行了讨论。
关键词 静态分析工具 JAVA代码 数组越界 空指针
下载PDF
代码分析中的层次式静态检测方法
5
作者 徐路路 张丽萍 郭越 《计算机与现代化》 2013年第9期58-61,65,共5页
为了提高以速度为重比重的静态分析工具输出结果的精确度和可信度,提出一种层次式静态检测方法。第一层次选取速度重比重的静态分析工具并产生检测的初始输出结果;第二层次以初始检测结果的警告信息为依据提取程序切片,然后将警告程序... 为了提高以速度为重比重的静态分析工具输出结果的精确度和可信度,提出一种层次式静态检测方法。第一层次选取速度重比重的静态分析工具并产生检测的初始输出结果;第二层次以初始检测结果的警告信息为依据提取程序切片,然后将警告程序切片形式化抽象成布尔公式通过SAT求解器求解确定警告切片的真假性,综合第一层次和第二层次的分析结果提高分析工具的精确度。实验结果表明该方法能够从一定程度上提高分析工具的精确度和可信度,并能有效减少误报。 展开更多
关键词 静态分析 速度重比重静态分析工具 层次式分析 警告程序切片 SAT求解器
下载PDF
静态代码分析技术综述
6
作者 蒋天超 《电脑乐园》 2020年第11期4-4,307,共2页
作为程序源码漏洞检测的重要方法,静态代码分析技术一直活跃在代码分析领域的前沿。本文首先对近年来静态代码分析技术 的研究现状和发展进行了整理和叙述,介绍了静态代码分析技术的理论基础、发展历程和常用分析方法,并整理介绍了常用... 作为程序源码漏洞检测的重要方法,静态代码分析技术一直活跃在代码分析领域的前沿。本文首先对近年来静态代码分析技术 的研究现状和发展进行了整理和叙述,介绍了静态代码分析技术的理论基础、发展历程和常用分析方法,并整理介绍了常用的静态代码分 析工具的特性和优缺点;然后进一步概述了当前静态代码分析技术的研究发展情况;最后指出了当前静态分析法还需要完善和加强的地方, 并展望了该技术的发展趋势和研究前景。 展开更多
关键词 代码静态分析 静态分析工具 分布式静态分析 深度学习
下载PDF
基于元操作的智能合约漏洞检测方法
7
作者 王顺 徐向华 王然 《电子科技》 2024年第9期64-71,共8页
针对静态分析工具由于漏洞扫描流程代码强耦合于工具代码中导致其扩展漏洞成本较高的问题,文中提出了基于元操作的智能合约漏洞检测方法。该方法将工具中的基本检测流程转换为元操作抽象形式,通过不同元操作和逻辑运算符组合来自定义漏... 针对静态分析工具由于漏洞扫描流程代码强耦合于工具代码中导致其扩展漏洞成本较高的问题,文中提出了基于元操作的智能合约漏洞检测方法。该方法将工具中的基本检测流程转换为元操作抽象形式,通过不同元操作和逻辑运算符组合来自定义漏洞扫描流程,以达到通过编写少量漏洞扫描流程语法就可以实现检测不同漏洞,提高工具对智能合约新型漏洞的扩展能力。实验结果证明,根据文中方法所需编写的漏洞描述字符量仅为Slither工具漏洞检测逻辑字符量的8.9%~12.7%,假阳率相比Slither工具降低2%。证明了所提方法可以在保证工具检测可靠性的基础上提供了更强的扩展性和灵活性。 展开更多
关键词 静态分析工具 耦合 漏洞检测 漏洞扫描流程 元操作 逻辑运算符 扩展 新型漏洞
下载PDF
基于FindBugs的函数返回值缺陷检测模式的改进 被引量：2
8
作者 吕增援 黄松 惠战伟 《解放军理工大学学报（自然科学版）》 EI 北大核心 2015年第6期518-523,共6页
为了发现代码中可能存在的潜在错误,通过探究一种典型的开源Java静态代码分析工具FindBugs的实现原理,分析此工具在函数返回值缺陷检测模式的实现机制,进而发现其在检测自定义函数返回值上的不足。通过分析FindBugs源代码并且针对此函... 为了发现代码中可能存在的潜在错误,通过探究一种典型的开源Java静态代码分析工具FindBugs的实现原理,分析此工具在函数返回值缺陷检测模式的实现机制,进而发现其在检测自定义函数返回值上的不足。通过分析FindBugs源代码并且针对此函数返回值缺陷模式具有的不足进行相应地改进,并将改进后的检测工具对被测代码进行检验。通过检验发现,改进前的检测工具无法对自定义的函数返回值进行检测,改进后能够检测到忽略自定义函数返回值问题,且提供一些错误提示信息。改进后的代码分析工具能够有效地检测到此类函数返回值问题,避免了潜在bug的发生,一定程度上提高了代码的质量。 展开更多
关键词 FindBugs 静态分析工具 检测器 返回值 字节码
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部