Method aexec

src/analyses/mod.rs:63–74 · view source on GitHub ↗

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

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

analyze_blockMethod · 0.45

call_analyzer.rssrc/analyses/call_analyzer.rs

jump_analyzer.rssrc/analyses/jump_analyzer.rs

stack_analyzer.rssrc/analyses/stack_analyzer.rs

heap_analyzer.rssrc/analyses/heap_analyzer.rs

reaching_defs.rssrc/analyses/reaching_defs.rs

locals_analyzer.rssrc/analyses/locals_analyzer.rs

set_to_botMethod · 0.45

aexec_unopMethod · 0.45

aexec_binopMethod · 0.45

adjust_stack_offsetMethod · 0.45

on_callMethod · 0.45

no test coverage detected