Zorya: Goバイナリの自動コンコリック実行を発表

この研究は、シングルスレッドGoバイナリに特化した、自動コンコリック実行の新しいアプローチであるZoryaを紹介しています。この研究は、Goコードの脆弱性分析と、効率的な記号実行によるソフトウェアの信頼性向上という課題に取り組んでいる可能性があります。