summaryrefslogtreecommitdiff
path: root/internal
diff options
context:
space:
mode:
authorPaul Buetow <paul@buetow.org>2026-05-30 11:03:40 +0300
committerPaul Buetow <paul@buetow.org>2026-05-30 11:03:40 +0300
commit2be8db995514529921d1d57a8df3d275fbc64758 (patch)
tree2647f097e16eb5511fd6199a14677cb683ca4287 /internal
parent97a1b7a907c3237445643b95496bf84404e5cf4c (diff)
test(sched_getparam): lock in KindNull/FamilySched/UNCLASSIFIED classification
Audit of sched_getparam(2): int sched_getparam(pid_t pid, struct sched_param *param). args[0] is a PID (not an fd) and param is a userspace output pointer, so the enter tracepoint classifies as KindNull and the family is Sched; the exit returns int 0/-1 (a status code, not a byte count) and stays KindRet/UNCLASSIFIED. Classification in classify.go, family.go, and docs/syscall-tracing-plan.md already match the man page and the sched_* siblings; mage generate produces no diff. This adds a dedicated lock-in regression test mirroring the prior sched_getattr audit, pinning the pid-not-fd invariant, the family, the exit classification, and sibling consistency with sched_setparam. Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Diffstat (limited to 'internal')
-rw-r--r--internal/generate/classify_test.go67
1 files changed, 67 insertions, 0 deletions
diff --git a/internal/generate/classify_test.go b/internal/generate/classify_test.go
index 0705a2d..d354178 100644
--- a/internal/generate/classify_test.go
+++ b/internal/generate/classify_test.go
@@ -2311,6 +2311,73 @@ func TestClassifySchedGetattrPidNotFd(t *testing.T) {
}
}
+// TestClassifySchedGetparamPidNotFd is a lock-in regression test for the
+// sched_getparam(2) audit. The syscall signature is:
+//
+// int sched_getparam(pid_t pid, struct sched_param *param)
+//
+// args[0] is a PID (a thread/process id; 0 means the calling thread), NOT a
+// file descriptor, and param is a userspace output pointer to a struct
+// sched_param. No fd or filesystem path is involved, so the enter tracepoint
+// must classify as KindNull (plain null_event; the pid must never be picked up
+// as an fd). On success sched_getparam returns 0 (-1 on error) and transfers no
+// byte count, so its exit stays KindRet / UNCLASSIFIED — exactly like its
+// sibling sched_getattr and the setter sched_setparam.
+func TestClassifySchedGetparamPidNotFd(t *testing.T) {
+ // Field layout mirrors the actual kernel tracepoint format for
+ // sys_enter_sched_getparam: pid_t pid, struct sched_param *param.
+ r := ClassifyFormat(&Format{
+ Name: "sys_enter_sched_getparam",
+ ExternalFields: []Field{
+ {Type: "long", Name: "__syscall_nr"},
+ {Type: "pid_t", Name: "pid"},
+ {Type: "struct sched_param *", Name: "param"},
+ },
+ })
+ if r.Kind != KindNull {
+ t.Fatalf("sched_getparam: got kind %d, want KindNull (pid arg must not be treated as fd)", r.Kind)
+ }
+ if r.Kind == KindFd {
+ t.Fatalf("sched_getparam: pid arg misclassified as fd")
+ }
+
+ // Family must match the Sched siblings (sched_setparam, sched_getattr, ...).
+ if fam := ClassifySyscallFamily("sys_enter_sched_getparam"); fam != FamilySched {
+ t.Fatalf("sched_getparam: got family %s, want FamilySched", fam)
+ }
+
+ // Exit returns int 0/-1 (a status code, not a transferred byte count), so
+ // the return must classify as KindRet / UNCLASSIFIED.
+ exit := ClassifyFormat(&Format{
+ Name: "sys_exit_sched_getparam",
+ ExternalFields: []Field{
+ {Type: "long", Name: "__syscall_nr"},
+ {Type: "long", Name: "ret"},
+ },
+ })
+ if exit.Kind != KindRet {
+ t.Fatalf("exit_sched_getparam: got kind %d, want KindRet", exit.Kind)
+ }
+ if got := ClassifyRet("sys_exit_sched_getparam"); got != Unclassified {
+ t.Errorf("ClassifyRet(sys_exit_sched_getparam) = %q, want UNCLASSIFIED", got)
+ }
+
+ // Sibling consistency: the matching setter shares family Sched and KindNull.
+ if s := ClassifyFormat(&Format{
+ Name: "sys_enter_sched_setparam",
+ ExternalFields: []Field{
+ {Type: "long", Name: "__syscall_nr"},
+ {Type: "pid_t", Name: "pid"},
+ {Type: "struct sched_param *", Name: "param"},
+ },
+ }); s.Kind != KindNull {
+ t.Errorf("sched_setparam: got kind %d, want KindNull", s.Kind)
+ }
+ if fam := ClassifySyscallFamily("sys_enter_sched_setparam"); fam != FamilySched {
+ t.Errorf("sched_setparam: got family %s, want FamilySched", fam)
+ }
+}
+
// TestClassifyGetRobustListPidNotFd is a lock-in regression test for the
// get_robust_list(2) / set_robust_list(2) audit. The signatures are:
//