diff options
| author | Paul Buetow <paul@buetow.org> | 2026-05-30 16:49:53 +0300 |
|---|---|---|
| committer | Paul Buetow <paul@buetow.org> | 2026-05-30 16:49:53 +0300 |
| commit | 7f0ef4c1b2a2fa7945d70cf2f76475e25a766abd (patch) | |
| tree | 427bb5330f51e89b6f56fe6ebed596ef987fd0e4 /internal/generate/classify_test.go | |
| parent | d37ed0371dbe8ed49b48ea56bb3b6fe701f6e48a (diff) | |
test(iopl): lock in KindNull enter and UNCLASSIFIED ret classification
Audit of iopl(2) (task wu). iopl(int level) changes the x86 I/O
privilege level of the calling thread and returns int 0/-1. The
existing coverage only asserted KindNull via a synthetic arg0 field
(TestClassifyE7NullNameOnlyKinds) and the FamilyMisc family tag (from
the prior ioperm audit, task uu). Add dedicated lock-in tests that use
the real 'int level' tracepoint field to prove it is never captured as
an fd or path, and that the sys_exit_iopl ret stays KindRet/UNCLASSIFIED
(a status code, not a transferred byte count). No implementation,
generated-artifact, or docs changes were needed - everything already
matched the man page.
Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Diffstat (limited to 'internal/generate/classify_test.go')
| -rw-r--r-- | internal/generate/classify_test.go | 53 |
1 files changed, 53 insertions, 0 deletions
diff --git a/internal/generate/classify_test.go b/internal/generate/classify_test.go index f915c4a..879cb00 100644 --- a/internal/generate/classify_test.go +++ b/internal/generate/classify_test.go @@ -1612,6 +1612,59 @@ func TestClassifyE7NullNameOnlyKinds(t *testing.T) { } } +// TestClassifyIoplNullEnter locks in the iopl(2) enter classification using the +// syscall's REAL tracepoint field. iopl(int level) changes the x86 I/O privilege +// level of the calling thread (the two least significant bits of level select +// the IOPL, 0-3); level is a plain int status/selector, NOT a file descriptor and +// NOT a filesystem path. iopl is in nameOnlyKindsTable, so its enter classifies +// as KindNull by name before any field heuristic runs — but the audit concern is +// that the single "level" int must never be captured as an fd or a path. Using +// the real "int level" field here (rather than the synthetic arg0 used by +// TestClassifyE7NullNameOnlyKinds) proves the heuristics would not capture it +// even if the name-only mapping were removed: the fd heuristic requires the field +// be named "fd" (which "level" is not), and no string-pointer path field exists. +// Siblings ioperm/modify_ldt share this null_event shape (FamilyMisc, asserted in +// family_test.go). +func TestClassifyIoplNullEnter(t *testing.T) { + r := ClassifyFormat(&Format{ + Name: "sys_enter_iopl", + ExternalFields: []Field{ + {Type: "int", Name: "__syscall_nr"}, + {Type: "int", Name: "level"}, + }, + }) + if r.Kind != KindNull { + t.Fatalf("enter_iopl: got kind %d, want KindNull", r.Kind) + } + // The "level" argument must not be captured as a file descriptor or path. + if r.PathnameField != "" { + t.Errorf("enter_iopl: unexpected PathnameField %q, want empty", r.PathnameField) + } +} + +// TestClassifyExitIoplUnclassifiedRet locks in that the iopl exit tracepoint is +// classified as KindRet and Unclassified. iopl(2) returns int (0 on success, -1 +// on error) — a status code, NOT a transferred byte count — so its exit format +// carries a single "ret" field and must map to a plain ret_event (KindRet) whose +// ret_type stays UNCLASSIFIED (matching the generated handle_sys_exit_iopl). +// Misclassifying that status as a READ/WRITE/TRANSFER byte count would be a real +// bug; it shares this shape with its siblings ioperm/modify_ldt. +func TestClassifyExitIoplUnclassifiedRet(t *testing.T) { + r := ClassifyFormat(&Format{ + Name: "sys_exit_iopl", + ExternalFields: []Field{ + {Type: "long", Name: "__syscall_nr"}, + {Type: "long", Name: "ret"}, + }, + }) + if r.Kind != KindRet { + t.Fatalf("exit_iopl: got kind %d, want KindRet", r.Kind) + } + if got := ClassifyRet("sys_exit_iopl"); got != Unclassified { + t.Errorf("ClassifyRet(sys_exit_iopl) = %q, want UNCLASSIFIED", got) + } +} + // TestClassifyIoprioNullKind locks in the argument-capture classification for // ioprio_set/ioprio_get using their real kernel tracepoint fields. Unlike the // name-only Misc/null syscalls above, ioprio_* are NOT in nameOnlyKindsTable: |
