I am a Google Maps API (javascript) developer. I have noticed that Google uses a Javascript minifier that has the following features:
A simple online javascript minifier based on dojo's shrink safe can be found at http://netspurt.com
What you are describing is an "obfuscator" not a minifier, and they are easily found by searching for "Javascript obfuscator".
Our SD Thicket ECMAScript Obfuscator both obfuscates and minifies at the same time.
There's also a .NET port of YUI Compressor which allows you to:-
Google has now opened up the minifier they use along with some other internal javascript goodies.
It's all under the name "Closure Tools" and was announced earlier this month.
Here are the minifiers I know of: Dean Edwards' packer; YUI Compressor; JSMIN; and Dojo compressor
In addition to these, the GWT compiler does quite a bit to make efficient JavaScript files out of Java files. It wouldn't surprise me if that is what they use.
I believe that YUICompressor does #1, except for the function names, and #2 using a special syntax that is removed during compression.
#3 is just a build task, not a function of the compressor.
YUICompressor