The DigiTech Whammy is a pitch shifter pedal manufactured by DigiTech. It was the first widely used effects pedal with foot-controlled pitch shifting effects. Wikipedia