Last time I checked (more than a year ago) there were major open questions about what could be guaranteed. My impression was that you could expect e.g. all arra

Last time I checked (more than a year ago) there were major open questions about what could be guaranteed. My impression was that you could expect e.g. all array accesses to be bounds checked, but that use-after-free and dangling pointers were still issues, especially if you use the C allocator.