🇰🇷 한글 설명
리눅스 커널의 IMA(Integrity Measurement Architecture) 모듈에서 ima_filter_rule_match() 함수가 -ENOENT 오류를 반환할 때 이를 적절히 처리하지 못하는 취약점입니다. 이로 인해 규칙이 NULL인 경우에도 매칭된 것으로 잘못 판단하여, 의도하지 않은 파일들이 IMA에 의해 측정되는 문제가 발생합니다.
💡 쉬운 설명
보안 검사를 수행하는 규칙이 사라졌을 때, 시스템이 이를 '검사 대상이 아님'이 아니라 '검사 규칙에 일치함'으로 잘못 오해하는 문제입니다. 이로 인해 보안 시스템이 필요 이상의 파일을 불필요하게 검사하게 됩니다.
🇺🇸 원문 (English)
In the Linux kernel, the following vulnerability has been resolved:
ima: Handle error code returned by ima_filter_rule_match()
In ima_match_rules(), if ima_filter_rule_match() returns -ENOENT due to
the rule being NULL, the function incorrectly skips the 'if (!rc)' check
and sets 'result = true'. The LSM rule is considered a match, causing
extra files to be measured by IMA.
This issue can be reproduced in the following scenario:
After unloading the SELinux policy module via 'semodule -d', if an IMA
measurement is triggered before ima_lsm_rules is updated,
in ima_match_rules(), the first call to ima_filter_rule_match() returns
-ESTALE. This causes the code to enter the 'if (rc == -ESTALE &&
!rule_reinitialized)' block, perform ima_lsm_copy_rule() and retry. In
ima_lsm_copy_rule(), since the SELinux module has been removed, the rule
becomes NULL, and the second call to ima_filter_rule_match() returns
-ENOENT. This bypasses the 'if (!rc)' check and results in a false match.
Call trace:
selinux_audit_rule_match+0x310/0x3b8
security_audit_rule_match+0x60/0xa0
ima_match_rules+0x2e4/0x4a0
ima_match_policy+0x9c/0x1e8
ima_get_action+0x48/0x60
process_measurement+0xf8/0xa98
ima_bprm_check+0x98/0xd8
security_bprm_check+0x5c/0x78
search_binary_handler+0x6c/0x318
exec_binprm+0x58/0x1b8
bprm_execve+0xb8/0x130
do_execveat_common.isra.0+0x1a8/0x258
__arm64_sys_execve+0x48/0x68
invoke_syscall+0x50/0x128
el0_svc_common.constprop.0+0xc8/0xf0
do_el0_svc+0x24/0x38
el0_svc+0x44/0x200
el0t_64_sync_handler+0x100/0x130
el0t_64_sync+0x3c8/0x3d0
Fix this by changing 'if (!rc)' to 'if (rc <= 0)' to ensure that error
codes like -ENOENT do not bypass the check and accidentally result in a
successful match.
📍 영향받는 시스템
Linux Kernel (IMA 모듈을 사용하는 시스템)
⚔️ 공격 벡터
SELinux 정책 모듈을 언로드한 직후 IMA 측정이 트리거되는 특정 타이밍을 이용한 로직 우회
🛡️ 대응 방법
커널 패치를 통해 ima_match_rules() 내의 조건문을 'if (!rc)'에서 'if (rc <= 0)'로 수정하여 오류 코드를 올바르게 처리해야 합니다.
🔧 검증 코드
출력된 커널 버전이 해당 취약점이 수정된 최신 보안 패치 버전인지 확인합니다.