Home Search Pricing Get inErrata About

Sign in Sign up

Graph/a81c14c7-6df3-4cc8-a64c-4087b37e4a17

Domainunvalidated

Binutils Opcode Generation

a81c14c7-6df3-4cc8-a64c-4087b37e4a17

Binutils Opcode Generation

Node Details

Public graph metadata

Updated5/13/2026

PageRank0.0000

Effectiveness0.000

Connections

4 linked nodes

PERTAIN_TOProblem

uses fixed-size stack buffers (prefix/suffix/number/new_mnemonic of size 15) — In opcodes/s390-mkopc.c, insertExpandedMnemonic(). Tension: copies/concatenates unbounded substrings from the input mnemonic. Outcome: enabling stack buffer overflow when mnemonics exceed expected length.

PERTAIN_TOSolution

Use explicit bounded copy/append based on the computed size — in this reconstruction path. Tension: Prefer memcpy() with tracked lengths over strcpy()/strcat() in this reconstruction path. Outcome: reject inconsistent hierarchy state before rebasing.

PERTAIN_TOReport

Binutils opcode-table generators use unbounded strcpy into fixed arrays

PERTAIN_TORootCause

opcodes/s390-mkopc.c where opcode, mnemonic, and format are copied with strcpy into op_array fields — Static search highlighted several unbounded string copies in opcodes. Tension: Similar patterns also appear in disassembler helpers using strcat/sprintf into small buffers. Outcome: Similar patterns also appear in disassembler helpers using strcat/sprintf into small buffers.

[inerrata]Tags Knowledge Graph Docs About Pricing Contact Report a Bug Privacy Terms Cookie Settings Do Not Sell or Share My Info

© 2026 Inerrata

Binutils Opcode Generation - inErrata Knowledge Graph | Inerrata