3、SySeVR测试(上)

news2024/11/19 1:49:01

一、准备

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/#filesicon-default.png?t=M85Bhttps://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文件:

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

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.coloradmin.cn/o/783.html

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

程序员的中年危机:那些能工作到45、50、60的程序员们,究竟具备了哪些能力?

程序员行业新技术发展迅猛,可以说是日新月异。也正是这个原因,中年危机成为我们必须面对和攻克的问题。 思考一个问题:那些能工作到45、50、甚至60的程序员们,究竟具备了哪些过人的能力? 就我过去的经历和观察来说&a…

A comprehensive overview of knowledge graph completion

摘要 知识图(KG)以其代表和管理海量知识的独特优势,为各种下游知识感知任务(如推荐和智能问答)提供了高质量的结构化知识。KGs的质量和完整性在很大程度上决定了下游任务的有效性。但由于知识产权制度的不完备性,知识产权制度中仍有大量有价值的知识缺失…

【《机器人技术》复习】

【《机器人技术》复习】1. 要求:2. 机械手运动解算问题2.1 自由度考点2.2 运动学方程2.3 动力学方程2.4 传感器2.5 编程题1. 要求: 本次大作业上交截止时间 之前,超时,本门课程判定不及格。 作业上交的格式如下 一律以 WORD 文档…

2022年江西省职业院校技能大赛“网络空间安全”比赛任务书

2022年江西省职业院校技能大赛“网络空间安全” 比赛任务书 一、竞赛时间 总计:360分钟 竞赛阶段竞赛阶段 任务阶段 竞赛任务 竞赛时间 分值 A模块 A-1 登录安全加固 180分钟 200分 A-2 本地安全策略配置 A-3 流量完整性保护 A-4 事件监控 A-5 …

求交叉链表头结点-面试必备

这里分享一下一个交叉链表的关键题目,觉得不错的小伙伴别忘了点赞支持 交叉链表无环链表思路代码有环链表思路代码总结无环链表 已知有两个链表(无环)相交,求出相交的头结点 思路 因为链表相交,所以最后一部分一定重…

每天五分钟机器学习:常用的参数寻优方法——k折交叉验证

本文重点 本文我们介绍一种常用的参数寻优方法--k折交叉验证,现在的数据集一般分为三类,分别为训练集,验证集,测试集。训练集用于训练模型,验证集用于调参,测试集用于测试调参之后的模型效果。 但是很多时…

SpringBoot+Vue实现前后端分离社区疫苗接种管理系统

文末获取源码 开发语言:Java 使用框架:spring boot 前端技术:JavaScript、Vue 、css3 开发工具:IDEA/MyEclipse/Eclipse、Visual Studio Code 数据库:MySQL 5.7/8.0 数据库管理工具:phpstudy/Navicat JDK版…

xray和burp联动

目录 xray下载安装CT Stack 安全社区 Burp和xray联动 xray下载安装下载地址:CT Stack 安全社区 先通过PowerShell打开xray所在的目录,运行,生成yaml文件 genca在目录下生成证书 生产证书后将证书导入浏览器 导入后在本地安装一下 Burp和xray…

WebdriverIO – 完整的初学者课程2022

WebdriverIO – 完整的初学者课程2022 从零开始学习和使用 JavaScript 实现 Webdriver IO!构建功能齐全的 Web 测试自动化框架 课程英文名:WebdriverIO - Complete Beginner Course 2022 此视频教程共1.0小时,中英双语字幕,画质…

SD-WAN不断冲击传统WAN架构

随着全球化数字信息转型,网络结构也是在不断的发展和完善。随着云时代的到来,传统的网络布局的局限性开始凸显出来。在过去几年广域网最重要的变化是软件定义广域网技术 (SD-WAN) 的广泛部署,它改变了网络专业人员优化和保护广域网连接的方式…

python基于PHP+MySQL的大学生宿舍管理系统

大学宿舍管理系统是信息时代的产物,它是学校宿管部门的一个好帮手。有了它不再需要繁重的纸质登记,有了它宿管员不在需要繁重的工作,一些公寓信息和住宿等基本信息可以由管理人员及时的对信息进行查询、更新、修改和删除,方便简易,且时效性高 基于PHP大学生宿舍管理系统采用当前…

年薪50w+的软件测试工程师是怎么炼成的?

随着互联网行业的迅速发展,软件测试工程师的地位越来越高,公司招聘时的薪资也越来越高,那么市场上为什么还有大量的软件测试工程师薪资只有5-6k呢?因为他们有一个共同的弱点,就是只会手工测试!!…

Python编程运算符 比较运算符

作者简介:一名在校计算机学生、每天分享Python的学习经验、和学习笔记。 座右铭:低头赶路,敬事如仪 个人主页:网络豆的主页​​​​​​ 目录 前言 一.比较运算符 二.比较运算符使用 (1)等于 &…

操作系统之保护模式

保护模式保护模式概述初见保护模式保护模式之寄存器扩展保护模式之寻址扩展全局描述符表段描述符全局描述符GDT,局部描述符LDT级选择子保护模式的开关,CR0寄存器的PE位进入保护模式保护模式概述 ** 问题1:为什么会有保护模式** 实模式下操作…

D-逃亡的贝贝(二分+有限制最小边权)

D-逃亡的贝贝_牛客练习赛104 (nowcoder.com) 题意:给你一个n个点,m条双向边的图(有边权),再给你起点s与终点t,以及有k个药水可以使某一条边,减小,求起点到终点经历边权最小值为多少. 题解: 首先建图,然后看到题中让我们找的是一个最小,或最大的值,是一个线性的值,我们就可以想…

整理了几个100%提高Python代码质量的技巧,直呼过瘾

B站|公众号:啥都会一点的研究生 相关阅读 整理了几个100%会踩的Python细节坑,提前防止脑血栓 整理了十个100%提高效率的Python编程技巧,更上一层楼 Python-列表,从基础到进阶用法大总结,进来查漏补缺 Python-元组&…

类和对象下篇

目录 再谈构造函数 构造函数体赋值 初始化列表 explicit关键字 static成员 访问静态成员变量的方法 C11中成员初始化的新玩法 友元 友元函数 友元类 内部类 再次理解封装 再次理解面向对象 内容大纲: 再谈构造函数 构造函数体赋值 在对象创建时&…

【牛客刷题专栏】0x08:C数据结构栈实现反转链表

前言 个人推荐在牛客网刷题(点击可以跳转),它登陆后会保存刷题记录进度,重新登录时写过的题目代码不会丢失。个人刷题练习系列专栏:个人CSDN牛客刷题专栏。 牛客数据结构题目位置如下: 目录前言问题描述:举例&#x…

Pytest+Unittest+Git+Jenkins企业级CICD自动化测试平台建设方案

随着持续集成的引入,项目中的自动化测试用例越来越多,每轮执行所消耗的时间也越来越久。 要提高自动化测试用例执行的效率,以下几点是需要考虑的根本点。 (1)公司项目的交付策略如何 首先,测试团队服务于…

Autosar MCAL-ICU输入捕获

文章目录前言ICUIcuChannelIcuChannelIdIcuDefaultStartEdgeIcuMeasurementModeIcuSignalTypeIcuWakeupCapability子配置项IcuSignalMeasurementIcuSignalMeasurementPropertyIcuDutycycleBufferMarkerIcuOptionalApisIcuGetDutyCycleValuesApiIcuSetModeApiIcuSignalMeasureme…