You are right Slacker. I assumed Fred already knows how to retrieve the information from elf file.
For your convenience, this is what I use.
sof2flash --epcs --input=fpga_project.sof --output=fpga_hardware.flash
elf2flash --epcs --after=project_hw.flash --input=nios_project.elf --output=nios_firmware.flash
The above commands generate the files I use for epcs programming. Since the .flash files are in ASCII format, I usually open the nios_firmware.flash with a text editor, go to the end of file where I can easily read the highest epcs address used.