Semantic Validation of Packer Identification Tools: Characterization, Repair, and Downstream Impact
该论文提出了一种针对加壳识别工具(packer identification tools)的语义验证框架,旨在解决现有工具可能返回语义错误标签、导致解壳失败及下游分析不可靠的问题。核心思想是利用解壳器(unpackers)作为可执行语义契约
共收录 2 条相关情报。
← 返回所有主题该论文提出了一种针对加壳识别工具(packer identification tools)的语义验证框架,旨在解决现有工具可能返回语义错误标签、导致解壳失败及下游分析不可靠的问题。核心思想是利用解壳器(unpackers)作为可执行语义契约
本文提出了一种通用的语言处理器模糊测试框架,旨在解决现有模糊测试工具针对特定语言处理器(如JSON解析器、XML解析器等)定制化程度高、通用性差的问题。该框架的核心创新在于引入了语义验证机制,能够自动识别并过滤掉语义无效的测试用例,从而大幅