原文:Soot生成控制流图

Soot是McGill大学的Sable研究小组自 年开始开发的Java字节码分析工具,它提供了多种字节码分析和变换功能,通过它可以进行过程内和过程间的分析优化,以及程序流图的生成,还能通过图形化的方式输出,让用户对程序有个直观的了解。尤其是做单元测试的时候,可以很方便的通过这个生成控制流图然后进行测试用例的覆盖,显著提高效率。 如果是将Soot当作简单工具来分析的人,可以直接使用Soot自带的工具 ...

2016-05-21 22:27 1 7634 推荐指数:

查看详情

软件测试:Soot生成控制流

Soot生成控制流 1.下载jdk1.7并配置环境变量(下载地址:http://www.oracle.com/technetwork/java/javase/downloads/java-archive-downloads-javase7-521261.html ...

Wed May 02 05:32:00 CST 2018 3 3136
控制流(Control Flow Graph)

1.定义 百度百科: 控制流(Control Flow Graph, CFG)也叫控制流程图,是一个过程或程序的抽象表现,是用在编译器中的一个抽象数据结构,由编译器在内部维护,代表了一个程序执行过程中会遍历到的所有路径。它用的形式表示一个过程内所有基本块执行的可能流 ...

Thu Jun 03 04:56:00 CST 2021 0 2778
控制流分析

当编译器读入程序时,首先将程序看成是简单的字符序列。词法分析器将这些字符序列转换为单词,语法分析器从中进一步发现语法结构。由编译器前端产生的结果可以是语法树或者某种低级形式的中间代码。但是即使这样,它对程序做什么和怎么做仍然没有多少提示。 编译器把发现每个过程内控制流 ...

Mon Oct 14 00:38:00 CST 2019 0 313
Python(一)—— 控制流:if & for & while

基操 编程语言类 编译型 程序在执行之前需要一个专门的编译过程,把程序编译成 为机器语言的文件,运行时不需要重新翻译,直接使用编译的结果就行了。程序执行效率高,依赖编译器,跨平台性差些。缺点:编译之后如果需要修改就需要整个模块重新编译。编译的时候根据对应的运行环境生成机器码,不同的操作系统 ...

Fri Mar 29 08:15:00 CST 2019 0 698
六、Doris数据控制流

, 生成分布式执行计划。 ③ 分布式执行计划由 若干个可在单台be上执行的plan fragment构 ...

Mon Sep 06 01:45:00 CST 2021 0 121
T-SQL 控制流语句

控制流语句   批处理:     一个批处理段是由一个或者多个语句组成的一个批处理,之所以叫批处理是因为所有语句一次性被提交到一个SQL实例。     批处理是分批提交到SQL Server示例,因此在不同的批处理里局部变量不可访问。     在不同批处理中,流程控制语句不能跨 ...

Mon Mar 11 07:22:00 CST 2013 2 17411
 
粤ICP备18138465号  © 2018-2025 CODEPRJ.COM