Guiding Symbolic Execution with Static Analysis and LLMs for Vulnerability Discovery
LLM 结合符号执行，在 6.8 M 行代码中挖掘出 379 个未知的内存安全漏洞。SAILOR 摒弃了低效的人工编写测试用例，通过静态分析定位风险并利用 LLM 自动生成验证代码。这种自动化闭环让漏洞发现能力提升了数十倍。它是大规模软件安全自动化的新里程碑，为复杂工程项目的全量审计提供了实战利器。 [link]
2026/4/10 · CyberRadar
LLM 结合符号执行，在 6.8 M 行代码中挖掘出 379 个未知的内存安全漏洞。SAILOR 摒弃了低效的人工编写测试用例，通过静态分析定位风险并利用 LLM 自动生成验证代码。这种自动化闭环让漏洞发现能力提升了数十倍。它是大规模软件安全自动化的新里程碑，为复杂工程项目的全量审计提供了实战利器。 [link]
计算机使用智能体的动作验证一直是工业界难题。微软推出的 Universal Verifier 确立了四项核心设计原则，将误报率从 WebVoyager 的 45% 降至接近于零。它能敏锐察觉智能体是通过歪打正着还是正确步骤达成目标。该系统在任务成功率判定上已达到人类专家水平，为训练更可靠的自动化助手铺平了道路。 [link]
远程会议中，你的脸可能正在泄露屏幕隐私。FaceTell 利用环境光与显示器在人脸上的细微反射，成功窃取了 28 种流行应用的活动信息。通过深度学习分析这些微弱的侧信道信号，即便光线条件复杂，其识别准确率依然高达 99.32%。这项研究揭示了视频通话中被忽视的视觉隐患，提醒我们物理世界依然存在数据漏洞。 [link]
漏洞报告转化为可执行的 PoC 往往耗时费力。PoC-Adapt 引入语义预判机制，利用多智能体协作与强化学习策略，自动生成高成功率的利用代码。它通过比对系统状态变化来确认漏洞本质，绕过了低效的执行信号验证。该框架在实际测试中验证了 80 个潜在风险，单次生成成本仅需 0.42 美元，极大加速了安全响应流程。 [link]
当 AI 智能体拥有运行代码和访问文件的权力，传统的提示词防御已捉襟见肘。ClawLess 建立了一套形式化验证的策略框架，将安全约束深入到系统内核。它利用 BPF 技术在用户空间拦截并校验系统调用，确保即便智能体本身被恶意控制，其行为也无法逾越安全底线。这为构建真正受控的 AI 自动化生态提供了底层保障。 [link]
量子算法研究高度依赖模拟器，但其底层安全却鲜有人问津。Broken Quantum 对 45 个主流开源量子模拟框架进行了全方位的形式化审计。研究者发现了 547 个安全缺陷，甚至挖掘出一种量子计算特有的 QASM 注入攻击。这是量子软件生态的首个大规模安全普查，指出了从内存损坏到供应链污染的多重风险，对量子计算落地至关重要。 [link]
多模态大模型正面临文本和图像双重越狱的威胁。SALLIE 无需修改模型架构，直接从模型内部激活特征中提取恶意信号。这种轻量化运行时检测框架能同时防御多种模态的攻击，且不损耗模型推理性能。它在多个开源架构上展现出超越现有基准的稳健性，为多模态智能体在真实环境下的部署筑起了一道坚实的防护墙。 [link]
传统的静态分析工具容易产生大量误报且难以应对复杂的供应链逻辑。Argus 创新地将大模型作为审计核心，通过多智能体协作与检索增强生成技术，重构了应用安全检测流程。它成功捕获了多个具有 CVE 编号的零日漏洞，同时显著降低了人工运营成本。该方案证明了 LLM 能够与传统安全工具深度集成，实现更精准的风险扫描。 [link]
现有的思维链攻击往往因推理逻辑混乱而易被发现。MirageBackdoor 实现了想得对但答错的隐身攻击效果。通过在输出空间植入特定触发器，模型在执行复杂推理时表现完美，却会在最后一步故意给出错误答案。这种攻击在仅 5% 投毒比例下即可达成 90% 以上的成功率，挑战了当前基于推理过程监控的安全检测机制。 [link]
AI 编程助手在自动安装包和执行脚本时，容易绕过传统的防火墙检查。ZitPit 采用 Rust 开发，为开发者终端建立了一道严格的准入防线。它要求所有外部工件在获得执行权前必须形成可审计的策略记录。通过统一管理构件准入、仓库状态和权限执行，ZitPit 堵住了 AI 驱动的工作流中隐蔽的执行路径，让黑盒操作变得透明可控。 [link]
Qualixar OS 填补了智能体编排领域的技术空白。它是一个支持多智能体协作的通用运行环境。系统兼容 10 个模型商和 8 种主流框架。它内置了 Forge 引擎。通过 Q-learning 路由和一致性裁判机制，该系统在 2,000 多个测试用例中表现出色。该研究实现了极低的任务成本，单次仅需 0.000039 美元。它为异构智能体系统的工业级部署提供了坚实底座。 [link]
Fast-dVLM 解决了视觉语言模型推理慢的难题。传统自回归生成在边缘设备上受限于内存带宽。研究者提出将预训练模型直接转换为块扩散模型。这套方案包含块大小退火和因果上下文注意等技术。在保持生成质量的同时，端到端推理速度提升超过 6 倍。对于机器人和自动驾驶等实时场景，这一技术突破具有极高的工程应用价值。 [link]
MARS 为自回归模型带来了多 Token 并行生成的超能力。它不需要修改架构，也不增加额外参数。通过轻量化微调，模型在单次前向传播中能预测多个 Token。这种方法在六个基准测试上保持了精度。推理吞吐量提升至 1.5 到 1.7 倍。它还支持实时速度调节。开发者可以根据服务器负载动态平衡延迟与质量，是高性能服务部署的理想选择。 [link]
STDec 旨在提升扩散大模型的推理效率。研究者观察到生成过程中存在时空稳定性。新生成的 Token 通常与邻居相似，且在多个去噪步骤中保持一致。STDec 利用这一特性，通过空间感知和时间感知解码来动态调整阈值。它无需重新训练且兼容各类缓存加速技术。在代码生成任务中，该方案实现了 14.17 倍的惊人加速。它让非自回归模型在实用性上迈出一大步。 [link]
SensorPersona 是一款能从移动传感器流中持续提取用户画像的系统。它不再局限于聊天历史，而是深入挖掘用户的日常物理行为。系统通过分层推理，分析用户的心理特质和生活经历。在涉及 3 个大洲、17 座城市的真实测试中，该系统画像提取召回率提升显著。用户满意度超过现有基准。它为打造真正懂你的个人化智能体开辟了硬件感知的新路径。 [link]
DataSTORM 把大模型智能体带入了结构化数据研究的新境界。它改变了以往只关注网页文本的局限。该系统融合了探索性数据分析与数据叙事技术。它能自主生成假设并进行跨源验证，最终形成连贯的分析报告。实验显示它在 InsightBench 上的表现优于 ChatGPT Deep Research。对于需要深度挖掘企业数据库的行业，它展示了自动化数据研究的巨大潜力。 [link]
MedDialBench 聚焦医疗对话智能体的诊断稳健性。它模拟了现实中不配合的患者行为。基准测试涵盖逻辑一致性、健康认知和表达风格等五个维度。研究发现，患者捏造症状比隐瞒信息对模型的误导更严重。捏造行为会导致准确率暴跌 38 到 54 个百分点。这一研究提醒我们，即使是顶尖模型，面对充满噪音的真实医疗互动时依然脆弱，需要更有针对性的防御增强。 [link]
HingeMem 模仿人类的事件细分机制。它为长对话系统构建了可解释的记忆索引。系统根据人、时、地、事四个要素的变化划定界限，减少冗余存储。其核心在于查询自适应检索机制，能动态决定检索内容与深度。实验证明它比强基准方法提升 20% 的准确度。同时问答环节的 Token 消耗降低 68%。对于需要长期记忆的网页应用，它兼顾了效率与信任。 [link]
SymptomWise 为医疗诊断系统增加了一层可靠的确定性。它将语言理解与诊断逻辑彻底分离。大模型仅负责提取症状，而最终的鉴别诊断由确定性的推理引擎完成。这种架构消除了端到端生成可能带来的幻觉风险。它能提供清晰的溯源路径。在 42 个复杂的儿科神经病例测试中，正确答案进入前五名的比例高达 88%。它证明了在安全至上的领域，确定性组件必不可少。 [link]
ART 揭示了模型幻觉与注意力模式之间的隐秘联系。研究发现浅层网络中的均匀注意力会导致模型忽略关键上下文。这种模式是产生错误信息的祸根。ART 无需任何重新训练，通过将浅层均匀模式替换为局部模式，显著降低了幻觉发生率。它在多种模型架构上表现出极强的通用性。这为构建更诚实的大模型提供了一种简单且低成本的方案。 [link]
一项波及近 100 家使用 Magento 电子商务平台在线商店的大规模活动正在进行。攻击者将信用卡窃取代码隐藏在像素大小的 SVG 图像中。 [link]
经营大型 Bitcoin ATM 网络的公司 Bitcoin Depot 表示。攻击者上月入侵系统后，从其加密钱包中窃取了价值 366.5 万美元的 Bitcoin。 [link]
微软在未发布正式通知且没有快速恢复途径的情况下，暂停了用于维护多个知名开源项目的开发者账户。此举实际上阻止了维护者为 Windows 用户发布新版本和安全补丁。 [link]
攻击者自去年 12 月起就开始利用 Adobe Reader 中的一个 zero-day 漏洞。他们通过精心构造的恶意 PDF 文档发起攻击。 [link]
提供 33 国铁路数字通票服务的欧洲运营商 Eurail B.V. 表示，2025 年 12 月发生的数据泄露事件影响了超过 30 万人。攻击者窃取了这些个人的信息。 [link]
攻击者在发起攻击前通常会释放信号，包括暗网讨论、访问代理列表或凭据请求。参加我们与 Flare Systems 合作的研讨会，学习如何在入侵开始前将预警信号转化为主动防御行动。 [link]
凭据被盗会使身份验证系统变成攻击面。Token 展示了可穿戴生物特征识别技术如何验证用户本人。该技术不依赖于会话验证，能有效阻断钓鱼中继和 MFA 绕过。 [link]
攻击者劫持了 WordPress 和 Joomla 插件 Smart Slider 3 Pro 的更新系统。他们推送了一个包含多个后门的恶意版本。 [link]
谷歌在 Windows 版 Chrome 146 中推出了 DBSC 保护功能。该功能旨在阻止信息窃取类恶意软件采集会话 cookie。 [link]
荷兰医疗软件供应商 ChipSoft 遭遇勒索软件攻击。该公司被迫下线了网站以及面向患者和医疗服务提供者的数字服务。 [link]
攻击者利用此前未记录的 PhaaS 平台 VENOM 发起攻击。他们正针对多个行业的高管窃取微软登录凭据。 [link]
一种基于 Lua 的新型恶意软件 LucidRook 被用于鱼叉式钓鱼活动。这些攻击的目标是位于台湾的非政府组织和大学。 [link]