Here:
https://www.youtube.com/watch?v=KpdSFZOQCl8&t=26m45s

They they show a PVS-Studio is able to catch statically a C++ bug similar to this:

fn foo(v: &mut [u32; 6]) {
    for i in 0 ..= 6 {
        v[i] += 1;
    }
}