実行可能ファイル
実行可能ファイル (実行可能コード, Executable, Executable File, Executable Code) とは、コンパイラ によってソースコードをコンパイルし、さらに リンカ によって適切なリンクを終えた後に生成される、コンピュータが直接実行可能な形式になっているファイルである。
元になるプログラムコードはソースコード、コンパイルはされたもののリンクされておらず実行可能な形式とはなっていないものは オブジェクトファイル (オブジェクトコード) と呼ばれる。
What is the Difference Between Object File and Executable File
Linux では ELF、macOS 及び iOS では Mach-O、Windows では PE が一般的に利用される。
https://ja.wikipedia.org/wiki/実行可能ファイルフォーマットの比較