Not sure if a straight-out pitch shifter would do the job - a whammy plugin would be better, since the "whammy sound" is more than just pitch shifting. Pitch shifting with an another plugin could do the job, though.
Then again, a pitch shifter will work more or less like a whammy - not quite the same thing, but close enough for the noneducated listeners.