检索结果-南通市图书馆

基于消息语义的UML2.0顺序图控制流分析

在线全文

学校读者我要写书评

暂无评论

吉林大学学报（理学版） 2007年第4期45卷 595-600页

作者：王洪媛王琳张家晨金淳兆吉林大学计算机科学与技术学院长春130012 吉林大学软件学院长春130012

基于消息语义提出一种分析UML2.0顺序图控制流的方法,分析了UML2.0顺序图消息发送和接收动作之间的关系,并将其映射到相应的消息上,得到消息的相继顺序关系.根据消息的顺序关系设计了由顺序图到活动图的一致性映射规则,并得到基于消息... 详细信息

基于消息语义提出一种分析UML2.0顺序图控制流的方法,分析了UML2.0顺序图消息发送和接收动作之间的关系,并将其映射到相应的消息上,得到消息的相继顺序关系.根据消息的顺序关系设计了由顺序图到活动图的一致性映射规则,并得到基于消息语义的并发控制流图(MSCCFG),从而获取顺序图的控制流信息.

关键词： UML2.0顺序图活动图控制流分析并发控制流消息动作

在线全文

学校读者我要写书评

暂无评论

基于控制流分析的隐藏代码动态捕获方法

计算机工程 2011年第21期37卷 23-25页

作者：刘建林王震宇蒋烈辉谢耀滨刘絮颖解放军信息工程大学信息工程学院郑州450002

为获取并分析采用加壳、控制流混淆技术所产生的隐藏代码,提出一种新的隐藏代码动态捕获方法。利用静态控制流分析算法提取动态捕获点,采用动态二进制插桩技术插入监控代码,在程序的执行过程中实现隐藏代码的执行前分析。实验结果证明,... 详细信息

为获取并分析采用加壳、控制流混淆技术所产生的隐藏代码,提出一种新的隐藏代码动态捕获方法。利用静态控制流分析算法提取动态捕获点,采用动态二进制插桩技术插入监控代码,在程序的执行过程中实现隐藏代码的执行前分析。实验结果证明,该方法能够减少程序插桩点,有效获取并分析可执行程序中的隐藏代码。

关键词：隐藏代码动态捕获控制流分析动态二进制插桩执行前分析

基于控制流分析和数据流分析的Java程序静态检测方法的研究

在线全文

学校读者我要写书评

暂无评论

基于控制流分析和数据流分析的Java程序静态检测方法的研究

作者：王旭西安电子科技大学

学位级别：硕士

互联网产业的飞速发展,给人们的生活带来了非常多的便利,人们对计算机的需求日益增长,同时也刺激着软件行业的不断进步。软件需求量的增多,需求方式的多样性,促使软件开发者以新的开发方向和角度满足着用户的需求。Java语言作为代表性... 详细信息

互联网产业的飞速发展,给人们的生活带来了非常多的便利,人们对计算机的需求日益增长,同时也刺激着软件行业的不断进步。软件需求量的增多,需求方式的多样性,促使软件开发者以新的开发方向和角度满足着用户的需求。Java语言作为代表性的程序设计语言,以通用性、高效性、跨平台型以及安全性的独特优势,占据着程序开发语言的主要市场份额。随着软件开发规模的增大,代码复杂度的提高,对软件安全性的检测的难度也随着增大,因此,基于Java源码的静态检测方法有着重要的研究意义。程序的静态检测方法,是基于程序的执行逻辑,依照程序的执行过程对程序的执行结果进行分析,在分析的过程中能够准确的定位程序漏洞节点位置,为后期的修改工作提供有效的支持。现有的基于Java源码的静态检测技术在分析效率和结果准确率这两个程序分析的重要指标上都有着亟待提高的空间,本文基于控制流分析和数据流分析方法的研究,提出的一种新的检测系统在这两个方面较以往的检测方法都有着较为明显的提升。本文的主要研究工作为:第一、基于控制流分析框架对Java源码进行控制流分析生成过程间控制流图,第二、结合IFDS问题的理论研究,将Java程序分析问题抽象为具体IFDS问题,第三、根据IFDS问题,定义IFDS问题求解器的接口类和接口类中的功能函数,其中最重要的功能函数为数据流函数;数据流函数定义了不同类型的数据流,并根据程序执行的逻辑,判断当前语句的类型,根据当前语句的类型,选择相对应类型的数据流函数,对程序进行数据流分析,得出分析结果。通过对该系统的实验测试,表明基于控制流分析和数据流分析的Java源码静态检测框架可以完成对程序的完整性分析,并且对程序的漏洞分析结果的准确率高于一般静态程序分析平均标准值,达到了预期的设计目标和要求。

关键词：静态检测控制流分析数据流分析路径查找 Jimple IFDS

基于并发语义的UML2.0顺序图控制流分析

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于并发语义的UML2.0顺序图控制流分析

作者：王琳吉林大学

学位级别：硕士

统一建模语言UML是目前软件开发领域最为广泛应用的一种建模语言。随着UML的广泛应用和最新版本UML 2.0的发布,以及模型驱动架构MDA技术的日趋成熟,基于模型的控制流分析(MBCFA)这一领域已经得到越来越多的关注,它对MDA背景下的模型编... 详细信息

统一建模语言UML是目前软件开发领域最为广泛应用的一种建模语言。随着UML的广泛应用和最新版本UML 2.0的发布,以及模型驱动架构MDA技术的日趋成熟,基于模型的控制流分析(MBCFA)这一领域已经得到越来越多的关注,它对MDA背景下的模型编译、理解、执行以及已有的基于顺序图的测试技术都具有一定的意义。本文在现有工作的基础上提出了一种基于UML 2.0顺序图消息并发语义得到控制流路径的新方法。从系统执行角度,消息的发生实际上是系统执行发送和接收消息的动作,消息发生的顺序实际上可以通过对象发送和接收消息的动作的顺序来确定。本文据此并基于最大并发度的语义提出了利用定义顺序图发送和接收消息的动作之间的顺序关系,根据动作关系发现并定义相应消息的顺序关系,根据UML活动图善于描述并发活动的特点,提出用活动图表示顺序图的并发控制流,即并发控制流图CCFG,最后根据消息顺序关系规定从顺序图到CCFG的一致性转换规则,从而得到顺序图的并发控制流路径。

关键词： UML2.0顺序图活动图控制流分析并发控制流

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于二进制可执行文件的控制流分析研究

基于二进制可执行文件的控制流分析研究

作者：阳俊文北京邮电大学

学位级别：硕士

近年来,随着我国信息化技术的不断推进,网络安全日益突出,大多数的网络安全应用都是基于软件的安全缺陷来进行的。而在软件安全领域有很多关键问题需要对二进制可执行性代码进行安全特性的分析。控制流分析是安全特性分析中的一个关键步... 详细信息

近年来,随着我国信息化技术的不断推进,网络安全日益突出,大多数的网络安全应用都是基于软件的安全缺陷来进行的。而在软件安全领域有很多关键问题需要对二进制可执行性代码进行安全特性的分析。控制流分析是安全特性分析中的一个关键步骤,它的目标在于恢复程序的执行流,为后续的程序不同路径的安全性分析、数据流分析、符号执行以及测试数据生成等打下良好的基础。本文引进支配结点,支配树等相关概念,分析了条件语句、多路分支语句和循环语句在编译成二进制文件后在流图和支配树上所表现的特征,并描述了条件结构和循环结构的恢复方法。

关键词：二进制分析支配树控制流分析流图生成

VLIW体系结构微处理器的控制流分析与其模拟软件设计

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

小型微型计算机系统 2001年第5期22卷 513-516页

作者：霍玉梅王沁北京科技大学计算机系北京100083

本文在研究超长指令字 (VL IW)体系结构的基础上 ,总结了 VL IW体系结构的指令结构特征、处理器结构特征和执行特征 ,通过比较 VL IW体系结构微处理器模拟器的两种设计方案 ,选定以结构为基础设计模拟器的方案 ,并解决了模拟器的设计难... 详细信息

本文在研究超长指令字 (VL IW)体系结构的基础上 ,总结了 VL IW体系结构的指令结构特征、处理器结构特征和执行特征 ,通过比较 VL IW体系结构微处理器模拟器的两种设计方案 ,选定以结构为基础设计模拟器的方案 ,并解决了模拟器的设计难点——串并行冲突的问题 .

关键词： VLIW 体系结构微处理器控制流分析模拟软件指令部件

Soot的Java程序控制流分析及图形化输出

在线全文

学校读者我要写书评

暂无评论

计算机系统应用 2009年第10期18卷 88-92页

作者：李远玲陈华刘丽北京系统工程研究所北京100101

Soot是一个Java编译优化框架,可以利用它实现Java字节码程序的数据流分析和控制流分析。在深入分析Soot控制流生成机制的基础上,详细叙述了利用Soot分析Java类的控制流并生成其控制流图的方法和过程,同时提出了将Soot生成的抽象的控制... 详细信息

Soot是一个Java编译优化框架,可以利用它实现Java字节码程序的数据流分析和控制流分析。在深入分析Soot控制流生成机制的基础上,详细叙述了利用Soot分析Java类的控制流并生成其控制流图的方法和过程,同时提出了将Soot生成的抽象的控制流图进行图形化输出的方法。

关键词： Java Soot 控制流分析 DOT语言图形化输出

在线全文

学校读者我要写书评

暂无评论

隐式信息流重组粒度与污点传播能力判别

小型微型计算机系统 2024年第6期45卷 1512-1520页

作者：唐成华杜征关晓龙强保华桂林电子科技大学广西可信软件重点实验室广西桂林541004 广西密码学与信息安全重点实验室广西桂林541004 广西云计算与大数据协同创新中心广西桂林541004

污点分析中的隐式信息流由于其通过控制流传播污点的特性导致许多基于数据流的污点分析技术无效或分析效率低.本文提出了一种简洁有效的基于重组粒度的隐式信息流污点传播能力判别方法.通过预定义重组链构建规则,并基于程序切片和控制... 详细信息

污点分析中的隐式信息流由于其通过控制流传播污点的特性导致许多基于数据流的污点分析技术无效或分析效率低.本文提出了一种简洁有效的基于重组粒度的隐式信息流污点传播能力判别方法.通过预定义重组链构建规则,并基于程序切片和控制依赖关系给出了隐式信息重组链构建算法,在重组链各端点的信息重组粒度计算的基础上,获得隐式信息流的重组粒度及重组比值,能判别其污点传播能力.此外,实验开发了一个包含15个隐式信息流代码段的隐式信息流测试集IIF-Bench,并用来验证了判别方法的有效性和良好独立性,使其易于作为扩展添加至其它静态污点分析方法中从而实现隐式信息流分析的能力.

关键词：污点分析隐式信息流控制流分析静态分析重组粒度

基于控制流的Mobile Safe Ambients演算的静态分析策略

同方期刊数据库博看期刊评论

在线全文

学校读者我要写书评

暂无评论

吉林大学学报（理学版） 2008年第4期46卷 704-710页

作者：张红刘磊吉林大学计算机科学与技术学院长春130012

在Mobile Safe Ambients演算进程的拓扑结构抽象表示基础上,通过识别可被激活的移动原语和通讯原语,计算系统运行的所有动态进程拓扑结构,并在文法规则中显示地标识约束名字和变量,使分析结果在α变换下保持不变.该策略可被应用于静态... 详细信息

在Mobile Safe Ambients演算进程的拓扑结构抽象表示基础上,通过识别可被激活的移动原语和通讯原语,计算系统运行的所有动态进程拓扑结构,并在文法规则中显示地标识约束名字和变量,使分析结果在α变换下保持不变.该策略可被应用于静态分析和验证基于Mobile Safe Ambients演算描述的并行与分布式系统的动态行为及属性.

关键词： Mobile Safe Ambients演算控制流分析静态分析