案例介绍
使用Python的tree-sitter库对C语言生成AST树，并进行静态分析，递归遍历AST节点生成程序控制流图、数据流图，并根据图算法计算出控制依赖关系，得到代码属性图，并从漏洞行开始，经过前向、后向传播生成漏洞切片。
为每种属性图设计对应对象，使用graphviz可视化图，使用igraph图形数据库存储图，对比Joern工具提升了可扩展性，并大大提高了生成速度。
案例图片
相似案例推荐
其他人才的相似案例推荐
-
JSAM智慧消防管控平台
解决消防设施维保巡检、隐患预警、远程控制、智能识别、培训演练
-
高效机房平台
支持多种数据链接方式，确保所有数据实时上报，实现数据无缝更新
-
消费贷项目-数据安全传输后台开发
项目实现 Web服务接口，基于HTTP/HTTPS 协议支持
-
消费贷项目-数据安全传输后台开发
项目实现 Web服务接口，基于HTTP/HTTPS 协议支持
-
SCTP-安全测试平台
车联网安全测试平台，让不是专业的安全测试人员也可以通过此平台
-
云控平台
项目采用uniapp+vue2+原生+高德地图进行项目开发，
-
trollproxy
该项目是针对网络访问受限的环境所开发的一套代理程序，例如在在
-
尾矿库数据监测和报送系统
系统功能主要包括矿业企业信息管理、传感器设备管理、传感器数据
-
信创国密开发
调试kernel，增加国密算法支持；调试ceph的对象（S3
-
专业软件测试
拥有8年的软件测试工作经验，参与行业级测试实施经历，掌握软件
-
漏洞挖掘
985网安科班出生，CTF基本题型都刷过了，参与过国企内部护
-
商擎远程助手（微信小程序）
商擎远程助手 本项目由个人独立开发，其功能由登录、注册、数
微信接收人才推送
关注猿急送微信平台，接收实时人才推送
接收人才推送
联系需求方端客服