Introduction to X86 assembly by Istvan Haller Assembly

Introduction to X86 assembly by Istvan Haller Assembly

Introduction to X86 assembly by Istvan Haller Assembly syntax: AT&T vs Intel MOV Reg1, Reg2 What is going on here? Which is source, which is destination? Identifying syntax Intel: MOV dest, src

AT&T: MOV src, dest How to find out by yourself? Search for constants, read-only elements (arguments on the stack), match them as source IdaPro, Windows uses Intel syntax

objdump and Unix systems prefer AT&T Numerical representation Binary (0, 1): 10011100 Prefix: 0b10011100 Unix (both Intel and AT&T) Suffix: 10011100b Traditional Intel syntax Hexadecimal (0 F): 0x vs h

Prefix: 0xABCD1234 Easy to notice Suffix: ABCD1234h Is it a number or a literal? Which syntax to use? Dont get stuck on any syntax, adapt Quickly identify syntax from existing code

Every assembler has unique syntactic sugaring Practice makes perfect These lectures assume traditional Intel syntax IdaPro (BAMA) + NASM (Mini-project) Traditional Registers in X86

General Purpose Registers AX, BX, CX, DX Pseudo General Purpose Registers Stack: SP (stack pointer), BP (base pointer) Strings: SI (source index), DI (destination index)

Special Purpose Registers IP (instruction pointer) and EFLAGS GPR usage Legacy structure: 16 bits 8 bit components: low and high bytes Allow quick shifting and type enforcement

AX Accumulator (arithmetic) BX Base (memory addressing) CX Counter (loops) DX Data (data manipulation) Modern extensions

E prefix for 32 bit variants EAX, ESP R prefix for 64 bit variants RAX, RSP Additional GPRs in 64 bit: R8 R15 Endianness Memory representation of multi-byte integers For example the integer: 0A0B0C0Dh (hexa)

Big-endianhighest order byte first Little-endianlowest order byte first (X86) 0A 0B 0C 0D 0D 0C 0B 0A Important when manually interpreting memory

Endianness in pictures Operands in X86 Register: MOV EAX, EBX Immediate: MOV EAX, 10h Copy content from one register to another Copy constant to register

Memory: different addressing modes Typically at most one memory operand Complex address computation supported Addressing modes Direct: MOV EAX, [10h] Indirect: MOV EAX, [EBX]

Copy value pointed to by register BX Indexed: MOV AL, [EBX + ECX * 4 + 10h] Copy value located at address 10h Copy value from array (BX[4 * CX + 0x10]) Pointers can be associated to type

MOV AL, byte ptr [BX] Operands and addressing modes: Register Operands and addressing modes: Immediate Operands and addressing modes: Direct Operands and addressing modes: Indirect Operands and addressing modes: Indexed Data movement in assembly

Basic instruction: MOV (from src to dst) Alternatives XCHG: Exchange values between src and dst PUSH: Store src to stack POP: Retrieve top of stack to dst

LEA: Same as MOV but does not dereference Used to computer addresses LEA EAX, [EBX + 10h] MOV EAX, EBX + 10h Stack management PUSH, POP manipulate top of stack

Operate on architecture words (4 bytes for 32 bit) Stack Pointer can be freely manipulated Stack can also be accessed by MOV The stack grows downwards Example: 0xc0000000 0 Manipulating the top of stack

Manipulating the top of stack Manipulating the top of stack Manipulating the top of stack Arithmetic and logic operations ADD, SUB, AND, OR, XOR, MUL and DIV require specific registers

Shifting takes many forms: Arithmetic shift right preserves sign Logic shifting inserts 0s to front Rotate can also include carry bit (RCL, RCR) Shift, rotate and XOR tell-tale signs of crypto

Conditional statements Two interacting instruction classes Evaluators: evaluate the conditional expression generating a set of boolean flags Conditional jumps: change the control flow based on boolean flags Expression Evaluator EFLAGS Jump Conditional statements - Evaluators

TEST - logical AND between arguments Does not perform operation itself, focus on Zero Flag Detecting 0: TEST EAX, EAX State of a bit: TEST AL, 00010000b (mask)

CMP logical SUB between arguments Compare two values: CMP EAX, EBX Focus on Sign, Overflow and Zero Flags All arithmetics influence flags Conditional statements - Jumps

Conditional jumps based on status of flags Conditional jumps related to CMP: JE (equal), JNE (not equal), JG (greater), JGE, JL (less), JLE Conditional jumps related to TEST: JZ (same as JE), JNZ Conditional jumps exist for every flag: JZ, JNZ, JO, JNO, JC, JNC, JS, JNC, ... Unconditional jumps Not necessary to have conditional for jumping

to different code fragment, JMP instruction Multiple types: Relative jump: address relative to current IP Short [-128; 127], Near, Far; Constant offset Absolute jump: specific address Direct vs Indirect

Static analysis may fail for indirect jump Examples of control flow constructs Single conditional if statement: if (a == 0x1234) dummy(); cmp [a], 1234h jnz short loc_8048437 call

dummy loc_8048437: ; CODE XREF: test Examples of control flow constructs Multiple conditional if statement: if (a == 0x1234 && b == 0x5678) dummy(); cmp jnz cmp [a], 1234h short loc_8048443

[b], 5678h jnz short loc_8048443 call dummy loc_8048443: ; CODE XREF: test+Dj Examples of control flow constructs

While statement: while (a == 0x1234) dummy(); jmp short loc_804844D loc_8048448: call dummy loc_804844D: cmp jz ; CODE XREF: test+14j [a], 1234h

short loc_8048448 ; CODE XREF: test+3j Examples of control flow constructs For statement: for (i = 0; i < a; i++) dummy(); mov [ebp+var_i], 0 jmp short loc_804843B

loc_8048432: call add dummy [ebp+var_i], 1 loc_804843B: cmp jl ; CODE XREF: test+20j [ebp+var_i], [a] short loc_8048432 ; CODE XREF: test+Dj

Examples of control flow constructs For statement after optimizing compiler: mov eax, [a] test jle xor eax, eax short loc_8048460 ebx, ebx loc_8048450: call dummy

add ebx, 1 cmp [a], ebx jg ; Check if a <= 0, skip loop if yes ; CODE XREF: test+1Ej short loc_8048450 loc_8048460:

; CODE XREF: test+8j Practicing assembly Generate assembly from C/C++ code Disassemble existing programs gcc S (masm=intel) IdaPro or objdump (option for intel syntax)

Why not even start coding? Writing your first assembly code Object files generated using assembler (NASM) Result can be linked like regular C code First setup: Link your object file with libc

Access to libc functions Larger binaries Use GCC to manage linking Guide online on course website Content of assembly file

Divided into sections with different purpose Executable section: TEXT Initialized read/write data: DATA Global variables Initialized read only data: RODATA

Code that will be executed Global constants, constant strings Uninitialized read/write data: BSS Allocating global data Allocate individual data elements DB: define bytes (8 bits), DW: define words (16 bits)

DD, DQ: define double/quad words (32/64 bits) Initialize with value: DB 12, DB c, DB abcd Repeat allocation with TIMES 100 byte array: TIMES 100 DB 0 Called DUP in some assemblers

Uninitialized allocation with RESB: RESB size Where are my variable names? Any memory location can be named Labels Labels in data: Named variables Labels in code: Jump targets, Functions

Label visibility is by default local to file Define global labels using global LabelName Step 1: C Hello World Program #include int main(int argc, char **argv) { printf("Hello world\n"); return 0; } Step 2: Compile to assembly gcc -S -masm=intel -m32 -S Generates assembly instead of object file -masm=intel Generate Intel syntax

-m32 Generate legacy 32-bit version Step 3: Look at assembly .intel_syntax noprefix .code32 .section .rodata Hello: .string "Hello world .text .globl main main: push offset Hello call puts pop EAX mov EAX, 0 Step 4: Transform to NASM format [BITS 32] extern puts

SECTION .rodata Hello: db 'Hello world', 0 SECTION .text global main main: push Hello call puts pop EAX mov EAX, 0

Recently Viewed Presentations

  • What is a Case Study?

    What is a Case Study?

    The drought has now parched about 60 percent of the contiguous 48 states. As a result, global food prices are rising steeply. Corn futures prices on the Chicago exchange have risen about 60 percent since mid-June, hitting record levels, and...
  • Savoir agir

    Savoir agir

    [Ark 98] R.C. Arkin, Behavior-based robotics, MIT Press, Cambridge MA, 1998. [Arn 00] P. Arnaud, Des moutons et des robots, Presses Polytechniques et universitaires romandes, 2000. [BER 97] Bersano-Begey et al. Multi-Agent Teamwork, Adaptative Learning and Adversial Planning in Robocup...
  • Is Our Food Safe From Attack? - University of Missouri

    Is Our Food Safe From Attack? - University of Missouri

    Be Prepared. Having a food defense plan reduces the risk of intentional contamination, but cannot prevent it. Having a response plan can minimize the effects of an intentional contamination.
  • Force Redistribution in a Quadruped Running Trot L.

    Force Redistribution in a Quadruped Running Trot L.

    L. R. Palmer III and D. E. Orin Department of Electrical and Computer Engineering The Ohio State University, USA Force redistribution based upon the articulated-body dynamics algorithm for multi-body systems. Passive SLIP (spring-loaded inverted pendulum) dynamics are preserved. 3D trot...
  • Office of Research &amp; Commercialization

    Office of Research & Commercialization

    The Cycle and Components… (Require Cash flows…!)Opportunity recognition. Technical . feasibility analysis . Design and development of platform. Prototype building and field testing
  • Engaging with Higher Education - University of Leicester

    Engaging with Higher Education - University of Leicester

    Working in Leicester & Leicestershire. Talks in schools from Primary to Year 11. Sessions on Study Skills, Why University? Revision tips, GCSE/A-Level options, student led sessions and more! Campus Visits- University Experience Days for Year 8 & 9. Employability sessions....
  • INSOLVENCY AND BANKRUPTCY CODE, 2016 1 The Insolvency

    INSOLVENCY AND BANKRUPTCY CODE, 2016 1 The Insolvency

    The non-obstante clause contained in IBC, which is a later statute shall prevail over the non-obstante clause contained in Section 71 of PMLA and the proceedings before the Adjudicating Authority under PMLA is civil in nature and hence, in view...
  • Geospatial - Industry Presentation - Jnaury 2007

    Geospatial - Industry Presentation - Jnaury 2007

    The Emergency Management Portal (EMP) is an overarching system of tools and central data management that will integrate existing and new data and applications used by the Emergency Management community. ... Provides mappping capabiltities for State & FMCSA enforcement officials....