3、SySeVR测试（上）

一、准备

1、将测试代码放在/home/test目录下；

2、将测试数据导入joern

在/home/SySeVR/joern-0.3.1查看是否存在.joernIndex文件，有的话，需要删除。

删除之后，将测试数据导入joern:

java -jar /home/SySeVR/joern-0.3.1/bin/joern.jar /home/test/testCode

开启neo4j数据库：

直接使用以下命令打开neo4j数据库：

neo4j start

如果上述命令不可以，跳转到neo4j的bin目录下使用该命令：

二、数据切片

确保你的python版本为python2.7

如上图，我在执行切片代码的时候，应该用“python2 xxx.py”，而不是“python xxx.py”。

1、get_cfg_relation.py

python2 get_cfg_relation.py

会出现如下图所示的报错：

解决方法：

（1）需要去官网下载python-igraph/0.7.1-post6:

https://pypi.org/project/python-igraph/0.7.1.post6/#fileshttps://pypi.org/project/python-igraph/0.7.1.post6/#files （2）安装python-igraph

会报错显示没有Python.h这个文件或目录：

解决办法：

apt-get update && upgrade  //更新
apt-get install python2-dev //因为我的python默认指向python3

完成python2-dev的安装之后，再次跳转到python-igraph目录下，安装python-igraph：

python-igraph安装结果：

（3）再次跳转到切片程序目录下，执行：

python2 get_cfg_relation.py

报错：没有‘cfg_db/testCode’目录。

解决办法：在/home/test/source2slice目录下创建“cfg_db”这一文件夹。

最后结果都保存在cfg_db文件夹里。

2、complete_PDG.py

python2 complete_PDG.py

解决方法：
在‘./source2slice’目录下创建pdg_db文件夹

最后结果都保存在pdg_db文件夹

3、access_db_operate.py

python2 access_db_operate.py

解决办法：

在‘./source2slice’目录下创建"dict_call2cfgNodeID_funcID"文件夹

最后结果都保存在dict_call2cfgNodeID_funcID文件夹下。

4、points_get.py

python2 points_get.py

这一步输出文件在source2slice目录下，有四个输出文件，分别为：

sensifunc_slice_points.pkl
pointuse_slice_points.pkl
arrayuse_slice_points.pkl
integeroverflow_slice_points_new.pkl

5、extract_df.py

python2 extract_df.py

解决方法：

在“./source2slice”下创建文件夹：（我之前依据创建了C文件夹，所以没有显示“mkdir：已创建目录‘C’”）

 mkdir -pv C/test_data/4

在目标文件夹里生成了两个txt文件：

至此，已经获取了测试数据的切片文件，待续。。。

3、SySeVR测试（上）相关推荐

计算机测试怎么提交,Win7电脑怎么测试上传速度？
做网站的人都知道上传速度是很重要的,因为太差的上传速度会影响工作的进度,所以他们经常要对上传速度进行测试,但是有一些新手不知道Win7电脑怎么测试上传速度?为此小编赶紧整理了以下教程,不知道的朋友赶紧 ...
postman测试上传下载文件
postman测试上传下载文件 1 测试上传文件选择 Body 选择 form-data 参数 key 值填写后在后面下拉选择 file value 点击 Select Files 选择需要上 ...
wsbm服务器错误怎么修复,如何使用ab测试上传文件
1. 简单了解ab测试 ab是Apache超文本传输协议(HTTP)的性能测试工具.可以使用工具对网络接口进行压力测试,以判断网络接口的性能. 一般对网络接口进行压力测试,需要关注几个重要的指标,吞吐 ...
【springboot】上传并解析excel表，使用postman测试上传文件，解决excel版本报错问题
声明:博客代码只是实际项目的一部分,项目是前后端分离的,这篇博客中将记录如何使用工具类中提供的解析excel表格数据,并使用postman测试上传excel表的接口. 在项目pom.xml文件中添加依 ...
Postman测试上传/下载接口
Postman测试上传/下载接口 1.Postman测试上传接口 2.Postman测试下载接口
fastdfs测试上传
fastdfs测试上传 1.修改配置文件进入到/etc/fdfs 下载[root@localhost fdfs]# sz client.conf.sample base_path=/home ...
百度 Hydra 工具在移动端 UI 兼容性测试上的高效应用
导读:尽管自动化测试技术日新月异,但是自动化case构建成本.执行稳定性等问题的存在,使手工测试依然移动端质量保证的重要手段.传统手工测试必须通过人工操作的方式执行测试用例,效率提升依赖测试人员的操作 ...
非核心版本的计算机上_软件测试之兼容性测试(上)
对于基于计算机平台的软件,在测试过程中必须考虑软.硬件的兼容性,在设计测试用例的过程中必须考虑数据转换或转移的问题,应该尽力发现其可能带来的错误.不仅是基于计算机平台的软件,对于嵌入式软件也一样,在软 ...
Linux服务器用speedtest 测试上传下载速度
如何测试Linux服务器上传下载速度方法一. 方法二.登陆到服务器的Home目录下,下载speedtest.py sudo wget https://raw.githubusercontent.co ...

3、SySeVR测试（上）

3、SySeVR测试（上）相关推荐

最新文章

热门文章