From TinyGo to gc Compiler: Extending Zorya's Concolic Framework to Real-World Go Binaries

本文介绍了 Zorya 符号执行框架的扩展，使其能够处理由 Go 标准 gc 编译器生成的多线程二进制文件。Zorya 框架最初仅支持单线程 TinyGo 二进制，通过将二进制提升到 Ghidra 的 P-Code 中间表示，并利用 Z3

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