Trois contributions sont présentées. D’abord, LogicBombs-Go, un corpus de référence de 25 programmes Go annotés par leur condition de déclenchement, compilés avec les chaînes TinyGo et gc. Ensuite, un moteur mono-thread qui interprète le P-Code sur un modèle fidèle du processeur et de la mémoire x86-64, détecte les vulnérabilités au niveau des micro-opérations et explore les branches non prises au moyen d’une cascade de filtres guidée par les sites de panique. Enfin, une extension aux binaires compilés avec gc, dont le runtime est multi-thread, par la restauration de l’état de tous les threads, la neutralisation contrôlée de la préemption et l’exécution concolique par superposition (copy-on-write) qui rejoue les branches non prises et détecte des vulnérabilités silencieuses telles que les débordements d’entiers. L’évaluation de cette extension porte sur des classes de vulnérabilités séquentielles dans des artefacts gc multi-threads, sous une politique d’ordonnancement main-only ; l’exploration systématique des entrelacements de goroutines est préparée par Volos mais reste une perspective. Sur des vulnérabilités réelles issues de Kubernetes, Go-Ethereum et d’autres projets en production, Zorya détecte des bogues que les analyseurs statiques et les exécuteurs symboliques de binaires manquent, et une campagne de divulgation a révélé vingt-deux résultats supplémentaires. Zorya fonctionne sur des artefacts compilés sans instrumentation du code source ni harnais de fuzzing ; le mode fonction actuellement évalué s’appuie toutefois sur les informations DWARF et sur des symboles non supprimés pour récupérer les arguments. Il est publié en logiciel libre.