Clang and GCC are introducing the "counted_by" attribute to address buffer overflows for flexible array members in C.