首页 文章 精选 留言 我的
优秀的个人博客,低调大师

微信关注我们

原文链接:https://my.oschina.net/u/4238514/blog/8747055

转载内容版权归作者及来源网站所有!

低调大师中文资讯倾力打造互联网数据资讯、行业资源、电子商务、移动互联网、网络营销平台。持续更新报道IT业界、互联网、市场资讯、驱动更新,是最及时权威的产业资讯及硬件资讯报道平台。

使用doop识别最近commons text漏洞的污点信息流

作者:vivo 互联网安全团队 - Chen Haojie 本文基于笔者对doop静态程序分析框架源代码和规则学习,并结合对目前漏洞公开技术细节的学习,修改增强doop app only模式下的分析规则后,实现通过doop工具识别commons text rce漏洞(CVE-2022-42889)。内容包含三部分,第一部分简单介绍doop分析框架,第二部分简单介绍commons text漏洞的原理和代码调用栈,第三部分重点介绍如何改造doop app only模式下的规则以识别commons text漏洞的污点信息流。 一、doop静态分析框架简介 1. doop静态分析框架简介 doop静态分析框架由希腊雅典大学plast-lab Yannis Smaragdakis团队设计开发,目前看是一款开源领域的比较先进的程序静态分析框架,一些程序静态分析论文的理论也有通过doop的规则实现后实验。 doop整体架构简单明了,符合通常静态代码漏洞扫描工具扫描器内核的设计思路。架构上由groovy写的调用程序“粘合”在一起,通过调用fact-generator和datalog分析器,得出自动化的...

ZadigX 上线飞书官方:先进组织,一站式高效协同解决方案

Zadig 开源交流:加入Zadig 技术交流群🔥(Zadig on Github;Zadig on Gitee) ZadigX 企业咨询:提交您的具体需求 先进团队,先用飞书!作为新一代高效协作的办公工具,使用飞书已成为先进团队的工作方式。 发布对了,就都对了!ZadigX,基于云原生技术和工程最佳实践打造的 DevOps 平台 ,正式上线飞书官方:真正打通需求到发布全生命周期,为企业带来产研一站式高效协作方案。 ZadigX 与飞书全家桶,这对代表先进生产力的组合,到底带来了哪些神奇的效果? ZadigX x 飞书产研运一体化方案 ZadigX 连通飞书项目管理、审批、IM 通知、机器人等协作套件,深度融合,在以下四大场景中让产研协作更丝滑、更高效: 需求管理:降低需求管理成本,明确需求进度,方便产品版本规划。 开发自测联调:通过稳定的测试环境和自动化工作流程,减少研发手工操作,降低研发成本,提高交付效率。 测试集成验证:践行测试驱动开发理念,实现测试过程前置,尽早发现问题,降低沟通和修复成本,实现安全可靠又高效的业务变更。 运维生产发布:自动化执行研发发布规范,提升管理协作效率...

相关文章

发表评论

资源下载

更多资源
优质分享App

优质分享App

近一个月的开发和优化,本站点的第一个app全新上线。该app采用极致压缩,本体才4.36MB。系统里面做了大量数据访问、缓存优化。方便用户在手机上查看文章。后续会推出HarmonyOS的适配版本。

Mario

Mario

马里奥是站在游戏界顶峰的超人气多面角色。马里奥靠吃蘑菇成长,特征是大鼻子、头戴帽子、身穿背带裤,还留着胡子。与他的双胞胎兄弟路易基一起,长年担任任天堂的招牌角色。

Nacos

Nacos

Nacos /nɑ:kəʊs/ 是 Dynamic Naming and Configuration Service 的首字母简称,一个易于构建 AI Agent 应用的动态服务发现、配置管理和AI智能体管理平台。Nacos 致力于帮助您发现、配置和管理微服务及AI智能体应用。Nacos 提供了一组简单易用的特性集,帮助您快速实现动态服务发现、服务配置、服务元数据、流量管理。Nacos 帮助您更敏捷和容易地构建、交付和管理微服务平台。

Spring

Spring

Spring框架(Spring Framework)是由Rod Johnson于2002年提出的开源Java企业级应用框架,旨在通过使用JavaBean替代传统EJB实现方式降低企业级编程开发的复杂性。该框架基于简单性、可测试性和松耦合性设计理念,提供核心容器、应用上下文、数据访问集成等模块,支持整合Hibernate、Struts等第三方框架,其适用范围不仅限于服务器端开发,绝大多数Java应用均可从中受益。

用户登录
用户注册