Class: OneGadget::Emulators::Amd64

Inherits:
X86 show all
Defined in:
lib/one_gadget/emulators/amd64.rb

Overview

Emulator of amd64 instruction set.

Constant Summary

Constants inherited from X86

X86::COMPARES, X86::JCC, X86::SEGMENT_OPERAND

Constants inherited from Processor

Processor::TERMINAL_CALL_RE

Constants included from Constraints

Constraints::ADDRESS_TYPES, Constraints::CLOBBERED, Constraints::NULLABLE_REQUIREMENTS, Constraints::POINTER_REQUIREMENTS

Constants included from Conditional

Conditional::COMPARE_OPS, Conditional::NEGATE, Conditional::RELATION, Conditional::ZERO

Instance Attribute Summary

Attributes inherited from Processor

#bp, #pc, #refused_line, #registers, #sp

Class Method Summary collapse

Instance Method Summary collapse

Methods inherited from X86

#instructions, #process!

Methods inherited from Processor

instruction_table, #instructions, line_memo, #parse, #process, #process!, #reach_terminal_call, #terminal_call?

Methods included from TrackedMemory

#bp_based_stack, #get_corresponding_stack, #resolve_address, #setup_frame_pointer, #sp_based_stack, #writes_through

Methods included from Constraints

#address_deref0?, #closed_fds, #constraint_key, #constraints, #drop_implied_nonzero, #drop_restated_null, #render_constraint

Methods included from Conditional

#branch_on_bit, #branch_on_compare, #branch_on_zero, #comparisons_on, #handle_compare, #mnemonic, #operand_str, #record_compare, #resolve_pending_branch, #satisfiable?, #value_str

Constructor Details

#initialize ⇒ Amd64

Instantiate an OneGadget::Emulators::Amd64 object.



19
20
21
 
# File 'lib/one_gadget/emulators/amd64.rb', line 19

def initialize
  super(OneGadget::ABI.amd64, 'rsp', 'rbp', 'rip')
end

Class Method Details

.bits ⇒ Integer

Bits.

Returns:

  • (Integer) 


13
14
15
 
# File 'lib/one_gadget/emulators/amd64.rb', line 13

def bits
  64
end

Instance Method Details

#argument(idx) ⇒ Lambda, Integer

Return the argument value of calling a function.

Parameters:

  • idx (Integer) —

    The 0-based index of the argument.

Returns:

  • (Lambda, Integer) —

    The value held in the register used for the +idx+-th argument.



26
27
28
29
30
31
32
33
34
35
 
# File 'lib/one_gadget/emulators/amd64.rb', line 26

def argument(idx)
  case idx
  when 0 then registers['rdi']
  when 1 then registers['rsi']
  when 2 then registers['rdx']
  when 3 then registers['rcx']
  when 4 then registers['r8']
  when 5 then registers['r9']
  end
end