3 papers
cs.CR2026
From TinyGo to gc Compiler: Extending Zorya's Concolic Framework to Real-World Go Binaries
Karolina Gorna, Nicolas Iooss, Yannick Seurin +2
Zorya is a concolic execution framework that lifts compiled binaries to Ghidra's P-Code intermediate representation and uses the Z3 SMT solver to detect vulnerabilities by reasonin…
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…