On Tue, Dec 31, 2019 at 2:51 PM Richard Guy Briggs [off-list ref] wrote:

Track the parent container of a container to be able to filter and
report nesting.

Now that we have a way to track and check the parent container of a
container, modify the contid field format to be able to report that
nesting using a carrat ("^") separator to indicate nesting.  The
original field format was "contid=<contid>" for task-associated records
and "contid=<contid>[,<contid>[...]]" for network-namespace-associated
records.  The new field format is
"contid=<contid>[^<contid>[...]][,<contid>[...]]".

Let's make sure we always use a comma as a separator, even when
recording the parent information, for example:
"contid=<contid>[,^<contid>[...]][,<contid>[...]]"

Signed-off-by: Richard Guy Briggs <redacted>
---
 include/linux/audit.h |  1 +
 kernel/audit.c        | 53 +++++++++++++++++++++++++++++++++++++++++++--------
 kernel/audit.h        |  1 +
 kernel/auditfilter.c  | 17 ++++++++++++++++-
 kernel/auditsc.c      |  2 +-
 5 files changed, 64 insertions(+), 10 deletions(-)

...

If we need a forward declaration, might as well just move it up near
the top of the file with the rest of the declarations.

+void audit_log_contid(struct audit_buffer *ab, u64 contid)
+{
+       struct audit_contobj *cont = NULL, *prcont = NULL;
+       int h;

It seems safer to pass the audit container ID object and not the u64.

+       if (!audit_contid_valid(contid)) {
+               audit_log_format(ab, "%llu", contid);

Do we really want to print (u64)-1 here?  Since this is a known
invalid number, would "?" be a better choice?

+               return;
+       }
+       h = audit_hash_contid(contid);
+       rcu_read_lock();
+       list_for_each_entry_rcu(cont, &audit_contid_hash[h], list)
+               if (cont->id == contid) {
+                       prcont = cont;

Why not just pull the code below into the body of this if statement?
It all needs to be done under the RCU read lock anyway and the code
would read much better this way.

+                       break;
+               }
+       if (!prcont) {
+               audit_log_format(ab, "%llu", contid);
+               goto out;
+       }
+       while (prcont) {
+               audit_log_format(ab, "%llu", prcont->id);
+               prcont = prcont->parent;
+               if (prcont)
+                       audit_log_format(ab, "^");

In the interest of limiting the number of calls to audit_log_format(),
how about something like the following:

  audit_log_format("%llu", cont);
  iter = cont->parent;
  while (iter) {
    if (iter->parent)
      audit_log_format("^%llu,", iter);
    else
      audit_log_format("^%llu", iter);
    iter = iter->parent;
  }

+       }
+out:
+       rcu_read_unlock();
+}
+
 /*
  * audit_log_container_id - report container info
  * @context: task or local context for record

...

This is an interesting case where contid and old-contid are going to
be largely the same, only the first (current) ID is going to be
different; do we want to duplicate all of those IDs?