Is the atos binary for converting numberic addresses to symbols of binary images available on Linux, specifically Ubuntu? It seems to only be available on OS X.
There is nothing that automagically translates addresses; you will need to pick through the output of nm or objdump instead.