Editing Object code (section)

==Details==
[[Object file]]s can in turn be [[linker (computing)|linked]] to form an [[executable file]] or [[library (computing)|library file]]. In order to be used, object code must either be placed in an executable file, a library file, or an object file.

Object code is a portion of machine code that has not yet been linked into a complete program. It is the machine code for one particular library or module that will make up the completed product. It may also contain placeholders or offsets, not found in the machine code of a completed program, that the linker will use to connect everything together. Whereas machine code is binary code that can be executed directly by the CPU, object code has the jumps and inter-module references partially parametrized so that a linker can fill them in. An object file is assumed to begin at a specific location in memory, often zero. It contains information on instructions that reference memory, so that the linker can [[Relocation (computing)|relocate]] the code when combining multiple object files into a single program.

An [[assembler (computing)|assembler]] is used to convert [[assembly code]] into machine code (object code). A linker links several object (and library) files to generate an executable. Assemblers (and some compilers) can also assemble directly to machine code to produce executable files without the object intermediary step.<ref>{{cite web |last1=Fischer |first1=Charles N. |title=What do compilers produce? |url=https://pages.cs.wisc.edu/~fischer/cs536.s05/lectures/Lecture03.pdf |publisher=University of Wisconsin Madison |access-date=2 April 2024}}</ref>