From TinyGo to gc Compiler: Extending Zorya's Concolic Framework to Real-World Go Binaries. - Karolina Gorna; Nicolas Iooss; Yannick Seurin; Rida Khatoun; Keith Makan (CoRR, 2026)