That's pretty damn good in my book! What are the main limitations out of interest? I have a student working on a project in this area. Also, regarding the threa

That's pretty damn good in my book! What are the main limitations out of interest? I have a student working on a project in this area. Also, regarding the threat model, presumably this focuses on spatial memory safety. Have you come across a need for temporal safety?