Can PVS-Studio actually find any buffer overflows? These logic errors are important but they're not what people are typically most concerned about these days.