脆弱性情報
高度な大規模言語モデル技術を使用していますが、出力には不正確または古い情報が含まれる可能性があります。Shenlongはデータの正確性を確保するよう努めていますが、実際の状況に基づいて検証・判断してください。
脆弱性タイトル
Sentry kernel has incomplete ownership check for IRQ line manipulation
脆弱性説明
The Sentry kernel is a high security level micro-kernel implementation made for high security embedded systems. A given task with one of the DEV or IO capability is able to interact with another task's IRQ line through the __sys_int_* syscall familly. Prior to version 0.4.7, this can lead to DoS and covert-channels between this task and the outer world. A patch is available in version 0.4.7. As a workaround, reduce tasks that have the DEV and IO capability to a single one.
CVSS情報
CVSS:3.1/AV:L/AC:L/PR:H/UI:N/S:U/C:L/I:N/A:H
脆弱性タイプ
未经验证的属主
脆弱性タイトル
Sentry kernel 安全漏洞
脆弱性説明
Sentry kernel是camelot-os开源的一个用于高安全嵌入式系统的微内核实现。 Sentry kernel 0.4.7之前版本存在安全漏洞,该漏洞源于具有DEV或IO能力的任务可通过__sys_int_*系统调用族与另一任务的IRQ线交互,可能导致拒绝服务和隐蔽信道。
CVSS情報
N/A
脆弱性タイプ
N/A