у нас все ходы записаны

[brumka]

Нашли программера допустившего баг в коде malloc(), и программера просматривавшего код.
Оба пропустили обычную проверку на размерность.  Кстати, оба ни много ни мало PhD...

Ну, и в догонку: packet capturing наглядно демонстрирующий сам баг.