Cover Image

Exposing Go's Hidden Bugs: A Novel Concolic Framework

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Gorna, Karolina, Iooss, Nicolas, Seurin, Yannick, Khatoun, Rida
Format:	Preprint
Published:	2025
Subjects:	Software Engineering Cryptography and Security
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

From TinyGo to gc Compiler: Extending Zorya's Concolic Framework to Real-World Go Binaries
by: Gorna, Karolina, et al.
Published: (2026)

Zorya: Automated Concolic Execution of Single-Threaded Go Binaries
by: Gorna, Karolina, et al.
Published: (2025)

ColorGo: Directed Concolic Execution
by: Li, Jia, et al.
Published: (2025)

WACANA: A Concolic Analyzer for Detecting On-chain Data Vulnerabilities in WASM Smart Contracts
by: Wang, Wansen, et al.
Published: (2024)

Unveiling A Hidden Risk: Exposing Educational but Malicious Repositories in GitHub
by: Masud, Md Rayhanul, et al.
Published: (2024)

MirrorFuzz: Leveraging LLM and Shared Bugs for Deep Learning Framework APIs Fuzzing
by: Ou, Shiwen, et al.
Published: (2025)

PROMFUZZ: Leveraging LLM-Driven and Bug-Oriented Composite Analysis for Detecting Functional Bugs in Smart Contracts
by: Lin, Xingshuang, et al.
Published: (2025)

Hunting CUDA Bugs at Scale with cuFuzz
by: ziad, Mohamed Tarek Ibn, et al.
Published: (2026)

Exposing and Defending Membership Leakage in Vulnerability Prediction Models
by: Liao, Yihan, et al.
Published: (2025)

Automatic Detection of Reference Counting Bugs in Linux Kernel Drivers
by: Hattori, Joe, et al.
Published: (2026)

SEDAC: A CVAE-Based Data Augmentation Method for Security Bug Report Identification
by: Liao, Y., et al.
Published: (2024)

LineBreaker: Finding Token-Inconsistency Bugs with Large Language Models
by: Chen, Hongbo, et al.
Published: (2024)

BACFuzz: Exposing the Silence on Broken Access Control Vulnerabilities in Web Applications
by: Dharmaadi, I Putu Arya, et al.
Published: (2025)

Fixing 7,400 Bugs for 1$: Cheap Crash-Site Program Repair
by: Zheng, Han, et al.
Published: (2025)

From Reviewers' Lens: Understanding Bug Bounty Report Invalid Reasons with LLMs
by: Zheng, Jiangrui, et al.
Published: (2025)

HyperPUT: Generating Synthetic Faulty Programs to Challenge Bug-Finding Tools
by: Felici, Riccardo, et al.
Published: (2022)

Fuzzing BusyBox: Leveraging LLM and Crash Reuse for Embedded Bug Unearthing
by: Asmita, et al.
Published: (2024)

A Deep Dive Into How Open-Source Project Maintainers Review and Resolve Bug Bounty Reports
by: Ayala, Jessy, et al.
Published: (2024)

SmartPoC: Generating Executable and Validated PoCs for Smart Contract Bug Reports
by: Chen, Longfei, et al.
Published: (2025)

Investigating Vulnerability Disclosures in Open-Source Software Using Bug Bounty Reports and Security Advisories
by: Ayala, Jessy, et al.
Published: (2025)

Mono: Is Your "Clean" Vulnerability Dataset Really Solvable? Exposing and Trapping Undecidable Patches and Beyond
by: Gao, Zeyu, et al.
Published: (2025)

GoLeash: Mitigating Golang Software Supply Chain Attacks with Runtime Policy Enforcement
by: Cesarano, Carmine, et al.
Published: (2025)

An Ontology-Based Approach to Security Risk Identification of Container Deployments in OT Contexts
by: Landeck, Yannick, et al.
Published: (2026)

Uncovering Hidden Inclusions of Vulnerable Dependencies in Real-World Java Projects
by: Schott, Stefan, et al.
Published: (2026)

An Extensible Framework for Architecture-Based Data Flow Analysis for Information Security
by: Boltz, Nicolas, et al.
Published: (2024)

UBfuzz: Finding Bugs in Sanitizer Implementations
by: Li, Shaohua, et al.
Published: (2024)

Arguzz: Testing zkVMs for Soundness and Completeness Bugs
by: Hochrainer, Christoph, et al.
Published: (2025)

Incentives and Outcomes in Bug Bounties
by: Wang, Serena, et al.
Published: (2025)

LSPFuzz: Hunting Bugs in Language Servers
by: Zhu, Hengcheng, et al.
Published: (2025)

A New Framework of Software Obfuscation Evaluation Criteria
by: De Sutter, Bjorn
Published: (2025)

A Requirement-Based Framework for Engineering Adaptive Authentication
by: Hassan, Alzubair, et al.
Published: (2026)

Fuzzing Frameworks for Server-side Web Applications: A Survey
by: Dharmaadi, I Putu Arya, et al.
Published: (2024)

FuzzySQL: Uncovering Hidden Vulnerabilities in DBMS Special Features with LLM-Driven Fuzzing
by: Chen, Yongxin, et al.
Published: (2026)

LLMs as Firmware Experts: A Runtime-Grown Tree-of-Agents Framework
by: Zhang, Xiangrui, et al.
Published: (2025)

MARD: A Multi-Agent Framework for Robust Android Malware Detection
by: Zeng, Xueying, et al.
Published: (2026)

FirmReBugger: A Benchmark Framework for Monolithic Firmware Fuzzers
by: Duong, Mathew, et al.
Published: (2026)

A LINDDUN-based Privacy Threat Modeling Framework for GenAI
by: Liao, Qianying, et al.
Published: (2026)

SecMLOps: A Comprehensive Framework for Integrating Security Throughout the MLOps Lifecycle
by: Zhang, Xinrui, et al.
Published: (2026)

StagedVulBERT: Multi-Granular Vulnerability Detection with a Novel Pre-trained Code Model
by: Jiang, Yuan, et al.
Published: (2024)

RepoMark: A Data-Usage Auditing Framework for Code Large Language Models
by: Qu, Wenjie, et al.
Published: (2025)