>The $480M bug that killed a trading company in 12 secs

It was a flag reuse issue. Nothing related to "performance"