...
Klocwork Version 8.0.4.16 can detect violations of this rule with the NNTS.TAINTED, SV.STRBO.GETS, and SV.USAGERULES.UNBOUNDED_STRING_COPY checkers.
The Coverity Prevent Version 5.0 OVERRUN_STATIC, OVERRUN_DYNAMIC checker can detect the instances of out of bound read/write to a static or dynamically allocated array.
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...