Method init_state

src/analyses/mod.rs:22–24 · view source on GitHub ↗

(&self)

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

run_worklistFunction · 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

no outgoing calls

no test coverage detected