SEMSAN: a Configurable Sanitizer for Detecting System-Level Semantic Bugs.
本文提出SEMSAN，一个用于检测系统级语义bug的可配置净化器（sanitizer）。系统级语义bug是指那些不违反内存安全或类型安全约束，但导致程序实际行为与设计意图相悖的缺陷，例如错误处理不完整、状态机跃迁错误、资源生命周期管理失误、
#sanitizer
共收录 7 条相关情报。
← 返回所有主题Beyond Tag Collision: Cluster-based Memory Management for Tag-based Sanitizers.
该论文针对基于标签的消毒器（Tag-based Sanitizers）在内存错误检测中面临的标签碰撞问题展开研究。此类消毒器通过为内存区域分配标签来追踪访问合法性，但当不同内存区域拥有相同标签时，会引发误报或漏报，降低检测准确性和效率。论文
QMSan: Efficiently Detecting Uninitialized Memory Errors During Fuzzing.
本文针对模糊测试中未初始化内存使用（Use-of-Uninitialized-Memory, UUM）错误检测的实践难题提出了一种新的高效方案 QMSan。现有的模糊测试兼容 UUM 检测器 MSan 要求所有被测试程序的库都必须经过完全插
PTSan: A Practical Memory Safety Sanitizer for C/C++ with Pointer-Object Authority
内存安全错误仍然是C和C++中严重漏洞的主要来源。传统的基于位置的消毒器（如LLVM的ASan）虽然广泛使用，但只能检测缓冲区溢出等有限类型的错误，且开销较高。基于指针的消毒器提供了更强的安全保障，但以往的实现因高开销和兼容性问题难以在生产
Facilitating Non-Intrusive In-Vivo Firmware Testing with Stateless Instrumentation.
该论文提出了一种名为 IPEA 的非侵入式动态固件测试框架，专门针对深度嵌入式设备（如基于微控制器 MCU 的物联网设备）的固件测试挑战。这类设备通常资源受限，运行环境与通用计算机差异巨大，导致现有动态测试技术难以直接应用。IPEA 的核心
Don't Waste My Efforts: Pruning Redundant Sanitizer Checks by Developer-Implemented Type Checks.
该论文针对当前软件安全中广泛使用的消毒器（sanitizer）存在的冗余检查问题展开研究。消毒器通过插入运行时检查来检测内存错误、未定义行为等漏洞，但大量检查是冗余的，因为开发者已在代码中通过类型检查（如显式的类型转换或条件判断）隐含地保证
OBSan: An Out-Of-Bound Sanitizer to Harden DNN Executables.
本文针对深度学习编译器生成的DNN可执行文件缺乏安全保护的问题，提出了OBSan，一种用于检测DNN可执行文件中越界（Out-of-Bound, OOB）行为的快速消毒器。DNN涉及双向计算：前向传播（预测输出）和后向传播（梯度计算）。神经