文件名称:VulDetector:一种基于图比较的CC分析漏洞检测静态分析工具
文件大小:187KB
文件格式:ZIP
更新时间:2024-06-09 14:42:43
Python
VulDetector 描述 VulDetector是一种静态分析工具,用于基于函数粒度的图比较来检测C / C ++漏洞。 VulDetector的关键是加权特征图(WFG)模型,该模型使用小的但语义丰富的图来表征功能。 它首先精确定位对漏洞敏感的关键字,以对函数的控制流图进行切片,从而在不影响安全性相关语义的情况下减小图的大小。 然后,使用WFG对每个切片的子图进行特征化,它以不同的安全级别提供语法和语义特征。 在这里,我们提供了有关WFG生成和比较的关键模块。 请参阅我们的以获取更多详细信息。 关键模块 DataPrepare:从程序中提取功能代码和CFG。 SenLocate:找到敏感线。 WFGParse:从CFG生成WFG。 SimCompare:计算两个WFG的相似性 环境 在Linux-3.10.0(Red hat 7.3)和Linux-4.15.0(Ubuntu
【文件预览】:
VulDetector-master
----config.py(2KB)
----WFGParse()
--------slicing.pyc(7KB)
--------__init__.pyc(110B)
--------ast_feature.pyc(3KB)
--------ast_feature.py(4KB)
--------__init__.py(0B)
--------code2graph.pyc(10KB)
--------slicing.py(10KB)
--------wfg_mngr.py(3KB)
--------stat_graphs.py(9KB)
--------wfg_mngr.pyc(3KB)
--------code2graph.py(14KB)
----llvm_clang()
--------clang.patch(8KB)
--------README(206B)
----config.pyc(2KB)
----DataPrepare()
--------batch_process.py(4KB)
--------extract_cfg_desc.py(5KB)
--------ast_feature_list(6KB)
--------extract_func.py(10KB)
--------stat_ast_features.py(4KB)
--------search_include.pyc(3KB)
--------stat_keywords.py(13KB)
--------__init__.py(0B)
--------search_include.py(3KB)
----__init__.py(0B)
----SenLocate()
--------sensitive_parse.py(2KB)
--------sensitive_parse.pyc(1KB)
----LICENSE(34KB)
----README.md(5KB)
----data()
--------cfg_desc()
--------func_cfg()
--------wfgs()
--------func_code()
----SimCompare()
--------strcmp.py(6KB)
--------astcmp.pyc(4KB)
--------__init__.py(0B)
--------tokenize(13KB)
--------astcmp.py(4KB)
--------tokenization.c(5KB)
--------strcmp.pyc(7KB)
--------cfgcmp.py(10KB)