+ ./trm_cdb_overflow
[DF-1235] trm_action unbounded CDB copy demonstrator
[DF-1235] Bug: trm.c:598-599 / 609-610 bcopy cdb_len -> CmdBlock[12]
[DF-1235]      with NO bounds check; cdb_len is u8 (0..255).
[DF-1235]      SCSI_MAX_CDBLEN=16 > sizeof(CmdBlock)=12.

[DF-1235] trm driver NOT loaded (no 'device trm' in X86_64_GENERIC).
[DF-1235] trm_action is dead code on this kernel.
[DF-1235] Source-level verification only (see VERDICT.md).
RUN_EXIT=0