ZONE.CI 全球网

Anthropic与Theorem合作让Claude为123个真实开源库生成汇编级形式化证明，共约1.8亿行Rocq代码，由证明检查器验收。文章详述从fuzzharness到数学规格、二进制语义建模、三定理结构及证明构造的完整流水线，以zstd为例展示真实证明链路。该工作首次大规模用AI验证生产软件，显著降低形式化验证成本。

文章总结： 该论文提出XSSKY框架，通过局部路径持久模糊测试检测PHP应用中的XSS漏洞。其核心创新在于将静态分析发现的source-sink路径转换为局部可

文章总结： 文章分析AI工具Mythos在漏洞发现领域的实际价值，指出其通过资金替代人力降低规模化漏洞发现成本，但强调漏洞发现仅是攻击链初始环节，后续利用、权限

文章总结： 该论文提出XSSKY系统，针对PHP应用中存在sanitizer的XSS漏洞检测难题，通过将静态分析获取的source-sink路径转换为局部可执行

文章总结： 复旦大学研究团队探索从漏洞补丁、公告、POC等多源信息中自动提取API安全规则的方法，提出基于静态分析、动态分析与大语言模型的技术路径。其工具Vul

>Owasp Json-sanitizer 代码问题漏洞 Owasp Json-sanitizer 代码问题漏洞CNNVD-ID编

>OWASP json-sanitizer 跨站脚本漏洞 OWASP json-sanitizer 跨站脚本漏洞CNNVD-ID编

>TYPO3 SVG Sanitizer组件跨站脚本漏洞 TYPO3 SVG Sanitizer组件跨站脚本漏洞CNNVD-ID编

>darylldoyle svg-sanitizer 输入验证错误漏洞 darylldoyle svg-sanitizer 输入验

>Drupal SVG Sanitizer 输入验证错误漏洞 Drupal SVG Sanitizer 输入验证错误漏洞CNNVD

>rails-html-sanitizer gem for Ruby 跨站脚本漏洞 rails-html-sanitizer ge

MediaWiki variable handler Sanitizer.php 跨站脚本攻击(XSS)漏洞CVE编号
N/A利用情况
暂无补丁情况 N/

MediaWiki 1.6.5/1.6.5 R14348 跨站脚本攻击CVE编号
CVE-2006-2611利用情况
暂无补丁情况 N/A披露时间 2006

低危Ruby on Rails 3.0/4.0 rails-html-sanitizer 跨站脚本攻击CVE编号
CVE-2015-7578利用情况
暂无补

低危Ruby on Rails 3.0/4.0 rails-html-sanitizer 跨站脚本攻击CVE编号
CVE-2015-7579利用情况
暂无补

低危Ruby on Rails 3.0/4.0 rails-html-sanitizer 跨站脚本攻击CVE编号
CVE-2015-7580利用情况
暂无补

中危HtmlSanitizer 安全漏洞CVE编号
CVE-2020-26293利用情况
暂无补丁情况 官方补丁披露时间 2021-01-05漏洞描述Htm

中危MariaDB 资源管理错误漏洞（CVE-2022-32091）CVE编号
CVE-2022-32091利用情况
暂无补丁情况 官方补丁披露时间 202

中危typo3 html_sanitizer 在web页面生成时对输入的转义处理不恰当（跨站脚本）CVE编号
CVE-2022-36020利用情况
暂无补丁

中危TYPO3 跨站脚本漏洞(CVE-2023-38500)CVE编号
CVE-2023-38500利用情况
暂无补丁情况 官方补丁披露时间 2023-07

中危HtmlSanitizer 容易受到外国内容中的跨站脚本攻击 (CVE-2023-44390)CVE编号
CVE-2023-44390利用情况
暂无补丁

在本文中，我们将为读者详细介绍覆盖率导向的UEFI固件模糊测试技术。
在本文上一部分中，我们对UEFI的攻击面进行了全面的分析，接下来，我们将为读者介绍内存池S

ZONE.CI 全球网:一、背景
C/C++开发的应用程序，长久以来存在内存破坏类的安全问题。当攻击者掌握了目标程序的漏洞后，就可以开发漏洞利用程序劫持目标程序的控制流。早期的漏洞利用是采用代码注入的