It's likely to be anything which can run on a Mac, such as Adobe Audition, or it could simply be using an integral function within a commercial video editing suite.
Even a freebie audio program, such as Audacity, can do it easily (using Effect > Change Pitch).