1sealsemantic last-mile verification

Research / Finding

fix(core): fix dma2d syscall verifiers

F-TREZOR-009

Public snapshot: 26 Sep 2026. Status, releases and attribution belong to each source below; none is inferred from another record.

Read the evidence · View in research browse

Recorded evidence

—score not recorded
trezor/trezor-firmwareReported fixtrezor/trezor-firmware

fix(core): fix dma2d syscall verifiers

merged
details
Finding IDs
F-TREZOR-009
Status
merged
Reported via
security contact
Note
public fix commit e5c51d5ee4b3 on 2026-02-27. fixes signed-overflow handling in the dma2d syscall verifier macros.

F-TREZOR-009: Memory safety. DMA2D syscalls use insufficiently bounded buffers. Reviewed 24 Sep 2026. Mechanism assessed by 1seal.

Mechanism source for F-TREZOR-009

Security area (1seal assessment): Memory safety. DMA2D syscalls use insufficiently bounded buffers. Reviewed 24 Sep 2026.

Clarify or correct this record privately. The email subject includes the finding ID. For an existing case, continue the agreed private thread. Do not post unpublished vulnerability details in public issues. Research disclosure policy.

How this page groups evidence

This identifier groups recorded evidence; it is not an additional CVE, independent-vulnerability count or guarantee of vendor confirmation. Fixed code, released versions, attribution and independent discovery are distinct claims. Absent metadata means not recorded, not disproved. Counting rules.