Cory's link to the instrumentation source doesn't seem to exist anymore, but here's the latest public version... https://github.com/battlecode/battlecode-server/tree/master/...

Most of the interesting bits happen in RoboMethodTree.