Adobe's After Effects was used for the the gas station explosion; I remember hearing it in the director's commentary. I'm sure they used some sophisticated plug-ins, along with a few other premium effects from Discreet's line of editing and effects apps, but they did use After Effects.