本文提出SEMSAN，一个用于检测系统级语义bug的可配置净化器（sanitizer）。系统级语义bug是指那些不违反内存安全或类型安全约束，但导致程序实际行为与设计意图相悖的缺陷，例如错误处理不完整、状态机跃迁错误、资源生命周期管理失误、并发交互错误等。这类缺陷在传统动态分析工具如AddressSanitizer或UndefinedBehaviorSanitizer中往往难以暴露，因为它们不会直接引发崩溃或非法内存访问，而可能表现为静默的功能失效、逻辑绕过或安全策略违背。SEMSAN的设计核心在于“可配置”，意味着使用者可以根据目标系统或代码库的特定语义约束自定义检测规则，从而针对不同领域（如操作系统内核、嵌入式固件、分布式系统）的典型语义属性进行定向监控。这一思路突破了传统格式化错误检测的局限，将自动化测试和动态分析的范围扩展至逻辑层。本文为arXiv预印本，但本记录中未包含完整的论文摘要，因此无法获取具体实现机制（如是否基于插桩、符号执行、或模型检查）、实验评估的基准项目、检测覆盖率、误报率等细节。基于标题与领域常规推演，SEMSAN的意义在于为系统软件的安全测试和漏洞挖掘提供一种更贴近开发语义的自动化手段，有助于蓝队识别那些不直接崩溃但可能导致安全绕过或行为异常的复杂缺陷。后续若公开具体技术细节，建议安全工程团队深入研究其适用场景及集成方式。