Page MenuHomeFreeBSD

Add initial set of tests for audit(4) subsystem
ClosedPublic

Authored by aniketp_iitk.ac.in on May 3 2018, 9:31 PM.
Tags
None
Referenced Files
Unknown Object (File)
Sat, Nov 23, 3:35 AM
Unknown Object (File)
Mon, Nov 18, 1:31 AM
Unknown Object (File)
Sun, Nov 17, 10:50 PM
Unknown Object (File)
Wed, Nov 13, 2:31 AM
Unknown Object (File)
Mon, Nov 11, 3:38 PM
Unknown Object (File)
Thu, Nov 7, 4:28 PM
Unknown Object (File)
Mon, Nov 4, 10:02 AM
Unknown Object (File)
Mon, Nov 4, 5:53 AM

Details

Summary

The introduced changes test the proper audit of system calls corresponding to file-create (fc) audit class. Each system call is tested twice, once for failure mode and the other for success. These tests lay the guidelines for further addition of tests covering wide range of functionalities of a specific system call.

A total of 12 file-create system calls were tested:

  • mkdir(2), mkdirat(2)
  • mknod(2), mknodat(2) : (requires root privileges)
  • mkfifo(2), mkfifoat(2)
  • link(2), linkat(2)
  • symlink(2), symlinkat(2)
  • rename(2), renameat(2)

Individual test-cases are independent and follow Kyua guidelines. As recommended by @asomers, it is ensured that every test-case starts auditd(8) in case it is not already running and closes it in the cleanup section. A general observation, which follows from this approach is that the time taken to complete the tests in case auditd(8) is already running is way less than the situation otherwise.

A particular observation:

  1. auditd(8) already running:
▶ /usr/bin/time kyua test
file-create:link_failure  ->  passed  [0.021s]
file-create:link_success  ->  passed  [0.012s]
.........
file-create:symlinkat_failure  ->  passed  [0.014s]
file-create:symlinkat_success  ->  passed  [0.013s]

24/24 passed (0 failed)
        0.42 real         0.13 user         0.27 sys
  1. auditd(8) not running initially
▶ /usr/bin/time kyua test
file-create:link_failure  ->  passed  [0.043s]
file-create:link_success  ->  passed  [0.047s]
 ......
file-create:symlinkat_failure  ->  passed  [0.053s]
file-create:symlinkat_success  ->  passed  [0.046s]

24/24 passed (0 failed)
       26.35 real         0.53 user         0.94 sys

Please note the difference in time.

Test Plan
  • Execute make from test/sys/audit.
  • Execute kyua test from test/sys/audit. All testcases should succeed.

Diff Detail

Repository
rS FreeBSD src repository - subversion
Lint
Lint Skipped
Unit
Tests Skipped

Event Timeline

There are a very large number of changes, so older changes are hidden. Show Older Changes
tests/sys/audit/file-create.c
74

If every single test case needs to run as root, then you can simply put this line in your Makefile, and leave out all of the "require.user" lines from your test program's source:

TEST_METADATA.file-create+= required_user="root"

Set the test-case metadata "required_user" as root in Makefile:

TEST_METADATA.file-create+= required_user="root"

and remove atf_tc_set_md_var(tc, "require.user", "root"); from the head of individual test-case since each one of them require root user privileges

I think one of your recent changes has broken the tests. When I run them, I no longer see anything come out of auditpipe(4) at all. Does it still work for you?

tests/sys/audit/utils.c
73

Misindentation

125

misindentation

130

This line has spaces instead of tabs. There are a few others that do, too. You must use tabs throughout.

175

Misindentation

Few corrections in the formatting of source program. The current changes did not seem to affect the result for me.

file-create:link_failure  ->  passed  [0.023s]
file-create:link_success  ->  passed  [0.022s]
file-create:linkat_failure  ->  passed  [0.023s]
file-create:linkat_success  ->  passed  [0.023s]
file-create:mkdir_failure  ->  passed  [0.024s]
file-create:mkdir_success  ->  passed  [0.026s]
file-create:mkdirat_failure  ->  passed  [0.026s]
file-create:mkdirat_success  ->  passed  [0.023s]
file-create:mkfifo_failure  ->  passed  [0.023s]
file-create:mkfifo_success  ->  passed  [0.028s]
file-create:mkfifoat_failure  ->  passed  [0.027s]
file-create:mkfifoat_success  ->  passed  [0.023s]
file-create:mknod_failure  ->  passed  [0.022s]
file-create:mknod_success  ->  passed  [0.022s]
file-create:mknodat_failure  ->  passed  [0.023s]
file-create:mknodat_success  ->  passed  [0.023s]
file-create:rename_failure  ->  passed  [0.022s]
file-create:rename_success  ->  passed  [0.023s]
file-create:renameat_failure  ->  passed  [0.023s]
file-create:renameat_success  ->  passed  [0.025s]
file-create:symlink_failure  ->  passed  [0.024s]
file-create:symlink_success  ->  passed  [0.023s]
file-create:symlinkat_failure  ->  passed  [0.025s]
file-create:symlinkat_success  ->  passed  [0.022s]

Results file id is usr_src_tests_sys_audit.20180507-064439-219093
Results saved to /root/.kyua/store/results.usr_src_tests_sys_audit.20180507-064439-219093.db

24/24 passed (0 failed)

Update: Add the local preselection flag for non-attributable events
AUDITPIPE_SET_PRESELECT_NAFLAGS

Additional: Indentation fixes

tests/sys/audit/utils.c
100

Standard style(9) says that single-line if statements don't get curly braces. There are exceptions where the braces are needed for clariy, like if the else statement is multiline, or if there's a long comment above the single line. But those exceptions mostly don't apply in this file.

105

This change seems to have fixed the intermittency problems.

aniketp_iitk.ac.in marked 6 inline comments as done.

Remove the braces for single line if statements according to style(9) from functions:

  • FILE *setup
  • static void set_preselect_mode
tests/sys/audit/utils.c
166

spaces -> tabs

180

spaces -> tabs

aniketp_iitk.ac.in marked 2 inline comments as done.

Replace spaces with tabs at a couple of places

tests/sys/audit/utils.c
112

Why did you add all the curly braces back in?

aniketp_iitk.ac.in marked an inline comment as done.

Revert the accidental addition of curly braces from single line if statements.

Remove the redundant line SRCS.file-create+= file-create.c from Makefile.

tests/sys/audit/utils.c
125

This line is failing because "audit startup" is not necessarily the first event to come out of the audit pipe. You should loop here, just as you do in check_audit

aniketp_iitk.ac.in marked an inline comment as done.
  • Fix the "audit startup" issue by looping within the "check_audit_startup" function to eliminate any unwanted events that might have been logged before audit startup.
  • Define two wrapper functions check_audit_startup and check_audit around a static function check_auditpipe.
tests/sys/audit/utils.c
126

Probably don't need the am_failure line.

137

You should choose a more descriptive name for the flag variable.

147

style(9) actually says that for(;;) is preferred over while (true)

157

A more idiomatic way to do this would be to use an endless loop and a break statement.

199

It would probably make sense just to move the cleanup steps into check_audit, and dispense with the flag for check_auditpipe

215

set_preselect_mode must be called before starting auditd. Otherwise there's a race.

aniketp_iitk.ac.in marked 6 inline comments as done.

Set of corrections in utils.c :

  • Remove am_failure flag for "ad" audit class
  • Remove extraneous boolean flag
  • Shift set_preselect_mode to before audit startup to avoid race condition
  • Additional changes in code sematics
  • Shift set_preselect_mode call post to "audit startup" as the tests failed when auditd(8) was already running.

Fix for the intermittent issue "failed: incomplete audit record". Also, clean any outstanding auditpipe buffer after audit startup is emitted from auditpipe

tests/sys/audit/utils.c
73

This change looks wrong to me. Can you explain it?

tests/sys/audit/utils.c
73

In a case when reclen - bytes < token.len we would not have the entire audit token which looked as if it caused the "incomplete audit record" issue.
Also, why subtract bytes from reclen if there is a chance we might miss some records? Letting it be reclen seems to ensure that complete tokens are read.

112

Oh, apologies. I somehow edited different file than the one present in tests/sys/audit

tests/sys/audit/utils.c
73

au_fetch_tok's man page says that reclen is supposed to be the length of the supplied buffer. When bytes > 0, the buffer you're actually passing will be smaller than reclen.

tests/sys/audit/utils.c
73

I switched back to reclen - bytes from reclen and the intermittent issue seems to recur after a while. My take is, subtracting bytes from the original reclen causes the len parameter to eventually become less than token.len in some test-cases, which causes "incomplete audit record" issue

Also, since I'm comparing against a regex which includes return,success/failure which is essentially at the end of the audit record, this might explain why some time the tests timeout. (As this part of the regex would be absent from buffer)

tests/sys/audit/utils.c
73

No, the token must be completely contained within the buffer (where else would it be?). And the third argument to au_fetch_tok *must* be the length of the buffer. It's never ok to overrun a buffer.

Revert back to using reclen-bytes as the third argument of au_fetch_tok instead of reclen to avoid buffer overrun.

Add ATF_REQUIRE check on au_read_rec(3) function. Also, some formatting changes.

Remove if condition check from au_fetch_tok as it is possible that final audit tokens are not complete and are not required as well. There is no need to fail the tests in such scenario.

  • Remove ATF_REQUIRE condition from au_read_rec since reading extraneous corrupted records from auditpipe might not be successful always
  • Call set_preselect_mode twice, once for audit startup and another for syscall audit
  • print warning statement in case "au_fetch_tok" returns incomplete audit record
tests/sys/audit/utils.c
160

This error message isn't quite right. Auditpipe may have returned something, just not what we were looking for. Also, the error message does not indicate whether we we missed the audit record for the syscall under test, or whether we failed to observe auditd startup. Could you please make that more clear? It looks to me like most if not all remaining test failures are due to missing auditd startup.

Update the atf_tc_fail message for ppoll(2) timeout in check_auditpipe function to show the audit regex which caused the tests to fail (timeout).

After a long period of debugging the incomplete audit record issue, which was fixed by D15381, this update introduces the following changes

  • Remove the code which sets the preselection audit mask as "ad" for checking "audit startup" in the auditpipe, as essentially the "audit startup" record shows up irrespective of the audit mask setting
  • Add a few ioctl calls to set the QLIMIT as QLIMIT_MAX
tests/sys/audit/file-create.c
31

Why include this header?

tests/sys/audit/utils.c
73

You should also print errno here. You can do it like this:

perror("au_read_rec");
atf_tc_fail("Incomplete audit record")
220

This will probably work in the default case. However, if somebody has enabled too many classes in /etc/security/audit_control, then the audit queue might overflow before getting the audit startup message. To prevent that, you can set the audit class before starting auditd.

  • Include a perror("au_read_rec") for a better insight into incomplete audit record failure (If any)
  • Remove redundant header sys/syscall.h
  • Introduce a "no" audit class specifically for audit startup.

Improvements in some comments of set_preselect_mode function

Correct the placement of

	/* Set local preselection audit_class as "no" for audit startup */
	set_preselect_mode(fd[0].fd, &nomask);
tests/sys/audit/utils.c
217

Don't dereference an uninitialized variable.

Initialize nomask before dereferencing it

tests/sys/audit/Makefile
16

Why do you need this line?

tests/sys/audit/file-create.c
57

If you're going to take the approach of having one file per audit class, then you may as well make the audit class a constant.

tests/sys/audit/utils.c
66

You should check for failure of both fmemopen and au_read_rec.

79

80 characters per line

182

s/an unknown event/too many file descriptors/

191

80 characters per line

233

This line would be a little bit faster if you move the check from sh to C by using atf_utils_file_exists.

aniketp_iitk.ac.in marked 17 inline comments as done.

Changes as suggested in the above inline comments.

This revision is now accepted and ready to land.May 29 2018, 10:58 PM
This revision was automatically updated to reflect the committed changes.