Restricting dangling pointers from accessing freed memory is a promising technique for
mitigating use-after-free vulnerabilities in memory-unsafe programming languages …