Owing to the continued use of C (and C++), spatial safety violations (e.g., buffer overflows) still constitute one today's most dangerous and prevalent security vulnerabilities. To combat these violations, Checked extends with bounds-enforced checked pointer types. is essentially a gradually typed spatially safe - pointers are backwards-binary compatible legacy pointers, language allows them be...