Showing cs.SEShow all
2 papers · 1 filter
cs.SE2025
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…
cs.SE2025
Exposing Go's Hidden Bugs: A Novel Concolic Framework
Karolina Gorna, Nicolas Iooss, Yannick Seurin +1
The widespread adoption of the Go programming language in infrastructure backends and blockchain projects has heightened the need for improved security measures. Established techni…