Does the Decompiler Lie to the Model? Artifact Anchoring in LLM-Assisted Binary Vulnerability Triage

Large language models are increasingly used to triage decompiled functions for security vulnerabilities inside reverse-engineering assistants. We ask whether such a triage verdict is driven by the behavior of the code or by artifacts the decompiler surfaces around it: recovered symbol names, embedded string literals, and the placeholder markers (FUN_, DAT_, undefined) emitted for stripped binaries. We compile and decompile 115 Juliet C/C++ test cases and 233 real-CVE functions (PrimeVul), hold the decompiled or source body byte-identical, and vary only these carriers. For the three open-weight models deployed in local reverse-engineering assistants (Ghidra and IDA plugins run 7-13B models), the shift is real, significant, and directionally universal: alarming carriers raise the exploitability verdict and benign carriers lower it, by up to 1.5 points on a 0-10 scale (Wilcoxon p < 1e-9, surviving Holm correction) and up to +19 detection points on real CVE functions, where an "already audited, safe" comment more than halves detection. The effect is cognitive, not injection; it does not attenuate from source to decompiled code; it holds on real CVE functions compiled and decompiled in situ; and stripping does not remove it. Two frontier models (Claude Sonnet and Opus) are the honest exception: their verdict is far more robust, though benign carriers still suppress them on real code, but they refuse about 27 percent of decompiled triage prompts (77 percent for stripped code), their stability is partly benchmark memorization, and the carriers re-emerge as a refusal channel. We release the pipeline, both corpora, and all per-call logs.

Authors

Publication Details

Journal
Zenodo (CERN European Organization for Nuclear Research)
Published
2026-10-28
DOI
https://doi.org/10.5281/zenodo.23716089
Primary Topic
Security and Verification in Computing
Type
preprint
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
preprint

Does the Decompiler Lie to the Model? Artifact Anchoring in LLM-Assisted Binary Vulnerability Triage

Adam Melhem
2 links
Zenodo (CERN European Organization for Nuclear Research)
Security and Verification in Computing
preprint

Does the Decompiler Lie to the Model? Artifact Anchoring in LLM-Assisted Binary Vulnerability Triage

Adam Melhem
preprint en

Abstract

Large language models are increasingly used to triage decompiled functions for security vulnerabilities inside reverse-engineering assistants. We ask whether such a triage verdict is driven by the behavior of the code or by artifacts the decompiler surfaces around it: recovered symbol names, embedded string literals, and the placeholder markers (FUN_, DAT_, undefined) emitted for stripped binaries. We compile and decompile 115 Juliet C/C++ test cases and 233 real-CVE functions (PrimeVul), hold the decompiled or source body byte-identical, and vary only these carriers. For the three open-weight models deployed in local reverse-engineering assistants (Ghidra and IDA plugins run 7-13B models), the shift is real, significant, and directionally universal: alarming carriers raise the exploitability verdict and benign carriers lower it, by up to 1.5 points on a 0-10 scale (Wilcoxon p < 1e-9, surviving Holm correction) and up to +19 detection points on real CVE functions, where an "already audited, safe" comment more than halves detection. The effect is cognitive, not injection; it does not attenuate from source to decompiled code; it holds on real CVE functions compiled and decompiled in situ; and stripping does not remove it. Two frontier models (Claude Sonnet and Opus) are the honest exception: their verdict is far more robust, though benign carriers still suppress them on real code, but they refuse about 27 percent of decompiled triage prompts (77 percent for stripped code), their stability is partly benchmark memorization, and the carriers re-emerge as a refusal channel. We release the pipeline, both corpora, and all per-call logs.

Zenodo (CERN European Organization for Nuclear Research)
Security and Verification in Computing
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.

Laika access coming soon
Does the Decompiler Lie to the Model? Artifact Anchoring in LLM-Assisted Binary Vulnerability Triage — Adam Melhem · Zenodo (CERN European Organization for Nuclear Research) (2026) | TGRS Research Map | TGRS