CheriABI简介
在CHERI 架构中指针可以被定义为权能,而不是传统的整数类型的虚拟地质。CHERI中的权能定义不仅可以兼容C语言中的指针,而且加强了指针的语义。传统的胖指针仅仅是指针区间的保护, 而CHERI权能(或指针)在此基础上还提供了完整性保护, 强制本源验证, 和访问单调性。 这些更强的保护机制必须与现有的操作系统、运行环境以及应用程序相互兼容才有现实意义。如果将进程模型、用户-内核交互、动态链接以及内...
原创
2019-07-28 12:47:41 ·
424 阅读 ·
0 评论