MCPcopy Create free account
hub / github.com/PLSysSec/veriwasm / adjust_stack_offset

Method adjust_stack_offset

src/lattices/mod.rs:211–224  ·  view source on GitHub ↗
(&mut self, opcode: &Binopcode, dst: &Value, src1: &Value, src2: &Value)

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers 4

aexecMethod · 0.45
aexecMethod · 0.45
aexecMethod · 0.45
aexecMethod · 0.45

Calls 3

is_rspMethod · 0.80
as_imm_valMethod · 0.80
update_stack_offsetMethod · 0.80

Tested by

no test coverage detected