Read news on undefined behaviour with our app.
Read more in the app
Formal Mechanised Semantics of CHERI C: Capabilities, Undefined Behaviour
