检索结果-内蒙古大学图书馆

作者：李兆鹏顾建平戴一飞 230088 安徽省合肥市高新区文曲路355号403室

本发明公开了一种基于抽象语法树和定理证明的局部敏感程序分析方法，包括：对程序代码构建出没有语法错误的抽象语法树AST；遍历程序代码的抽象语法树AST，收集待检测节点及待检测节点的相关节点，根据待检测节点及其相关节点信息，形... 详细信息

标准号: CN110879708A

本发明公开了一种基于抽象语法树和定理证明的局部敏感程序分析方法，包括：对程序代码构建出没有语法错误的抽象语法树AST；遍历程序代码的抽象语法树AST，收集待检测节点及待检测节点的相关节点，根据待检测节点及其相关节点信息，形成待检测节点的相关逻辑表达式，输入至定理证明器中；定理证明器通过逻辑表达式求解待检测节点，若求解获得的待检测节点值存在异常情况，则判定程序存在语义缺陷。本发明通过收集程序节点局部上下文和局部路径信息，避免某些错误的报警以及提高易用性，实现了对程序代码的语义缺陷检测，避免了传统的符号执行工具分析代码因为路径爆炸问题而耗时长的问题。

关键词：检测节点抽象语法树程序代码定理证明器逻辑表达式语义求解局部上下文程序分析程序节点定理证明符号执行工具分析节点信息局部路径路径爆炸判定程序缺陷检测传统的易用性遍历构建语法耗时报警敏感

来源：评论

学校读者我要写书评

暂无评论

使用程序分析和特征识别方法过滤网页广告

引用

小型微型计算机系统 2018年第9期39卷 1998-2002页

作者：何欣程查春柳许蕾南京大学计算机科学与技术系南京210023 南京大学计算机软件新技术国家重点实验室南京210023

网页广告已经成为互联网生态系统的主要经济来源,但随着恶意广告的传播和泛滥,越来越多的网页广告跟踪、窃取用户的隐私数据,对用户的信息安全构成了威胁.因此,大多数用户倾向于在浏览器上安装广告过滤器.现有的广告过滤器,如Ad Block P... 详细信息

网页广告已经成为互联网生态系统的主要经济来源,但随着恶意广告的传播和泛滥,越来越多的网页广告跟踪、窃取用户的隐私数据,对用户的信息安全构成了威胁.因此,大多数用户倾向于在浏览器上安装广告过滤器.现有的广告过滤器,如Ad Block Plus,通过维护一个大的黑名单列表来过滤广告,需要不定期更新列表,运行、维护的代价很大.为此,本文提出了一种结合网页代码静态分析和特征识别的方法来实现广告的自动过滤.该方法首先通过一个简短的过滤列表来过滤确定的广告(Java Script文件),然后对其余的Java Script文件进行静态分析并提取出一系列特征向量,进而训练分类器得到广告识别模型.最后实现了一个Chrome浏览器插件Tri Filter,来完成广告的识别与屏蔽.实验结果表明本文方法在准确率和召回率方面优于现有的广告屏蔽工具.

关键词：网页广告程序分析特征识别广告屏蔽

来源：评论

学校读者我要写书评

暂无评论

一种基于程序分析的数据资源的管控方法

一种基于程序分析的数据资源的管控方法

引用

作者：黄罡蔡华谦姜海鸥景翔黄家梅 100871 北京市海淀区颐和园路5号

本发明实施例提供了一种基于程序分析的数据资源的管控方法，涉及区块链技术领域，在该控制方法中，P2P网络中的第一节点向第二节点发起针对智能合约的调用任务，第二节点根据调用任务，构建由多个基本块构成的控制流图，通过部分具有... 详细信息

标准号: CN112118290A

本发明实施例提供了一种基于程序分析的数据资源的管控方法，涉及区块链技术领域，在该控制方法中，P2P网络中的第一节点向第二节点发起针对智能合约的调用任务，第二节点根据调用任务，构建由多个基本块构成的控制流图，通过部分具有获取数据的代码的基本块来收集原始数据，并将原始数据保存在预先定义的变量中，以变量为粒度，对控制流图进行控制依赖分析和数据依赖分析，通过迭代稳定可获得变量关系结果，以此代替了典型属性的复杂属性关系，能够在数据分析智能合约的代码量大、结构复杂时，以一种简单、直观的方式展示输入数据与返回结果关系，然后再由第一节点执行现有的基于属性的访问控制方法，降低了人工代码审计的成本与难度。

关键词：控制流图原始数据基本块调用变量关系程序分析返回结果访问控制复杂属性获取数据节点执行数据分析数据依赖数据资源预先定义智能代码量迭代构建管控区块直观分析保存审计展示

来源：评论

学校读者我要写书评

暂无评论

一种基于程序分析和神经网络的注释定位方法

一种基于程序分析和神经网络的注释定位方法

引用

作者：张卫丰李小满周国强王子元张迎周 210023 江苏省南京市栖霞区文苑路9号

本发明为一种基于程序分析和神经网络的注释定位方法，步骤如下：首先构建需要分析的项目；提取Java项目中的每个方法的注释，进行人工标注类别，构建注释分类器的训练集；训练注释分类器，对注释进行分类，提取其中描述方法实现细节的... 详细信息

标准号: CN111104159A

本发明为一种基于程序分析和神经网络的注释定位方法，步骤如下：首先构建需要分析的项目；提取Java项目中的每个方法的注释，进行人工标注类别，构建注释分类器的训练集；训练注释分类器，对注释进行分类，提取其中描述方法实现细节的注释；获取每个方法体内的所有变量；将方法里的变量和方法的注释进行匹配，找出注释里存在的变量；根据注释里的变量从方法体内提取与之相关的代码片段，构建注释定位模型的训练集；训练注释定位模型，并且通过该模型来计算注释与代码片段的相似度，以此来构建代码与注释之间的映射关系。本发明主要将注释与其对应的代码进行关联，可以帮助开发人员理解代码功能，提高开发效率。

关键词：构建代码片段定位模型注释分类训练集体内程序分析代码功能开发效率人工标注神经网络映射关系相似度匹配关联分类分析帮助开发

来源：评论

学校读者我要写书评

暂无评论

结合可满足性模理论与抽象解释的程序分析技术研究

结合可满足性模理论与抽象解释的程序分析技术研究

引用

作者：姜加红国防科技大学

学位级别：博士

随着软件需求的不断增加,软件系统日趋复杂与庞大,软件的可信性要求越来越高,尤其是在航空、航天、医疗、金融等安全攸关领域。许多安全攸关软件特别是嵌入式软件的设计与运行,与硬件系统及其所处环境的数学模型和物理模型密不可分,不... 详细信息

随着软件需求的不断增加,软件系统日趋复杂与庞大,软件的可信性要求越来越高,尤其是在航空、航天、医疗、金融等安全攸关领域。许多安全攸关软件特别是嵌入式软件的设计与运行,与硬件系统及其所处环境的数学模型和物理模型密不可分,不可避免地会涉及大量数值运算。许多可信性质或缺陷均与程序的数值性质密切相关,比如除零错、算术溢出、数组越界等常见的运行时错误。因此,对程序中数值相关性质进行分析,自动获取程序中变量之间的数值约束关系,对于整个安全攸关软件系统的可信性保证至关重要。抽象解释作为一种在程序分析和验证领域广泛使用的有效的静态分析方法,为程序数值性质的自动分析提供了一个通用框架。基于抽象解释的程序分析通过轻量级的抽象域表示和抽象域操作来刻画程序的状态和行为,具有较小的分析代价和较好的可扩展性。但基于抽象解释的轻量级分析常常会造成精度损失,甚至导致误报。另一方面,可满足性模理论(Satisfiability Modulo Theories,SMT)基于析取、量词等连接子和丰富的理论域可描述较强的约束表示,并可对基本程序块的迁移语义进行精确刻画。但基于SMT的方法计算复杂度较高,且难以有效处理循环。因此,本文将两者进行优势互补,研究结合SMT与抽象解释的程序分析技术,在分析精度和效率之间进行有效权衡。本文的主要贡献包括:1)提出了结合SMT的块级抽象解释框架。该框架针对语句级抽象解释存在的精度受限问题,将SMT与抽象域在框架内进行有效结合。块级抽象解释框架首先将程序划分成块,在程序块内使用表达能力更强的SMT刻画程序语义,在程序块间使用计算效率更高的抽象域传递程序语义,并在程序块的入口和出口处进行相互转换。该框架在整体上仍基于“迭代+加宽”的框架求解程序的不动点,即在加宽点处使用抽象域的加宽操作加速迭代收敛。此外,本文从精度和效率两个方面对块级抽象解释框架进行提升:在精度提升方面,设计了基于谓词划分的抽象域提升算子,向后续分析传递必要且更丰富的信息;在效率改进方面,提出了基于块级稀疏性的大块切割方法,有效地缓解复杂SMT公式的求解开销。对SV-COMP中程序进行分析的实验结果表明,基于结合SMT的块级抽象解释方法能够验证的性质大约是基于经典语句级抽象解释方法的两倍。2)提出了基于后向策略迭代的不动点求解算法。该算法针对策略迭代过程效率较低的问题,在“猜测+验证”的框架下对循环不动点进行求解。后向策略迭代算法首先基于SMT规划快速求得模版下的一个最小不动点候选;再基于SMT和线性规划技术验证其可行性;若该候选可行,则算法求得模版下的最小不动点;若该候选不可行,则算法重新求解一个新的最小不动点候选。然后本文对算法的正确性进行证明并对算法的复杂度进行分析。本文将此算法应用于面向性质验证的程序分析中,并提出了性质制导的后向策略迭代算法。性质制导的后向策略迭代算法在分析过程中优先选取与性质相关的模版和策略,在求解不动点的过程中可尽早发现性质是否为可验证的,并提前终止迭代过程,因而具有更好的分析效率。在验证SV-COMP的程序性质的实验中,性质制导的后向策略迭代算法可以更快地完成分析过程。3)设计和实现了区间线性模版约束抽象域。该抽象域针对凸抽象域表达能力不足的问题,对经典的模版抽象域进行了区间拓展,可推导变量间的区间线性关系。区间线性模版约束抽象域基于区间线性约束的“弱解”解语义刻画抽象域域元素,并基于区间线性规划技术设计其域操作。几何上域元素与每个象限的交均是一个凸的模版多面体(可以为空),因此域元素可以看作是一系列模版多面体的析取,从而可以表达非凸(甚至非联通)性质。此外,本文还研究了区间线性模版抽象域中区间模版的生成策略。实验结果表明,区间线性模版约束抽象域可以较好地刻画程序的非凸性质。

关键词：程序分析抽象解释可满足性模理论策略迭代模版多面体

来源：评论

学校读者我要写书评

暂无评论

基于程序分析结果的字节码插桩方法、装置及存储介质

基于程序分析结果的字节码插桩方法、装置及存储介质

引用

作者：赵明冯文亮陈俊程烨曹栋 215101 江苏省苏州市吴中区木渎镇金枫路216号东创科技园1幢B2号楼706室

本申请公开基于程序分析结果的字节码插桩方法，包括：基于程序的源代码划分的至少一个基本块的基本块信息，获取目标插桩点信息；基于所述目标插桩点信息，设置对应的目标插桩点；所述目标插桩点用于获取所述目标插桩点对应的基本块的... 详细信息

标准号: CN111913878A

本申请公开基于程序分析结果的字节码插桩方法，包括：基于程序的源代码划分的至少一个基本块的基本块信息，获取目标插桩点信息；基于所述目标插桩点信息，设置对应的目标插桩点；所述目标插桩点用于获取所述目标插桩点对应的基本块的运行信息；本申请还公开了基于程序分析结果的字节码插桩装置及存储介质；通过本申请实施例，可以实现字节码插桩，进而获取程序源代码的运行信息。

关键词：插桩字节码程序分析点信息基本块申请源代码程序源代码基本块信息插桩装置存储介质获取目标

来源：评论

学校读者我要写书评

暂无评论

基于程序分析的火电厂输煤系统节能评价研究

基于程序分析的火电厂输煤系统节能评价研究

引用

作者：张航华北电力大学

学位级别：硕士

火电企业的节能降耗可有效提高一次能源的利用率,对全面推进我国节能减排和低碳发展具有重要意义。但目前的火电厂节能研究多集中于对火电厂热力系统的研究,而忽略了对输煤系统的研究。据有关专家估计,煤炭在输煤系统的储存过程中,因为... 详细信息

火电企业的节能降耗可有效提高一次能源的利用率,对全面推进我国节能减排和低碳发展具有重要意义。但目前的火电厂节能研究多集中于对火电厂热力系统的研究,而忽略了对输煤系统的研究。据有关专家估计,煤炭在输煤系统的储存过程中,因为风、雨损失和管理不善等原因造成的损失,每年超过3×10～7吨,直接经济损失数十亿美元。所以本文以火电厂输煤系统为研究对象,对其节能水平进行研究,为进一步挖掘节能潜力指导方向。由于火电厂输煤系统是一个繁杂的系统,涉及多个过程、大量资源,并且包含多种设备,为能清楚地分析输煤系统的节能水平,本文提出了工作分解结构与程序分析相结合的分析方法。首先为避免忽略重要的耗能工作,本文利用工作分解结构将输煤工作进行分解,化繁为简。然后将工业工程中的程序分析思想引入能耗分析中,运用改进的流程程序分析图表对主要输煤工作的能耗状况进行分析,找到影响输煤系统节能水平的主要因素,为指标确定提供一种科学的方法。本文在能耗分析的基础上,遵循指标体系构建原则,建立了科学的输煤系统节能评价指标体系。然后基于模糊理论和极差变换法,将定性指标和定量指标进行标准化处理。接着运用层次分析法与熵权法相结合的组合赋权法分配指标权重,并利用物元分析法对输煤系统节能水平进行综合评价。最后本文以某2×600MW火电厂输煤系统为例,按以上方法对其节能水平进行研究,并提出了有针对性的节能对策。该实证分析不仅验证了评价方法的可靠性,也说明了指标选取的科学性。由此可见,通过程序分析找出影响输煤系统的关键指标,然后基于物元分析理论对火电厂输煤系统的节能综合水平进行评价,可以准确地分析出火电厂输煤系统在节能方面的优劣势,并能提出有针对性的改进建议,这对于提高火电厂输煤系统的节能水平具有重要的现实意义。

关键词：输煤系统节能程序分析物元分析

来源：评论

学校读者我要写书评

暂无评论

基于数据库进行跨文件协同程序分析的处理方法及系统

基于数据库进行跨文件协同程序分析的处理方法及系统

引用

作者：李兆鹏顾建平何海洋丁飞 230088 安徽省合肥市高新区文曲路355号403室

本发明公开了基于数据库进行跨文件协同程序分析的处理方法及系统：基于抽象语法树的静态代码分析工具用于分析待分析的程序；将数据库集成到静态代码分析工具中，静态代码分析工具在分析程序的源代码文件前，先将需要关注的信息保存至... 详细信息

标准号: CN110704068A

本发明公开了基于数据库进行跨文件协同程序分析的处理方法及系统：基于抽象语法树的静态代码分析工具用于分析待分析的程序；将数据库集成到静态代码分析工具中，静态代码分析工具在分析程序的源代码文件前，先将需要关注的信息保存至数据库；再运行系统规则时，根据运行的系统规则信息，在数据中查询相应的数据模型，查找出违反系统规则的关联数据，进行告警。与现有技术相比，本发明通过一个单独的任务用来将待分析程序中所有源代码之间的关联数据存入数据库，然后再通过数据库中的数据进行整合分析，有效的实现了系统规则的检测，同时也提高了运行多个系统规则时的效率。

关键词：系统规则静态代码分析数据库分析程序关联数据源代码抽象语法树数据库集成源代码文件告警程序分析数据模型信息保存运行系统分析整合协同查找查询检测违反

来源：评论

学校读者我要写书评

暂无评论

一种基于程序分析和文本分析的Python代码参考信息生成方法

一种基于程序分析和文本分析的Python代码参考信息生成方法

引用

作者：许蕾陶英徐宝文 210023 江苏省南京市仙林大道163号

本发明为一种基于程序分析和文本分析的Python代码参考信息生成方法：首先，对Python代码中的函数调用场景进行分类并提取项目中函数定义和注释作为函数的参考信息；其次，对于函数调用场景中函数来源(模块Module，类Class)可以确定的... 详细信息

标准号: CN110750297A

本发明为一种基于程序分析和文本分析的Python代码参考信息生成方法：首先，对Python代码中的函数调用场景进行分类并提取项目中函数定义和注释作为函数的参考信息；其次，对于函数调用场景中函数来源(模块Module，类Class)可以确定的情况，使用静态分析工具生成函数调用图，建立函数调用和函数参考信息的一一映射关系；然后，考虑同名函数的情况，为了确定调用函数的Class实例的类型，使用基于文本分析技术的类型推导，给出推导的类型并根据类型建立函数调用和函数参考信息的一一映射关系；接着，针对类型无法推导的情况，基于协同过滤算法，为Class实例的函数调用推荐同名函数中对应的函数参考信息。

关键词：函数调用参考信息推导文本分析一一映射和函数场景函数调用图程序分析代码参考调用函数工具生成静态分析协同过滤信息生成算法分类

来源：评论

学校读者我要写书评

暂无评论

一种基于程序分析的Pull Request功能分类方法

一种基于程序分析的Pull Request功能分类方法

引用

作者：张卫丰李旭阳周国强王子元张迎周 210023 江苏省南京市栖霞区文苑路9号

本发明为一种基于程序分析的Pull Request功能分类方法：首先，对当前版本项目和Pull Request中修改文件的提取。其次，对于待分析的程序，使用程序分析框架Soot，选择传递方式生成调用图Callgragh，遍历Callgragh直到调用的是第三方库... 详细信息

标准号: CN110990055A

本发明为一种基于程序分析的Pull Request功能分类方法：首先，对当前版本项目和Pull Request中修改文件的提取。其次，对于待分析的程序，使用程序分析框架Soot，选择传递方式生成调用图Callgragh，遍历Callgragh直到调用的是第三方库提供的方法，将遍历到的节点和边保存到数据库中。然后，读取并分析数据库中保存的节点和边的关系，以Pull Request中的文件作为图的节点，构建图的邻接表结构。最后，基于图的深度优先遍历算法遍历邻接表的所有结点，以遍历的结果作为文件的功能分类，针对无调用关系的文件，以文件后缀名进行处理。

关键词：遍历程序分析功能分类邻接表调用读取深度优先遍历分析数据库版本项目传递方式调用关系文件后缀修改文件第三方保存构建结点算法数据库分析

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：