Method aexec

src/analyses/locals_analyzer.rs:89–163 · view source on GitHub ↗

(&self, in_state: &mut LocalsLattice, ir_instr: &Stmt, loc_idx: &LocIdx)

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

nothing calls this directly

to_system_v_ret_tyFunction · 0.85

mk_value_i64Function · 0.85

aeval_valsMethod · 0.80

aeval_valMethod · 0.80

set_regMethod · 0.80

get_fn_ptr_typeMethod · 0.80

setMethod · 0.45

meetMethod · 0.45

adjust_stack_offsetMethod · 0.45

getMethod · 0.45

on_callMethod · 0.45

no test coverage detected