CHERI заменяет указатели на capability-объекты, которые не являются целыми числами и не могут быть подделаны. Это нарушает исторически сложившиеся предположения в Clang и LLVM о том, что указатели могут быть без потерь преобразованы в целые числа и обратно. Это также касается обхода системы типов через память.

const Slice = struct(u128) {
    address: u64,
    len: u64,
}

const Capability = struct(u128) {
    address: u64,
    metadata: struct(u64) {
        permissions: ... // bitfield,
        type: ... // enum или boolean
        bounds: ... // специальной свой мини-float
    }
}

const a: []const u8 = ...;
const b = a[1000]; // panic если вышел за диапазон

We have been demonstrating the second by porting large software stacks to Morello. This includes the entire FreeBSD userland and kernel (Linux is not quite finished), the userspace graphics stack, Weston (including 3D acceleration), the Qt and KDE core libraries, and a bunch of applications (Chromium is nearly finished). This is now at the point where people are starting to believe our claims about compatibility.