web安全 安全 Sysver论文复现3--source2lice切片

python get_cfg_relation.py

如果发生报错，删除No_Vul107这个数据

首先关闭数据库neo4j

然后

rm -rf cfg_db

再然后要切到joern中，删除

rm -rf .joernIndex

再再然后，删除这个元素

rm -rf No_vul107

再再再然后重新获取运行joern。

java -jar bin/joern.jar No_vul/

重新这一步的开始

2.生成pdg图

首先创建文件夹

mkdir pdg_db

其次， 执行

python complete_PDG.py

3. 生成函数的图

首先创建文件夹

mkdir dict_call2cfgNodeID_funcID

其次， 执行

python access_db_operate.py

4. 生成四种SyVCs

执行

python points_get.py

5.获取四种切片

mkdir -pv C/test_data/4

执行

python extract_df.py

这里会报错，我们自己写脚本进行处理

比如说对于api切片，首先创建process.py文件

import re

with open(“./output.txt”, “r”) as file: lines = file.readlines() regex_pattern = r"\b([^/]+).c\b"

for line in reversed(lines): match = re.search(regex_pattern, line) if match: matched_content = match.group(1) break

import pickle file = open(“./pointuse_slice_points.pkl”,“rb”) info = pickle.load(file) del info[matched_content] with open(“./pointuse_slice_points.pkl”,“wb”) as f: pickle.dump(info,f)

其次，创建process.sh

#!/bin/bash count=0 while true; do python2 ./extract_df.py > output.txt 2>&1 exit_status=

?

c

o

u

n

t

=

? count=

?count=((count+1)) echo “number_is $count” if [ $exit_status -eq 0 ]; then break fi cd /home/SySeVR/Implementation/source2slice/C/test_data/4 rm pointersuse_slices.txt cd /home/SySeVR/source2slice python2 ./process.py done ~

然后对extract_df.py进行处理

coding:utf-8

from joern.all import JoernSteps from igraph import * from access_db_operate import * from slice_op import * from py2neo.packages.httpstream import http http.socket_timeout = 9999

def get_slice_file_sequence(store_filepath, list_result, count, func_name, startline, filepath_all): list_for_line = [] statement_line = 0 vulnline_row = 0 list_write2file = []

for node in list_result: if node[‘type’] == ‘Function’: f2 = open(node[‘filepath’], ‘r’) content = f2.readlines() f2.close() raw = int(node[‘location’].split(‘:’)[0])-1 code = content[raw].strip()

new_code = “” if code.find(“#define”) != -1: list_write2file.append(code + ’ ’ + str(raw+1) + ‘\n’) continue

while (len(code) >= 1 and code[-1] != ‘)’ and code[-1] != ‘{’): if code.find(‘{’) != -1: index = code.index(‘{’) new_code += code[:index].strip() list_write2file.append(new_code + ’ ’ + str(raw+1) + ‘\n’) break

else: new_code += code + ‘\n’ raw += 1 code = content[raw].strip() #print “raw”, raw, code

else: new_code += code new_code = new_code.strip() if new_code[-1] == ‘{’: new_code = new_code[:-1].strip() list_write2file.append(new_code + ’ ’ + str(raw+1) + ‘\n’) #list_line.append(str(raw+1)) else: list_write2file.append(new_code + ’ ’ + str(raw+1) + ‘\n’) #list_line.append(str(raw+1))

elif node[‘type’] == ‘Condition’: raw = int(node[‘location’].split(‘:’)[0])-1 if raw in list_for_line: continue else: #print node[‘type’], node[‘code’], node[‘name’] f2 = open(node[‘filepath’], ‘r’) content = f2.readlines() f2.close() code = content[raw].strip() pattern = re.compile(“(?:if|while|for|switch)”) #print code res = re.search(pattern, code) if res == None: raw = raw - 1 code = content[raw].strip() new_code = “”

while (code[-1] != ‘)’ and code[-1] != ‘{’): if code.find(‘{’) != -1: index = code.index(‘{’) new_code += code[:index].strip() list_write2file.append(new_code + ’ ’ + str(raw+1) + ‘\n’) #list_line.append(str(raw+1)) list_for_line.append(raw) break

else: new_code += code + ‘\n’ list_for_line.append(raw) raw += 1 code = content[raw].strip()

else: new_code += code new_code = new_code.strip() if new_code[-1] == ‘{’: new_code = new_code[:-1].strip() list_write2file.append(new_code + ’ ’ + str(raw+1) + ‘\n’) #list_line.append(str(raw+1)) list_for_line.append(raw)

else: list_for_line.append(raw) list_write2file.append(new_code + ’ ’ + str(raw+1) + ‘\n’) #list_line.append(str(raw+1))

else: res = res.group() if res == ‘’: print filepath_all + ’ ’ + func_name + " error!" exit()

elif res != ‘for’: new_code = res + ’ ( ’ + node[‘code’] + ’ ) ’ list_write2file.append(new_code + ’ ’ + str(raw+1) + ‘\n’) #list_line.append(str(raw+1))

else: new_code = “” if code.find(’ for ') != -1: code = ‘for ’ + code.split(’ for ')[1]

while code != ‘’ and code[-1] != ‘)’ and code[-1] != ‘{’: if code.find(‘{’) != -1: index = code.index(‘{’) new_code += code[:index].strip() list_write2file.append(new_code + ’ ’ + str(raw+1) + ‘\n’) #list_line.append(str(raw+1)) list_for_line.append(raw) break

elif code[-1] == ‘;’ and code[:-1].count(‘;’) >= 2: new_code += code list_write2file.append(new_code + ’ ’ + str(raw+1) + ‘\n’) #list_line.append(str(raw+1)) list_for_line.append(raw) break

else: new_code += code + ‘\n’ list_for_line.append(raw) raw += 1 code = content[raw].strip()

else: new_code += code new_code = new_code.strip() if new_code[-1] == ‘{’: new_code = new_code[:-1].strip() list_write2file.append(new_code + ’ ’ + str(raw+1) + ‘\n’) #list_line.append(str(raw+1)) list_for_line.append(raw)

else: list_for_line.append(raw) list_write2file.append(new_code + ’ ’ + str(raw+1) + ‘\n’) #list_line.append(str(raw+1))

elif node[‘type’] == ‘Label’: f2 = open(node[‘filepath’], ‘r’) content = f2.readlines() f2.close() raw = int(node[‘location’].split(‘:’)[0])-1 code = content[raw].strip() list_write2file.append(code + ’ ’ + str(raw+1) + ‘\n’) #list_line.append(str(raw+1))

elif node[‘type’] == ‘ForInit’: continue

elif node[‘type’] == ‘Parameter’: if list_result[0][‘type’] != ‘Function’: row = node[‘location’].split(‘:’)[0] list_write2file.append(node[‘code’] + ’ ’ + str(row) + ‘\n’) #list_line.append(row) else: continue

elif node[‘type’] == ‘IdentifierDeclStatement’: if node[‘code’].strip().split(’ ‘)[0] == “undef”: f2 = open(node[‘filepath’], ‘r’) content = f2.readlines() f2.close() raw = int(node[‘location’].split(’:‘)[0])-1 code1 = content[raw].strip() list_code2 = node[‘code’].strip().split(’ ') i = 0 while i < len(list_code2): if code1.find(list_code2[i]) != -1: del list_code2[i] else: break code2 = ’ '.join(list_code2)

list_write2file.append(code1 + ’ ’ + str(raw+1) + ‘\n’ + code2 + ’ ’ + str(raw+2) + ‘\n’)

else: list_write2file.append(node[‘code’] + ’ ’ + node[‘location’].split(‘:’)[0] + ‘\n’)

elif node[‘type’] == ‘ExpressionStatement’: row = int(node[‘location’].split(‘:’)[0])-1 if row in list_for_line: continue

if node[‘code’] in [‘\n’, ‘\t’, ’ ', ‘’]:

自我介绍一下，小编13年上海交大毕业，曾经在小公司待过，也去过华为、OPPO等大厂，18年进入阿里一直到现在。

深知大多数网络安全工程师，想要提升技能，往往是自己摸索成长，但自己不成体系的自学效果低效又漫长，而且极易碰到天花板技术停滞不前！

因此收集整理了一份《2024年网络安全全套学习资料》，初衷也很简单，就是希望能够帮助到想自学提升又不知道该从何学起的朋友。

既有适合小白学习的零基础资料，也有适合3年以上经验的小伙伴深入学习提升的进阶课程，基本涵盖了95%以上网络安全知识点，真正体系化！

由于文件比较大，这里只是将部分目录大纲截图出来，每个节点里面都包含大厂面经、学习笔记、源码讲义、实战项目、讲解视频，并且后续会持续更新

如果你觉得这些内容对你有帮助，可以添加VX：vip204888 （备注网络安全获取）

给大家的福利

零基础入门

对于从来没有接触过网络安全的同学，我们帮你准备了详细的学习成长路线图。可以说是最科学最系统的学习路线，大家跟着这个大的方向学习准没问题。

同时每个成长路线对应的板块都有配套的视频提供：

因篇幅有限，仅展示部分资料

网络安全面试题

绿盟护网行动

还有大家最喜欢的黑客技术

网络安全源码合集+工具包

所有资料共282G，朋友们如果有需要全套《网络安全入门+黑客进阶学习资源包》，可以扫描下方二维码领取（如遇扫码问题，可以在评论区留言领取哦）~

一个人可以走的很快，但一群人才能走的更远。不论你是正从事IT行业的老鸟或是对IT行业感兴趣的新人，都欢迎扫码加入我们的的圈子（技术交流、学习资源、职场吐槽、大厂内推、面试辅导），让我们一起学习成长！

9406fead3d3f03c.jpeg)

网络安全源码合集+工具包

所有资料共282G，朋友们如果有需要全套《网络安全入门+黑客进阶学习资源包》，可以扫描下方二维码领取（如遇扫码问题，可以在评论区留言领取哦）~

一个人可以走的很快，但一群人才能走的更远。不论你是正从事IT行业的老鸟或是对IT行业感兴趣的新人，都欢迎扫码加入我们的的圈子（技术交流、学习资源、职场吐槽、大厂内推、面试辅导），让我们一起学习成长！ [外链图片转存中…(img-6GsRGktO-1712719465338)]

相关文章