#semantic-validation

共收录 2 条相关情报。

← 返回所有主题
学术论文2026-05-25 发布INFO

Semantic Validation of Packer Identification Tools: Characterization, Repair, and Downstream Impact

该论文提出了一种针对加壳识别工具(packer identification tools)的语义验证框架,旨在解决现有工具可能返回语义错误标签、导致解壳失败及下游分析不可靠的问题。核心思想是利用解壳器(unpackers)作为可执行语义契约

历史摘要 · 未重新核验 · arXiv cs.CR

学术论文2026-05-05 发布INFO

One Engine to Fuzz 'em All: Generic Language Processor Testing with Semantic Validation.

本文提出了一种通用的语言处理器模糊测试框架,旨在解决现有模糊测试工具针对特定语言处理器(如JSON解析器、XML解析器等)定制化程度高、通用性差的问题。该框架的核心创新在于引入了语义验证机制,能够自动识别并过滤掉语义无效的测试用例,从而大幅

历史摘要 · 未重新核验 · IEEE S&P