Reference 1
class A { public: int f; }
A* __capability a = new A;
a->f = 42;
%call = tail call i8 addrspace(200)* @operator new(unsigned long)(i64 zeroext 4)
%f = bitcast i8 addrspace(200)* %call to i32 addrspace(200)*
store i32 42, i32 addrspace(200)* %f
If you could revise
the fundmental principles of
computer system design
to improve security...
... what would you change?