selftests/landlock: Filter dealloc records in audit_count_records()

audit_count_records() counts both AUDIT_LANDLOCK_DOMAIN allocation and
deallocation records in records.domain .  Domain deallocation is tied to
asynchronous credential freeing via kworker threads
(landlock_put_ruleset_deferred), so the dealloc record can arrive after
the drain in audit_init() and after the preceding audit_match_record()
call.  This causes flaky failures in tests that assert an exact
records.domain count: a stale dealloc record from a previous test's
domain inflates the count by one.

Observed on x86_64 under build configurations that delay the kworker
firing the dealloc callback (e.g. coverage instrumentation): the
audit_layout1 tests in fs_test.c intermittently saw records.domain == 2
where 1 was expected.  The fix is in the shared helper, so those
existing checks become robust without needing a fs_test.c edit.

Filter audit_count_records() with a regex to skip records containing
deallocation status.  The remaining domain records (allocation, emitted
synchronously during landlock_log_denial()) are deterministic.
Deallocation records are already tested explicitly via
matches_log_domain_deallocated() in audit_test.c, which uses its own
domain-ID-based filtering and longer timeout.

With this filter in place, re-add the records.domain == 0 checks that
were removed in commit 3647a4977f ("selftests/landlock: Drain stale
audit records on init") as a workaround for this race.

Cc: Günther Noack <gnoack@google.com>
Cc: stable@vger.kernel.org
Depends-on: 07c2572a87 ("selftests/landlock: Skip stale records in audit_match_record()")
Fixes: 6a500b2297 ("selftests/landlock: Add tests for audit flags and domain IDs")
Tested-by: Günther Noack <gnoack3000@gmail.com>
Link: https://patch.msgid.link/20260513105112.140137-1-mic@digikod.net
Signed-off-by: Mickaël Salaün <mic@digikod.net>
This commit is contained in:
Mickaël Salaün 2026-05-13 12:51:08 +02:00
parent 5d6919055d
commit 26679fad81
No known key found for this signature in database
GPG Key ID: E5E3D0E88C82F6D2
4 changed files with 30 additions and 13 deletions

View File

@ -381,18 +381,24 @@ struct audit_records {
};
/*
* WARNING: Do not assert records.domain == 0 without a preceding
* audit_match_record() call. Domain deallocation records are emitted
* asynchronously from kworker threads and can arrive after the drain in
* audit_init(), corrupting the domain count. A preceding audit_match_record()
* call consumes stale records while scanning, making the assertion safe in
* practice because stale deallocation records arrive before the expected access
* records.
* Counts remaining audit records by type, skipping domain deallocation records.
* Deallocation records are emitted asynchronously from kworker threads after a
* previous test's child has exited, so they can arrive after the drain in
* audit_init() and after the preceding audit_match_record() call. Allocation
* records are emitted synchronously during landlock_log_denial() in the current
* test's syscall context, so only those are counted in records->domain.
*/
static int audit_count_records(int audit_fd, struct audit_records *records)
{
static const char dealloc_pattern[] = REGEX_LANDLOCK_PREFIX
" status=deallocated ";
struct audit_message msg;
int err;
regex_t dealloc_re;
int ret, err = 0;
ret = regcomp(&dealloc_re, dealloc_pattern, 0);
if (ret)
return -ENOMEM;
records->access = 0;
records->domain = 0;
@ -402,9 +408,8 @@ static int audit_count_records(int audit_fd, struct audit_records *records)
err = audit_recv(audit_fd, &msg);
if (err) {
if (err == -EAGAIN)
return 0;
else
return err;
err = 0;
break;
}
switch (msg.header.nlmsg_type) {
@ -412,12 +417,20 @@ static int audit_count_records(int audit_fd, struct audit_records *records)
records->access++;
break;
case AUDIT_LANDLOCK_DOMAIN:
records->domain++;
ret = regexec(&dealloc_re, msg.data, 0, NULL, 0);
if (ret == REG_NOMATCH) {
records->domain++;
} else if (ret != 0) {
err = -EIO;
goto out;
}
break;
}
} while (true);
return 0;
out:
regfree(&dealloc_re);
return err;
}
static int audit_init(void)

View File

@ -730,6 +730,7 @@ TEST_F(audit_flags, signal)
} else {
EXPECT_EQ(1, records.access);
}
EXPECT_EQ(0, records.domain);
/* Updates filter rules to match the drop record. */
set_cap(_metadata, CAP_AUDIT_CONTROL);
@ -917,6 +918,7 @@ TEST_F(audit_exec, signal_and_open)
/* Tests that there was no denial until now. */
EXPECT_EQ(0, audit_count_records(self->audit_fd, &records));
EXPECT_EQ(0, records.access);
EXPECT_EQ(0, records.domain);
/*
* Wait for the child to do a first denied action by layer1 and

View File

@ -342,6 +342,7 @@ TEST_F(audit, trace)
/* Makes sure there is no superfluous logged records. */
EXPECT_EQ(0, audit_count_records(self->audit_fd, &records));
EXPECT_EQ(0, records.access);
EXPECT_EQ(0, records.domain);
yama_ptrace_scope = get_yama_ptrace_scope();
ASSERT_LE(0, yama_ptrace_scope);

View File

@ -312,6 +312,7 @@ TEST_F(scoped_audit, connect_to_child)
/* Makes sure there is no superfluous logged records. */
EXPECT_EQ(0, audit_count_records(self->audit_fd, &records));
EXPECT_EQ(0, records.access);
EXPECT_EQ(0, records.domain);
ASSERT_EQ(0, pipe2(pipe_child, O_CLOEXEC));
ASSERT_EQ(0, pipe2(pipe_parent, O_CLOEXEC));