Executable binary is part of the *.elf content. It can be extracted with tools for the respective processor. More easily, you can instruct the IDE to generate a *.hex or *.bin file directly during compilation.
with my novice knowlege . i explored all the options available in the sdk gui but unable to figure out how to instruct the IDE. i searched help-> help contents. but no help on this topic(or they may be using other sw terminology which i dont understand).
on googling, I found objcopy command. but endup with this in cygwin terminal
$ objcopy hello_world.elf -O binary
objcopy: Unable to recognise the format of the input file `hello_world.elf'