Zorya: Automated Concolic Execution of Single-Threaded Go Binaries

Karolina Gorna, Nicolas Iooss, Yannick Seurin +1

Go's adoption in critical infrastructure intensifies the need for systematic vulnerability detection, yet existing symbolic execution tools struggle with Go binaries due to runtime…