SEMSAN: a Configurable Sanitizer for Detecting System-Level Semantic Bugs.
本文提出SEMSAN,一个用于检测系统级语义bug的可配置净化器(sanitizer)。系统级语义bug是指那些不违反内存安全或类型安全约束,但导致程序实际行为与设计意图相悖的缺陷,例如错误处理不完整、状态机跃迁错误、资源生命周期管理失误、
今日共收录 1656 条安全情报,包含 834 个 CVE,420 篇安全通告,以及 108 篇研究论文。
← 返回归档列表本文提出SEMSAN,一个用于检测系统级语义bug的可配置净化器(sanitizer)。系统级语义bug是指那些不违反内存安全或类型安全约束,但导致程序实际行为与设计意图相悖的缺陷,例如错误处理不完整、状态机跃迁错误、资源生命周期管理失误、
本论文聚焦电磁侧信道分析(EM SCA)中的探针放置优化问题。在侧信道攻击或安全评估中,需要将电磁探头放置在芯片表面适当位置以采集到最大泄漏信号,传统做法依赖经验或穷举扫描,效率低且可能遗漏关键点位。论文提出利用粒子群优化(PSO)算法自动
CVE-2025-15150
无人机开源飞控 PX4-Autopilot堆栈溢出漏洞 CVE-2025-15150
CVE-2025-14847
MongoDB内存泄漏 CVE-2025-14847(MongoBleed)
CVE-2025-54424
1Panel 代理证书验证绕过导致任意命令执行漏洞(CVE-2025-54424)
CVE-2025-49596
ModelContext Inspector 未授权访问漏洞(CVE-2025-49596)
CVE-2025-1750
llamaindex SQL 注入漏洞(CVE-2025-1750)
CVE-2025-23395
Screen 本地权限提升漏洞(CVE-2025-23395)
CVE-2024-42327
Zabbix认证后SQL注入漏洞(CVE-2024-42327)
CVE-2024-11680
ProjectSend认证绕过漏洞(CVE-2024-11680)
CVE-2024-48063
PyTorch库RPC框架反序列化RCE漏洞(CVE-2024-48063)
CVE-2024-9264
Grafana认证后DuckDB-SQL注入漏洞(CVE-2024-9264)
CVE-2024-8517
SPIP BigUp Unauthenticated RCE(CVE-2024-8517)
CVE-2024-39943
Rejetto HFS 远程命令执行漏洞(CVE-2024-39943)
CVE-2024-27348
Apache HugeGraph-Server Command Execution In Gremlin(CVE-2024-27348)
CVE-2024-22120
Zabbix 后台延时注入(CVE-2024-22120)
CVE-2024-4040
CrushFTP 认证绕过漏洞(CVE-2024-4040)
CVE-2026-21992
Alert for CVE-2026-21992
CVE-2025-61884
Alert for CVE-2025-61884
CVE-2025-61882
Alert for CVE-2025-61882