程序分析

摘要： 以某挖掘机驾驶室装配线为研究对象,开展流程程序分析、布置和线路图分析,同时识别物料或人员在工艺流程中存在的搬运、等待、检验、储存等浪费,并利用5WHY、5W2H和ECRS等精益工具,实施消除(Eliminate)、合并(Combine)、重排(Rearrange)、简化(Simplify)等改善措施,从而减少装配过程中的各种不合理问题及浪费时间现象,提高劳动效率,缩短交付周期。

摘要： 针对NPM平台上存在大量的软件包没有标签或标记不完善的问题,提出一种基于se q2seq模型的深度学习方法为软件包推荐标签.首先,利用ECMAScript工具分析软件包的源码构建出包的函数调用图,遍历函数调用图从而将软件包转换成一组具有包语义信息的函数调用序列;其次,训练seq2seq模型,并将训练好的模型用于软件包的标签推荐工作,该模型能将包的函数调用序列映射到一组预测的标签序列上,从而完成软件包的标签推荐.实验结果表明,该方法能为软件包推荐一组合理的标签,准确率达82.6%.

摘要： Python语言及生态是机器学习等人工智能系统的重要基础,已成为目前主流机器学习框架如TensorFlow,PyTorch,Caffe,CNTK等的首选实现语言。Python虚拟机本身的安全性和可靠性对这些机器学习框架的安全性提供了基础保障,但Python虚拟机CPython内部包含大量由C/C++构建的本地代码,其安全漏洞模式尚未被充分研究和理解,系统的漏洞分析和修复技术也亟待研究。为此,提出了一个对Python虚拟机本地代码的分析研究框架PyGuard,该框架使用静态程序分析技术对虚拟机中的本地代码进行安全性扫描和分析;利用该框架对Python语言的官方虚拟机CPython进行了安全性实证研究,实验结果发现了最新版本的虚拟机(Cpython 3.9)中45个安全漏洞,表明了该框架对实际Python虚拟机本地代码安全性分析的有效性;基于该框架和安全性进行了实证分析,分析了虚拟机本地代码中的安全漏洞模式,给出了对安全漏洞的修复建议。

摘要： 针对智能合约中出现的新型代币买卖后门漏洞以及owner权限转移漏洞难以全面检测和验证的问题,基于静态语义分析和符号执行技术,提出了一种在源代码和字节码层面可以全面有效挖掘代币买卖漏洞和权限转移漏洞的检测和验证方法.该方法首先通过合约收集和预处理,将合约源代码转换为字节码;其次通过静态语义分析,对全局敏感变量“balance”以及“owner”进行定位;然后通过符号化变量构建状态空间,模拟交易序列,对合约进行符号执行;最后通过漏洞模型特征建立约束条件,使用约束求解器对约束进行求解.在以太坊、币安智能链主网上以及部分智能合约CVE漏洞集上进行测试,实验结果表明,提出的方法可以有效检测出新的代币买卖后门漏洞以及owner权限转移漏洞.

摘要： 针对并发程序中锁的不当使用可能导致性能瓶颈的问题,提出检测和优化并发程序中同步瓶颈的方法IdeSync。IdeSync使用静态分析方法获取同步方法和同步块,构建静态同步依赖图,采用基于执行路径的动态分析技术进行同步依赖关系分析,构建同步依赖图。为了暴露性能瓶颈,在同步依赖图上通过增加程序工作负载的方式,监测临界区的性能变化,并针对检测到的同步瓶颈给出优化建议。在实验中通过HSQLDB、SPECjbb2005和RxJava等12个大型实际应用程序对IdeSync的有效性进行验证,共检测到72个同步瓶颈,根据优化建议进行优化后程序性能均有所提升。实验表明,IdeSync能够有效地检测和优化同步瓶颈。

摘要： 根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10项航天嵌入式软件数组越界缺陷特征,并提出对设计具体检测方法关键的若干启示.进一步基于这些特征和启示探讨了数组越界检测算法针对中断驱动型程序的改进方向.

摘要： 软件故障已成为航天系统失败的重要因素.源代码级程序错误仍是航天嵌入式软件中最突出的问题之一,数组越界、算术溢出、除以零、指针错误、数据竞争等问题仍经常发生.静态分析能够在编译时通过分析源代码来推断程序运行时性质,是提高航天嵌入式软件安全性与可靠性的一种重要技术.首先将分析航天嵌入式软件的代码特征及常见错误.在此基础上,介绍了适合于航天嵌入式软件错误检测的静态分析技术,包括抽象解释、符号执行、数据竞争检测等.然后,介绍了国内近年来在面向航天嵌入式软件的静态分析技术与工具方面的研究进展.最后,对未来发展方向做了简单展望.

摘要： 以业务流程再造、程序分析等相关理论方法为基础,以J市R医院消化内科为例,对医院门诊就诊流程进行优化研究.通过实地走访与问卷调查发现消化内科现行门诊服务流程中存在的问题,基于业务流程再造理论优化门诊服务流程,使用程序分析方法和Flexsim仿真对门诊就诊流程进行对比分析,验证了优化方案的有效性.

摘要： 根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10项航天嵌入式软件数组越界缺陷特征,并提出对设计具体检测方法关键的若干启示.进一步基于这些特征和启示探讨了数组越界检测算法针对中断驱动型程序的改进方向.

摘要： 软件故障已成为航天系统失败的重要因素.源代码级程序错误仍是航天嵌入式软件中最突出的问题之一,数组越界、算术溢出、除以零、指针错误、数据竞争等问题仍经常发生.静态分析能够在编译时通过分析源代码来推断程序运行时性质,是提高航天嵌入式软件安全性与可靠性的一种重要技术.首先将分析航天嵌入式软件的代码特征及常见错误.在此基础上,介绍了适合于航天嵌入式软件错误检测的静态分析技术,包括抽象解释、符号执行、数据竞争检测等.然后,介绍了国内近年来在面向航天嵌入式软件的静态分析技术与工具方面的研究进展.最后,对未来发展方向做了简单展望.

摘要： 本文介绍了软件故障注入测试的技术背景,针对舰船装备软件特点,提出了一套可行的软件故障注入测试技术方法,包括程序分析、故障注入、软件故障注入测试及测试充分性评价等步骤,为测试人员开展软件故障注入测试工作提供参考.

摘要： 建筑电气设计是一项综合而复杂的工作，其内容主要包括强电部分的设计以及弱电部分的设计，而这项内容中又包含这多种的设计项目。本文对建筑配电系统、电气照明、建筑防雷保护以及电气消防系统的设计以及程序进行了简单的介绍，只有做好这项细节内容的设计，才能提高建筑整体电气设计的质量。通过本文的分析可以看出，建筑电气是一项综合的内容，而且随着建筑功能种类的增多，建筑的结构越来越复杂，施工技术也越来越先进，所以，设计人员需要在掌握电气设计理论知识的基础上，根据建筑功能的相关要求，不断的改进设计内容，使其向综合性的方向更好的发展。

摘要： 本文介绍了山东广饶国际博展中心钢结构设计要点,包括各区主体结构及屋盖结构体系布置特点,荷载取值,程序分析结果等内容,为类似结构的设计提供了一定的参考.

摘要： 本文阐述了程序分析及流程再造的概念及其实施的步骤,并应用工业工程学科中的流程程序分析法对2X-30旋片式真空泵生产线的作业顺序、作业时间、移动距离等进行逐一分析,从而掌握当前整个生产线的状况,并在此基础上采用"5W1H"、"ECRS"四大原则的分析方法,遵循动作经济原则,运用秒表等工具测量数据,绘制图例,采用定量与定性分析结合的方法,分析问题,改进生产业务流程,更有效地利用企业资源,并提出减少批量、打破现有的物流设施规划形式，设计新的生产线，实现“一个流”的生产、车间内部零件的运输采用滚柱运输带，靠机械动力传送工件等科学合理的改善方案.

摘要： 双间隙耦合腔作为展宽频带、提高效率、提高峰值功率和平均功率的有效手段已被广泛用于多注速调管和大功率速调管中,但是目前对速调管双间隙输出腔的理论研究多为利用现有的模拟软件来进行仿真计算,所需时间很长.为了研究大功率速调管特别是在双间隙输出段中的注波互作用过程,开发了一个利用一维单周期时间积分模型的快速分析程序.利用这一模型计算的电子群聚图形结果与MAGIC模拟所得结果很接近.由于所编写程序耗时短,因此可以对影响注波互作用的参量进行快速分析.

摘要： 静态程序分析具有良好的覆盖率,但是它不可避免地会导致一些误报。对一个流行的程序分析工具CQual进行了改进,添加了对结构成员之间关系的建模,扩充了类型推断规则和约束求解规则,并使用改进后的CQual对一些实用程序中存在的格式串缺陷进行了分析，与原始CQual的分析结果相比,它消除了一类误报,从而减小了分析人员排错的负担。

摘要： 本文主要介绍COMPSPEN的实现细节与相关实例研究.分离逻辑是2000年左右由Reynolds、O’Hearn、Ishtiaq和Yang提出的用于对含有指针和动态数据结构的程序进行分析与验证的编程逻辑.目前已有的分离逻辑公式求解器一般都是启发式的算法,无法保证结果的完备性.Gu,Chen和Wu最近在IJCAR2016的文章中,提出了一种能同时描述线性数据结构的形状性质和数据约束的分离逻辑子集,并针对该子集的可满足性问题与蕴涵问题设计了可靠完备的判定算法.COMPSPEN工具基于SMT的框架,实现了Gu,Chen和Wu提出的算法.

摘要： 本文主要介绍COMPSPEN的实现细节与相关实例研究.分离逻辑是2000年左右由Reynolds、O’Hearn、Ishtiaq和Yang提出的用于对含有指针和动态数据结构的程序进行分析与验证的编程逻辑.目前已有的分离逻辑公式求解器一般都是启发式的算法,无法保证结果的完备性.Gu,Chen和Wu最近在IJCAR2016的文章中,提出了一种能同时描述线性数据结构的形状性质和数据约束的分离逻辑子集,并针对该子集的可满足性问题与蕴涵问题设计了可靠完备的判定算法.COMPSPEN工具基于SMT的框架,实现了Gu,Chen和Wu提出的算法.

摘要： 本文主要介绍COMPSPEN的实现细节与相关实例研究.分离逻辑是2000年左右由Reynolds、O’Hearn、Ishtiaq和Yang提出的用于对含有指针和动态数据结构的程序进行分析与验证的编程逻辑.目前已有的分离逻辑公式求解器一般都是启发式的算法,无法保证结果的完备性.Gu,Chen和Wu最近在IJCAR2016的文章中,提出了一种能同时描述线性数据结构的形状性质和数据约束的分离逻辑子集,并针对该子集的可满足性问题与蕴涵问题设计了可靠完备的判定算法.COMPSPEN工具基于SMT的框架,实现了Gu,Chen和Wu提出的算法.

摘要： 本文主要介绍COMPSPEN的实现细节与相关实例研究.分离逻辑是2000年左右由Reynolds、O’Hearn、Ishtiaq和Yang提出的用于对含有指针和动态数据结构的程序进行分析与验证的编程逻辑.目前已有的分离逻辑公式求解器一般都是启发式的算法,无法保证结果的完备性.Gu,Chen和Wu最近在IJCAR2016的文章中,提出了一种能同时描述线性数据结构的形状性质和数据约束的分离逻辑子集,并针对该子集的可满足性问题与蕴涵问题设计了可靠完备的判定算法.COMPSPEN工具基于SMT的框架,实现了Gu,Chen和Wu提出的算法.

摘要： 本发明能够在瞄准脆弱性的攻击被实施以前可靠地执行针对脆弱性的对策处理。脆弱性对策处理部(1233)执行针对脆弱性库函数的脆弱性的对策处理，该脆弱性库函数是通用库(1230)包含的通用库函数中具有脆弱性的通用库函数。当在执行Web应用(1220)时被请求调用脆弱性库函数的情况下，对策选择部(1232)使脆弱性对策处理部(1233)执行针对脆弱性库函数的脆弱性的对策处理，在由脆弱性对策处理部(1233)执行了对策处理后，调用脆弱性库函数。

摘要： 历史存储器430针对每条函数标识信息，将输入值和执行结果关联起来，并保持为执行历史。命令译码器320将包括在用于预测函数的预告命令中所包括的函数标识信息从取回单元310提供到执行历史搜索单元410。另外，命令译码器320使执行历史搜索单元410基于在预告命令后要被读出的命令中的用于设定函数输入值的输入值设定命令，获取从输入选择单元332输出的输入值。在函数调用命令之前，执行历史搜索单元410搜索与所获取的标识信息及其输入值一致的执行历史。执行结果输出单元420将由执行历史搜索单元410检测出的执行结果输出到执行单元330。取回单元310读出在函数后要被读出的命令。

摘要： 匹配部分检测器(11)检测源程序(1)中各个内容彼此匹配的匹配部分。相似部分检测器(13)，基于匹配部分检测器(11)检测到的匹配部分，检测源程序(1)中的相似部分，其中，每个相似部分都包括与另一相似部分的一部分匹配的一部分和不匹配的另一部分，且每个相似部分都满足标准。不匹配部分分析器(14)，分析相似部分检测器(13)检测到的相似部分，并且输出指示彼此部分匹配的相似部分和另一相似部分之间的相似度的指标。

摘要： 本发明能够在瞄准脆弱性的攻击被实施以前可靠地执行针对脆弱性的对策处理。脆弱性对策处理部(1233)执行针对脆弱性库函数的脆弱性的对策处理，该脆弱性库函数是通用库(1230)包含的通用库函数中具有脆弱性的通用库函数。当在执行Web应用(1220)时被请求调用脆弱性库函数的情况下，对策选择部(1232)使脆弱性对策处理部(1233)执行针对脆弱性库函数的脆弱性的对策处理，在由脆弱性对策处理部(1233)执行了对策处理后，调用脆弱性库函数。

摘要： 程序分析/验证服务提供系统(1)具备：工具注册/检索部(313)，其从保存在工具存储部(320)中的多个程序分析/验证工具(虚拟机)之中提取对用于分析、验证对象程序(P)的程序分析/验证工具进行导入、设定的虚拟机(T)；以及虚拟机执行环境部(120)，其使用所提取的虚拟机(T)来分析、验证对象程序(P)。

摘要： 应用列表读入部(220)读入应用列表(122)。应用收集部(230)取得应用列表(122)中示出的搭载应用的源代码(111)。并且，应用收集部(230)取得追加应用的源代码(111)。程序分析部(240)使用各个源代码(111)进行与新执行程序(123)有关的程序分析。在新执行程序(123)没有产生问题的情况下，程序生成部(250)生成新执行程序(123)。然后，程序更新部(260)将新执行程序(123)写入到电子控制装置(121)，将追加应用名称追加到应用列表(122)。

摘要： 本发明涉及一种具有程序分析功能的程序调试系统，该程序调试系统的调试步骤包括与目标虚拟机建立连接、标准调试及扩展调试；该程序调试系统不再局限于传统的程序调试方式，使调试不再仅仅只是分析程序当前的运行状态，调试人员可以查看程序完整的执行过程，方便的调试和理解程序；该程序调试系统还可以记录程序一次执行中的应用类和应用方法，可以降低调试人员的关注范围；本系统进行动态程序切片时不需对程序进行回溯，且只对程序执行过程中涉及的方法进行控制依赖分析，能够提高算法的效率，根据堆栈信息和控制依赖关系能够提高切片的精度。

摘要： 程序分析/验证服务提供系统(1)具备：工具注册/检索部(313)，其从保存在工具存储部(320)中的多个程序分析/验证工具(虚拟机)之中提取对用于分析、验证对象程序(P)的程序分析/验证工具进行导入、设定的虚拟机(T)；以及虚拟机执行环境部(120)，其使用所提取的虚拟机(T)来分析、验证对象程序(P)。

摘要： 应用列表读入部(220)读入应用列表(122)。应用收集部(230)取得应用列表(122)中示出的搭载应用的源代码(111)。并且，应用收集部(230)取得追加应用的源代码(111)。程序分析部(240)使用各个源代码(111)进行与新执行程序(123)有关的程序分析。在新执行程序(123)没有产生问题的情况下，程序生成部(250)生成新执行程序(123)。然后，程序更新部(260)将新执行程序(123)写入到电子控制装置(121)，将追加应用名称追加到应用列表(122)。

摘要： 本发明公开了一种基于程序分析多维质量评价的程序语言教学实践平台，该平台包括：第一终端，用于在附着的网络下向网络设备发送第一请求；网络设备，用于在接收到第一请求时，生成第一结果和第一层次作业评价数据，并向第一终端发送第一结果，第一结果用于表征程序作业是否可执行并满足逻辑正确性；第一终端，还用于向网络设备发送第二请求；网络设备，还用于在接收到第二请求时，生成第二结果和第二层次作业评价数据，并向第一终端发送第二结果，第二结果用于表征程序作业的代码综合质量，结合上述两次结果，网络设备还用于生成作业的综合评价，本发明实现根据学生作业完成过程的结果反馈，更方便、全面、高效的对作业进行多维度综合评价。