Skip to contentSkip to conversation

integrity: Add errno field in audit message

PATCH Superseded Lakshmi Ramasubramanian 4 participants 15 messages Jun 11, 2020 – Jun 16, 2020

Subsystems (4)

v1 of 3 Superseded Latest is v3 →

lore
Share & tools
lore
#0 lore raw

PATCH 1/2 integrity: Add errno field in audit message

Error code is not included in the audit messages logged by the integrity subsystem. Add a new field namely "errno" in the audit message and set the value to the error code passed to integrity_audit_msg() in the "result" parameter.

Sample audit message:

[    6.284329] audit: type=1804 audit(1591756723.627:2): pid=1 uid=0 auid=4294967295 ses=4294967295 subj=kernel op=add_boot_aggregate cause=alloc_entry errno=-12 comm="swapper/0" name="boot_aggregate" res=0
---
 security/integrity/integrity_audit.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)
security/integrity/integrity_audit.c +2 -1
index 5109173839cc..8cbf415bb977 100644
@@ -42,7 +42,8 @@ void integrity_audit_msg(int audit_msgno, struct inode *inode,
 			 from_kuid(&init_user_ns, audit_get_loginuid(current)),
 			 audit_get_sessionid(current));
 	audit_log_task_context(ab);
-	audit_log_format(ab, " op=%s cause=%s comm=", op, cause);
+	audit_log_format(ab, " op=%s cause=%s errno=%d comm=",
+			 op, cause, result);
 	audit_log_untrustedstring(ab, get_task_comm(name, current));
 	if (fname) {
 		audit_log_format(ab, " name=");
Signature · 1 line
2.27.0
#1 lore raw

PATCH 2/2 IMA: Add audit log for failure conditions

The final log statement in process_buffer_measurement() for failure condition is at debug level. This does not log the message unless the system log level is raised which would significantly increase the messages in the system log. Change this to an audit message to audit integrity failures with the "op" field of the audit message set to indicate the measurement operation that failed.

Also, add an audit message for failures in ima_alloc_key_entry().

Sample audit messages:

[    6.284329] audit: type=1804 audit(1591756723.627:2): pid=1 uid=0 auid=4294967295 ses=4294967295 subj=kernel op=measuring_kexec_cmdline cause=alloc_entry errno=-12 comm="swapper/0" name="kexec-cmdline" res=0
[    8.017126] audit: type=1804 audit(1591756725.360:10): pid=1 uid=0 auid=4294967295 ses=4294967295 subj=system_u:system_r:init_t:s0 op=measuring_key cause=hashing_error errno=-22 comm="systemd" name=".builtin_trusted_keys" res=0
---
 security/integrity/ima/ima.h            | 48 ++++++++++++++++---------
 security/integrity/ima/ima_main.c       | 18 +++++++---
 security/integrity/ima/ima_policy.c     |  2 +-
 security/integrity/ima/ima_queue_keys.c |  5 +++
 4 files changed, 51 insertions(+), 22 deletions(-)
security/integrity/ima/ima.h +32 -16
index df93ac258e01..e42101eebd69 100644
@@ -186,27 +186,43 @@ static inline unsigned int ima_hash_key(u8 *digest)
 	return (digest[0] | digest[1] << 8) % IMA_MEASURE_HTABLE_SIZE;
 }
 
-#define __ima_hooks(hook)		\
-	hook(NONE)			\
-	hook(FILE_CHECK)		\
-	hook(MMAP_CHECK)		\
-	hook(BPRM_CHECK)		\
-	hook(CREDS_CHECK)		\
-	hook(POST_SETATTR)		\
-	hook(MODULE_CHECK)		\
-	hook(FIRMWARE_CHECK)		\
-	hook(KEXEC_KERNEL_CHECK)	\
-	hook(KEXEC_INITRAMFS_CHECK)	\
-	hook(POLICY_CHECK)		\
-	hook(KEXEC_CMDLINE)		\
-	hook(KEY_CHECK)			\
-	hook(MAX_CHECK)
-#define __ima_hook_enumify(ENUM)	ENUM,
+#define __ima_hooks(hook)				\
+	hook(NONE, none)				\
+	hook(FILE_CHECK, file)				\
+	hook(MMAP_CHECK, mmap)				\
+	hook(BPRM_CHECK, bprm)				\
+	hook(CREDS_CHECK, creds)			\
+	hook(POST_SETATTR, post_setattr)		\
+	hook(MODULE_CHECK, module)			\
+	hook(FIRMWARE_CHECK, firmware)			\
+	hook(KEXEC_KERNEL_CHECK, kexec_kernel)		\
+	hook(KEXEC_INITRAMFS_CHECK, kexec_initramfs)	\
+	hook(POLICY_CHECK, policy)			\
+	hook(KEXEC_CMDLINE, kexec_cmdline)		\
+	hook(KEY_CHECK, key)				\
+	hook(MAX_CHECK, none)
+
+#define __ima_hook_enumify(ENUM, str)	ENUM,
+#define __ima_stringify(arg) (#arg)
+#define __ima_hook_measuring_stringify(ENUM, str) \
+		(__ima_stringify(measuring_ ##str)),
 
 enum ima_hooks {
 	__ima_hooks(__ima_hook_enumify)
 };
 
+static const char * const ima_hooks_measure_str[] = {
+	__ima_hooks(__ima_hook_measuring_stringify)
+};
+
+static inline const char *ima_hooks_func_measure_str(enum ima_hooks func)
+{
+	if (func >= MAX_CHECK)
+		return ima_hooks_measure_str[NONE];
+
+	return ima_hooks_measure_str[func];
+}
+
 extern const char *const func_tokens[];
 
 struct modsig;
security/integrity/ima/ima_main.c +13 -5
index 800fb3bba418..114b0699fb02 100644
@@ -739,6 +739,7 @@ void process_buffer_measurement(const void *buf, int size,
 				int pcr, const char *keyring)
 {
 	int ret = 0;
+	const char *audit_cause = "ENOMEM";
 	struct ima_template_entry *entry = NULL;
 	struct integrity_iint_cache iint = {};
 	struct ima_event_data event_data = {.iint = &iint,
@@ -793,21 +794,28 @@ void process_buffer_measurement(const void *buf, int size,
 	iint.ima_hash->length = hash_digest_size[ima_hash_algo];
 
 	ret = ima_calc_buffer_hash(buf, size, iint.ima_hash);
-	if (ret < 0)
+	if (ret < 0) {
+		audit_cause = "hashing_error";
 		goto out;
+	}
 
 	ret = ima_alloc_init_template(&event_data, &entry, template);
-	if (ret < 0)
+	if (ret < 0) {
+		audit_cause = "alloc_entry";
 		goto out;
+	}
 
 	ret = ima_store_template(entry, violation, NULL, buf, pcr);
-
-	if (ret < 0)
+	if (ret < 0) {
+		audit_cause = "store_entry";
 		ima_free_template_entry(entry);
+	}
 
 out:
 	if (ret < 0)
-		pr_devel("%s: failed, result: %d\n", __func__, ret);
+		integrity_audit_msg(AUDIT_INTEGRITY_PCR, NULL, eventname,
+				    ima_hooks_func_measure_str(func),
+				    audit_cause, ret, 0);
 
 	return;
 }
security/integrity/ima/ima_policy.c +1 -1
index e493063a3c34..66aa3e17a888 100644
@@ -1414,7 +1414,7 @@ void ima_delete_rules(void)
 	}
 }
 
-#define __ima_hook_stringify(str)	(#str),
+#define __ima_hook_stringify(func, str)	(#func),
 
 const char *const func_tokens[] = {
 	__ima_hooks(__ima_hook_stringify)
security/integrity/ima/ima_queue_keys.c +5 -0
index cb3e3f501593..f1105e0b8eef 100644
@@ -68,6 +68,7 @@ static struct ima_key_entry *ima_alloc_key_entry(struct key *keyring,
 						 size_t payload_len)
 {
 	int rc = 0;
+	const char *audit_cause = "ENOMEM";
 	struct ima_key_entry *entry;
 
 	entry = kzalloc(sizeof(*entry), GFP_KERNEL);
@@ -88,6 +89,10 @@ static struct ima_key_entry *ima_alloc_key_entry(struct key *keyring,
 
 out:
 	if (rc) {
+		integrity_audit_msg(AUDIT_INTEGRITY_PCR, NULL,
+				    keyring->description,
+				    ima_hooks_func_measure_str(KEY_CHECK),
+				    audit_cause, rc, 0);
 		ima_free_key_entry(entry);
 		entry = NULL;
 	}
Signature · 1 line
2.27.0
maintainer
#2 lore raw

Re: [PATCH 2/2] IMA: Add audit log for failure conditions

Hi Lakshmi,

I haven't yet tested the patch.  Below are a couple of comments.

Quoted 6 lines · Lakshmi Ramasubramanian

The final log statement in process_buffer_measurement() for failure condition is at debug level. This does not log the message unless the system log level is raised which would significantly increase the messages in the system log. Change this to an audit message to audit integrity failures with the "op" field of the audit message set to indicate the measurement operation that failed.

The problem with the existing "pr" level is kind of irrelevant.   You could keep the existing pr_debug() statement, if you wanted to.  The reason for auditing a failure is because it is "integrity" relevant or more generically "security" relevant.  The first patch addresses the change in the audit message format.

Quoted 69 lines

Also, add an audit message for failures in ima_alloc_key_entry().

Sample audit messages:

[    6.284329] audit: type=1804 audit(1591756723.627:2): pid=1 uid=0

auid=4294967295 ses=4294967295 subj=kernel op=measuring_kexec_cmdline cause=alloc_entry errno=-12 comm="swapper/0" name="kexec-cmdline" res=0

[    8.017126] audit: type=1804 audit(1591756725.360:10): pid=1

uid=0 auid=4294967295 ses=4294967295
subj=system_u:system_r:init_t:s0 op=measuring_key
cause=hashing_error errno=-22 comm="systemd"
name=".builtin_trusted_keys" res=0

---
 security/integrity/ima/ima.h            | 48 ++++++++++++++++---------
 security/integrity/ima/ima_main.c       | 18 +++++++---
 security/integrity/ima/ima_policy.c     |  2 +-
 security/integrity/ima/ima_queue_keys.c |  5 +++
 4 files changed, 51 insertions(+), 22 deletions(-)
security/integrity/ima/ima.h +20 -16
index df93ac258e01..e42101eebd69 100644
@@ -186,27 +186,43 @@ static inline unsigned int ima_hash_key(u8 *digest)
 	return (digest[0] | digest[1] << 8) % IMA_MEASURE_HTABLE_SIZE;
 }
 
-#define __ima_hooks(hook)		\
-	hook(NONE)			\
-	hook(FILE_CHECK)		\
-	hook(MMAP_CHECK)		\
-	hook(BPRM_CHECK)		\
-	hook(CREDS_CHECK)		\
-	hook(POST_SETATTR)		\
-	hook(MODULE_CHECK)		\
-	hook(FIRMWARE_CHECK)		\
-	hook(KEXEC_KERNEL_CHECK)	\
-	hook(KEXEC_INITRAMFS_CHECK)	\
-	hook(POLICY_CHECK)		\
-	hook(KEXEC_CMDLINE)		\
-	hook(KEY_CHECK)			\
-	hook(MAX_CHECK)
-#define __ima_hook_enumify(ENUM)	ENUM,
+#define __ima_hooks(hook)				\
+	hook(NONE, none)				\
+	hook(FILE_CHECK, file)				\
+	hook(MMAP_CHECK, mmap)				\
+	hook(BPRM_CHECK, bprm)				\
+	hook(CREDS_CHECK, creds)			\
+	hook(POST_SETATTR, post_setattr)		\
+	hook(MODULE_CHECK, module)			\
+	hook(FIRMWARE_CHECK, firmware)			\
+	hook(KEXEC_KERNEL_CHECK, kexec_kernel)		\
+	hook(KEXEC_INITRAMFS_CHECK, kexec_initramfs)	\
+	hook(POLICY_CHECK, policy)			\
+	hook(KEXEC_CMDLINE, kexec_cmdline)		\
+	hook(KEY_CHECK, key)				\
+	hook(MAX_CHECK, none)
+
+#define __ima_hook_enumify(ENUM, str)	ENUM,
+#define __ima_stringify(arg) (#arg)
+#define __ima_hook_measuring_stringify(ENUM, str) \
+		(__ima_stringify(measuring_ ##str)),

security/integrity/ima/ima.h static inline unsigned int ima_hash_key(u8 *digest) · line 218

Quoted 10 lines
security/integrity/ima/ima.h +5 -0
 
 enum ima_hooks {
 	__ima_hooks(__ima_hook_enumify)
 };
 
+static const char * const ima_hooks_measure_str[] = {
+	__ima_hooks(__ima_hook_measuring_stringify)
+};
+
+static inline const char *ima_hooks_func_measure_str(enum ima_hooks func)

"ima_hooks_func_measure_str" is a bit long.  There's no reason for having both "hooks" and "func" in the name.  Also this is a static function, so it doesn't really need to be prefixed with "ima_".  Maybe truncate it to "func_measure_str()", similar to "func_token".

Mimi

Quoted 8 lines
security/integrity/ima/ima.h +7 -0
+{
+	if (func >= MAX_CHECK)
+		return ima_hooks_measure_str[NONE];
+
+	return ima_hooks_measure_str[func];
+}
+
 extern const char *const func_tokens[];
maintainer
#3 lore raw
In reply to Lakshmi Ramasubramanian
Quoted 21 lines · Lakshmi Ramasubramanian

Error code is not included in the audit messages logged by the integrity subsystem. Add a new field namely "errno" in the audit message and set the value to the error code passed to integrity_audit_msg() in the "result" parameter.

Sample audit message:

[    6.284329] audit: type=1804 audit(1591756723.627:2): pid=1 uid=0 auid=4294967295 ses=4294967295 subj=kernel op=add_boot_aggregate cause=alloc_entry errno=-12 comm="swapper/0" name="boot_aggregate" res=0
---
 security/integrity/integrity_audit.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)
security/integrity/integrity_audit.c +0 -0
index 5109173839cc..8cbf415bb977 100644

security/integrity/integrity_audit.c void integrity_audit_msg(int audit_msgno, struct inode *inode, · line 46

Quoted 6 lines
security/integrity/integrity_audit.c +2 -1
@@ -42,7 +42,8 @@ void integrity_audit_msg(int audit_msgno, struct inode *inode,
                         from_kuid(&init_user_ns, audit_get_loginuid(current)),
                         audit_get_sessionid(current));
        audit_log_task_context(ab);
-       audit_log_format(ab, " op=%s cause=%s comm=", op, cause);
+       audit_log_format(ab, " op=%s cause=%s errno=%d comm=",
+                        op, cause, result);

Hi Lakshmi,

I'm sorry I didn't get a chance to mention this before you posted this patch, but for the past several years we have been sticking with a policy of only adding new fields to the end of existing records; please adjust this patch accordingly. Otherwise, this looks fine to me.

Quoted 5 lines
security/integrity/integrity_audit.c +0 -1
        audit_log_untrustedstring(ab, get_task_comm(name, current));
        if (fname) {
                audit_log_format(ab, " name=");
--

2.27.0

Signature · 2 lines
paul moore
www.paul-moore.com
#4 lore raw

On 6/10/20 6:45 PM, Paul Moore wrote:

Hi Paul,

Quoted 10 lines

I'm sorry I didn't get a chance to mention this before you posted this patch, but for the past several years we have been sticking with a policy of only adding new fields to the end of existing records; please adjust this patch accordingly. Otherwise, this looks fine to me.

Quoted 4 lines
         audit_log_untrustedstring(ab, get_task_comm(name, current));
         if (fname) {
                 audit_log_format(ab, " name=");

--

Steve mentioned that since this new field "errno" is not a searchable entry, it can be added anywhere in the audit log message.

But I have no problem moving this to the end of the audit record.

thanks,
-lakshmi

maintainer
#5 lore raw
Quoted 10 lines · Lakshmi Ramasubramanian

On 6/10/20 6:45 PM, Paul Moore wrote:

Hi Paul,

Quoted 6 lines

I'm sorry I didn't get a chance to mention this before you posted this patch, but for the past several years we have been sticking with a policy of only adding new fields to the end of existing records; please adjust this patch accordingly. Otherwise, this looks fine to me.

Quoted 7 lines
Quoted 4 lines
Quoted 4 lines
         audit_log_untrustedstring(ab, get_task_comm(name, current));
         if (fname) {
                 audit_log_format(ab, " name=");

--

Steve mentioned that since this new field "errno" is not a searchable entry, it can be added anywhere in the audit log message.

Steve and I have a different opinion on this issue. I won't rehash the long argument or drag you into it, but I will just say that the *kernel* has had a policy of only adding fields to the end of existing records unless under extreme cases (this is not an extreme case).

Quoted 1 line

But I have no problem moving this to the end of the audit record.

Great, please do that. Thank you.

Signature · 2 lines
paul moore
www.paul-moore.com
maintainer
#6 lore raw
In reply to Lakshmi Ramasubramanian
Quoted 11 lines · Lakshmi Ramasubramanian

Error code is not included in the audit messages logged by the integrity subsystem. Add a new field namely "errno" in the audit message and set the value to the error code passed to integrity_audit_msg() in the "result" parameter.

Sample audit message:

[    6.284329] audit: type=1804 audit(1591756723.627:2): pid=1 uid=0 auid=4294967295 ses=4294967295 subj=kernel op=add_boot_aggregate cause=alloc_entry errno=-12 comm="swapper/0" name="boot_aggregate" res=0

---

Quoted 8 lines
 security/integrity/integrity_audit.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)
security/integrity/integrity_audit.c +0 -0
index 5109173839cc..8cbf415bb977 100644

security/integrity/integrity_audit.c void integrity_audit_msg(int audit_msgno, struct inode *inode, · line 46

Quoted 6 lines
security/integrity/integrity_audit.c +2 -1
@@ -42,7 +42,8 @@ void integrity_audit_msg(int audit_msgno, struct inode *inode,
 			 from_kuid(&init_user_ns, audit_get_loginuid(current)),
 			 audit_get_sessionid(current));
 	audit_log_task_context(ab);
-	audit_log_format(ab, " op=%s cause=%s comm=", op, cause);
+	audit_log_format(ab, " op=%s cause=%s errno=%d comm=",
+			 op, cause, result);

The idea is a good idea, but you're assuming that "result" is always errno.  That was probably true originally, but isn't now.  For example, ima_appraise_measurement() calls xattr_verify(), which compares the security.ima hash with the calculated file hash.  On failure, it returns the result of memcmp().  Each and every code path will need to be checked.

Quoted 3 lines
security/integrity/integrity_audit.c +0 -0
 	audit_log_untrustedstring(ab, get_task_comm(name, current));
 	if (fname) {
 		audit_log_format(ab, " name=");
#7 lore raw
Quoted 7 lines · Mimi Zohar

The idea is a good idea, but you're assuming that "result" is always errno.  That was probably true originally, but isn't now.  For example, ima_appraise_measurement() calls xattr_verify(), which compares the security.ima hash with the calculated file hash.  On failure, it returns the result of memcmp().  Each and every code path will need to be checked.

Good catch Mimi.

Instead of "errno" should we just use "result" and log the value given in the result parameter?

From the audit field dictionary (link given below) "result" is already a known field that is used to indicate the result of the audited operation.

@Steve\Paul:
Like "res" is "result" also expected to have only values "0" or "1", or can it be any result code?

https://github.com/linux-audit/audit-documentation/blob/master/specs/fields/field-dictionary.csv

res alphanumeric result of the audited operation(success/fail)

result alphanumeric result of the audited operation(success/fail)

thanks,
-lakshmi

#8 lore raw
Quoted 8 lines · EDT Lakshmi Ramasubramanian
Quoted 6 lines · Mimi Zohar

The idea is a good idea, but you're assuming that "result" is always errno. That was probably true originally, but isn't now. For example, ima_appraise_measurement() calls xattr_verify(), which compares the security.ima hash with the calculated file hash. On failure, it returns the result of memcmp(). Each and every code path will need to be checked.

Quoted 4 lines

Good catch Mimi.

Instead of "errno" should we just use "result" and log the value given in the result parameter?

That would likely collide with another field of the same name which is the operation's results. If it really is errno, the name is fine. It's generic enough that it can be reused on other events if that mattered.

Quoted 6 lines

From the audit field dictionary (link given below) "result" is already
a known field that is used to indicate the result of the audited operation.

@Steve\Paul:
Like "res" is "result" also expected to have only values "0" or "1", or can it be any result code?

It should only be 0 or 1. Sometime in the past it may have been the words success/fail. But we've been converting those as we find them.

-Steve

Quoted 6 lines

https://github.com/linux-audit/audit-documentation/blob/master/specs/fields
/field-dictionary.csv

res alphanumeric result of the audited operation(success/fail)

result alphanumeric result of the audited operation(success/fail)

--
Linux-audit mailing list
[email protected]
https://www.redhat.com/mailman/listinfo/linux-audit

maintainer
#9 lore raw
Quoted 9 lines · Steve Grubb
Quoted 8 lines · EDT Lakshmi Ramasubramanian
Quoted 6 lines · Mimi Zohar

The idea is a good idea, but you're assuming that "result" is always errno. That was probably true originally, but isn't now. For example, ima_appraise_measurement() calls xattr_verify(), which compares the security.ima hash with the calculated file hash. On failure, it returns the result of memcmp(). Each and every code path will need to be checked.

Quoted 8 lines
Quoted 4 lines

Good catch Mimi.

Instead of "errno" should we just use "result" and log the value given in the result parameter?

That would likely collide with another field of the same name which is the operation's results. If it really is errno, the name is fine. It's generic enough that it can be reused on other events if that mattered.

Steve, what is the historical reason why we have both "res" and "result" for indicating a boolean success/fail? I'm just curious how we ended up this way, and who may still be using "result".

Signature · 2 lines
paul moore
www.paul-moore.com
#10 lore raw
Quoted 21 lines · EDT Paul Moore
Quoted 11 lines · Steve Grubb
Quoted 10 lines · EDT Lakshmi Ramasubramanian
Quoted 6 lines · Mimi Zohar

The idea is a good idea, but you're assuming that "result" is always errno. That was probably true originally, but isn't now. For example, ima_appraise_measurement() calls xattr_verify(), which compares the security.ima hash with the calculated file hash. On failure, it returns the result of memcmp(). Each and every code path will need to be checked.

Good catch Mimi.

Quoted 8 lines
Quoted 2 lines

Instead of "errno" should we just use "result" and log the value given in the result parameter?

That would likely collide with another field of the same name which is the
operation's results. If it really is errno, the name is fine. It's generic
enough that it can be reused on other events if that mattered.

Quoted 3 lines

Steve, what is the historical reason why we have both "res" and "result" for indicating a boolean success/fail? I'm just curious how we ended up this way, and who may still be using "result".

I think its pam and some other user space things did this. But because of mixed machines in datacenters supporting multiple versions of OS, we have to leave result alone. It has to be 0,1 or success/fail. We cannot use it for errno.

-Steve

#11 lore raw
Quoted 18 lines · Steve Grubb
Quoted 18 lines
Quoted 17 lines
Quoted 11 lines
Quoted 6 lines

The idea is a good idea, but you're assuming that "result" is always errno. That was probably true originally, but isn't now. For example, ima_appraise_measurement() calls xattr_verify(), which compares the security.ima hash with the calculated file hash. On failure, it returns the result of memcmp(). Each and every code path will need to be checked.

Good catch Mimi.

Instead of "errno" should we just use "result" and log the value given in the result parameter?

That would likely collide with another field of the same name which is the
operation's results. If it really is errno, the name is fine. It's generic
enough that it can be reused on other events if that mattered.

Quoted 8 lines
Quoted 3 lines

Steve, what is the historical reason why we have both "res" and "result" for indicating a boolean success/fail? I'm just curious how we ended up this way, and who may still be using "result".

I think its pam and some other user space things did this. But because of mixed machines in datacenters supporting multiple versions of OS, we have to leave result alone. It has to be 0,1 or success/fail. We cannot use it for errno.

As Mimi had pointed out, since the value passed in result parameter is not always an error code, "errno" is not an appropriate name.

Can we add a new field, say, "op_result" to report the result of the specified operation?

thanks,
-lakshmi

#12 lore raw
Quoted 28 lines · EDT Lakshmi Ramasubramanian
Quoted 18 lines · Steve Grubb
Quoted 18 lines
Quoted 17 lines
Quoted 11 lines
Quoted 6 lines

The idea is a good idea, but you're assuming that "result" is always errno. That was probably true originally, but isn't now. For example, ima_appraise_measurement() calls xattr_verify(), which compares the security.ima hash with the calculated file hash. On failure, it returns the result of memcmp(). Each and every code path will need to be checked.

Good catch Mimi.

Instead of "errno" should we just use "result" and log the value given in the result parameter?

That would likely collide with another field of the same name which is the
operation's results. If it really is errno, the name is fine. It's generic
enough that it can be reused on other events if that mattered.

Quoted 8 lines
Quoted 3 lines

Steve, what is the historical reason why we have both "res" and "result" for indicating a boolean success/fail? I'm just curious how we ended up this way, and who may still be using "result".

I think its pam and some other user space things did this. But because of mixed machines in datacenters supporting multiple versions of OS, we have to leave result alone. It has to be 0,1 or success/fail. We cannot use it for errno.

Quoted 5 lines

As Mimi had pointed out, since the value passed in result parameter is not always an error code, "errno" is not an appropriate name.

Can we add a new field, say, "op_result" to report the result of the specified operation?

Sure. But since it is errno sometimes, how would we know when to translate it?

-Steve

--
Linux-audit mailing list
[email protected]
https://www.redhat.com/mailman/listinfo/linux-audit

maintainer
#13 lore raw
Quoted 29 lines · Steve Grubb
Quoted 28 lines · EDT Lakshmi Ramasubramanian
Quoted 26 lines · Steve Grubb
Quoted 18 lines
Quoted 9 lines
Quoted 9 lines
Quoted 6 lines

The idea is a good idea, but you're assuming that "result" is always errno. That was probably true originally, but isn't now. For example, ima_appraise_measurement() calls xattr_verify(), which compares the security.ima hash with the calculated file hash. On failure, it returns the result of memcmp(). Each and every code path will need to be checked.

Good catch Mimi.

Quoted 8 lines
Quoted 2 lines

Instead of "errno" should we just use "result" and log the value given in the result parameter?

That would likely collide with another field of the same name which is the
operation's results. If it really is errno, the name is fine. It's generic
enough that it can be reused on other events if that mattered.

Quoted 3 lines

Steve, what is the historical reason why we have both "res" and "result" for indicating a boolean success/fail? I'm just curious how we ended up this way, and who may still be using "result".

I think its pam and some other user space things did this. But because of mixed machines in datacenters supporting multiple versions of OS, we have to leave result alone. It has to be 0,1 or success/fail. We cannot use it for errno.

Quoted 8 lines
Quoted 5 lines

As Mimi had pointed out, since the value passed in result parameter is not always an error code, "errno" is not an appropriate name.

Can we add a new field, say, "op_result" to report the result of the specified operation?

Sure. But since it is errno sometimes, how would we know when to translate it?

Perhaps the solution is not to imply "res" is "errno", but pass it as a separate "errno" field.  Then only include "errno" in the audit message when it isn't zero.  This assumes that some audit messages for the same audit number include errno, while others do not.

With this solution, the existing integrity_audit_msg() could become a wrapper for the new function.

Mimi

#14 lore raw
Quoted 32 lines · EDT Mimi Zohar
Quoted 31 lines · Steve Grubb
Quoted 30 lines · EDT Lakshmi Ramasubramanian
Quoted 17 lines · Steve Grubb
Quoted 17 lines
Quoted 16 lines
Quoted 11 lines
Quoted 6 lines

The idea is a good idea, but you're assuming that "result" is always errno. That was probably true originally, but isn't now. For example, ima_appraise_measurement() calls xattr_verify(), which compares the security.ima hash with the calculated file hash. On failure, it returns the result of memcmp(). Each and every code path will need to be checked.

Good catch Mimi.

Instead of "errno" should we just use "result" and log the value given in the result parameter?

That would likely collide with another field of the same name which is the operation's results. If it really is errno, the name is fine. It's generic enough that it can be reused on other events if that mattered.

Quoted 8 lines
Quoted 3 lines

Steve, what is the historical reason why we have both "res" and "result" for indicating a boolean success/fail? I'm just curious how we ended up this way, and who may still be using "result".

I think its pam and some other user space things did this. But because of mixed machines in datacenters supporting multiple versions of OS, we have to leave result alone. It has to be 0,1 or success/ fail. We cannot use it for errno.

As Mimi had pointed out, since the value passed in result parameter is not always an error code, "errno" is not an appropriate name.

Quoted 8 lines
Quoted 5 lines
Quoted 2 lines

Can we add a new field, say, "op_result" to report the result of the specified operation?

Sure. But since it is errno sometimes, how would we know when to translate it?

Perhaps the solution is not to imply "res" is "errno", but pass it as a separate "errno" field.

That's what is done on syscalls. There is success and exit where they both have different meaning sometimes but otherwise they agree.

Quoted 3 lines

Then only include "errno" in the audit message when it isn't zero. This assumes that some audit messages for the same audit number include errno, while others do not.

We normally do not like to have fields that swing in and out because then its hard to know exactly what's in the event. When an event has different fields under special conditions, then we just say call it a new event. Split it into 2 or 3 instead forcing it all into 1. And we also do not like fields that change meaning. Because then intepretation becomes hard. Or other people wishing to record the same info in another event have to follow the same pattern.

So, if you really need this field, the give some name like err_code or errno or anything not taken. And just fill it out every time. Its OK to be 0. If this only happens under some special operation, then make it a new event and fill it out only for that operation/event.

Best Regards,
-Steve

Quoted 4 lines

With this solution, the existing integrity_audit_msg() could become a wrapper for the new function.

Mimi