Bytecode.isValidJumpDest

Check if specific position is a valid JUMPDEST

Try it Live

Run Bytecode examples in the interactive playground

C

bool bytecode_is_valid_jump_dest(bytecode_t bytecode, size_t pc)

Check if specific position is valid JUMPDEST.

Parameters:

• bytecode: bytecode_t - Bytecode to check
• pc: size_t - Program counter (position to check)

Returns: bool - true if position is valid JUMPDEST

Example:

#include <voltaire/primitives.h>

bytecode_t bc = bytecode_from_hex("0x5b60005b", allocator);

bool valid0 = bytecode_is_valid_jump_dest(bc, 0);  // true  - JUMPDEST at start
bool valid1 = bytecode_is_valid_jump_dest(bc, 1);  // false - PUSH1 opcode
bool valid2 = bytecode_is_valid_jump_dest(bc, 2);  // false - PUSH1 data
bool valid3 = bytecode_is_valid_jump_dest(bc, 3);  // true  - JUMPDEST at end

Defined in: primitives.h

See Also

• analyzeJumpDestinations - Get all valid JUMPDEST positions