JUMP (0x56) - Voltaire

This page is a placeholder. All examples on this page are currently AI-generated and are not correct. This documentation will be completed in the future with accurate, tested examples.

Overview

Opcode: 0x56 Introduced: Frontier (EVM genesis) JUMP performs an unconditional jump to a destination in the bytecode. The destination MUST be a valid JUMPDEST opcode - any other destination causes InvalidJump error and halts execution. This strict validation prevents arbitrary code execution and maintains the EVM’s security model.

Specification

Stack Input:

destination (top)

Stack Output: None Gas Cost: 8 (GasMidStep) Operation:

Pop destination from stack
Validate destination is JUMPDEST
Validate destination is not in PUSH data
Set PC = destination

Behavior

JUMP alters program flow by changing the program counter:

Consumes 8 gas (GasMidStep)
Pops destination address from stack
Validates destination is valid JUMPDEST
Updates program counter to destination
Execution continues at new location

Validation Requirements:

Destination must be JUMPDEST opcode (0x5b)
Destination must not be inside PUSH data
Destination must be within bytecode bounds
Failure causes InvalidJump error

Examples

Basic Jump

import { createFrame } from '@tevm/voltaire/evm/Frame';
import { handler_0x56_JUMP } from '@tevm/voltaire/evm/control';

// Bytecode with JUMPDEST at position 5
const bytecode = new Uint8Array([
  0x60, 0x05,  // PUSH1 5
  0x56,        // JUMP
  0x00,        // STOP (skipped)
  0x00,        // STOP (skipped)
  0x5b,        // JUMPDEST (destination)
  0x60, 0x2a,  // PUSH1 42
]);

const frame = createFrame({
  bytecode,
  stack: [5n],  // Jump to position 5
  pc: 2         // At JUMP instruction
});

const err = handler_0x56_JUMP(frame);

console.log(err);       // null (success)
console.log(frame.pc);  // 5 (jumped to JUMPDEST)
console.log(frame.stack); // [] (destination popped)

Function Call Pattern

assembly {
    // Jump to function
    push(func)
    jump

    // Return here after function
    jumpdest
    // Continue execution

    func:
        jumpdest
        // Function implementation
        // ...
        jump(return_address)
}

Bytecode pattern:

PUSH2 0x0010  // Push return address
PUSH2 0x0020  // Push function address
JUMP          // Jump to function

// Return point
JUMPDEST      // 0x0010
// Continue execution

// Function
JUMPDEST      // 0x0020
// Function body
SWAP1
JUMP          // Return to caller

Invalid Jump

// Attempt to jump to non-JUMPDEST
const bytecode = new Uint8Array([
  0x60, 0x05,  // PUSH1 5
  0x56,        // JUMP
  0x00,        // STOP
  0x00,        // STOP
  0x60, 0x00,  // PUSH1 0 (NOT a JUMPDEST)
]);

const frame = createFrame({
  bytecode,
  stack: [5n],  // Try to jump to PUSH1
  pc: 2
});

const err = handler_0x56_JUMP(frame);

console.log(err); // { type: "InvalidJump" }
console.log(frame.pc); // 2 (unchanged - jump failed)

Jump Into PUSH Data

// Attempt to jump into PUSH data
const bytecode = new Uint8Array([
  0x60, 0x05,  // PUSH1 5
  0x56,        // JUMP
  0x61, 0x5b, 0x00,  // PUSH2 0x5b00 (0x5b is PUSH data, not instruction)
]);

const frame = createFrame({
  bytecode,
  stack: [4n],  // Try to jump to byte that looks like JUMPDEST
  pc: 2
});

const err = handler_0x56_JUMP(frame);

console.log(err); // { type: "InvalidJump" }
// Destination 4 is inside PUSH2 data, not a real JUMPDEST

Gas Cost

Cost: 8 gas (GasMidStep) Comparison:

JUMP: 8 gas (unconditional)
JUMPI: 10 gas (conditional)
PC: 2 gas (read counter)
JUMPDEST: 1 gas (destination marker)

Total Jump Cost:

PUSH1 dest:  3 gas
JUMP:        8 gas
JUMPDEST:    1 gas
Total:      12 gas (minimum for jump operation)

Edge Cases

Out of Bounds

// Jump destination exceeds bytecode length
const bytecode = new Uint8Array([0x56]); // Just JUMP

const frame = createFrame({
  bytecode,
  stack: [1000n],  // Beyond bytecode
  pc: 0
});

const err = handler_0x56_JUMP(frame);

console.log(err); // { type: "InvalidJump" }
// Destination 1000 is out of bounds

Destination Too Large

// Destination doesn't fit in u32
const frame = createFrame({
  stack: [0x100000000n],  // > u32::MAX
  pc: 0
});

const err = handler_0x56_JUMP(frame);

console.log(err); // { type: "OutOfBounds" }

Stack Underflow

// No destination on stack
const frame = createFrame({
  stack: [],
  pc: 0
});

const err = handler_0x56_JUMP(frame);

console.log(err); // { type: "StackUnderflow" }

Jump to Self

// Jump to JUMPDEST at current position (infinite loop)
const bytecode = new Uint8Array([
  0x5b,        // JUMPDEST (position 0)
  0x60, 0x00,  // PUSH1 0
  0x56,        // JUMP (back to position 0)
]);

const frame = createFrame({
  bytecode,
  stack: [0n],
  pc: 3
});

handler_0x56_JUMP(frame);
console.log(frame.pc); // 0 (jumped to self)
// Execution will loop until out of gas

Common Usage

Function Calls

Solidity internal functions use JUMP for calls:

function main() public {
    uint256 result = helper(42);
    // Use result
}

function helper(uint256 x) internal pure returns (uint256) {
    return x * 2;
}

Compiled pattern:

// main() calls helper()
PUSH1 0x2a      // Argument: 42
PUSH2 helper    // Function address
JUMP

// Return from helper
JUMPDEST
// Use return value

// helper() implementation
helper:
  JUMPDEST
  DUP1
  PUSH1 0x02
  MUL
  SWAP1
  JUMP        // Return to caller

Switch Statements

assembly {
    switch value
    case 0 { jump(case0) }
    case 1 { jump(case1) }
    default { jump(defaultCase) }

    case0:
        jumpdest
        // Handle case 0
        jump(end)

    case1:
        jumpdest
        // Handle case 1
        jump(end)

    defaultCase:
        jumpdest
        // Handle default
        jump(end)

    end:
        jumpdest
}

Early Exit

assembly {
    // Check condition
    let shouldExit := iszero(sload(0))

    // Jump to exit if true
    if shouldExit {
        jump(exit)
    }

    // Continue normal execution
    // ...

    exit:
        jumpdest
        return(0, 0)
}

Implementation

TypeScript

import { consumeGas } from "../Frame/consumeGas.js";
import { popStack } from "../Frame/popStack.js";
import { isValidJumpDest } from "../../primitives/Bytecode/isValidJumpDest.js";
import { MidStep } from "../../primitives/GasConstants/constants.js";

/**
 * JUMP opcode (0x56) - Unconditional jump
 *
 * @param frame - Frame instance
 * @returns Error if operation fails
 */
export function handler_0x56_JUMP(frame: FrameType): EvmError | null {
  const gasErr = consumeGas(frame, MidStep);
  if (gasErr) return gasErr;

  const { value: dest, error } = popStack(frame);
  if (error) return error;

  // Check if destination fits in u32 range
  if (dest > 0xffffffffn) {
    return { type: "OutOfBounds" };
  }

  const destPc = Number(dest);

  // Validate jump destination
  if (!isValidJumpDest(frame.bytecode, destPc)) {
    return { type: "InvalidJump" };
  }

  frame.pc = destPc;
  return null;
}

Testing

Test Coverage

import { describe, it, expect } from 'vitest';
import { handler_0x56_JUMP } from './0x56_JUMP.js';

describe('JUMP (0x56)', () => {
  it('jumps to valid JUMPDEST', () => {
    const bytecode = new Uint8Array([
      0x60, 0x05, // PUSH1 5
      0x56,       // JUMP
      0x00, 0x00, // STOP (skipped)
      0x5b,       // JUMPDEST
    ]);

    const frame = createFrame({
      bytecode,
      stack: [5n],
      pc: 2,
    });

    expect(handler_0x56_JUMP(frame)).toBeNull();
    expect(frame.pc).toBe(5);
  });

  it('rejects jump to non-JUMPDEST', () => {
    const bytecode = new Uint8Array([0x60, 0x00]);
    const frame = createFrame({
      bytecode,
      stack: [1n],
      pc: 0,
    });

    expect(handler_0x56_JUMP(frame)).toEqual({ type: 'InvalidJump' });
  });

  it('rejects out of bounds destination', () => {
    const frame = createFrame({
      bytecode: new Uint8Array([0x5b]),
      stack: [1000n],
    });

    expect(handler_0x56_JUMP(frame)).toEqual({ type: 'InvalidJump' });
  });

  it('rejects destination larger than u32', () => {
    const frame = createFrame({
      stack: [0x100000000n],
    });

    expect(handler_0x56_JUMP(frame)).toEqual({ type: 'OutOfBounds' });
  });

  it('handles stack underflow', () => {
    const frame = createFrame({ stack: [] });
    expect(handler_0x56_JUMP(frame)).toEqual({ type: 'StackUnderflow' });
  });
});

Security

Jump Validation is Critical

Without validation, arbitrary code execution:

// DANGEROUS if validation disabled (theoretical)
assembly {
    let malicious := 0x1234  // Arbitrary address
    jump(malicious)  // Could jump into malicious code
}

EVM prevents this:

Destination MUST be JUMPDEST
JUMPDEST cannot be in PUSH data
Static analysis pre-validates all JUMPDESTs

Dynamic Jump Attacks

VULNERABLE pattern:

// User controls jump destination
function unsafeJump(uint256 dest) external {
    assembly {
        jump(dest)  // DANGER: user can jump anywhere valid
    }
}

Attack scenario:

Attacker finds valid JUMPDEST in unintended code path
Bypasses access control or validation logic
Executes privileged operations

SAFE pattern:

// Whitelist valid destinations
function safeJump(uint256 selector) external {
    assembly {
        switch selector
        case 0 { jump(option0) }
        case 1 { jump(option1) }
        default { revert(0, 0) }

        option0:
            jumpdest
            // Safe code path 0

        option1:
            jumpdest
            // Safe code path 1
    }
}

Infinite Loops

JUMP can create infinite loops that consume all gas:

assembly {
    loop:
        jumpdest
        jump(loop)  // Infinite loop - will exhaust gas
}

Not a vulnerability:

Gas limit prevents DoS
Only affects caller
Transaction reverts on out-of-gas

JUMPDEST Analysis

Bytecode analysis must handle PUSH data correctly:

// Bytecode: 0x61 5b 00 5b
//           PUSH2 [0x5b, 0x00] JUMPDEST
//                  ^    ^       ^
//                  data data    real instruction

Valid JUMPDEST is only at position 3, not position 1. Implementation must:

Skip PUSH data during analysis
Mark only real JUMPDESTs as valid
Reject jumps into PUSH data

Compiler Behavior

Function Dispatch

Solidity generates jump tables:

contract Example {
    function foo() external pure returns (uint256) { return 42; }
    function bar() external pure returns (uint256) { return 123; }
}

Compiled dispatch (simplified):

// Check function selector
CALLDATALOAD 0
SHR 224

// foo() selector
DUP1
PUSH4 0x12345678
EQ
PUSH2 foo_impl
JUMPI

// bar() selector
DUP1
PUSH4 0x87654321
EQ
PUSH2 bar_impl
JUMPI

// No match
REVERT

// foo() implementation
foo_impl:
    JUMPDEST
    PUSH1 42
    // ... return

// bar() implementation
bar_impl:
    JUMPDEST
    PUSH1 123
    // ... return

Internal Function Calls

function caller() public pure returns (uint256) {
    return helper(42);
}

function helper(uint256 x) internal pure returns (uint256) {
    return x * 2;
}

Compiled to:

// caller()
PUSH1 42          // Argument
PUSH2 helper      // Function address
JUMP              // Call helper

// helper() returns here
JUMPDEST

// helper()
helper:
    JUMPDEST
    DUP1
    PUSH1 2
    MUL
    SWAP1         // Return address now on top
    JUMP          // Return to caller

References

Yellow Paper - Section 9.4.3 (JUMP instruction)
EVM Codes - JUMP
Solidity Docs - Assembly
EVM Deep Dives - Jump Validation

​Overview

​Specification

​Behavior

​Examples

​Basic Jump

​Function Call Pattern

​Invalid Jump

​Jump Into PUSH Data

​Gas Cost

​Edge Cases

​Out of Bounds

​Destination Too Large

​Stack Underflow

​Jump to Self

​Common Usage

​Function Calls

​Switch Statements

​Early Exit

​Implementation

​Testing

​Test Coverage

​Security

​Jump Validation is Critical

​Dynamic Jump Attacks

​Infinite Loops

​JUMPDEST Analysis

​Compiler Behavior

​Function Dispatch

​Internal Function Calls

​References

Overview

Specification

Behavior

Examples

Basic Jump

Function Call Pattern

Invalid Jump

Jump Into PUSH Data

Gas Cost

Edge Cases

Out of Bounds

Destination Too Large

Stack Underflow

Jump to Self

Common Usage

Function Calls

Switch Statements

Early Exit

Implementation

Testing

Test Coverage

Security

Jump Validation is Critical

Dynamic Jump Attacks

Infinite Loops

JUMPDEST Analysis

Compiler Behavior

Function Dispatch

Internal Function Calls

References