使用soot和graphviz画Java的控制流图

article/2025/9/3 9:04:40

辛苦两天了,啥也不说,先来张图:

 

看着可真漂亮,O(∩_∩)O哈哈~

实验环境是Ubuntu。

1.JDK的版本必须是1.7或者以下,JDK1.8不行,总会报错,

2.下载sootclasses-2.5.0.jar包:http://download.csdn.net/download/sheshizhang/4573588

   可在github上照着官网上面的小例子试试手:https://github.com/Sable/soot/wiki/Introduction:-Soot-as-a-command-line-tool

3.下面正式使用soot,首先定义soot.jar的引用路径:

export SOOT_PATH=$HOME/mooc/soot-2.4.0.jar

4.引用的类的路径:

export CLASS_DIR=/home/cpp/cp

5.自定义的类的名称:

export CLASS_NAME=Test1

6.使用javac编译Java文件:

javac $CLASS_DIR/$CLASS_NAME.java

7.定义soot-class路径:

export SOOT_CLASS_PATH=$CLASS_DIR:$JAVA_HOME/jre/lib/rt.jar

8.使用命令生成dot文件:

java -cp $SOOT_PATH soot.tools.CFGViewer --soot-class-path $SOOT_CLASS_PATH --graph=BriefBlockGraph $CLASS_NAME

命令截图如下:

9.下面开始下载graphviz工具来可视化dot文件,dot文件具体是啥小伙伴们可以去官网看看。

在Linux下安装graphviz联网使用命令:

 sudo apt-get install graphviz

10.验证命令:

dot -version

如下所示:

十几种图文件格式,总有一款适合你,○( ^皿^)っHiahia…

11.使用dot命令:

dot -T jpg 111.dot -o 111.jpg,

此处我们将dot转化成了jpg,在自动生成的文件夹sootOutput里面就能看到他,有木有很兴奋?

编后语:最近由于论文需求画的Java控制流图还不能很好满足需求,小伙伴们有更好的工具可以共享出来呦,就不用这么辛苦了,可以在评论区里相互交流


http://chatgpt.dhexx.cn/article/SesWcrGL.shtml

相关文章

软件测试----------------- 控制流图 圈复杂度 独立路径 测试用例

最近在学软件测试,学到了画,控制流图 圈复杂度 独立路径 测试用例,这里,有些不理解,就网上查了下,发现好多老哥写错了,大佬写的甚至收费79。 我试着写写,如果有不足的,大…

LLVM CFG控制流图可视化

LLVM CFG控制流图可视化 准备 安装必要组件 sudo apt-get install -y graphviz-doc libgraphviz-dev graphviz示例程序 /// file 1.c int x 10; int y 11; int main(){int z 12; for (int i 0;i < 10;i){z * x * y;} return 0; }生成LLVM IR 文件 clang -S -em…

白盒测试--控制流测试(白盒测试,逻辑覆盖,路径测试(基路径测试、循环测试),控制流图)

文章目录 白盒测试概念白盒测试方法--控制流测试语句覆盖判定覆盖&#xff08;分支覆盖&#xff09;条件覆盖判定-条件覆盖条件组合覆盖路径覆盖 路径测试基路径测试循环测试 控制流图基本控制流图复合逻辑下的控制流图图矩阵环形复杂度 白盒测试概念 又叫结构测试&#xff0c…

控制流分析(Control Flow Analysis)

控制流(Control Flow)&#xff1a;操作的序列 控制流分析(Control Flow Analysis)&#xff1a;通过分析程序去发现每一过程内控制流层次结构。 控制流分析的原因&#xff1a; 控制流分析(CFA)能够帮助我们理解控制流图&#xff08;control-flow graphs,CFG&#xff09;的结构…

程序流图画法详解

程序流图一般是软件评测师考试中的第一道大题&#xff0c;同时也是必考大题&#xff0c;多层嵌套的循环程序绘制流程图时十分繁琐&#xff0c;本人在经过练习真题以及查阅资料后有了一些绘制控制流图的小经验&#xff0c;如有不对请指出。下面以2017年的软件评测师下午第一套真…

对Python控制流图(Control Flow Graph)-(CFG)的一些探索

对Python控制流图&#xff08;Control Flow Graph&#xff09;-&#xff08;CFG&#xff09;的一些探索 粗浅的了解 1.定义 控制流图(Control Flow Graph, CFG)也叫控制流程图&#xff0c;是一个过程或程序的抽象表现&#xff0c;是用在编译器中的一个抽象数据结构&#xff…

中间表示- 控制流图

基本概念 基本块&#xff1a;是语句的一个序列&#xff0c;从第一条执行到最后一条 不能从中间进入&#xff0c;不能从中间退出&#xff0c;即跳转指令只能出现在最后 控制流图&#xff1a;控制流图是一个有向图G(V&#xff0c;E) 节点V&#xff1a;是基本块边E&#xff1a…

控制流图分类

The if Statement if (x < y) {y 0;x x 1; } else {x y; } if (x < y) {y 0;x x 1; } The if-return Statement if (x < y) {return; } print (x); return; 注意&#xff1a;2到3 没有边 while and for Loops x 0; while (x < y) {y f (x, y);x x …

【浅析】程序分析中的数据流图(data flow graph)和控制流图(control flow graph)

文章目录 前言1、data flow graphs2、Control Flow Graph小结 前言 创作开始时间&#xff1a;2021年4月9日09:17:11 如题。看了一些网页文献&#xff0c;大概对这两种流图有了一定的理解&#xff0c;这里简单地记录一下&#xff0c;尤其是一些例子&#xff0c;感觉比较直观。…

软件测试之控制流图以及环形复杂度独立路径求解问题

首先需要明确的是&#xff0c;控制流图并不等于流程图&#xff0c;可以理解为控制流图的出现是为了后续的环形复杂度的计算和写出独立路径和配以相应的测试用例。 所以控制流图是核心&#xff0c;画图的时候务必谨慎再谨慎&#xff0c;要不然可能你后面的全部崩盘。 控制流图考…

【程序分析】函数调用图 | 控制流图 | 过程间控制流图 | 数据流图 | 值流图

CG&#xff08;call graph&#xff09;和CFG&#xff08;control-flow graph&#xff09;都是表示程序控制流的有向图。 1 函数调用图&#xff1a;CG&#xff08;call graph&#xff09; 一个CG是表示整个程序中方法&#xff08;函数&#xff09;之间调用关系的图&#xff0c…

LLVM CFG/DFG控制流图和数据流图可视化

1.引言 由于最近在学习数据流分析的相关知识&#xff0c;记录一下利用LLVM生成CFG和DFG的学习过程&#xff0c;参考文献和网址放在文章末尾。 2.实验环境 操作系统&#xff1a;Ubuntu 20.04.3 LTS 64bit&#xff1b; 硬件设备&#xff1a;Intel Celeron(R) CPU N34…

控制流图、圈复杂度

继续上次的测试作业&#xff0c;学习完程序插装的概念&#xff0c;今天学习测试的静态分析方法&#xff1a;绘制控制流图与计算圈复杂度。 一、控制流图&#xff1a; 一个过程或程序的抽象表现&#xff0c;常以数据结构链的形式表示。 二、圈复杂度&#xff1a; 复杂度越高&…

软件评测师必考题-控制流图

控制流图的基本知识 首先我们得清楚控制流图中的几个判断循环是如何表示的&#xff1a; 判断节点的嵌套 清楚了上面表示方法&#xff0c;你还是很难画出复杂的控制流图&#xff0c;而软考的控制流图往往是2个或多个判断节点嵌套在一起。其实只要把嵌套的节点想象成被嵌套节点…

软件中级-控制流图基本知识

软件中级-控制流图基本知识 什么是控制流图&#xff1f; 控制流图(Control Flow Graph, CFG)也叫控制流程图&#xff0c;是一个过程或程序的抽象表现&#xff0c;是用在编译器中的一个抽象数据结构&#xff0c;代表了一个程序执行过程中会遍历到的所有路径。 控制流图中包含…

程序控制流图

基本符号 ps&#xff1a;请将线看成弧线[doge] 顺序结构 if选择结构 while循环结构 case多分支结构 控制流图由节点和控制流线&#xff08;弧&#xff09;两种符号组成。 结点以标有编号的圆圈表示&#xff0c;用于表示程序流程图中矩形框、菱形框的功能&#xff0c;是一…

控制流图怎么画

一、什么是控制流图&#xff1f; 控制流图(Control Flow Graph, CFG)也叫控制流程图&#xff0c;是一个过程或程序的抽象表现&#xff0c;是用在编译器中的一个抽象数据结构&#xff0c;由编译器在内部维护&#xff0c;代表了一个程序执行过程中会遍历到的所有路径。它用图的形…

软工——各种图

目录 一.因果图二.控制流图三.程序流程图四.数据流图数据流数据流图的画法&#xff1a;由简入繁父图子图平衡保持数据守恒数据字典 五.N-S盒图六.PAD盒图七.操作状态图八.用例图、活动图、顺序图九.类图十.Jackson图十一.IPO图 一.因果图 因果图法&#xff1a;是一种利用图解法…

软件测试之控制流图

为了应对软件工程考试&#xff0c;本文对控制流图常见考法进行整理&#xff0c;主要是针对软件评测师的题型来整理。 什么是控制流图 控制流图是一个过程或程序的抽象表现&#xff0c;常以数据结构链的形式表示。简称流图&#xff0c;是对程序流程图进行简化后得到的&#xf…

控制流图(Control Flow Graph)-(CFG)

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