hex.pointers.read_byte_from_inners_ptrs¶

use after:  hex.pointers.set_flip_and_jump_pointers ptr
does:       hex.pointers.read_byte[:2] = *ptr

ptr is a hex[:w/4] that holds an address, which we assume is dw-aligned.

Signature¶

def read_byte_from_inners_ptrs @ read_ptr_and_flip_back, cleanup < hex.pointers.ret_after_read_byte, hex.pointers.read_byte, hex.pointers.to_jump, hex.pointers.to_flip { ... }

Defined in hex/pointers/xor_from_pointer.fj — lines 29–54 (view on GitHub).

Complexity¶

  • Time: 5@+13

  • Space: 5@+24

See the complexity glossary for what @, w, dw, dbit, n mean.

Depends on¶

Used by¶