操作系统内核
基于1个网页-相关网页
operation system kernel
以上为机器翻译结果，长、整句建议使用 人工翻译 。
Function execution context correctness is one of the most easily violated critical properties by OS (operation system) kernel programs while it is non-trivial to be checked out.
函数执行上下文正确性是操作系统内核程序最容易违反且难以检查的正确性性质。
youdao
应用推荐
模块上移
模块下移
不移动