So, that's the solution if everything else fails.
Without garbage collection, you can still prove (with help from the programmer if needed) that everything is either reference counted with no cycles, pointed to by a single pointer with lifetime tied to the contained structure, or otherwise provide a proof that it is correctly handled.
Without full type safety, you can still prove, for instance, that memcpy only writes the (dst, dst + size) and that since dst points to an array of size, it is safe, and so on for more complex stuff.
The real reason is that apparently nobody cares enough to do the work.
Comments and public postings are copyrighted by their creators.
Linux is a registered trademark of Linus Torvalds