InSPECtor: Improving SLEIGH Processor Specification Veracity via Proxy
该论文聚焦于处理器规范（processor specification）的正确性验证问题。处理器规范是反汇编器、反编译器、模拟器等关键安全与程序分析工具的基础，但其正确性很少被系统检查。规范中的错误会扭曲程序行为、掩盖漏洞，甚至为分析规避技
#ghidra
共收录 2 条相关情报。
← 返回所有主题From TinyGo to gc Compiler: Extending Zorya's Concolic Framework to Real-World Go Binaries
本文介绍了 Zorya 符号执行框架的扩展，使其能够处理由 Go 标准 gc 编译器生成的多线程二进制文件。Zorya 框架最初仅支持单线程 TinyGo 二进制，通过将二进制提升到 Ghidra 的 P-Code 中间表示，并利用 Z3