{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,24]],"date-time":"2026-03-24T08:57:48Z","timestamp":1774342668682,"version":"3.50.1"},"reference-count":38,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,5,29]],"date-time":"2025-05-29T00:00:00Z","timestamp":1748476800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,5,29]],"date-time":"2025-05-29T00:00:00Z","timestamp":1748476800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,5,29]]},"DOI":"10.1109\/sera65747.2025.11449147","type":"proceedings-article","created":{"date-parts":[[2026,3,23]],"date-time":"2026-03-23T19:59:35Z","timestamp":1774295975000},"page":"1-6","source":"Crossref","is-referenced-by-count":0,"title":["Exposing Go\u2019s Hidden Bugs: A Novel Concolic Framework"],"prefix":"10.1109","author":[{"given":"Karolina","family":"Gorna","sequence":"first","affiliation":[{"name":"Telecom Paris"}]},{"given":"Nicolas","family":"Iooss","sequence":"additional","affiliation":[{"name":"Telecom Paris"}]},{"given":"Yannick","family":"Seurin","sequence":"additional","affiliation":[{"name":"Telecom Paris"}]},{"given":"Rida","family":"Khatoun","sequence":"additional","affiliation":[{"name":"Telecom Paris"}]}],"member":"263","reference":[{"key":"ref1","article-title":"The go programming language","journal-title":"Go-Community"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-25803-9_7"},{"key":"ref3","article-title":"Tinygo: Go compiler for small places","journal-title":"TinyGo-Org"},{"key":"ref4","first-page":"1","article-title":"Empirical analysis of vulnerabilities life cycle in golang ecosystem","volume-title":"Proceedings of the IEEE\/ACM 46th International Conference on Software Engineering, ser. ICSE \u201824.","author":"Hu"},{"key":"ref5","volume-title":"NSA"},{"key":"ref6","article-title":"The Ghidra Book: The Definitive Guide","author":"Eagle"},{"key":"ref7","article-title":"GoSec: Golang static analyzer","journal-title":"Securego"},{"key":"ref8","article-title":"GoVet: Golang static analyzer","journal-title":"Google"},{"key":"ref9","volume-title":"StaticCheck: Golang static analyzer."},{"key":"ref10","article-title":"kisielk\/errcheck: checking for unchecked errors in go code","author":"Kisiel"},{"key":"ref11","article-title":"snyk\/cli","journal-title":"Snyk"},{"key":"ref12","article-title":"CodeQL"},{"key":"ref13","article-title":"dvyukov\/go-fuzz: randomized testing for go","author":"Vyukov"},{"key":"ref14","article-title":"google\/gofuzz: a library for populating go objects with random values","journal-title":"Google"},{"key":"ref15","article-title":"leanovate\/gopter: the GOlang property TestER","journal-title":"Leanovate"},{"key":"ref16","article-title":"trailofbits\/krf: a kernelspace randomized faulter","author":"of Bits"},{"key":"ref17","article-title":"trailofbits\/on-edge: a library for detecting certain improper uses of the defer, panic, and recover pattern in go programs"},{"key":"ref18","article-title":"Debugging with GDB: the GNU source-level debugger, tenth edition, for GDB version 8.1.50.20180116git ed","author":"Stallman"},{"key":"ref19","article-title":"Sleigh-rs","author":"Brand\u00e3o"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"ref22","volume-title":"Go-Community. gollvm: an LLVM-based go compiler."},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/1273442.1250746"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_37"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40787-1_31"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/3597926.3598039"},{"key":"ref27","article-title":"Ghidra\u2019s support for go","journal-title":"NSA"},{"key":"ref28","article-title":"GhidraScripts for golang","author":"Center"},{"key":"ref29","article-title":"TinyGo\u2019s panics codebase","journal-title":"TinyGo-Org"},{"key":"ref30","article-title":"MAAT: Dynamic symbolic execution and binary analysis framework","author":"of Bits"},{"key":"ref31","article-title":"Haybale: a general-purpose symbolic execution engine written in rust","journal-title":"PLSysSec"},{"key":"ref32","article-title":"SymSan: Time and space efficient concolic execution via dynamic data-flow analysis","journal-title":"R-Fuzz"},{"key":"ref33","first-page":"8","article-title":"Angr - the next generation of binary analysis","author":"Wang","journal-title":"IEEE Cybersecurity Development (SecDev)"},{"key":"ref34","article-title":"MIASM: Reverse engineering framework","journal-title":"MIASM"},{"key":"ref35","article-title":"Radius2: fast symbolic execution with r2","journal-title":"aemmitt ns"},{"key":"ref36","article-title":"Radare2: Libre reversing framework","journal-title":"Radare2-org"},{"key":"ref37","article-title":"GhiHorn: Path analysis in ghidra using SMT solvers","author":"Center"},{"key":"ref38","article-title":"CERT kaiju binary analysis framework for GHIDRA"},{"key":"ref39","article-title":"DUCKEE GO: Dynamic and user-friendly ConcoliK execution engine in GO","author":"Shao"}],"event":{"name":"2025 IEEE\/ACIS 23rd International Conference on Software Engineering Research, Management and Applications (SERA)","location":"Las Vegas, NV, USA","start":{"date-parts":[[2025,5,29]]},"end":{"date-parts":[[2025,5,31]]}},"container-title":["2025 IEEE\/ACIS 23rd International Conference on Software Engineering Research, Management and Applications (SERA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11154458\/11154479\/11449147.pdf?arnumber=11449147","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,24]],"date-time":"2026-03-24T05:25:15Z","timestamp":1774329915000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11449147\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,5,29]]},"references-count":38,"URL":"https:\/\/doi.org\/10.1109\/sera65747.2025.11449147","relation":{},"subject":[],"published":{"date-parts":[[2025,5,29]]}}}