Java编程入门（三）

控制流语句 控制流语句是所有程序设计语言的重要组成部分。事实上,所有计算机程序的本质就是作出判断并根据这些判断完成相应的操作。程序进行比较并根据比较结果作出反应。这里讨论的控制流语句就是让程序作出判断并根据判断完成相应操作。 if...else语句 if...else语句允许代码对一个表达式进行测试并根据表达式的取值决定分支。如果布尔型表达式取值为真(true),计算机将执行官后面的语句;如果条件取值为假(false),计算机则不执行后面的语句。     

程序的分层静态分析模型HSAM

论文阐述了程序的一种分层静态分析的模型(HSAM)。在一定的分析精度的要求下,该模型采用一种分层分析的思想:先从整体的角度对程序进行模块结构分析;然后在模块内部进行控制流的分析;最后进行数据流分析。论文提出的逆序path更新算法对于控制流的分析非常有效。     

线程划分中的寄存器依赖问题分析

推测多线程主要针对编译器生成的指令进行线程划分,在控制流和数据流分析基础上,实现串行程序的自动并行化.模拟器作为检验线程划分算法的有效手段,不仅能验证程序执行结果的正确性,而且可以评估程序并发执行的加速比性能,进一步也可以反映线程划分算法的合理性.针对Olden Suite程序在模拟器上的运行时统计信息,分析线程划分中所存在的寄存器依赖问题.同时,结合实例详细讨论造成寄存器依赖的主要原因.最后,针对寄存器依赖问题提出一种改进的线程划分方法.     

工作流中检测异常数据流的系统遍历图算法研究

工作流技术已经成为管理日益复杂业务流程的标准方案。成功的业务流程管理依赖于有效的工作流模型,而工作流模型主要限制控制流和数据流方面。但是大量分析和算法的存在是用来验证控制流的正确性,只有相对较少的方案可用于验证数据流的正确性。文章针对工作流中的异常数据流,对异常数据流进行定义和分类,并提出一种异常数据流验证算法—系统遍历图算法,其可以在工作流建模时避免异常数据流,有效减少企业经济活动的风险,帮助企业高效地作出决策。     

与异常相关的C++程序安全漏洞研究

分析了C++程序中与异常相关的安全漏洞,以及这些漏洞会引起内存泄漏、程序的控制流异常和数据流异常.根据几种常见安全漏洞的表现形式,结合实例详细分析了这些安全漏洞产生原因及特点,并给出安全编程的建议.     

双语法规则程序依赖性分析

为了提高传统程序依赖性分析的应用范围和灵活性,提出一种新的程序分析方法。该方法分为不完整性分析和完整性分析两部分。在gcc3.2和Linux内核2.4.20-8的编译环境下,利用不同的词法和语法分析模块对程序结构、数据依赖和控制信息进行提取,加快了程序分析的速度,并有效降低了程序数据流依赖分析和控制流依赖分析中算法的复杂度。最后用具体的程序实现证明了该算法的可行性。     

基于控制流隐藏的代码迷惑

为了保护程序免受恶意攻击，确保软件的安全执行，提出了一种隐藏控制流图压平的代码迷惑方法。在已有的控制流图压平的基础上，引入分支函数和转移函数，建立了加强的压平控制流模型以防静态分析。本方案的安全性更多的是基于数据流，其模型是结构化且可扩展的，难以重构原始控制流图，所使用的单向函数不会静态的泄露任何控制流信息。若要理解程序控制流，攻击者必须对更大的代码段进行分析，能有效的防止静态逆向工程。     

基于Soot控制流图的函数调用路径分析

每个应用系统中存在多条基于函数的调用路径,这些路径的准确提取对于程序的理解、测试和维护起着重要的作用。文章利用开源的Java程序编译优化框架-Soot,对java程序的数据流及控制流进行分析,提取函数间关联信息写入中间文件,并对文件中的数据进行了分析,阐述了程序函数调用路径生成的流程及Soot的优点。最后通过实验验证,相比其他程序调用分析软件,基于Soot调用路径分析的软件测试工具-JSFUNP,对程序调用路径的分析更加准确、高效。     

基于SIMD体系结构的数据相关控制语句转化方法

数据并行应用具有规则的结构,该结构可以描述为一系列算术运算函数在数据流上的操作,对应于此应用的SIMD体系结构,可以充分利用这种规则性来提高性能,然而,含有数据相关控制结构的应用,在SIMD体系结构上的执行效率却很低,将数据相关的控制结构转化成数据传输,就可以使含有数据相关控制流的应用在SIMD体系结构上高效执行,这种转化技术使更多的应用可以在SIMD体系结构上高效运行.     

基于路径风险适应度的模糊测试方法

AFL基于遗传算法和多种变异策略来生成程序测试用例,以检测程序的漏洞,但AFL仅依赖控制流信息决定参与进一步模糊的种子,难以发现c、c++程序中存在的内存操作问题,且AFL简单的favorite策略没有充分考虑种子的特性和执行路径的特征,导致能够触发崩溃的种子迟迟不能被执行.因此,通过插桩获取程序的反馈信息,然后计算路...