from everything I've heard, about 80% of the software was created in-house specifically for the movie, with 20% being store bought. As for the names of any of them, I haven't a clue. I know Pixar uses Marionette, but also as far as I know they don't sell it. They do sell Pixar Renderman though, fopr an extremely exorbatant price.