Astrée reports all out-of-bounds array access.
|Axivion Bauhaus Suite
|Detects if the final member of struct which is declared as an array of small bound, is used as a flexible array member.
Can detect some violations of this rule. In particular, it warns if the last element of a
|LDRA tool suite
|The final member of a structure should not be an array of size '0' or '1'
|Polyspace Bug Finder
|CERT C: Rule DCL38-C
|Checks for incorrect syntax of flexible array member size (rule fully covered)
|Exhaustively detects out-of-bounds array access (see the compliant and the non-compliant example).