code wiki / (root) / nx_jpeg_marker_test.nx

nx_jpeg_marker_test.nx

buildroot/runtime/nx_jpeg_marker_test.nx

9500 B188 linesdepth 3pulls 3 transitivereach 0 importersview sourcekind gate/prooftopic jpeg
docsdependenciesstructsconstsfunctions

about

nx_jpeg_marker_test.nx -- KAT for JPEG marker scanner. Exercises: - minimal SOI/EOI document - SOI, APP0 (with payload), DQT (with payload), SOF0, SOS, EOI sequence - marker classification (SOF0 vs SOF2 vs SOF_OTHER) - length-less markers (SOI/EOI/RSTn) - 0xFF fill-byte tolerance between segments - 0xFF 0x00 stuffing-byte rejection as marker (should be skipped) - truncation detection (length runs past buffer) expect_exit: 0 license_tier: ORIGINAL

dependencies 2 imports · 0 importers

nx_syscalls.nx nx_jpeg_marker.nx nx_jpeg_marker_test.nx

imports: nx_syscalls.nxnx_jpeg_marker.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main nx_jpeg_classify_marker _fail sys_mmap sys_write nx_jpeg_marker_is_lengthle sys_mmap ↻ nx_jpeg_seg_init nx_jpeg_seg_next nx_jpeg_classify_marker ↻ nx_jpeg_marker_is_lengthle ↻ sys_write ↻

structs

none

consts

none

functions

18func _fail(n: i64) -> i64
called by 1: main calls 2: sys_mmapsys_write
38func main() -> i64
calls 7: nx_jpeg_classify_marker_failnx_jpeg_marker_is_lengthlesssys_mmapnx_jpeg_seg_initnx_jpeg_seg_next+1