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

Method aexec

src/analyses/stack_analyzer.rs:14–95  ·  view source on GitHub ↗
(&self, in_state: &mut StackGrowthLattice, ir_instr: &Stmt, loc_idx: &LocIdx)

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers

nothing calls this directly

Calls 3

is_rspMethod · 0.80
is_rbpMethod · 0.80
as_imm_valMethod · 0.80

Tested by

no test coverage detected