scry — a sound static analyzer for WebAssembly — scry v3.2.4

Functions

func	name	kind	reachable	recursive	params	frame	max stack	points
0	__imported_wasi_snapshot_preview1_environ_get	import	no	no	?	?	?	0
1	__imported_wasi_snapshot_preview1_environ_sizes_get	import	no	no	?	?	?	0
2	__imported_wasi_snapshot_preview1_fd_write	import	no	no	?	?	?	0
3	__imported_wasi_snapshot_preview1_proc_exit	import	no	no	?	?	?	0
4	core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	rust defined	yes	no	1	0 bytes	0 bytes	252
5	scry_mcdc::drive	rust defined	yes	no	3	592 bytes	unbounded	59
6	run_call_indirect_default	defined	yes	no	0	48 bytes	unbounded	7
7	run_call_indirect_no_diag	defined	yes	no	0	48 bytes	unbounded	7
8	run_call_indirect_taint	defined	yes	no	0	48 bytes	unbounded	25
9	run_const_fold_default	defined	yes	no	0	48 bytes	unbounded	7
10	run_const_fold_no_diag	defined	yes	no	0	48 bytes	unbounded	7
11	run_const_fold_widen1	defined	yes	no	0	48 bytes	unbounded	7
12	run_counted_loop_default	defined	yes	no	0	48 bytes	unbounded	7
13	run_counted_loop_no_diag	defined	yes	no	0	48 bytes	unbounded	7
14	run_guard_bound_default	defined	yes	no	0	48 bytes	unbounded	7
15	run_guard_bound_widen1	defined	yes	no	0	48 bytes	unbounded	7
16	run_interproc_default	defined	yes	no	0	48 bytes	unbounded	7
17	run_interproc_taint	defined	yes	no	0	48 bytes	unbounded	25
18	run_interproc_taint_no_diag	defined	yes	no	0	48 bytes	unbounded	25
19	run_interproc_widen1	defined	yes	no	0	48 bytes	unbounded	7
20	run_loop_converge_default	defined	yes	no	0	48 bytes	unbounded	7
21	run_loop_converge_widen1	defined	yes	no	0	48 bytes	unbounded	7
22	run_overflow_default	defined	yes	no	0	48 bytes	unbounded	7
23	run_overflow_widen1	defined	yes	no	0	48 bytes	unbounded	7
24	run_reachability_default	defined	yes	no	0	48 bytes	unbounded	7
25	run_region_default	defined	yes	no	0	48 bytes	unbounded	7
26	run_region_no_diag	defined	yes	no	0	48 bytes	unbounded	7
27	run_region_widen1	defined	yes	no	0	48 bytes	unbounded	7
28	run_stack_alloca_default	defined	yes	no	0	48 bytes	unbounded	7
29	run_stack_chain_default	defined	yes	no	0	48 bytes	unbounded	7
30	run_stack_dynamic_default	defined	yes	no	0	48 bytes	unbounded	7
31	run_stack_measured_default	defined	yes	no	0	48 bytes	unbounded	7
32	run_stack_recursion_default	defined	yes	no	0	48 bytes	unbounded	7
33	run_var_bound_default	defined	yes	no	0	48 bytes	unbounded	7
34	run_var_bound_widen1	defined	yes	no	0	48 bytes	unbounded	7
35	run_with_param_default	defined	yes	no	0	48 bytes	unbounded	7
36	run_with_param_taint	defined	yes	no	0	48 bytes	unbounded	25
37	run_with_param_taint_no_diag	defined	yes	no	0	48 bytes	unbounded	25
38	__rustc::__rust_alloc	rust defined	yes	no	2	0 bytes	32 bytes	3
39	__rustc::__rust_dealloc	rust defined	yes	no	3	0 bytes	0 bytes	4
40	__rustc::__rust_realloc	rust defined	yes	no	4	0 bytes	32 bytes	5
41	__rustc::__rust_alloc_zeroed	rust defined	yes	no	2	0 bytes	32 bytes	3
42	__rustc::__rust_no_alloc_shim_is_unstable_v2	rust defined	yes	no	0	0 bytes	0 bytes	0
43	<[scry_analyze_core::Gap]>::sort_by_key::<(u32, u32), scry_analyze_core::analyze::{closure#18}>	rust defined	yes	no	2	16 bytes	unbounded	32
44	core::slice::sort::stable::driftsort_main::<scry_analyze_core::Gap, <[scry_analyze_core::Gap]>::sort_by_key<(u32, u32), scry_analyze_core::analyze::{closure#18}>::{closure#0}, alloc::vec::Vec<scry_analyze_core::Gap>>	rust defined	yes	no	3	4112 bytes	unbounded	11
45	core::slice::sort::shared::smallsort::insertion_sort_shift_left::<scry_analyze_core::Gap, <[scry_analyze_core::Gap]>::sort_by_key<(u32, u32), scry_analyze_core::analyze::{closure#18}>::{closure#0}>	rust defined	yes	no	4	16 bytes	16 bytes	28
46	<[scry_analyze_core::TrapCheck]>::sort_by_key::<(u32, u32, u8), scry_analyze_core::analyze::{closure#19}>	rust defined	yes	no	2	16 bytes	unbounded	32
47	core::slice::sort::stable::driftsort_main::<scry_analyze_core::TrapCheck, <[scry_analyze_core::TrapCheck]>::sort_by_key<(u32, u32, u8), scry_analyze_core::analyze::{closure#19}>::{closure#0}, alloc::vec::Vec<scry_analyze_core::TrapCheck>>	rust defined	yes	no	3	4112 bytes	unbounded	11
48	core::slice::sort::shared::smallsort::insertion_sort_shift_left::<scry_analyze_core::TrapCheck, <[scry_analyze_core::TrapCheck]>::sort_by_key<(u32, u32, u8), scry_analyze_core::analyze::{closure#19}>::{closure#0}>	rust defined	yes	no	4	16 bytes	16 bytes	29
49	<str>::contains::<&str>	rust defined	yes	no	4	80 bytes	unbounded	41
50	<core::str::pattern::TwoWaySearcher>::next::<core::str::pattern::MatchOnly>	rust defined	yes	no	7	0 bytes	unbounded	34
51	<core::option::Option<&scry_provenance::ProvenanceSection>>::map::<scry_analyze_core::ComponentProvenance, scry_analyze_core::analyze::{closure#24}>	rust defined	yes	no	3	112 bytes	unbounded	10
52	<alloc::string::String as core::fmt::Display>::fmt	rust defined	yes	yes	2	0 bytes	unbounded	7
53	<alloc::raw_vec::RawVec<scry_analyze_core::Diagnostic>>::grow_one	rust defined	yes	no	1	16 bytes	unbounded	24
54	<core::result::Result<wasmparser::readers::core::operators::OperatorsReader, wasmparser::binary_reader::BinaryReaderError>>::map_err::<scry_analyze_core::AnalyzeError, scry_analyze_core::analyze::{closure#13}>	rust defined	yes	no	3	48 bytes	unbounded	85
55	<alloc::collections::btree::node::Handle<alloc::collections::btree::node::NodeRef<alloc::collections::btree::node::marker::Mut, usize, alloc::collections::btree::set_val::SetValZST, alloc::collections::btree::node::marker::Leaf>, alloc::collections::btree::node::marker::Edge>>::insert::<alloc::alloc::Global>	rust defined	yes	no	3	32 bytes	unbounded	10
56	<alloc::collections::btree::node::Handle<alloc::collections::btree::node::NodeRef<alloc::collections::btree::node::marker::Mut, usize, alloc::collections::btree::set_val::SetValZST, alloc::collections::btree::node::marker::Leaf>, alloc::collections::btree::node::marker::KV>>::split::<alloc::alloc::Global>	rust defined	yes	no	2	0 bytes	unbounded	9
57	<alloc::collections::btree::node::Handle<alloc::collections::btree::node::NodeRef<alloc::collections::btree::node::marker::Mut, usize, alloc::collections::btree::set_val::SetValZST, alloc::collections::btree::node::marker::Internal>, alloc::collections::btree::node::marker::Edge>>::insert::<alloc::alloc::Global>	rust defined	yes	no	5	32 bytes	unbounded	21
58	<alloc::collections::btree::node::Handle<alloc::collections::btree::node::NodeRef<alloc::collections::btree::node::marker::Mut, usize, alloc::collections::btree::set_val::SetValZST, alloc::collections::btree::node::marker::Internal>, alloc::collections::btree::node::marker::KV>>::split::<alloc::alloc::Global>	rust defined	yes	no	2	0 bytes	unbounded	4
59	<alloc::collections::btree::node::Handle<alloc::collections::btree::node::NodeRef<alloc::collections::btree::node::marker::Mut, usize, alloc::collections::btree::set_val::SetValZST, alloc::collections::btree::node::marker::Leaf>, alloc::collections::btree::node::marker::Edge>>::insert_recursing::<alloc::alloc::Global, <alloc::collections::btree::map::entry::VacantEntry<usize, alloc::collections::btree::set_val::SetValZST>>::insert_entry::{closure#0}>	rust defined	yes	no	5	48 bytes	unbounded	41
60	<alloc::vec::Vec<scry_analyze_core::TrapCheck>>::dedup_by::<scry_analyze_core::analyze::{closure#20}>	rust defined	yes	no	1	0 bytes	0 bytes	18
61	<core::iter::adapters::map::Map<core::ops::range::Range<usize>, scry_analyze_core::resolved_stack_callees::{closure#1}> as core::iter::traits::iterator::Iterator>::fold::<(), core::iter::traits::iterator::Iterator::for_each::call<alloc::vec::Vec<usize>, <alloc::vec::Vec<alloc::vec::Vec<usize>>>::extend_trusted<core::iter::adapters::map::Map<core::ops::range::Range<usize>, scry_analyze_core::resolved_stack_callees::{closure#1}>>::{closure#0}>::{closure#0}>	rust defined	yes	no	2	48 bytes	unbounded	51
62	<alloc::vec::Vec<core::option::Option<scry_analyze_core::BreakState>>>::extend_trusted::<core::iter::adapters::map::Map<core::slice::iter::Iter<scry_analyze_core::Label>, <scry_analyze_core::Interp>::loop_region::{closure#0}>>	rust defined	yes	no	3	80 bytes	unbounded	185
63	<alloc::vec::Vec<scry_analyze_core::AbstractValue> as core::clone::Clone>::clone	rust defined	yes	no	2	16 bytes	unbounded	33
64	<core::iter::adapters::map::Map<core::slice::iter::Iter<scry_analyze_core::DefinedFunc>, scry_analyze_core::compute_stack_usage::{closure#0}> as core::iter::traits::iterator::Iterator>::fold::<(), core::iter::traits::iterator::Iterator::for_each::call<scry_analyze_core::StackBound, <alloc::vec::Vec<scry_analyze_core::StackBound>>::extend_trusted<core::iter::adapters::map::Map<core::slice::iter::Iter<scry_analyze_core::DefinedFunc>, scry_analyze_core::compute_stack_usage::{closure#0}>>::{closure#0}>::{closure#0}>	rust defined	yes	no	2	16 bytes	unbounded	37
65	<core::iter::adapters::map::Map<core::iter::adapters::zip::Zip<core::slice::iter::Iter<scry_analyze_core::AbstractValue>, core::slice::iter::Iter<scry_analyze_core::AbstractValue>>, scry_analyze_core::join_locals::{closure#0}> as core::iter::traits::iterator::Iterator>::fold::<(), core::iter::traits::iterator::Iterator::for_each::call<scry_analyze_core::AbstractValue, <alloc::vec::Vec<scry_analyze_core::AbstractValue>>::extend_trusted<core::iter::adapters::map::Map<core::iter::adapters::zip::Zip<core::slice::iter::Iter<scry_analyze_core::AbstractValue>, core::slice::iter::Iter<scry_analyze_core::AbstractValue>>, scry_analyze_core::join_locals::{closure#0}>>::{closure#0}>::{closure#0}>	rust defined	yes	no	2	16 bytes	16 bytes	31
66	<core::iter::adapters::map::Map<core::iter::adapters::zip::Zip<core::slice::iter::Iter<scry_analyze_core::AbstractValue>, core::slice::iter::Iter<scry_analyze_core::AbstractValue>>, scry_analyze_core::widen_locals::{closure#0}> as core::iter::traits::iterator::Iterator>::fold::<(), core::iter::traits::iterator::Iterator::for_each::call<scry_analyze_core::AbstractValue, <alloc::vec::Vec<scry_analyze_core::AbstractValue>>::extend_trusted<core::iter::adapters::map::Map<core::iter::adapters::zip::Zip<core::slice::iter::Iter<scry_analyze_core::AbstractValue>, core::slice::iter::Iter<scry_analyze_core::AbstractValue>>, scry_analyze_core::widen_locals::{closure#0}>>::{closure#0}>::{closure#0}>	rust defined	yes	no	2	16 bytes	16 bytes	31
67	<alloc::vec::Vec<scry_analyze_core::AbstractValue>>::extend_trusted::<core::iter::adapters::map::Map<core::iter::adapters::zip::Zip<core::slice::iter::Iter<scry_analyze_core::AbstractValue>, core::slice::iter::Iter<scry_analyze_core::AbstractValue>>, scry_analyze_core::narrow_locals::{closure#0}>>	rust defined	yes	no	2	0 bytes	unbounded	38
68	<core::iter::adapters::map::Map<core::iter::adapters::enumerate::Enumerate<core::slice::iter::Iter<scry_analyze_core::AbstractValue>>, scry_analyze_core::reduce_locals::{closure#1}> as core::iter::traits::iterator::Iterator>::fold::<(), core::iter::traits::iterator::Iterator::for_each::call<scry_analyze_core::AbstractValue, <alloc::vec::Vec<scry_analyze_core::AbstractValue>>::extend_trusted<core::iter::adapters::map::Map<core::iter::adapters::enumerate::Enumerate<core::slice::iter::Iter<scry_analyze_core::AbstractValue>>, scry_analyze_core::reduce_locals::{closure#1}>>::{closure#0}>::{closure#0}>	rust defined	yes	no	2	48 bytes	unbounded	28
69	<core::iter::adapters::map::Map<core::ops::range::Range<usize>, scry_analyze_core::compute_stack_usage::{closure#2}> as core::iter::traits::iterator::Iterator>::fold::<(), core::iter::traits::iterator::Iterator::for_each::call<scry_analyze_core::FunctionStack, <alloc::vec::Vec<scry_analyze_core::FunctionStack>>::extend_trusted<core::iter::adapters::map::Map<core::ops::range::Range<usize>, scry_analyze_core::compute_stack_usage::{closure#2}>>::{closure#0}>::{closure#0}>	rust defined	yes	no	2	0 bytes	unbounded	36
70	<core::iter::adapters::copied::Copied<alloc::collections::btree::set::Iter<usize>> as core::iter::traits::iterator::Iterator>::fold::<(), core::iter::traits::iterator::Iterator::for_each::call<usize, <alloc::vec::Vec<usize>>::extend_trusted<core::iter::adapters::copied::Copied<alloc::collections::btree::set::Iter<usize>>>::{closure#0}>::{closure#0}>	rust defined	yes	no	2	0 bytes	unbounded	53
71	<alloc::vec::Vec<alloc::collections::btree::set::BTreeSet<usize>>>::extend_with	rust defined	yes	no	3	64 bytes	unbounded	107
72	core::ptr::drop_glue::<core::option::Option<scry_provenance::ProvenanceSection>>	rust defined	yes	no	1	0 bytes	0 bytes	9
73	core::ptr::drop_glue::<core::result::Result<wasmparser::readers::core::names::Name, wasmparser::binary_reader::BinaryReaderError>>	rust defined	yes	no	1	0 bytes	0 bytes	1
74	core::ptr::drop_glue::<alloc::vec::Vec<alloc::vec::Vec<usize>>>	rust defined	yes	no	1	0 bytes	0 bytes	29
75	core::ptr::drop_glue::<alloc::vec::Vec<core::option::Option<scry_analyze_core::SummaryEntry>>>	rust defined	yes	no	1	0 bytes	0 bytes	35
76	core::ptr::drop_glue::<alloc::vec::Vec<scry_analyze_core::Diagnostic>>	rust defined	yes	no	1	0 bytes	0 bytes	29
77	core::ptr::drop_glue::<alloc::vec::Vec<scry_analyze_core::DefinedFunc>>	rust defined	yes	no	1	0 bytes	0 bytes	7
78	<alloc::vec::Vec<scry_analyze_core::DefinedFunc> as core::ops::drop::Drop>::drop	rust defined	yes	no	1	0 bytes	0 bytes	68
79	core::ptr::drop_glue::<alloc::vec::Vec<scry_analyze_core::ProgramPoint>>	rust defined	yes	no	1	0 bytes	0 bytes	47
80	core::ptr::drop_glue::<alloc::vec::Vec<scry_analyze_core::Gap>>	rust defined	yes	no	1	0 bytes	0 bytes	29
81	core::ptr::drop_glue::<alloc::vec::Vec<scry_analyze_core::Label>>	rust defined	yes	no	1	0 bytes	0 bytes	49
82	core::ptr::drop_glue::<alloc::vec::Vec<scry_analyze_core::CallEdge>>	rust defined	yes	no	1	0 bytes	0 bytes	35
83	core::ptr::drop_glue::<alloc::vec::Vec<scry_analyze_core::TrapCheck>>	rust defined	yes	no	1	0 bytes	0 bytes	29
84	core::ptr::drop_glue::<alloc::vec::Vec<alloc::string::String>>	rust defined	yes	no	1	0 bytes	0 bytes	29
85	core::ptr::drop_glue::<alloc::vec::Vec<wasmparser::readers::core::operators::Operator>>	rust defined	yes	no	1	0 bytes	0 bytes	27
86	core::ptr::drop_glue::<wasmparser::readers::core::operators::Operator>	rust defined	yes	no	1	0 bytes	0 bytes	2
87	core::ptr::drop_glue::<alloc::vec::Vec<(alloc::vec::Vec<wasmparser::readers::core::types::ValType>, alloc::vec::Vec<wasmparser::readers::core::types::ValType>)>>	rust defined	yes	no	1	0 bytes	0 bytes	36
88	core::ptr::drop_glue::<alloc::vec::Vec<(u32, alloc::string::String)>>	rust defined	yes	no	1	0 bytes	0 bytes	31
89	core::ptr::drop_glue::<alloc::vec::Vec<(u64, alloc::vec::Vec<u32>)>>	rust defined	yes	no	1	0 bytes	0 bytes	31
90	core::ptr::drop_glue::<core::iter::adapters::map::Map<core::iter::adapters::flatten::FlatMap<wasmparser::readers::SectionLimitedIntoIter<wasmparser::readers::core::imports::Imports>, wasmparser::readers::core::imports::ImportsIter, <wasmparser::readers::SectionLimited<wasmparser::readers::core::imports::Imports>>::into_imports_with_offsets::{closure#0}>, <wasmparser::readers::SectionLimited<wasmparser::readers::core::imports::Imports>>::into_imports::{closure#0}>>	rust defined	yes	no	1	0 bytes	0 bytes	5
91	core::ptr::drop_glue::<scry_analyze_core::AnalysisConfig>	rust defined	yes	no	1	0 bytes	0 bytes	19
92	core::slice::sort::stable::driftsort_main::<scry_analyze_core::PentagonFact, <[scry_analyze_core::PentagonFact]>::sort_by_key<(u32, u32), scry_analyze_core::compute_pentagon_facts::{closure#0}>::{closure#0}, alloc::vec::Vec<scry_analyze_core::PentagonFact>>	rust defined	yes	no	3	4112 bytes	unbounded	10
93	core::slice::sort::stable::drift::sort::<scry_analyze_core::PentagonFact, <[scry_analyze_core::PentagonFact]>::sort_by_key<(u32, u32), scry_analyze_core::compute_pentagon_facts::{closure#0}>::{closure#0}>	rust defined	yes	yes	6	336 bytes	unbounded	12
94	core::slice::sort::stable::driftsort_main::<scry_analyze_core::HandleFinding, <[scry_analyze_core::HandleFinding]>::sort_by_key<(u32, u32), scry_analyze_core::compute_handle_findings::{closure#0}>::{closure#0}, alloc::vec::Vec<scry_analyze_core::HandleFinding>>	rust defined	yes	no	3	4112 bytes	unbounded	11
95	core::slice::sort::stable::drift::sort::<scry_analyze_core::HandleFinding, <[scry_analyze_core::HandleFinding]>::sort_by_key<(u32, u32), scry_analyze_core::compute_handle_findings::{closure#0}>::{closure#0}>	rust defined	yes	yes	6	336 bytes	unbounded	12
96	core::slice::sort::stable::drift::sort::<scry_analyze_core::Gap, <[scry_analyze_core::Gap]>::sort_by_key<(u32, u32), scry_analyze_core::analyze::{closure#18}>::{closure#0}>	rust defined	yes	yes	6	336 bytes	unbounded	12
97	core::slice::sort::stable::driftsort_main::<scry_analyze_core::BitFact, <[scry_analyze_core::BitFact]>::sort_by_key<(u32, u32, u32), scry_analyze_core::compute_bit_facts::{closure#11}>::{closure#0}, alloc::vec::Vec<scry_analyze_core::BitFact>>	rust defined	yes	no	3	4112 bytes	unbounded	10
98	core::slice::sort::stable::drift::sort::<scry_analyze_core::BitFact, <[scry_analyze_core::BitFact]>::sort_by_key<(u32, u32, u32), scry_analyze_core::compute_bit_facts::{closure#11}>::{closure#0}>	rust defined	yes	yes	6	336 bytes	unbounded	12
99	core::slice::sort::stable::driftsort_main::<scry_analyze_core::Advisory, <[scry_analyze_core::Advisory]>::sort_by_key<(u8, u32, u32), scry_analyze_core::compute_advisories::{closure#0}>::{closure#0}, alloc::vec::Vec<scry_analyze_core::Advisory>>	rust defined	yes	no	3	4112 bytes	unbounded	10

… showing 100 of 829 functions.

caller	pc	kind	resolved targets	soundness
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	4	call	347 <alloc::vec::Vec<u8> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	6	call	344 <alloc::raw_vec::RawVec<u8> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	11	call	347 <alloc::vec::Vec<u8> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	13	call	344 <alloc::raw_vec::RawVec<u8> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	18	call	299 <alloc::vec::Vec<scry_analyze_core::ProgramPoint> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	20	call	264 <alloc::raw_vec::RawVec<scry_analyze_core::ProgramPoint> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	25	call	297 <alloc::vec::Vec<scry_analyze_core::Diagnostic> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	27	call	262 <alloc::raw_vec::RawVec<scry_analyze_core::Diagnostic> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	32	call	304 <alloc::vec::Vec<scry_analyze_core::CallEdge> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	34	call	270 <alloc::raw_vec::RawVec<scry_analyze_core::CallEdge> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	53	call	300 <alloc::vec::Vec<scry_analyze_core::AbstractValue> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	55	call	265 <alloc::raw_vec::RawVec<scry_analyze_core::AbstractValue> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	60	call	300 <alloc::vec::Vec<scry_analyze_core::AbstractValue> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	62	call	265 <alloc::raw_vec::RawVec<scry_analyze_core::AbstractValue> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	53	call	300 <alloc::vec::Vec<scry_analyze_core::AbstractValue> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	55	call	265 <alloc::raw_vec::RawVec<scry_analyze_core::AbstractValue> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	60	call	300 <alloc::vec::Vec<scry_analyze_core::AbstractValue> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	62	call	265 <alloc::raw_vec::RawVec<scry_analyze_core::AbstractValue> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	53	call	300 <alloc::vec::Vec<scry_analyze_core::AbstractValue> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	55	call	265 <alloc::raw_vec::RawVec<scry_analyze_core::AbstractValue> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	60	call	300 <alloc::vec::Vec<scry_analyze_core::AbstractValue> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	62	call	265 <alloc::raw_vec::RawVec<scry_analyze_core::AbstractValue> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	53	call	300 <alloc::vec::Vec<scry_analyze_core::AbstractValue> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	55	call	265 <alloc::raw_vec::RawVec<scry_analyze_core::AbstractValue> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	60	call	300 <alloc::vec::Vec<scry_analyze_core::AbstractValue> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	62	call	265 <alloc::raw_vec::RawVec<scry_analyze_core::AbstractValue> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	79	call	335 <alloc::raw_vec::RawVecInner>::deallocate	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	106	call	347 <alloc::vec::Vec<u8> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	108	call	344 <alloc::raw_vec::RawVec<u8> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	106	call	347 <alloc::vec::Vec<u8> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	108	call	344 <alloc::raw_vec::RawVec<u8> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	106	call	347 <alloc::vec::Vec<u8> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	108	call	344 <alloc::raw_vec::RawVec<u8> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	125	call	335 <alloc::raw_vec::RawVecInner>::deallocate	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	145	call	347 <alloc::vec::Vec<u8> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	147	call	344 <alloc::raw_vec::RawVec<u8> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	145	call	347 <alloc::vec::Vec<u8> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	147	call	344 <alloc::raw_vec::RawVec<u8> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	145	call	347 <alloc::vec::Vec<u8> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	147	call	344 <alloc::raw_vec::RawVec<u8> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	164	call	335 <alloc::raw_vec::RawVecInner>::deallocate	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	170	call	335 <alloc::raw_vec::RawVecInner>::deallocate	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	175	call	593 <alloc::vec::Vec<u32> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	177	call	564 <alloc::raw_vec::RawVec<u32> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	202	call	347 <alloc::vec::Vec<u8> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	204	call	344 <alloc::raw_vec::RawVec<u8> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	210	call	307 <alloc::vec::Vec<alloc::string::String> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	212	call	273 <alloc::raw_vec::RawVec<alloc::string::String> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	202	call	347 <alloc::vec::Vec<u8> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	204	call	344 <alloc::raw_vec::RawVec<u8> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	210	call	307 <alloc::vec::Vec<alloc::string::String> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	212	call	273 <alloc::raw_vec::RawVec<alloc::string::String> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	202	call	347 <alloc::vec::Vec<u8> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	204	call	344 <alloc::raw_vec::RawVec<u8> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	210	call	307 <alloc::vec::Vec<alloc::string::String> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	212	call	273 <alloc::raw_vec::RawVec<alloc::string::String> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	231	call	335 <alloc::raw_vec::RawVecInner>::deallocate	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	236	call	303 <alloc::vec::Vec<scry_analyze_core::BitFact> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	238	call	268 <alloc::raw_vec::RawVec<scry_analyze_core::BitFact> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	243	call	302 <alloc::vec::Vec<scry_analyze_core::Gap> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	245	call	267 <alloc::raw_vec::RawVec<scry_analyze_core::Gap> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	250	call	298 <alloc::vec::Vec<scry_analyze_core::PentagonFact> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	252	call	263 <alloc::raw_vec::RawVec<scry_analyze_core::PentagonFact> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	257	call	306 <alloc::vec::Vec<scry_analyze_core::TrapCheck> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	259	call	272 <alloc::raw_vec::RawVec<scry_analyze_core::TrapCheck> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	264	call	305 <alloc::vec::Vec<scry_analyze_core::FloatFact> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	266	call	271 <alloc::raw_vec::RawVec<scry_analyze_core::FloatFact> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	271	call	301 <alloc::vec::Vec<scry_analyze_core::HandleFinding> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	273	call	266 <alloc::raw_vec::RawVec<scry_analyze_core::HandleFinding> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	278	call	101 <alloc::vec::Vec<scry_analyze_core::Advisory> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	280	call	269 <alloc::raw_vec::RawVec<scry_analyze_core::Advisory> as core::ops::drop::Drop>::drop	sound
5 scry_mcdc::drive	27	call	337 <alloc::raw_vec::RawVecInner>::try_allocate_in	sound
8 run_call_indirect_taint	5	call	42 __rustc::__rust_no_alloc_shim_is_unstable_v2	sound
8 run_call_indirect_taint	10	call	38 __rustc::__rust_alloc	sound
8 run_call_indirect_taint	17	call	42 __rustc::__rust_no_alloc_shim_is_unstable_v2	sound
8 run_call_indirect_taint	20	call	38 __rustc::__rust_alloc	sound
17 run_interproc_taint	5	call	42 __rustc::__rust_no_alloc_shim_is_unstable_v2	sound
17 run_interproc_taint	10	call	38 __rustc::__rust_alloc	sound
17 run_interproc_taint	17	call	42 __rustc::__rust_no_alloc_shim_is_unstable_v2	sound
17 run_interproc_taint	20	call	38 __rustc::__rust_alloc	sound
18 run_interproc_taint_no_diag	5	call	42 __rustc::__rust_no_alloc_shim_is_unstable_v2	sound
18 run_interproc_taint_no_diag	10	call	38 __rustc::__rust_alloc	sound
18 run_interproc_taint_no_diag	17	call	42 __rustc::__rust_no_alloc_shim_is_unstable_v2	sound
18 run_interproc_taint_no_diag	20	call	38 __rustc::__rust_alloc	sound
36 run_with_param_taint	5	call	42 __rustc::__rust_no_alloc_shim_is_unstable_v2	sound
36 run_with_param_taint	10	call	38 __rustc::__rust_alloc	sound
36 run_with_param_taint	17	call	42 __rustc::__rust_no_alloc_shim_is_unstable_v2	sound
36 run_with_param_taint	20	call	38 __rustc::__rust_alloc	sound
37 run_with_param_taint_no_diag	5	call	42 __rustc::__rust_no_alloc_shim_is_unstable_v2	sound
37 run_with_param_taint_no_diag	10	call	38 __rustc::__rust_alloc	sound
37 run_with_param_taint_no_diag	17	call	42 __rustc::__rust_no_alloc_shim_is_unstable_v2	sound
37 run_with_param_taint_no_diag	20	call	38 __rustc::__rust_alloc	sound
38 __rustc::__rust_alloc	2	call	625 __rustc::__rdl_alloc	sound
39 __rustc::__rust_dealloc	3	call	627 __rustc::__rdl_dealloc	sound
40 __rustc::__rust_realloc	4	call	628 __rustc::__rdl_realloc	sound
41 __rustc::__rust_alloc_zeroed	2	call	630 __rustc::__rdl_alloc_zeroed	sound
43 <[scry_analyze_core::Gap]>::sort_by_key::<(u32, u32), scry_analyze_core::analyze::{closure#18}>	25	call	44 core::slice::sort::stable::driftsort_main::<scry_analyze_core::Gap, <[scry_analyze_core::Gap]>::sort_by_key<(u32, u32), scry_analyze_core::analyze::{closure#18}>::{closure#0}, alloc::vec::Vec<scry_analyze_core::Gap>>	sound
43 <[scry_analyze_core::Gap]>::sort_by_key::<(u32, u32), scry_analyze_core::analyze::{closure#18}>	32	call	45 core::slice::sort::shared::smallsort::insertion_sort_shift_left::<scry_analyze_core::Gap, <[scry_analyze_core::Gap]>::sort_by_key<(u32, u32), scry_analyze_core::analyze::{closure#18}>::{closure#0}>	sound
46 <[scry_analyze_core::TrapCheck]>::sort_by_key::<(u32, u32, u8), scry_analyze_core::analyze::{closure#19}>	25	call	47 core::slice::sort::stable::driftsort_main::<scry_analyze_core::TrapCheck, <[scry_analyze_core::TrapCheck]>::sort_by_key<(u32, u32, u8), scry_analyze_core::analyze::{closure#19}>::{closure#0}, alloc::vec::Vec<scry_analyze_core::TrapCheck>>	sound
46 <[scry_analyze_core::TrapCheck]>::sort_by_key::<(u32, u32, u8), scry_analyze_core::analyze::{closure#19}>	32	call	48 core::slice::sort::shared::smallsort::insertion_sort_shift_left::<scry_analyze_core::TrapCheck, <[scry_analyze_core::TrapCheck]>::sort_by_key<(u32, u32, u8), scry_analyze_core::analyze::{closure#19}>::{closure#0}>	sound

Diagnostics

info fn0:0 scry 3.2.4 — wasm-lattice cross-component import alive
info fn4:4 call resolved to 1 target (func 347); direct call edge recorded (sound); result via context-insensitive summary
info fn4:6 call resolved to 1 target (func 344); direct call edge recorded (sound); result via context-insensitive summary
info fn4:11 call resolved to 1 target (func 347); direct call edge recorded (sound); result via context-insensitive summary
info fn4:13 call resolved to 1 target (func 344); direct call edge recorded (sound); result via context-insensitive summary
info fn4:18 call resolved to 1 target (func 299); direct call edge recorded (sound); result via context-insensitive summary
info fn4:20 call resolved to 1 target (func 264); direct call edge recorded (sound); result via context-insensitive summary
info fn4:25 call resolved to 1 target (func 297); direct call edge recorded (sound); result via context-insensitive summary
info fn4:27 call resolved to 1 target (func 262); direct call edge recorded (sound); result via context-insensitive summary
info fn4:32 call resolved to 1 target (func 304); direct call edge recorded (sound); result via context-insensitive summary
info fn4:34 call resolved to 1 target (func 270); direct call edge recorded (sound); result via context-insensitive summary
warning fn4:41 i32.load at offset interval [-9223372036854775808, 9223372036854775807] cannot be proven in-region — bounds-check elision unsafe (default region size = 1114112 bytes, load width = 4)
warning fn4:46 i32.load at offset interval [-9223372036854775808, 9223372036854775807] cannot be proven in-region — bounds-check elision unsafe (default region size = 1114112 bytes, load width = 4)
info fn4:53 call resolved to 1 target (func 300); direct call edge recorded (sound); result via context-insensitive summary
info fn4:55 call resolved to 1 target (func 265); direct call edge recorded (sound); result via context-insensitive summary
info fn4:60 call resolved to 1 target (func 300); direct call edge recorded (sound); result via context-insensitive summary
info fn4:62 call resolved to 1 target (func 265); direct call edge recorded (sound); result via context-insensitive summary
info fn4:53 call resolved to 1 target (func 300); direct call edge recorded (sound); result via context-insensitive summary
info fn4:55 call resolved to 1 target (func 265); direct call edge recorded (sound); result via context-insensitive summary
info fn4:60 call resolved to 1 target (func 300); direct call edge recorded (sound); result via context-insensitive summary
info fn4:62 call resolved to 1 target (func 265); direct call edge recorded (sound); result via context-insensitive summary
info fn4:53 call resolved to 1 target (func 300); direct call edge recorded (sound); result via context-insensitive summary
info fn4:55 call resolved to 1 target (func 265); direct call edge recorded (sound); result via context-insensitive summary
info fn4:60 call resolved to 1 target (func 300); direct call edge recorded (sound); result via context-insensitive summary
info fn4:62 call resolved to 1 target (func 265); direct call edge recorded (sound); result via context-insensitive summary
info fn4:53 call resolved to 1 target (func 300); direct call edge recorded (sound); result via context-insensitive summary
info fn4:55 call resolved to 1 target (func 265); direct call edge recorded (sound); result via context-insensitive summary
info fn4:60 call resolved to 1 target (func 300); direct call edge recorded (sound); result via context-insensitive summary
info fn4:62 call resolved to 1 target (func 265); direct call edge recorded (sound); result via context-insensitive summary
info fn4:79 call resolved to 1 target (func 335); direct call edge recorded (sound); result via context-sensitive re-eval
warning fn4:82 i32.load at offset interval [-9223372036854775808, 9223372036854775807] cannot be proven in-region — bounds-check elision unsafe (default region size = 1114112 bytes, load width = 4)
warning fn4:92 i32.load at offset interval [-9223372036854775808, 9223372036854775807] cannot be proven in-region — bounds-check elision unsafe (default region size = 1114112 bytes, load width = 4)
warning fn4:97 i32.load at offset interval [-9223372036854775808, 9223372036854775807] cannot be proven in-region — bounds-check elision unsafe (default region size = 1114112 bytes, load width = 4)
info fn4:106 call resolved to 1 target (func 347); direct call edge recorded (sound); result via context-insensitive summary
info fn4:108 call resolved to 1 target (func 344); direct call edge recorded (sound); result via context-insensitive summary
info fn4:106 call resolved to 1 target (func 347); direct call edge recorded (sound); result via context-insensitive summary
info fn4:108 call resolved to 1 target (func 344); direct call edge recorded (sound); result via context-insensitive summary
info fn4:106 call resolved to 1 target (func 347); direct call edge recorded (sound); result via context-insensitive summary
info fn4:108 call resolved to 1 target (func 344); direct call edge recorded (sound); result via context-insensitive summary
info fn4:125 call resolved to 1 target (func 335); direct call edge recorded (sound); result via context-sensitive re-eval
warning fn4:133 i32.load at offset interval [-9223372036854775808, 9223372036854775807] cannot be proven in-region — bounds-check elision unsafe (default region size = 1114112 bytes, load width = 4)
warning fn4:138 i32.load at offset interval [-9223372036854775808, 9223372036854775807] cannot be proven in-region — bounds-check elision unsafe (default region size = 1114112 bytes, load width = 4)
info fn4:145 call resolved to 1 target (func 347); direct call edge recorded (sound); result via context-insensitive summary
info fn4:147 call resolved to 1 target (func 344); direct call edge recorded (sound); result via context-insensitive summary
info fn4:145 call resolved to 1 target (func 347); direct call edge recorded (sound); result via context-insensitive summary
info fn4:147 call resolved to 1 target (func 344); direct call edge recorded (sound); result via context-insensitive summary
info fn4:145 call resolved to 1 target (func 347); direct call edge recorded (sound); result via context-insensitive summary
info fn4:147 call resolved to 1 target (func 344); direct call edge recorded (sound); result via context-insensitive summary
info fn4:164 call resolved to 1 target (func 335); direct call edge recorded (sound); result via context-sensitive re-eval
info fn4:170 call resolved to 1 target (func 335); direct call edge recorded (sound); result via context-sensitive re-eval
info fn4:175 call resolved to 1 target (func 593); direct call edge recorded (sound); result via context-insensitive summary
info fn4:177 call resolved to 1 target (func 564); direct call edge recorded (sound); result via context-insensitive summary
warning fn4:180 i32.load at offset interval [-9223372036854775808, 9223372036854775807] cannot be proven in-region — bounds-check elision unsafe (default region size = 1114112 bytes, load width = 4)
warning fn4:185 i32.load at offset interval [-9223372036854775808, 9223372036854775807] cannot be proven in-region — bounds-check elision unsafe (default region size = 1114112 bytes, load width = 4)
warning fn4:197 i32.load at offset interval [-9223372036854775808, 9223372036854775807] cannot be proven in-region — bounds-check elision unsafe (default region size = 1114112 bytes, load width = 4)
info fn4:202 call resolved to 1 target (func 347); direct call edge recorded (sound); result via context-insensitive summary
info fn4:204 call resolved to 1 target (func 344); direct call edge recorded (sound); result via context-insensitive summary
info fn4:210 call resolved to 1 target (func 307); direct call edge recorded (sound); result via context-insensitive summary
info fn4:212 call resolved to 1 target (func 273); direct call edge recorded (sound); result via context-insensitive summary
warning fn4:197 i32.load at offset interval [-9223372036854775808, 9223372036854775807] cannot be proven in-region — bounds-check elision unsafe (default region size = 1114112 bytes, load width = 4)
info fn4:202 call resolved to 1 target (func 347); direct call edge recorded (sound); result via context-insensitive summary
info fn4:204 call resolved to 1 target (func 344); direct call edge recorded (sound); result via context-insensitive summary
info fn4:210 call resolved to 1 target (func 307); direct call edge recorded (sound); result via context-insensitive summary
info fn4:212 call resolved to 1 target (func 273); direct call edge recorded (sound); result via context-insensitive summary
warning fn4:197 i32.load at offset interval [-9223372036854775808, 9223372036854775807] cannot be proven in-region — bounds-check elision unsafe (default region size = 1114112 bytes, load width = 4)
info fn4:202 call resolved to 1 target (func 347); direct call edge recorded (sound); result via context-insensitive summary
info fn4:204 call resolved to 1 target (func 344); direct call edge recorded (sound); result via context-insensitive summary
info fn4:210 call resolved to 1 target (func 307); direct call edge recorded (sound); result via context-insensitive summary
info fn4:212 call resolved to 1 target (func 273); direct call edge recorded (sound); result via context-insensitive summary
info fn4:231 call resolved to 1 target (func 335); direct call edge recorded (sound); result via context-sensitive re-eval
info fn4:236 call resolved to 1 target (func 303); direct call edge recorded (sound); result via context-insensitive summary
info fn4:238 call resolved to 1 target (func 268); direct call edge recorded (sound); result via context-insensitive summary
info fn4:243 call resolved to 1 target (func 302); direct call edge recorded (sound); result via context-insensitive summary
info fn4:245 call resolved to 1 target (func 267); direct call edge recorded (sound); result via context-insensitive summary
info fn4:250 call resolved to 1 target (func 298); direct call edge recorded (sound); result via context-insensitive summary
info fn4:252 call resolved to 1 target (func 263); direct call edge recorded (sound); result via context-insensitive summary
info fn4:257 call resolved to 1 target (func 306); direct call edge recorded (sound); result via context-insensitive summary
info fn4:259 call resolved to 1 target (func 272); direct call edge recorded (sound); result via context-insensitive summary
info fn4:264 call resolved to 1 target (func 305); direct call edge recorded (sound); result via context-insensitive summary
info fn4:266 call resolved to 1 target (func 271); direct call edge recorded (sound); result via context-insensitive summary
info fn4:271 call resolved to 1 target (func 301); direct call edge recorded (sound); result via context-insensitive summary
info fn4:273 call resolved to 1 target (func 266); direct call edge recorded (sound); result via context-insensitive summary
info fn4:278 call resolved to 1 target (func 101); direct call edge recorded (sound); result via context-insensitive summary
info fn4:280 call resolved to 1 target (func 269); direct call edge recorded (sound); result via context-insensitive summary
unsoundness-fallback fn5:2 i32 binop on non-i32-interval operand — pushing top
warning fn5:7 i32.store at offset interval [-9223372036854775808, 9223372036854775807] cannot be proven in-region — bounds-check elision unsafe (default region size = 1114112 bytes, store width = 4)
warning fn5:10 i32.store at offset interval [-9223372036854775808, 9223372036854775807] cannot be proven in-region — bounds-check elision unsafe (default region size = 1114112 bytes, store width = 4)
warning fn5:16 i32.load at offset interval [-9223372036854775808, 9223372036854775807] cannot be proven in-region — bounds-check elision unsafe (default region size = 1114112 bytes, load width = 4)
warning fn5:22 i32.load at offset interval [-9223372036854775808, 9223372036854775807] cannot be proven in-region — bounds-check elision unsafe (default region size = 1114112 bytes, load width = 4)
info fn5:27 call resolved to 1 target (func 337); direct call edge recorded (sound); result via context-insensitive summary
warning fn5:29 i32.load at offset interval [-9223372036854775808, 9223372036854775807] cannot be proven in-region — bounds-check elision unsafe (default region size = 1114112 bytes, load width = 4)
warning fn5:35 i32.load at offset interval [-9223372036854775808, 9223372036854775807] cannot be proven in-region — bounds-check elision unsafe (default region size = 1114112 bytes, load width = 4)
warning fn5:41 i32.store at offset interval [-9223372036854775808, 9223372036854775807] cannot be proven in-region — bounds-check elision unsafe (default region size = 1114112 bytes, store width = 4)
warning fn5:44 i32.load at offset interval [-9223372036854775808, 9223372036854775807] cannot be proven in-region — bounds-check elision unsafe (default region size = 1114112 bytes, load width = 4)
warning fn5:46 i32.store at offset interval [-9223372036854775808, 9223372036854775807] cannot be proven in-region — bounds-check elision unsafe (default region size = 1114112 bytes, store width = 4)
warning fn5:49 i32.store at offset interval [-9223372036854775808, 9223372036854775807] cannot be proven in-region — bounds-check elision unsafe (default region size = 1114112 bytes, store width = 4)
unsoundness-fallback fn5:61 unsupported operator at v0.2 AC#1: <unsupported> — locals degraded to top
info fn5:73 block modelled by write-set havoc (FEAT-016 fallback): 1 local(s) widened to top, rest preserved
info fn5:119 block modelled by write-set havoc (FEAT-016 fallback): 1 local(s) widened to top, rest preserved
info fn5:142 loop modelled by write-set havoc (FEAT-016 fallback): 7 local(s) widened to top, rest preserved

… showing 100 of 7973 diagnostics.

Program points

823 function(s) with program points — summary below; detailed per-point invariants for the first 12. The full per-point data is scry's library AnalysisResult; the actionable subset is in guidance.json.

function	points	max locals
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	252	5
5 scry_mcdc::drive	59	12
6 run_call_indirect_default	7	2
7 run_call_indirect_no_diag	7	2
8 run_call_indirect_taint	25	3
9 run_const_fold_default	7	2
10 run_const_fold_no_diag	7	2
11 run_const_fold_widen1	7	2
12 run_counted_loop_default	7	2
13 run_counted_loop_no_diag	7	2
14 run_guard_bound_default	7	2
15 run_guard_bound_widen1	7	2
16 run_interproc_default	7	2
17 run_interproc_taint	25	3
18 run_interproc_taint_no_diag	25	3
19 run_interproc_widen1	7	2
20 run_loop_converge_default	7	2
21 run_loop_converge_widen1	7	2
22 run_overflow_default	7	2
23 run_overflow_widen1	7	2
24 run_reachability_default	7	2
25 run_region_default	7	2
26 run_region_no_diag	7	2
27 run_region_widen1	7	2
28 run_stack_alloca_default	7	2
29 run_stack_chain_default	7	2
30 run_stack_dynamic_default	7	2
31 run_stack_measured_default	7	2
32 run_stack_recursion_default	7	2
33 run_var_bound_default	7	2
34 run_var_bound_widen1	7	2
35 run_with_param_default	7	2
36 run_with_param_taint	25	3
37 run_with_param_taint_no_diag	25	3
38 __rustc::__rust_alloc	3	2
39 __rustc::__rust_dealloc	4	3
40 __rustc::__rust_realloc	5	4
41 __rustc::__rust_alloc_zeroed	3	2
43 <[scry_analyze_core::Gap]>::sort_by_key::<(u32, u32), scry_analyze_core::analyze::{closure#18}>	32	3
44 core::slice::sort::stable::driftsort_main::<scry_analyze_core::Gap, <[scry_analyze_core::Gap]>::sort_by_key<(u32, u32), scry_analyze_core::analyze::{closure#18}>::{closure#0}, alloc::vec::Vec<scry_analyze_core::Gap>>	11	6
45 core::slice::sort::shared::smallsort::insertion_sort_shift_left::<scry_analyze_core::Gap, <[scry_analyze_core::Gap]>::sort_by_key<(u32, u32), scry_analyze_core::analyze::{closure#18}>::{closure#0}>	28	12
46 <[scry_analyze_core::TrapCheck]>::sort_by_key::<(u32, u32, u8), scry_analyze_core::analyze::{closure#19}>	32	3
47 core::slice::sort::stable::driftsort_main::<scry_analyze_core::TrapCheck, <[scry_analyze_core::TrapCheck]>::sort_by_key<(u32, u32, u8), scry_analyze_core::analyze::{closure#19}>::{closure#0}, alloc::vec::Vec<scry_analyze_core::TrapCheck>>	11	6
48 core::slice::sort::shared::smallsort::insertion_sort_shift_left::<scry_analyze_core::TrapCheck, <[scry_analyze_core::TrapCheck]>::sort_by_key<(u32, u32, u8), scry_analyze_core::analyze::{closure#19}>::{closure#0}>	29	17
49 <str>::contains::<&str>	41	18
50 <core::str::pattern::TwoWaySearcher>::next::<core::str::pattern::MatchOnly>	34	21
51 <core::option::Option<&scry_provenance::ProvenanceSection>>::map::<scry_analyze_core::ComponentProvenance, scry_analyze_core::analyze::{closure#24}>	10	15
52 <alloc::string::String as core::fmt::Display>::fmt	7	2
53 <alloc::raw_vec::RawVec<scry_analyze_core::Diagnostic>>::grow_one	24	2
54 <core::result::Result<wasmparser::readers::core::operators::OperatorsReader, wasmparser::binary_reader::BinaryReaderError>>::map_err::<scry_analyze_core::AnalyzeError, scry_analyze_core::analyze::{closure#13}>	85	4
55 <alloc::collections::btree::node::Handle<alloc::collections::btree::node::NodeRef<alloc::collections::btree::node::marker::Mut, usize, alloc::collections::btree::set_val::SetValZST, alloc::collections::btree::node::marker::Leaf>, alloc::collections::btree::node::marker::Edge>>::insert::<alloc::alloc::Global>	10	10
56 <alloc::collections::btree::node::Handle<alloc::collections::btree::node::NodeRef<alloc::collections::btree::node::marker::Mut, usize, alloc::collections::btree::set_val::SetValZST, alloc::collections::btree::node::marker::Leaf>, alloc::collections::btree::node::marker::KV>>::split::<alloc::alloc::Global>	9	9
57 <alloc::collections::btree::node::Handle<alloc::collections::btree::node::NodeRef<alloc::collections::btree::node::marker::Mut, usize, alloc::collections::btree::set_val::SetValZST, alloc::collections::btree::node::marker::Internal>, alloc::collections::btree::node::marker::Edge>>::insert::<alloc::alloc::Global>	21	12
58 <alloc::collections::btree::node::Handle<alloc::collections::btree::node::NodeRef<alloc::collections::btree::node::marker::Mut, usize, alloc::collections::btree::set_val::SetValZST, alloc::collections::btree::node::marker::Internal>, alloc::collections::btree::node::marker::KV>>::split::<alloc::alloc::Global>	4	11
59 <alloc::collections::btree::node::Handle<alloc::collections::btree::node::NodeRef<alloc::collections::btree::node::marker::Mut, usize, alloc::collections::btree::set_val::SetValZST, alloc::collections::btree::node::marker::Leaf>, alloc::collections::btree::node::marker::Edge>>::insert_recursing::<alloc::alloc::Global, <alloc::collections::btree::map::entry::VacantEntry<usize, alloc::collections::btree::set_val::SetValZST>>::insert_entry::{closure#0}>	41	14
60 <alloc::vec::Vec<scry_analyze_core::TrapCheck>>::dedup_by::<scry_analyze_core::analyze::{closure#20}>	18	7
61 <core::iter::adapters::map::Map<core::ops::range::Range<usize>, scry_analyze_core::resolved_stack_callees::{closure#1}> as core::iter::traits::iterator::Iterator>::fold::<(), core::iter::traits::iterator::Iterator::for_each::call<alloc::vec::Vec<usize>, <alloc::vec::Vec<alloc::vec::Vec<usize>>>::extend_trusted<core::iter::adapters::map::Map<core::ops::range::Range<usize>, scry_analyze_core::resolved_stack_callees::{closure#1}>>::{closure#0}>::{closure#0}>	51	17
62 <alloc::vec::Vec<core::option::Option<scry_analyze_core::BreakState>>>::extend_trusted::<core::iter::adapters::map::Map<core::slice::iter::Iter<scry_analyze_core::Label>, <scry_analyze_core::Interp>::loop_region::{closure#0}>>	185	12
63 <alloc::vec::Vec<scry_analyze_core::AbstractValue> as core::clone::Clone>::clone	33	17
64 <core::iter::adapters::map::Map<core::slice::iter::Iter<scry_analyze_core::DefinedFunc>, scry_analyze_core::compute_stack_usage::{closure#0}> as core::iter::traits::iterator::Iterator>::fold::<(), core::iter::traits::iterator::Iterator::for_each::call<scry_analyze_core::StackBound, <alloc::vec::Vec<scry_analyze_core::StackBound>>::extend_trusted<core::iter::adapters::map::Map<core::slice::iter::Iter<scry_analyze_core::DefinedFunc>, scry_analyze_core::compute_stack_usage::{closure#0}>>::{closure#0}>::{closure#0}>	37	28
65 <core::iter::adapters::map::Map<core::iter::adapters::zip::Zip<core::slice::iter::Iter<scry_analyze_core::AbstractValue>, core::slice::iter::Iter<scry_analyze_core::AbstractValue>>, scry_analyze_core::join_locals::{closure#0}> as core::iter::traits::iterator::Iterator>::fold::<(), core::iter::traits::iterator::Iterator::for_each::call<scry_analyze_core::AbstractValue, <alloc::vec::Vec<scry_analyze_core::AbstractValue>>::extend_trusted<core::iter::adapters::map::Map<core::iter::adapters::zip::Zip<core::slice::iter::Iter<scry_analyze_core::AbstractValue>, core::slice::iter::Iter<scry_analyze_core::AbstractValue>>, scry_analyze_core::join_locals::{closure#0}>>::{closure#0}>::{closure#0}>	31	14
66 <core::iter::adapters::map::Map<core::iter::adapters::zip::Zip<core::slice::iter::Iter<scry_analyze_core::AbstractValue>, core::slice::iter::Iter<scry_analyze_core::AbstractValue>>, scry_analyze_core::widen_locals::{closure#0}> as core::iter::traits::iterator::Iterator>::fold::<(), core::iter::traits::iterator::Iterator::for_each::call<scry_analyze_core::AbstractValue, <alloc::vec::Vec<scry_analyze_core::AbstractValue>>::extend_trusted<core::iter::adapters::map::Map<core::iter::adapters::zip::Zip<core::slice::iter::Iter<scry_analyze_core::AbstractValue>, core::slice::iter::Iter<scry_analyze_core::AbstractValue>>, scry_analyze_core::widen_locals::{closure#0}>>::{closure#0}>::{closure#0}>	31	18
67 <alloc::vec::Vec<scry_analyze_core::AbstractValue>>::extend_trusted::<core::iter::adapters::map::Map<core::iter::adapters::zip::Zip<core::slice::iter::Iter<scry_analyze_core::AbstractValue>, core::slice::iter::Iter<scry_analyze_core::AbstractValue>>, scry_analyze_core::narrow_locals::{closure#0}>>	38	14
68 <core::iter::adapters::map::Map<core::iter::adapters::enumerate::Enumerate<core::slice::iter::Iter<scry_analyze_core::AbstractValue>>, scry_analyze_core::reduce_locals::{closure#1}> as core::iter::traits::iterator::Iterator>::fold::<(), core::iter::traits::iterator::Iterator::for_each::call<scry_analyze_core::AbstractValue, <alloc::vec::Vec<scry_analyze_core::AbstractValue>>::extend_trusted<core::iter::adapters::map::Map<core::iter::adapters::enumerate::Enumerate<core::slice::iter::Iter<scry_analyze_core::AbstractValue>>, scry_analyze_core::reduce_locals::{closure#1}>>::{closure#0}>::{closure#0}>	28	14
69 <core::iter::adapters::map::Map<core::ops::range::Range<usize>, scry_analyze_core::compute_stack_usage::{closure#2}> as core::iter::traits::iterator::Iterator>::fold::<(), core::iter::traits::iterator::Iterator::for_each::call<scry_analyze_core::FunctionStack, <alloc::vec::Vec<scry_analyze_core::FunctionStack>>::extend_trusted<core::iter::adapters::map::Map<core::ops::range::Range<usize>, scry_analyze_core::compute_stack_usage::{closure#2}>>::{closure#0}>::{closure#0}>	36	16
70 <core::iter::adapters::copied::Copied<alloc::collections::btree::set::Iter<usize>> as core::iter::traits::iterator::Iterator>::fold::<(), core::iter::traits::iterator::Iterator::for_each::call<usize, <alloc::vec::Vec<usize>>::extend_trusted<core::iter::adapters::copied::Copied<alloc::collections::btree::set::Iter<usize>>>::{closure#0}>::{closure#0}>	53	15
71 <alloc::vec::Vec<alloc::collections::btree::set::BTreeSet<usize>>>::extend_with	107	13
72 core::ptr::drop_glue::<core::option::Option<scry_provenance::ProvenanceSection>>	9	1
73 core::ptr::drop_glue::<core::result::Result<wasmparser::readers::core::names::Name, wasmparser::binary_reader::BinaryReaderError>>	1	2
74 core::ptr::drop_glue::<alloc::vec::Vec<alloc::vec::Vec<usize>>>	29	4
75 core::ptr::drop_glue::<alloc::vec::Vec<core::option::Option<scry_analyze_core::SummaryEntry>>>	35	4
76 core::ptr::drop_glue::<alloc::vec::Vec<scry_analyze_core::Diagnostic>>	29	4
77 core::ptr::drop_glue::<alloc::vec::Vec<scry_analyze_core::DefinedFunc>>	7	1
78 <alloc::vec::Vec<scry_analyze_core::DefinedFunc> as core::ops::drop::Drop>::drop	68	7
79 core::ptr::drop_glue::<alloc::vec::Vec<scry_analyze_core::ProgramPoint>>	47	4
80 core::ptr::drop_glue::<alloc::vec::Vec<scry_analyze_core::Gap>>	29	4
81 core::ptr::drop_glue::<alloc::vec::Vec<scry_analyze_core::Label>>	49	4
82 core::ptr::drop_glue::<alloc::vec::Vec<scry_analyze_core::CallEdge>>	35	4
83 core::ptr::drop_glue::<alloc::vec::Vec<scry_analyze_core::TrapCheck>>	29	4
84 core::ptr::drop_glue::<alloc::vec::Vec<alloc::string::String>>	29	4
85 core::ptr::drop_glue::<alloc::vec::Vec<wasmparser::readers::core::operators::Operator>>	27	4
86 core::ptr::drop_glue::<wasmparser::readers::core::operators::Operator>	2	2
87 core::ptr::drop_glue::<alloc::vec::Vec<(alloc::vec::Vec<wasmparser::readers::core::types::ValType>, alloc::vec::Vec<wasmparser::readers::core::types::ValType>)>>	36	4
88 core::ptr::drop_glue::<alloc::vec::Vec<(u32, alloc::string::String)>>	31	4
89 core::ptr::drop_glue::<alloc::vec::Vec<(u64, alloc::vec::Vec<u32>)>>	31	4
90 core::ptr::drop_glue::<core::iter::adapters::map::Map<core::iter::adapters::flatten::FlatMap<wasmparser::readers::SectionLimitedIntoIter<wasmparser::readers::core::imports::Imports>, wasmparser::readers::core::imports::ImportsIter, <wasmparser::readers::SectionLimited<wasmparser::readers::core::imports::Imports>>::into_imports_with_offsets::{closure#0}>, <wasmparser::readers::SectionLimited<wasmparser::readers::core::imports::Imports>>::into_imports::{closure#0}>>	5	4
91 core::ptr::drop_glue::<scry_analyze_core::AnalysisConfig>	19	2
92 core::slice::sort::stable::driftsort_main::<scry_analyze_core::PentagonFact, <[scry_analyze_core::PentagonFact]>::sort_by_key<(u32, u32), scry_analyze_core::compute_pentagon_facts::{closure#0}>::{closure#0}, alloc::vec::Vec<scry_analyze_core::PentagonFact>>	10	6
93 core::slice::sort::stable::drift::sort::<scry_analyze_core::PentagonFact, <[scry_analyze_core::PentagonFact]>::sort_by_key<(u32, u32), scry_analyze_core::compute_pentagon_facts::{closure#0}>::{closure#0}>	12	24
94 core::slice::sort::stable::driftsort_main::<scry_analyze_core::HandleFinding, <[scry_analyze_core::HandleFinding]>::sort_by_key<(u32, u32), scry_analyze_core::compute_handle_findings::{closure#0}>::{closure#0}, alloc::vec::Vec<scry_analyze_core::HandleFinding>>	11	6
95 core::slice::sort::stable::drift::sort::<scry_analyze_core::HandleFinding, <[scry_analyze_core::HandleFinding]>::sort_by_key<(u32, u32), scry_analyze_core::compute_handle_findings::{closure#0}>::{closure#0}>	12	24
96 core::slice::sort::stable::drift::sort::<scry_analyze_core::Gap, <[scry_analyze_core::Gap]>::sort_by_key<(u32, u32), scry_analyze_core::analyze::{closure#18}>::{closure#0}>	12	24
97 core::slice::sort::stable::driftsort_main::<scry_analyze_core::BitFact, <[scry_analyze_core::BitFact]>::sort_by_key<(u32, u32, u32), scry_analyze_core::compute_bit_facts::{closure#11}>::{closure#0}, alloc::vec::Vec<scry_analyze_core::BitFact>>	10	6
98 core::slice::sort::stable::drift::sort::<scry_analyze_core::BitFact, <[scry_analyze_core::BitFact]>::sort_by_key<(u32, u32, u32), scry_analyze_core::compute_bit_facts::{closure#11}>::{closure#0}>	12	24
99 core::slice::sort::stable::driftsort_main::<scry_analyze_core::Advisory, <[scry_analyze_core::Advisory]>::sort_by_key<(u8, u32, u32), scry_analyze_core::compute_advisories::{closure#0}>::{closure#0}, alloc::vec::Vec<scry_analyze_core::Advisory>>	10	6
100 core::slice::sort::stable::drift::sort::<scry_analyze_core::Advisory, <[scry_analyze_core::Advisory]>::sort_by_key<(u8, u32, u32), scry_analyze_core::compute_advisories::{closure#0}>::{closure#0}>	12	24
101 <alloc::vec::Vec<scry_analyze_core::Advisory> as core::ops::drop::Drop>::drop	90	7
102 core::slice::sort::stable::driftsort_main::<scry_analyze_core::FloatFact, <[scry_analyze_core::FloatFact]>::sort_by_key<(u32, u32, u32), scry_analyze_core::compute_float_facts::{closure#8}>::{closure#0}, alloc::vec::Vec<scry_analyze_core::FloatFact>>	10	6
103 core::slice::sort::stable::drift::sort::<scry_analyze_core::FloatFact, <[scry_analyze_core::FloatFact]>::sort_by_key<(u32, u32, u32), scry_analyze_core::compute_float_facts::{closure#8}>::{closure#0}>	12	24
104 core::slice::sort::stable::drift::sort::<scry_analyze_core::TrapCheck, <[scry_analyze_core::TrapCheck]>::sort_by_key<(u32, u32, u8), scry_analyze_core::analyze::{closure#19}>::{closure#0}>	12	24
105 core::slice::sort::unstable::ipnsort::<u32, <u32 as core::cmp::PartialOrd>::lt>	89	10
106 core::slice::sort::unstable::quicksort::quicksort::<u32, <u32 as core::cmp::PartialOrd>::lt>	20	11
107 core::slice::sort::shared::pivot::median3_rec::<scry_analyze_core::PentagonFact, <[scry_analyze_core::PentagonFact]>::sort_by_key<(u32, u32), scry_analyze_core::compute_pentagon_facts::{closure#0}>::{closure#0}>	3	9
108 core::slice::sort::shared::pivot::median3_rec::<scry_analyze_core::HandleFinding, <[scry_analyze_core::HandleFinding]>::sort_by_key<(u32, u32), scry_analyze_core::compute_handle_findings::{closure#0}>::{closure#0}>	3	9
109 core::slice::sort::shared::pivot::median3_rec::<scry_analyze_core::Gap, <[scry_analyze_core::Gap]>::sort_by_key<(u32, u32), scry_analyze_core::analyze::{closure#18}>::{closure#0}>	3	9
110 core::slice::sort::shared::pivot::median3_rec::<scry_analyze_core::BitFact, <[scry_analyze_core::BitFact]>::sort_by_key<(u32, u32, u32), scry_analyze_core::compute_bit_facts::{closure#11}>::{closure#0}>	5	13
111 core::slice::sort::shared::pivot::median3_rec::<scry_analyze_core::Advisory, <[scry_analyze_core::Advisory]>::sort_by_key<(u8, u32, u32), scry_analyze_core::compute_advisories::{closure#0}>::{closure#0}>	5	13
112 core::slice::sort::shared::pivot::median3_rec::<scry_analyze_core::FloatFact, <[scry_analyze_core::FloatFact]>::sort_by_key<(u32, u32, u32), scry_analyze_core::compute_float_facts::{closure#8}>::{closure#0}>	5	13
113 core::slice::sort::shared::pivot::median3_rec::<scry_analyze_core::TrapCheck, <[scry_analyze_core::TrapCheck]>::sort_by_key<(u32, u32, u8), scry_analyze_core::analyze::{closure#19}>::{closure#0}>	5	13
114 core::slice::sort::shared::pivot::median3_rec::<u32, <u32 as core::cmp::PartialOrd>::lt>	2	7
115 core::slice::sort::shared::smallsort::sort4_stable::<scry_analyze_core::BitFact, <[scry_analyze_core::BitFact]>::sort_by_key<(u32, u32, u32), scry_analyze_core::compute_bit_facts::{closure#11}>::{closure#0}>	66	12
116 core::slice::sort::shared::smallsort::sort4_stable::<scry_analyze_core::Advisory, <[scry_analyze_core::Advisory]>::sort_by_key<(u8, u32, u32), scry_analyze_core::compute_advisories::{closure#0}>::{closure#0}>	6	12
117 core::slice::sort::shared::smallsort::sort4_stable::<scry_analyze_core::FloatFact, <[scry_analyze_core::FloatFact]>::sort_by_key<(u32, u32, u32), scry_analyze_core::compute_float_facts::{closure#8}>::{closure#0}>	66	12
118 core::slice::sort::shared::smallsort::sort4_stable::<scry_analyze_core::TrapCheck, <[scry_analyze_core::TrapCheck]>::sort_by_key<(u32, u32, u8), scry_analyze_core::analyze::{closure#19}>::{closure#0}>	27	12
119 core::slice::sort::shared::smallsort::sort9_optimal::<u32, <u32 as core::cmp::PartialOrd>::lt>	13	16
120 core::slice::sort::shared::smallsort::sort13_optimal::<u32, <u32 as core::cmp::PartialOrd>::lt>	13	18
121 core::slice::sort::shared::smallsort::small_sort_network::<u32, <u32 as core::cmp::PartialOrd>::lt>	17	17
122 core::slice::sort::shared::smallsort::bidirectional_merge::<scry_analyze_core::PentagonFact, <[scry_analyze_core::PentagonFact]>::sort_by_key<(u32, u32), scry_analyze_core::compute_pentagon_facts::{closure#0}>::{closure#0}>	5	16
123 core::slice::sort::shared::smallsort::bidirectional_merge::<scry_analyze_core::HandleFinding, <[scry_analyze_core::HandleFinding]>::sort_by_key<(u32, u32), scry_analyze_core::compute_handle_findings::{closure#0}>::{closure#0}>	5	16
124 core::slice::sort::shared::smallsort::bidirectional_merge::<scry_analyze_core::Gap, <[scry_analyze_core::Gap]>::sort_by_key<(u32, u32), scry_analyze_core::analyze::{closure#18}>::{closure#0}>	5	16
125 core::slice::sort::shared::smallsort::bidirectional_merge::<scry_analyze_core::BitFact, <[scry_analyze_core::BitFact]>::sort_by_key<(u32, u32, u32), scry_analyze_core::compute_bit_facts::{closure#11}>::{closure#0}>	5	15
126 core::slice::sort::shared::smallsort::bidirectional_merge::<scry_analyze_core::Advisory, <[scry_analyze_core::Advisory]>::sort_by_key<(u8, u32, u32), scry_analyze_core::compute_advisories::{closure#0}>::{closure#0}>	5	15
127 core::slice::sort::shared::smallsort::bidirectional_merge::<scry_analyze_core::FloatFact, <[scry_analyze_core::FloatFact]>::sort_by_key<(u32, u32, u32), scry_analyze_core::compute_float_facts::{closure#8}>::{closure#0}>	5	15
128 core::slice::sort::shared::smallsort::bidirectional_merge::<scry_analyze_core::TrapCheck, <[scry_analyze_core::TrapCheck]>::sort_by_key<(u32, u32, u8), scry_analyze_core::analyze::{closure#19}>::{closure#0}>	5	15
129 core::slice::sort::shared::smallsort::insertion_sort_shift_left::<scry_analyze_core::PentagonFact, <[scry_analyze_core::PentagonFact]>::sort_by_key<(u32, u32), scry_analyze_core::compute_pentagon_facts::{closure#0}>::{closure#0}>	14	13
130 core::slice::sort::shared::smallsort::insertion_sort_shift_left::<scry_analyze_core::HandleFinding, <[scry_analyze_core::HandleFinding]>::sort_by_key<(u32, u32), scry_analyze_core::compute_handle_findings::{closure#0}>::{closure#0}>	28	15
131 core::slice::sort::shared::smallsort::insertion_sort_shift_left::<scry_analyze_core::BitFact, <[scry_analyze_core::BitFact]>::sort_by_key<(u32, u32, u32), scry_analyze_core::compute_bit_facts::{closure#11}>::{closure#0}>	201	13
132 core::slice::sort::shared::smallsort::insertion_sort_shift_left::<scry_analyze_core::Advisory, <[scry_analyze_core::Advisory]>::sort_by_key<(u8, u32, u32), scry_analyze_core::compute_advisories::{closure#0}>::{closure#0}>	29	15
133 core::slice::sort::shared::smallsort::insertion_sort_shift_left::<scry_analyze_core::FloatFact, <[scry_analyze_core::FloatFact]>::sort_by_key<(u32, u32, u32), scry_analyze_core::compute_float_facts::{closure#8}>::{closure#0}>	207	15
134 core::slice::sort::shared::smallsort::insertion_sort_shift_left::<u32, <u32 as core::cmp::PartialOrd>::lt>	10	9
135 core::slice::sort::shared::smallsort::small_sort_general_with_scratch::<scry_analyze_core::PentagonFact, <[scry_analyze_core::PentagonFact]>::sort_by_key<(u32, u32), scry_analyze_core::compute_pentagon_facts::{closure#0}>::{closure#0}>	13	21
136 core::slice::sort::shared::smallsort::small_sort_general_with_scratch::<scry_analyze_core::HandleFinding, <[scry_analyze_core::HandleFinding]>::sort_by_key<(u32, u32), scry_analyze_core::compute_handle_findings::{closure#0}>::{closure#0}>	13	21
137 core::slice::sort::shared::smallsort::small_sort_general_with_scratch::<scry_analyze_core::Gap, <[scry_analyze_core::Gap]>::sort_by_key<(u32, u32), scry_analyze_core::analyze::{closure#18}>::{closure#0}>	13	21
138 core::slice::sort::shared::smallsort::small_sort_general_with_scratch::<scry_analyze_core::BitFact, <[scry_analyze_core::BitFact]>::sort_by_key<(u32, u32, u32), scry_analyze_core::compute_bit_facts::{closure#11}>::{closure#0}>	18	29
139 core::slice::sort::shared::smallsort::small_sort_general_with_scratch::<scry_analyze_core::Advisory, <[scry_analyze_core::Advisory]>::sort_by_key<(u8, u32, u32), scry_analyze_core::compute_advisories::{closure#0}>::{closure#0}>	18	27
140 core::slice::sort::shared::smallsort::small_sort_general_with_scratch::<scry_analyze_core::FloatFact, <[scry_analyze_core::FloatFact]>::sort_by_key<(u32, u32, u32), scry_analyze_core::compute_float_facts::{closure#8}>::{closure#0}>	18	29
141 core::slice::sort::shared::smallsort::small_sort_general_with_scratch::<scry_analyze_core::TrapCheck, <[scry_analyze_core::TrapCheck]>::sort_by_key<(u32, u32, u8), scry_analyze_core::analyze::{closure#19}>::{closure#0}>	18	29
142 core::slice::sort::stable::drift::create_run::<scry_analyze_core::PentagonFact, <[scry_analyze_core::PentagonFact]>::sort_by_key<(u32, u32), scry_analyze_core::compute_pentagon_facts::{closure#0}>::{closure#0}>	25	11
143 core::slice::sort::stable::quicksort::quicksort::<scry_analyze_core::PentagonFact, <[scry_analyze_core::PentagonFact]>::sort_by_key<(u32, u32), scry_analyze_core::compute_pentagon_facts::{closure#0}>::{closure#0}>	28	21
144 core::slice::sort::stable::drift::create_run::<scry_analyze_core::HandleFinding, <[scry_analyze_core::HandleFinding]>::sort_by_key<(u32, u32), scry_analyze_core::compute_handle_findings::{closure#0}>::{closure#0}>	25	11
145 core::slice::sort::stable::quicksort::quicksort::<scry_analyze_core::HandleFinding, <[scry_analyze_core::HandleFinding]>::sort_by_key<(u32, u32), scry_analyze_core::compute_handle_findings::{closure#0}>::{closure#0}>	28	21
146 core::slice::sort::stable::drift::create_run::<scry_analyze_core::Gap, <[scry_analyze_core::Gap]>::sort_by_key<(u32, u32), scry_analyze_core::analyze::{closure#18}>::{closure#0}>	25	11
147 core::slice::sort::stable::quicksort::quicksort::<scry_analyze_core::Gap, <[scry_analyze_core::Gap]>::sort_by_key<(u32, u32), scry_analyze_core::analyze::{closure#18}>::{closure#0}>	28	21
148 core::slice::sort::stable::drift::create_run::<scry_analyze_core::BitFact, <[scry_analyze_core::BitFact]>::sort_by_key<(u32, u32, u32), scry_analyze_core::compute_bit_facts::{closure#11}>::{closure#0}>	53	13
149 core::slice::sort::stable::quicksort::quicksort::<scry_analyze_core::BitFact, <[scry_analyze_core::BitFact]>::sort_by_key<(u32, u32, u32), scry_analyze_core::compute_bit_facts::{closure#11}>::{closure#0}>	28	21
150 core::slice::sort::stable::drift::create_run::<scry_analyze_core::Advisory, <[scry_analyze_core::Advisory]>::sort_by_key<(u8, u32, u32), scry_analyze_core::compute_advisories::{closure#0}>::{closure#0}>	16	13
151 core::slice::sort::stable::quicksort::quicksort::<scry_analyze_core::Advisory, <[scry_analyze_core::Advisory]>::sort_by_key<(u8, u32, u32), scry_analyze_core::compute_advisories::{closure#0}>::{closure#0}>	28	21
152 core::slice::sort::stable::drift::create_run::<scry_analyze_core::FloatFact, <[scry_analyze_core::FloatFact]>::sort_by_key<(u32, u32, u32), scry_analyze_core::compute_float_facts::{closure#8}>::{closure#0}>	53	13
153 core::slice::sort::stable::quicksort::quicksort::<scry_analyze_core::FloatFact, <[scry_analyze_core::FloatFact]>::sort_by_key<(u32, u32, u32), scry_analyze_core::compute_float_facts::{closure#8}>::{closure#0}>	28	21
154 core::slice::sort::stable::drift::create_run::<scry_analyze_core::TrapCheck, <[scry_analyze_core::TrapCheck]>::sort_by_key<(u32, u32, u8), scry_analyze_core::analyze::{closure#19}>::{closure#0}>	37	13
155 core::slice::sort::stable::quicksort::quicksort::<scry_analyze_core::TrapCheck, <[scry_analyze_core::TrapCheck]>::sort_by_key<(u32, u32, u8), scry_analyze_core::analyze::{closure#19}>::{closure#0}>	28	21
156 core::slice::sort::stable::merge::merge::<scry_analyze_core::PentagonFact, <[scry_analyze_core::PentagonFact]>::sort_by_key<(u32, u32), scry_analyze_core::compute_pentagon_facts::{closure#0}>::{closure#0}>	16	11
157 core::slice::sort::stable::merge::merge::<scry_analyze_core::HandleFinding, <[scry_analyze_core::HandleFinding]>::sort_by_key<(u32, u32), scry_analyze_core::compute_handle_findings::{closure#0}>::{closure#0}>	16	11
158 core::slice::sort::stable::merge::merge::<scry_analyze_core::Gap, <[scry_analyze_core::Gap]>::sort_by_key<(u32, u32), scry_analyze_core::analyze::{closure#18}>::{closure#0}>	16	11
159 core::slice::sort::stable::merge::merge::<scry_analyze_core::BitFact, <[scry_analyze_core::BitFact]>::sort_by_key<(u32, u32, u32), scry_analyze_core::compute_bit_facts::{closure#11}>::{closure#0}>	16	11
160 core::slice::sort::stable::merge::merge::<scry_analyze_core::Advisory, <[scry_analyze_core::Advisory]>::sort_by_key<(u8, u32, u32), scry_analyze_core::compute_advisories::{closure#0}>::{closure#0}>	16	10
161 core::slice::sort::stable::merge::merge::<scry_analyze_core::FloatFact, <[scry_analyze_core::FloatFact]>::sort_by_key<(u32, u32, u32), scry_analyze_core::compute_float_facts::{closure#8}>::{closure#0}>	16	11
162 core::slice::sort::stable::merge::merge::<scry_analyze_core::TrapCheck, <[scry_analyze_core::TrapCheck]>::sort_by_key<(u32, u32, u8), scry_analyze_core::analyze::{closure#19}>::{closure#0}>	16	11
163 core::slice::sort::unstable::heapsort::heapsort::<u32, <u32 as core::cmp::PartialOrd>::lt>	3	9
164 core::slice::sort::unstable::quicksort::partition::<u32, core::slice::sort::unstable::quicksort::quicksort<u32, <u32 as core::cmp::PartialOrd>::lt>::{closure#0}>	13	12
165 core::slice::sort::unstable::quicksort::partition::<u32, <u32 as core::cmp::PartialOrd>::lt>	13	12
166 <alloc::collections::btree::map::BTreeMap<_, _, _> as core::clone::Clone>::clone::clone_subtree::<usize, alloc::collections::btree::set_val::SetValZST, alloc::alloc::Global>	16	16
167 <alloc::vec::Vec<usize> as alloc::vec::spec_from_iter_nested::SpecFromIterNested<usize, core::iter::adapters::copied::Copied<alloc::collections::btree::set::Iter<usize>>>>::from_iter	57	7
168 scry_analyze_core::build_end_map	33	10
169 <core::slice::iter::Iter<scry_analyze_core::DefinedFunc> as core::iter::traits::iterator::Iterator>::any::<scry_analyze_core::analyze::{closure#15}>	11	6
170 <core::slice::iter::Iter<scry_analyze_core::DefinedFunc> as core::iter::traits::iterator::Iterator>::any::<scry_analyze_core::analyze::{closure#21}>	11	9
171 <core::iter::adapters::map::Map<core::slice::iter::Iter<scry_analyze_core::AbstractValue>, scry_analyze_core::clone_value> as core::iter::traits::iterator::Iterator>::collect::<alloc::vec::Vec<scry_analyze_core::AbstractValue>>	14	11
172 scry_analyze_core::tarjan_sccs	60	10
173 <alloc::vec::Vec<core::option::Option<u32>> as alloc::vec::spec_from_iter_nested::SpecFromIterNested<core::option::Option<u32>, core::iter::adapters::map::Map<core::ops::range::Range<usize>, scry_analyze_core::tarjan_sccs::{closure#0}>>>::from_iter	17	10
174 <alloc::raw_vec::RawVec<usize>>::grow_one	24	2
175 <alloc::raw_vec::RawVec<alloc::vec::Vec<usize>>>::grow_one	24	2
176 <alloc::raw_vec::RawVec<(usize, usize)>>::grow_one	24	2
177 scry_analyze_core::reduce_locals	13	9
178 scry_analyze_core::inject_intervals	18	8
179 <alloc::vec::Vec<scry_analyze_core::AbstractValue> as alloc::vec::spec_from_iter_nested::SpecFromIterNested<scry_analyze_core::AbstractValue, core::iter::adapters::map::Map<core::iter::adapters::enumerate::Enumerate<core::slice::iter::Iter<scry_analyze_core::AbstractValue>>, scry_analyze_core::reduce_locals::{closure#1}>>>::from_iter	15	8
180 scry_analyze_core::op_report_name	28	14
181 scry_analyze_core::op_name	5	4
182 <&wasmparser::readers::core::operators::Operator as core::fmt::Debug>::fmt	5	2
183 scry_analyze_core::extract_results	37	10
184 <alloc::raw_vec::RawVec<scry_analyze_core::AbstractValue>>::grow_one	24	2
185 scry_analyze_core::refine_interval	2	7
186 scry_analyze_core::top_input_locals	37	9
187 scry_analyze_core::compute_bit_facts	44	48
188 <alloc::raw_vec::RawVec<core::option::Option<(scry_bits::BitsCong, u32)>>>::grow_one	24	2
189 <scry_bits::BitsCong>::reduce	9	25
190 <alloc::raw_vec::RawVec<scry_analyze_core::BitFact>>::grow_one	24	2
191 scry_analyze_core::resolve_sp_global	6	10
192 scry_analyze_core::run_function_body	23	22
193 <scry_analyze_core::Interp>::seq	19	111
194 scry_analyze_core::compute_advisories	24	26
195 <alloc::raw_vec::RawVec<scry_analyze_core::Advisory>>::grow_one	24	2
196 scry_analyze_core::handle_memory_load	37	22
197 <alloc::raw_vec::RawVec<scry_analyze_core::TrapCheck>>::grow_one	24	2
198 <scry_analyze_core::FuncCtx>::scrub_to_top	9	11
199 scry_analyze_core::refine_octagon_rel	7	7
200 scry_analyze_core::run_taint_analysis	45	24
201 <alloc::raw_vec::RawVec<scry_analyze_core::Taint>>::grow_one	24	2
202 <alloc::raw_vec::RawVec<scry_taint::Label>>::grow_one	24	2
203 <alloc::raw_vec::RawVec<scry_analyze_core::TaintFinding>>::grow_one	24	2
204 scry_analyze_core::build_function_meta	17	18
205 <alloc::vec::Vec<alloc::string::String> as alloc::vec::spec_from_iter_nested::SpecFromIterNested<alloc::string::String, core::iter::adapters::map::Map<core::iter::adapters::filter::Filter<core::slice::iter::Iter<(u32, alloc::string::String)>, scry_analyze_core::build_function_meta::{closure#0}>, scry_analyze_core::build_function_meta::{closure#1}>>>::from_iter	191	8
206 <alloc::raw_vec::RawVec<scry_analyze_core::FunctionMeta>>::grow_one	24	2
207 scry_analyze_core::compute_float_facts	48	31
208 <alloc::raw_vec::RawVec<core::option::Option<(scry_float::FloatAbstract, u32)>>>::grow_one	24	2
209 <alloc::raw_vec::RawVec<scry_analyze_core::FloatFact>>::grow_one	24	2
210 scry_analyze_core::compute_stack_usage	14	25
211 <alloc::vec::Vec<scry_analyze_core::StackBound> as alloc::vec::spec_from_iter_nested::SpecFromIterNested<scry_analyze_core::StackBound, core::iter::adapters::map::Map<core::slice::iter::Iter<scry_analyze_core::DefinedFunc>, scry_analyze_core::compute_stack_usage::{closure#0}>>>::from_iter	73	8
212 <alloc::vec::Vec<bool> as alloc::vec::spec_from_iter_nested::SpecFromIterNested<bool, core::iter::adapters::map::Map<core::slice::iter::Iter<scry_analyze_core::DefinedFunc>, scry_analyze_core::compute_stack_usage::{closure#1}>>>::from_iter	61	13
213 <alloc::vec::Vec<scry_analyze_core::FunctionStack> as alloc::vec::spec_from_iter_nested::SpecFromIterNested<scry_analyze_core::FunctionStack, core::iter::adapters::map::Map<core::ops::range::Range<usize>, scry_analyze_core::compute_stack_usage::{closure#2}>>>::from_iter	20	8
214 scry_analyze_core::handle_memory_store	37	24
215 scry_analyze_core::compute_pentagon_facts	36	21
216 <alloc::raw_vec::RawVec<scry_analyze_core::PentagonFact>>::grow_one	24	2
217 scry_analyze_core::resolved_stack_callees	23	22
218 <alloc::collections::btree::map::entry::VacantEntry<usize, alloc::collections::btree::set_val::SetValZST>>::insert_entry	30	6
219 <alloc::vec::Vec<alloc::vec::Vec<usize>> as alloc::vec::spec_from_iter_nested::SpecFromIterNested<alloc::vec::Vec<usize>, core::iter::adapters::map::Map<core::ops::range::Range<usize>, scry_analyze_core::resolved_stack_callees::{closure#1}>>>::from_iter	20	8
220 <alloc::collections::btree::map::IntoIter<usize, alloc::collections::btree::set_val::SetValZST>>::dying_next	36	12
221 scry_analyze_core::build_static_call_graph	22	17
222 scry_analyze_core::compute_handle_findings	28	16
223 <alloc::raw_vec::RawVec<scry_analyze_core::HandleFinding>>::grow_one	24	2
224 scry_analyze_core::emit_call_indirect_edge	52	21
225 <alloc::raw_vec::RawVec<scry_analyze_core::CallEdge>>::grow_one	24	2
226 scry_analyze_core::sccs_reverse_topo_order	25	8
227 scry_analyze_core::const_expr_takes_func_ref	13	5
228 scry_analyze_core::recursive_flags_from_sccs	31	14
229 scry_analyze_core::const_expr_ref_func_targets	29	5
230 scry_analyze_core::compute_reachable_from_exports	33	14
231 scry_analyze_core::analyze	34	218
232 <generic_array::GenericArray<u8, typenum::uint::UInt<typenum::uint::UInt<typenum::uint::UInt<typenum::uint::UInt<typenum::uint::UInt<typenum::uint::UInt<typenum::uint::UTerm, typenum::bit::B1>, typenum::bit::B0>, typenum::bit::B0>, typenum::bit::B0>, typenum::bit::B0>, typenum::bit::B0>> as core::fmt::LowerHex>::fmt	7	11
233 <core::iter::sources::from_fn::FromFn<<wasmparser::parser::Parser>::parse_all::{closure#0}> as core::iter::traits::iterator::Iterator>::next	9	6
234 alloc::fmt::format	8	7
235 <alloc::vec::into_iter::IntoIter<(usize, wasmparser::readers::core::types::SubType)> as core::ops::drop::Drop>::drop	23	5
236 <alloc::raw_vec::RawVec<(alloc::vec::Vec<wasmparser::readers::core::types::ValType>, alloc::vec::Vec<wasmparser::readers::core::types::ValType>)>>::grow_one	24	2
237 <alloc::raw_vec::RawVec<(u32, alloc::string::String)>>::grow_one	24	2
238 <alloc::raw_vec::RawVec<(u64, alloc::vec::Vec<u32>)>>::grow_one	24	2
239 <alloc::raw_vec::RawVec<alloc::string::String>>::grow_one	24	2
240 <core::option::Option<&(alloc::vec::Vec<wasmparser::readers::core::types::ValType>, alloc::vec::Vec<wasmparser::readers::core::types::ValType>)>>::cloned	35	10
241 <alloc::raw_vec::RawVec<scry_analyze_core::DefinedFunc>>::grow_one	24	2
242 <alloc::raw_vec::RawVec<wasmparser::readers::core::operators::Operator>>::grow_one	24	2
243 <alloc::vec::Vec<core::option::Option<scry_analyze_core::SummaryEntry>> as alloc::vec::spec_from_iter_nested::SpecFromIterNested<core::option::Option<scry_analyze_core::SummaryEntry>, core::iter::adapters::map::Map<core::ops::range::Range<usize>, scry_analyze_core::analyze::{closure#17}>>>::from_iter	17	10
244 <alloc::vec::Vec<scry_analyze_core::FunctionSummary>>::with_capacity	24	4
245 <[u32]>::contains	3	7
246 <alloc::vec::Vec<scry_analyze_core::AbstractValue> as alloc::vec::spec_from_iter_nested::SpecFromIterNested<scry_analyze_core::AbstractValue, core::iter::adapters::map::Map<core::iter::adapters::zip::Zip<core::slice::iter::Iter<scry_analyze_core::AbstractValue>, core::slice::iter::Iter<scry_analyze_core::AbstractValue>>, scry_analyze_core::join_locals::{closure#0}>>>::from_iter	69	8
247 <alloc::vec::Vec<scry_analyze_core::AbstractValue> as alloc::vec::spec_from_iter_nested::SpecFromIterNested<scry_analyze_core::AbstractValue, core::iter::adapters::map::Map<core::ops::range::Range<usize>, scry_analyze_core::analyze::{closure#23}::{closure#0}>>>::from_iter	17	10
248 <alloc::raw_vec::RawVec<scry_analyze_core::FunctionSummary>>::grow_one	24	2
249 <str as alloc::string::ToString>::to_string	30	7
250 scry_analyze_core::i32_binop	28	18
251 <alloc::raw_vec::RawVec<scry_analyze_core::Gap>>::grow_one	24	2
252 <alloc::raw_vec::RawVec<scry_analyze_core::ProgramPoint>>::grow_one	24	2
253 <alloc::raw_vec::RawVec<scry_analyze_core::Label>>::grow_one	24	2
254 <scry_analyze_core::Label>::record	53	19
255 <scry_analyze_core::Interp>::loop_region	185	33
256 <alloc::vec::Vec<scry_analyze_core::AbstractValue> as alloc::vec::spec_from_iter_nested::SpecFromIterNested<scry_analyze_core::AbstractValue, core::iter::adapters::map::Map<core::iter::adapters::zip::Zip<core::slice::iter::Iter<scry_analyze_core::AbstractValue>, core::slice::iter::Iter<scry_analyze_core::AbstractValue>>, scry_analyze_core::widen_locals::{closure#0}>>>::from_iter	69	8
257 <alloc::vec::into_iter::IntoIter<core::option::Option<scry_analyze_core::BreakState>> as core::ops::drop::Drop>::drop	74	5
258 scry_analyze_core::domain::i32_add	7	5
259 scry_analyze_core::domain::i32_sub	7	5
260 scry_analyze_core::domain::i32_mul	7	5
261 <wasmparser::readers::core::operators::Operator as core::fmt::Debug>::fmt	6	3
262 <alloc::raw_vec::RawVec<scry_analyze_core::Diagnostic> as core::ops::drop::Drop>::drop	5	1
263 <alloc::raw_vec::RawVec<scry_analyze_core::PentagonFact> as core::ops::drop::Drop>::drop	5	1
264 <alloc::raw_vec::RawVec<scry_analyze_core::ProgramPoint> as core::ops::drop::Drop>::drop	5	1
265 <alloc::raw_vec::RawVec<scry_analyze_core::AbstractValue> as core::ops::drop::Drop>::drop	5	1
266 <alloc::raw_vec::RawVec<scry_analyze_core::HandleFinding> as core::ops::drop::Drop>::drop	5	1
267 <alloc::raw_vec::RawVec<scry_analyze_core::Gap> as core::ops::drop::Drop>::drop	5	1
268 <alloc::raw_vec::RawVec<scry_analyze_core::BitFact> as core::ops::drop::Drop>::drop	5	1
269 <alloc::raw_vec::RawVec<scry_analyze_core::Advisory> as core::ops::drop::Drop>::drop	5	1
270 <alloc::raw_vec::RawVec<scry_analyze_core::CallEdge> as core::ops::drop::Drop>::drop	5	1
271 <alloc::raw_vec::RawVec<scry_analyze_core::FloatFact> as core::ops::drop::Drop>::drop	5	1
272 <alloc::raw_vec::RawVec<scry_analyze_core::TrapCheck> as core::ops::drop::Drop>::drop	5	1
273 <alloc::raw_vec::RawVec<alloc::string::String> as core::ops::drop::Drop>::drop	5	1
274 <&alloc::vec::Vec<wasmparser::readers::core::types::ValType> as core::fmt::Debug>::fmt	9	2
275 <&alloc::vec::Vec<wasmparser::readers::core::operators::Catch> as core::fmt::Debug>::fmt	25	4
276 <&alloc::vec::Vec<wasmparser::readers::core::operators::Handle> as core::fmt::Debug>::fmt	25	4
277 <&wasmparser::readers::core::types::UnpackedIndex as core::fmt::Debug>::fmt	45	4
278 <&wasmparser::readers::core::types::AbstractHeapType as core::fmt::Debug>::fmt	3	2
279 <&wasmparser::readers::core::types::HeapType as core::fmt::Debug>::fmt	8	3
280 <&wasmparser::readers::core::operators::ResumeTable as core::fmt::Debug>::fmt	26	3
281 <&wasmparser::readers::core::operators::Catch as core::fmt::Debug>::fmt	9	3
282 <&wasmparser::readers::core::operators::Handle as core::fmt::Debug>::fmt	55	3
283 <&wasmparser::readers::core::operators::Ieee32 as core::fmt::Debug>::fmt	24	3
284 <&wasmparser::readers::core::operators::Ieee64 as core::fmt::Debug>::fmt	24	3
285 <&wasmparser::readers::core::operators::MemArg as core::fmt::Debug>::fmt	45	3
286 <&wasmparser::readers::core::operators::BrTable as core::fmt::Debug>::fmt	5	2
287 <&wasmparser::readers::core::operators::TryTable as core::fmt::Debug>::fmt	33	3
288 <&wasmparser::readers::core::operators::BlockType as core::fmt::Debug>::fmt	16	4
289 <&i32 as core::fmt::Debug>::fmt	8	3
290 <&i64 as core::fmt::Debug>::fmt	8	3
291 <&u64 as core::fmt::Debug>::fmt	8	3
292 <wasmparser::readers::core::operators::Ordering as core::fmt::Debug>::fmt	4	2
293 <u8 as core::fmt::Debug>::fmt	5	3
294 <u32 as core::fmt::Debug>::fmt	5	3
295 <u64 as core::fmt::Debug>::fmt	5	3
296 <bool as core::fmt::Debug>::fmt	4	2
297 <alloc::vec::Vec<scry_analyze_core::Diagnostic> as core::ops::drop::Drop>::drop	25	3
298 <alloc::vec::Vec<scry_analyze_core::PentagonFact> as core::ops::drop::Drop>::drop	1	1
299 <alloc::vec::Vec<scry_analyze_core::ProgramPoint> as core::ops::drop::Drop>::drop	43	3
300 <alloc::vec::Vec<scry_analyze_core::AbstractValue> as core::ops::drop::Drop>::drop	1	1
301 <alloc::vec::Vec<scry_analyze_core::HandleFinding> as core::ops::drop::Drop>::drop	25	3
302 <alloc::vec::Vec<scry_analyze_core::Gap> as core::ops::drop::Drop>::drop	25	3
303 <alloc::vec::Vec<scry_analyze_core::BitFact> as core::ops::drop::Drop>::drop	1	1
304 <alloc::vec::Vec<scry_analyze_core::CallEdge> as core::ops::drop::Drop>::drop	31	3
305 <alloc::vec::Vec<scry_analyze_core::FloatFact> as core::ops::drop::Drop>::drop	1	1
306 <alloc::vec::Vec<scry_analyze_core::TrapCheck> as core::ops::drop::Drop>::drop	25	3
307 <alloc::vec::Vec<alloc::string::String> as core::ops::drop::Drop>::drop	25	3
308 <wasmparser::readers::core::operators::BlockType as core::fmt::Debug>::fmt	14	4
309 <scry_handle::HandleState>::use_is_after_drop	2	1
310 scry_float::hull_corners	7	12
311 <scry_float::FloatAbstract>::abs	2	5
312 <scry_float::FloatAbstract>::add	8	14
313 <scry_float::FloatAbstract>::mul	9	14
314 <scry_float::FloatAbstract>::sub	7	5
315 <scry_float::FloatAbstract>::constant	3	3
316 alloc::vec::from_elem::<bool>	50	7
317 <alloc::raw_vec::RawVecInner<_>>::reserve::do_reserve_and_handle::<alloc::alloc::Global>	26	8
318 <alloc::raw_vec::RawVecInner>::finish_grow	3	7
319 <scry_pentagon::Pentagon>::set_interval	14	5
320 <scry_pentagon::Pentagon>::top	7	12
321 <scry_pentagon::Pentagon>::assume_lt	23	4
322 <alloc::vec::Vec<bool>>::reserve	15	3
323 <alloc::raw_vec::RawVec<bool> as core::ops::drop::Drop>::drop	10	2
324 <alloc::vec::Vec<i64> as core::clone::Clone>::clone	14	6
325 <alloc::vec::Vec<bool> as core::ops::drop::Drop>::drop	1	1
326 core::ptr::drop_glue::<alloc::vec::Vec<scry_provenance::ComponentOrigin>>	44	5
327 core::slice::copy_from_slice_impl::<u8>	5	5
328 <alloc::raw_vec::RawVecInner<_>>::reserve::do_reserve_and_handle::<alloc::alloc::Global>	26	8
329 <alloc::raw_vec::RawVecInner>::finish_grow	3	7
330 scry_provenance::decode	24	35
331 scry_provenance::take_u32	15	9
332 <alloc::vec::Vec<scry_provenance::ComponentOrigin>>::with_capacity	7	6
333 <alloc::raw_vec::RawVec<scry_provenance::ComponentOrigin>>::grow_one	14	4
334 scry_provenance::project	9	7
335 <alloc::raw_vec::RawVecInner>::deallocate	28	4
336 <alloc::raw_vec::RawVecInner>::grow_amortized	25	9
337 <alloc::raw_vec::RawVecInner>::try_allocate_in	3	6
338 <scry_provenance::DecodeError as core::fmt::Display>::fmt	6	3
339 <&usize as core::fmt::Display>::fmt	5	2
340 <[u8; 4] as core::fmt::Debug>::fmt	21	3
341 <&[u8; 4] as core::fmt::Debug>::fmt	24	3
342 <&u8 as core::fmt::Display>::fmt	5	2
343 <alloc::raw_vec::RawVec<scry_provenance::ComponentOrigin> as core::ops::drop::Drop>::drop	8	2
344 <alloc::raw_vec::RawVec<u8> as core::ops::drop::Drop>::drop	10	2
345 <&u8 as core::fmt::Debug>::fmt	8	3
346 <alloc::vec::Vec<scry_provenance::ComponentOrigin> as core::ops::drop::Drop>::drop	36	3
347 <alloc::vec::Vec<u8> as core::ops::drop::Drop>::drop	1	1
348 <alloc::vec::Vec<i64>>::dedup_by::<<alloc::vec::Vec<i64>>::dedup::{closure#0}>	12	10
349 core::slice::sort::unstable::ipnsort::<i64, <i64 as core::cmp::PartialOrd>::lt>	10	10
350 core::slice::sort::unstable::quicksort::quicksort::<i64, <i64 as core::cmp::PartialOrd>::lt>	20	11
351 core::slice::sort::shared::pivot::median3_rec::<i64, <i64 as core::cmp::PartialOrd>::lt>	2	10
352 core::slice::sort::shared::smallsort::sort9_optimal::<i64, <i64 as core::cmp::PartialOrd>::lt>	12	17
353 core::slice::sort::shared::smallsort::sort13_optimal::<i64, <i64 as core::cmp::PartialOrd>::lt>	12	19
354 core::slice::sort::shared::smallsort::small_sort_network::<i64, <i64 as core::cmp::PartialOrd>::lt>	17	20
355 core::slice::sort::shared::smallsort::insertion_sort_shift_left::<i64, <i64 as core::cmp::PartialOrd>::lt>	10	9
356 core::slice::sort::unstable::heapsort::heapsort::<i64, <i64 as core::cmp::PartialOrd>::lt>	3	10
357 core::slice::sort::unstable::quicksort::partition::<i64, core::slice::sort::unstable::quicksort::quicksort<i64, <i64 as core::cmp::PartialOrd>::lt>::{closure#0}>	13	13
358 core::slice::sort::unstable::quicksort::partition::<i64, <i64 as core::cmp::PartialOrd>::lt>	13	13
359 core::ptr::swap_nonoverlapping_bytes::swap_nonoverlapping_chunks::<4>	3	11
360 scry_segment::top	7	1
361 <scry_segment::Segmentation>::boundaries	19	11
362 <alloc::raw_vec::RawVec<i64>>::grow_one	14	4
363 <scry_segment::Segmentation>::weak_store	14	21
364 <alloc::raw_vec::RawVec<scry_segment::Seg>>::grow_one	14	4
365 <scry_segment::Segmentation>::from_sorted_ranges	26	15
366 <scry_segment::Segmentation>::strong_store	14	21
367 <scry_segment::Segmentation>::leq	17	18
368 <scry_segment::Segmentation>::join	31	20
369 <scry_segment::Segmentation>::load	7	7
370 <scry_segment::Segmentation>::widen	32	20
371 <scry_segment::Segmentation>::segments	5	2
372 <alloc::raw_vec::RawVecInner>::finish_grow	3	7
373 <alloc::raw_vec::RawVec<scry_segment::Seg> as core::ops::drop::Drop>::drop	8	2
374 <alloc::raw_vec::RawVec<i64> as core::ops::drop::Drop>::drop	8	2
375 <alloc::vec::Vec<scry_segment::Seg> as core::clone::Clone>::clone	14	6
376 <alloc::vec::Vec<scry_segment::Seg> as core::ops::drop::Drop>::drop	1	1
377 <alloc::vec::Vec<i64> as core::ops::drop::Drop>::drop	1	1
378 scry_interval::region_offset	2	9
379 scry_interval::widen_with_thresholds	9	16
380 scry_interval::leq	4	5
381 scry_interval::join	3	5
382 scry_interval::meet	3	5
383 scry_interval::widen	3	5
384 scry_interval::i32_add	3	6
385 scry_interval::i32_mul	12	8
386 scry_interval::i32_sub	3	6
387 <alloc::raw_vec::RawVecInner>::finish_grow	3	7
388 scry_octagon::assign_copy	28	17
389 scry_octagon::forget	13	19
390 scry_octagon::add_bound	6	12
391 scry_octagon::assign_const	13	16
392 scry_octagon::strong_close	13	20
393 scry_octagon::close	6	22
394 scry_octagon::assign_add_const	25	26
395 scry_octagon::leq	13	15
396 scry_octagon::top	4	12
397 scry_octagon::join	17	17
398 scry_octagon::widen	12	15
399 scry_octagon::narrow	6	14
400 scry_octagon::add_diff	10	6
401 scry_octagon::bound_of	13	11
402 scry_octagon::relations	21	22
403 <alloc::raw_vec::RawVec<scry_octagon::Relation>>::grow_one	14	4
404 scry_octagon::set_lower	2	5
405 scry_octagon::set_upper	2	4
406 <str>::starts_with::<&str>	13	5
407 <wasmparser::binary_reader::BinaryReaderError>::_new	21	4
408 <wasmparser::binary_reader::BinaryReaderError>::new::<&alloc::string::String>	23	3
409 <wasmparser::binary_reader::BinaryReaderError>::new::<&str>	40	8
410 <wasmparser::binary_reader::BinaryReader>::read::<u32>	22	7
411 <wasmparser::binary_reader::BinaryReader>::read_var_u32_big	17	12
412 <wasmparser::binary_reader::BinaryReader>::skip::<wasmparser::parser::single_item<u32>::{closure#0}>	86	8
413 <wasmparser::binary_reader::BinaryReader>::skip::<wasmparser::parser::section<wasmparser::readers::SectionLimited<wasmparser::readers::core::data::Data>>::{closure#0}>	86	8
414 <wasmparser::binary_reader::BinaryReader>::skip::<wasmparser::parser::section<wasmparser::readers::SectionLimited<wasmparser::readers::core::types::MemoryType>>::{closure#0}>	86	8
415 <wasmparser::binary_reader::BinaryReader>::skip::<wasmparser::parser::section<wasmparser::readers::SectionLimited<wasmparser::readers::core::types::TagType>>::{closure#0}>	86	8
416 <wasmparser::binary_reader::BinaryReader>::skip::<wasmparser::parser::section<wasmparser::readers::SectionLimited<wasmparser::readers::core::types::RecGroup>>::{closure#0}>	86	8
417 <wasmparser::binary_reader::BinaryReader>::skip::<wasmparser::parser::section<wasmparser::readers::SectionLimited<wasmparser::readers::core::tables::Table>>::{closure#0}>	86	8
418 <wasmparser::binary_reader::BinaryReader>::skip::<wasmparser::parser::section<wasmparser::readers::SectionLimited<wasmparser::readers::core::exports::Export>>::{closure#0}>	86	8
419 <wasmparser::binary_reader::BinaryReader>::skip::<wasmparser::parser::section<wasmparser::readers::SectionLimited<wasmparser::readers::core::globals::Global>>::{closure#0}>	86	8
420 <wasmparser::binary_reader::BinaryReader>::skip::<wasmparser::parser::section<wasmparser::readers::SectionLimited<wasmparser::readers::core::imports::Imports>>::{closure#0}>	86	8
421 <wasmparser::binary_reader::BinaryReader>::skip::<wasmparser::parser::section<wasmparser::readers::SectionLimited<wasmparser::readers::core::elements::Element>>::{closure#0}>	86	8
422 <wasmparser::binary_reader::BinaryReader>::skip::<wasmparser::parser::section<wasmparser::readers::SectionLimited<u32>>::{closure#0}>	86	8
423 <wasmparser::binary_reader::BinaryReader>::skip::<wasmparser::parser::section<wasmparser::readers::core::custom::CustomSectionReader>::{closure#0}>	86	8
424 <wasmparser::binary_reader::BinaryReader>::skip::<<wasmparser::binary_reader::BinaryReader>::read_reader::{closure#0}>	86	8
425 <wasmparser::binary_reader::BinaryReader>::skip::<<wasmparser::binary_reader::BinaryReader>::read_br_table::{closure#0}>	17	10
426 <wasmparser::binary_reader::BinaryReader>::skip::<<wasmparser::readers::core::imports::Imports as wasmparser::readers::FromReader>::from_reader::{closure#0}>	24	8
427 <wasmparser::binary_reader::BinaryReader>::skip_string	23	6
428 <wasmparser::readers::core::imports::TypeRef as wasmparser::readers::FromReader>::from_reader	12	9
429 <wasmparser::binary_reader::BinaryReader>::skip::<<wasmparser::readers::core::imports::Imports as wasmparser::readers::FromReader>::from_reader::{closure#1}>	24	7
430 <wasmparser::binary_reader::BinaryReader>::skip::<<wasmparser::readers::core::elements::Element as wasmparser::readers::FromReader>::from_reader::{closure#0}>	24	13
431 <wasmparser::readers::core::operators::OperatorsReader>::skip_const_expr	23	9
432 <wasmparser::binary_reader::BinaryReader>::skip::<<wasmparser::readers::core::init::ConstExpr as wasmparser::readers::FromReader>::from_reader::{closure#0}>	12	8
433 <wasmparser::binary_reader::BinaryReader>::read_size	34	9
434 <wasmparser::binary_reader::BinaryReader>::expect_frame::<wasmparser::readers::core::operators::FrameStackAdapter<wasmparser::readers::core::operators::OperatorFactory>>	14	6
435 <wasmparser::readers::core::operators::FrameKind as core::fmt::Debug>::fmt	2	2
436 <&str as core::fmt::Display>::fmt	7	2
437 <wasmparser::binary_reader::BinaryReaderError>::fmt	9	8
438 <wasmparser::binary_reader::BinaryReader>::visit_operator::<wasmparser::readers::core::operators::FrameStackAdapter<wasmparser::readers::core::operators::OperatorFactory>>	18	11
439 <wasmparser::binary_reader::BinaryReader>::read_br_table	23	11
440 <wasmparser::readers::core::operators::TryTable as wasmparser::readers::FromReader>::from_reader	128	7
441 <wasmparser::binary_reader::BinaryReader>::read_memarg	28	11
442 <wasmparser::readers::core::types::HeapType as wasmparser::readers::FromReader>::from_reader	30	8
443 <wasmparser::binary_reader::BinaryReader>::visit_0xfb_operator::<wasmparser::readers::core::operators::FrameStackAdapter<wasmparser::readers::core::operators::OperatorFactory>>	23	10
444 <wasmparser::binary_reader::BinaryReader>::visit_0xfc_operator::<wasmparser::readers::core::operators::FrameStackAdapter<wasmparser::readers::core::operators::OperatorFactory>>	23	9
445 <wasmparser::binary_reader::BinaryReader>::visit_0xfe_operator::<wasmparser::readers::core::operators::FrameStackAdapter<wasmparser::readers::core::operators::OperatorFactory>>	23	10
446 <wasmparser::binary_reader::BinaryReader>::read_block_type	37	7
447 <wasmparser::readers::core::operators::FrameStackAdapter<wasmparser::readers::core::operators::OperatorFactory> as wasmparser::readers::core::operators::VisitOperator>::visit_block	4	5
448 <wasmparser::readers::core::operators::FrameStackAdapter<wasmparser::readers::core::operators::OperatorFactory> as wasmparser::readers::core::operators::VisitOperator>::visit_loop	4	5
449 <wasmparser::readers::core::operators::FrameStackAdapter<wasmparser::readers::core::operators::OperatorFactory> as wasmparser::readers::core::operators::VisitOperator>::visit_if	4	5
450 <wasmparser::readers::core::operators::FrameStackAdapter<wasmparser::readers::core::operators::OperatorFactory> as wasmparser::readers::core::operators::VisitOperator>::visit_else	19	4
451 <wasmparser::readers::core::operators::FrameStackAdapter<wasmparser::readers::core::operators::OperatorFactory> as wasmparser::readers::core::operators::VisitOperator>::visit_try	4	5
452 core::ptr::drop_glue::<core::result::Result<(), wasmparser::binary_reader::BinaryReaderError>>	18	2
453 <wasmparser::binary_reader::BinaryReader>::read_var_u32	22	7
454 <wasmparser::readers::core::operators::FrameStackAdapter<wasmparser::readers::core::operators::OperatorFactory> as wasmparser::readers::core::operators::VisitOperator>::visit_catch	19	5
455 <wasmparser::binary_reader::BinaryReader>::read_call_indirect_table_immediate	22	7
456 <wasmparser::readers::core::operators::FrameStackAdapter<wasmparser::readers::core::operators::OperatorFactory> as wasmparser::readers::core::operators::VisitOperator>::visit_catch_all	19	4
457 <wasmparser::readers::core::types::ValType as wasmparser::readers::FromReader>::from_reader	35	7
458 <alloc::vec::Vec<wasmparser::readers::core::types::ValType>>::reserve_exact	67	4
459 <alloc::raw_vec::RawVec<wasmparser::readers::core::types::ValType>>::grow_one	14	4
460 <wasmparser::readers::core::operators::FrameStackAdapter<wasmparser::readers::core::operators::OperatorFactory> as wasmparser::readers::core::operators::VisitOperator>::visit_try_table	4	5
461 <wasmparser::binary_reader::BinaryReader>::read_memory_index_or_zero_if_not_multi_memory	22	7
462 <wasmparser::binary_reader::BinaryReader>::read_var_i32	22	7
463 <wasmparser::binary_reader::BinaryReader>::read_var_i64	19	13
464 <wasmparser::binary_reader::BinaryReader>::read_f32	60	8
465 <wasmparser::binary_reader::BinaryReader>::read_f64	61	7
466 <wasmparser::readers::core::operators::ResumeTable as wasmparser::readers::FromReader>::from_reader	103	5
467 <wasmparser::binary_reader::BinaryReader>::read_u8	16	3
468 <wasmparser::readers::core::types::RefType>::new	1	5
469 <wasmparser::binary_reader::BinaryReader>::read_ordering	23	7
470 <alloc::vec::Vec<wasmparser::readers::core::types::ValType>>::extend_desugared::<core::iter::adapters::GenericShunt<wasmparser::binary_reader::BinaryReaderIter<wasmparser::readers::core::types::ValType>, core::result::Result<core::convert::Infallible, wasmparser::binary_reader::BinaryReaderError>>>	22	8
471 <core::iter::adapters::GenericShunt<wasmparser::binary_reader::BinaryReaderIter<wasmparser::readers::core::types::ValType>, core::result::Result<core::convert::Infallible, wasmparser::binary_reader::BinaryReaderError>> as core::iter::traits::iterator::Iterator>::try_fold::<(), core::iter::traits::iterator::Iterator::try_for_each::call<wasmparser::readers::core::types::ValType, core::ops::control_flow::ControlFlow<wasmparser::readers::core::types::ValType>, core::ops::control_flow::ControlFlow<wasmparser::readers::core::types::ValType>::Break>::{closure#0}, core::ops::control_flow::ControlFlow<wasmparser::readers::core::types::ValType>>	31	8
472 <alloc::raw_vec::RawVecInner<_>>::reserve::do_reserve_and_handle::<alloc::alloc::Global>	26	8
473 <alloc::vec::Vec<wasmparser::readers::core::types::FieldType>>::extend_desugared::<core::iter::adapters::GenericShunt<wasmparser::binary_reader::BinaryReaderIter<wasmparser::readers::core::types::FieldType>, core::result::Result<core::convert::Infallible, wasmparser::binary_reader::BinaryReaderError>>>	18	12
474 <wasmparser::readers::core::types::FieldType as wasmparser::readers::FromReader>::from_reader	42	9
475 <alloc::vec::Vec<wasmparser::readers::core::operators::Catch>>::extend_desugared::<core::iter::adapters::GenericShunt<wasmparser::binary_reader::BinaryReaderIter<wasmparser::readers::core::operators::Catch>, core::result::Result<core::convert::Infallible, wasmparser::binary_reader::BinaryReaderError>>>	18	12
476 <wasmparser::readers::core::operators::Catch as wasmparser::readers::FromReader>::from_reader	22	8
477 <alloc::vec::Vec<wasmparser::readers::core::operators::Handle>>::extend_desugared::<core::iter::adapters::GenericShunt<wasmparser::binary_reader::BinaryReaderIter<wasmparser::readers::core::operators::Handle>, core::result::Result<core::convert::Infallible, wasmparser::binary_reader::BinaryReaderError>>>	18	12
478 <wasmparser::readers::core::operators::Handle as wasmparser::readers::FromReader>::from_reader	22	8
479 <core::iter::adapters::GenericShunt<wasmparser::binary_reader::BinaryReaderIter<u32>, core::result::Result<core::convert::Infallible, wasmparser::binary_reader::BinaryReaderError>> as core::iter::traits::iterator::Iterator>::try_fold::<(), core::iter::traits::iterator::Iterator::try_for_each::call<u32, core::ops::control_flow::ControlFlow<u32>, core::ops::control_flow::ControlFlow<u32>::Break>::{closure#0}, core::ops::control_flow::ControlFlow<u32>>	33	10
480 <wasmparser::binary_reader::BinaryReaderIter<u32> as core::ops::drop::Drop>::drop	14	8
481 <alloc::vec::Vec<u32>>::extend_desugared::<core::iter::adapters::GenericShunt<wasmparser::readers::core::operators::BrTableTargets, core::result::Result<core::convert::Infallible, wasmparser::binary_reader::BinaryReaderError>>>	25	7
482 <wasmparser::readers::core::operators::BrTableTargets as core::iter::traits::iterator::Iterator>::next	38	7
483 wasmparser::parser::single_item::<u32>	49	18
484 wasmparser::parser::section::<wasmparser::readers::SectionLimited<wasmparser::readers::core::data::Data>>	28	14
485 wasmparser::parser::section::<wasmparser::readers::SectionLimited<wasmparser::readers::core::types::MemoryType>>	28	14
486 wasmparser::parser::section::<wasmparser::readers::SectionLimited<wasmparser::readers::core::types::TagType>>	28	14
487 wasmparser::parser::section::<wasmparser::readers::SectionLimited<wasmparser::readers::core::types::RecGroup>>	28	14
488 wasmparser::parser::section::<wasmparser::readers::SectionLimited<wasmparser::readers::core::tables::Table>>	28	14
489 wasmparser::parser::section::<wasmparser::readers::SectionLimited<wasmparser::readers::core::exports::Export>>	28	14
490 wasmparser::parser::section::<wasmparser::readers::SectionLimited<wasmparser::readers::core::globals::Global>>	28	14
491 wasmparser::parser::section::<wasmparser::readers::SectionLimited<wasmparser::readers::core::imports::Imports>>	28	14
492 wasmparser::parser::section::<wasmparser::readers::SectionLimited<wasmparser::readers::core::elements::Element>>	28	14
493 wasmparser::parser::section::<wasmparser::readers::SectionLimited<u32>>	28	14
494 wasmparser::parser::section::<wasmparser::readers::core::custom::CustomSectionReader>	28	4
495 <wasmparser::binary_reader::BinaryReader>::read_string	23	7
496 wasmparser::parser::delimited::<u32, <wasmparser::parser::Parser>::parse_reader::{closure#1}>	28	9
497 core::ptr::drop_glue::<core::option::Option<core::result::Result<wasmparser::readers::core::types::SubType, wasmparser::binary_reader::BinaryReaderError>>>	9	2
498 core::ptr::drop_glue::<core::result::Result<&[u8], wasmparser::binary_reader::BinaryReaderError>>	18	2
499 core::ptr::drop_glue::<alloc::vec::Vec<u32>>	8	2
500 core::ptr::drop_glue::<wasmparser::readers::core::operators::Operator>	2	2
501 <alloc::vec::Vec<wasmparser::readers::core::types::ValType> as alloc::vec::spec_from_iter_nested::SpecFromIterNested<wasmparser::readers::core::types::ValType, core::iter::adapters::GenericShunt<wasmparser::binary_reader::BinaryReaderIter<wasmparser::readers::core::types::ValType>, core::result::Result<core::convert::Infallible, wasmparser::binary_reader::BinaryReaderError>>>>::from_iter	26	8
502 <alloc::boxed::Box<[wasmparser::readers::core::types::FieldType]> as core::iter::traits::collect::FromIterator<wasmparser::readers::core::types::FieldType>>::from_iter::<core::iter::adapters::GenericShunt<wasmparser::binary_reader::BinaryReaderIter<wasmparser::readers::core::types::FieldType>, core::result::Result<core::convert::Infallible, wasmparser::binary_reader::BinaryReaderError>>>	78	7
503 <alloc::vec::Vec<wasmparser::readers::core::operators::Catch> as alloc::vec::spec_from_iter_nested::SpecFromIterNested<wasmparser::readers::core::operators::Catch, core::iter::adapters::GenericShunt<wasmparser::binary_reader::BinaryReaderIter<wasmparser::readers::core::operators::Catch>, core::result::Result<core::convert::Infallible, wasmparser::binary_reader::BinaryReaderError>>>>::from_iter	31	10
504 <alloc::vec::Vec<wasmparser::readers::core::operators::Handle> as alloc::vec::spec_from_iter_nested::SpecFromIterNested<wasmparser::readers::core::operators::Handle, core::iter::adapters::GenericShunt<wasmparser::binary_reader::BinaryReaderIter<wasmparser::readers::core::operators::Handle>, core::result::Result<core::convert::Infallible, wasmparser::binary_reader::BinaryReaderError>>>>::from_iter	31	10
505 <alloc::vec::Vec<u32> as alloc::vec::spec_from_iter_nested::SpecFromIterNested<u32, core::iter::adapters::GenericShunt<wasmparser::binary_reader::BinaryReaderIter<u32>, core::result::Result<core::convert::Infallible, wasmparser::binary_reader::BinaryReaderError>>>>::from_iter	14	6
506 <alloc::vec::Vec<u32> as alloc::vec::spec_from_iter_nested::SpecFromIterNested<u32, core::iter::adapters::GenericShunt<wasmparser::readers::core::operators::BrTableTargets, core::result::Result<core::convert::Infallible, wasmparser::binary_reader::BinaryReaderError>>>>::from_iter	53	6
507 <alloc::raw_vec::RawVecInner>::finish_grow	3	7
508 <wasmparser::binary_reader::BinaryReader>::internal_read_string	106	9
509 <alloc::vec::Vec<wasmparser::readers::core::types::FieldType> as alloc::vec::spec_from_iter_nested::SpecFromIterNested<wasmparser::readers::core::types::FieldType, core::iter::adapters::GenericShunt<wasmparser::binary_reader::BinaryReaderIter<wasmparser::readers::core::types::FieldType>, core::result::Result<core::convert::Infallible, wasmparser::binary_reader::BinaryReaderError>>>>::from_iter	31	10
510 <wasmparser::parser::Parser>::parse_reader	13	15
511 <&[u8] as core::fmt::Debug>::fmt	21	5
512 <&[u8; 4] as core::fmt::Debug>::fmt	24	3
513 alloc::fmt::format	4	6
514 <wasmparser::parser::Parser>::update_order	2	4
515 <wasmparser::parser::Parser>::check_function_code_counts	38	4
516 <wasmparser::parser::Parser>::check_data_count	32	4
517 <wasmparser::parser::Parser>::new	2	2
518 <wasmparser::parser::Parser>::parse	10	8
519 <wasmparser::parser::Parser>::parse_all	3	4
520 <wasmparser::readers::core::code::FunctionBody>::get_locals_reader	23	13
521 <wasmparser::readers::core::code::FunctionBody>::get_operators_reader	32	4
522 <wasmparser::readers::core::code::FunctionBody>::get_binary_reader_for_operators	18	17
523 <wasmparser::readers::core::custom::CustomSectionReader>::data_offset	6	1
524 <wasmparser::readers::core::custom::CustomSectionReader>::data	12	4
525 <wasmparser::binary_reader::BinaryReaderError>::invalid	13	5
526 <wasmparser::readers::core::code::LocalsReader>::read	23	7
527 <wasmparser::readers::core::init::ConstExpr>::get_operators_reader	2	2
528 <wasmparser::binary_reader::BinaryReader>::read_reader	23	7
529 <wasmparser::binary_reader::BinaryReader>::read_var_i32_big	25	11
530 <wasmparser::binary_reader::BinaryReader>::read_var_s33	17	12
531 <wasmparser::binary_reader::BinaryReader>::read_var_u64_big	19	14
532 <wasmparser::binary_reader::BinaryReader>::invalid_leading_byte_error	13	5
533 <wasmparser::binary_reader::BinaryReader>::read_u7	17	6
534 <wasmparser::readers::SectionLimited<wasmparser::readers::core::imports::ImportItemCompact>>::new	23	7
535 <wasmparser::readers::SectionLimited<&str>>::new	23	7
536 <wasmparser::readers::SectionLimited<wasmparser::readers::core::imports::Imports>>::into_imports	29	3
537 <alloc::raw_vec::RawVec<wasmparser::readers::core::operators::FrameKind>>::grow_one	14	4
538 <alloc::raw_vec::RawVec<(usize, wasmparser::readers::core::types::SubType)>>::grow_one	14	4
539 <alloc::raw_vec::RawVec<u32>>::grow_one	14	4
540 <wasmparser::readers::core::types::RecGroup>::into_types	95	8
541 <wasmparser::readers::core::types::RefType>::heap_type	6	3
542 wasmparser::readers::core::types::read_composite_type	12	12
543 <wasmparser::readers::core::types::FuncType as wasmparser::readers::FromReader>::from_reader	61	11
544 <wasmparser::readers::core::types::TagType as wasmparser::readers::FromReader>::from_reader	23	8
545 <wasmparser::readers::core::names::Naming as wasmparser::readers::FromReader>::from_reader	23	8
546 <wasmparser::readers::core::tables::Table as wasmparser::readers::FromReader>::from_reader	39	9
547 <wasmparser::readers::core::types::TableType as wasmparser::readers::FromReader>::from_reader	47	13
548 <wasmparser::readers::core::exports::Export as wasmparser::readers::FromReader>::from_reader	31	10
549 <wasmparser::readers::core::exports::ExternalKind as wasmparser::readers::FromReader>::from_reader	22	6
550 <wasmparser::readers::core::globals::Global as wasmparser::readers::FromReader>::from_reader	64	7
551 <wasmparser::readers::core::types::GlobalType as wasmparser::readers::FromReader>::from_reader	42	9
552 <wasmparser::readers::core::imports::Imports as wasmparser::readers::FromReader>::from_reader	111	18
553 <wasmparser::readers::core::elements::Element as wasmparser::readers::FromReader>::from_reader	28	16
554 <wasmparser::readers::core::types::RefType as wasmparser::readers::FromReader>::from_reader	44	8
555 <wasmparser::readers::core::types::MemoryType as wasmparser::readers::FromReader>::from_reader	28	12
556 <<wasmparser::readers::core::types::RecGroup>::into_types_and_offsets::Iter as core::iter::traits::iterator::Iterator>::next	78	3
557 <wasmparser::readers::core::names::Name as wasmparser::readers::Subsection>::from_reader	65	11
558 <&u32 as core::fmt::Display>::fmt	5	2
559 <alloc::raw_vec::RawVec<wasmparser::readers::core::types::ValType> as core::ops::drop::Drop>::drop	8	2
560 <alloc::raw_vec::RawVec<wasmparser::readers::core::operators::Catch> as core::ops::drop::Drop>::drop	12	2
561 <alloc::raw_vec::RawVec<wasmparser::readers::core::operators::Handle> as core::ops::drop::Drop>::drop	12	2
562 <alloc::raw_vec::RawVec<wasmparser::readers::core::operators::FrameKind> as core::ops::drop::Drop>::drop	10	2
563 <alloc::raw_vec::RawVec<(usize, wasmparser::readers::core::types::SubType)> as core::ops::drop::Drop>::drop	12	2
564 <alloc::raw_vec::RawVec<u32> as core::ops::drop::Drop>::drop	8	2
565 <wasmparser::readers::core::init::ConstExpr as wasmparser::readers::FromReader>::from_reader	35	4
566 <&wasmparser::readers::core::types::RefType as core::fmt::Debug>::fmt	5	2
567 <wasmparser::readers::core::types::RefType as core::fmt::Debug>::fmt	14	6
568 <&wasmparser::readers::core::types::ValType as core::fmt::Debug>::fmt	9	3
569 <&u8 as core::fmt::Debug>::fmt	8	3
570 <&usize as core::fmt::Debug>::fmt	8	3
571 <&u32 as core::fmt::Debug>::fmt	8	3
572 <wasmparser::readers::core::types::SubType as wasmparser::readers::FromReader>::from_reader	27	12
573 <wasmparser::readers::core::code::LocalsIterator as core::iter::traits::iterator::Iterator>::next	6	3
574 <wasmparser::readers::core::types::UnpackedIndex as core::fmt::Display>::fmt	61	4
575 <wasmparser::readers::core::operators::BrTable as core::fmt::Debug>::fmt	21	6
576 <wasmparser::readers::core::imports::Imports as core::iter::traits::collect::IntoIterator>::into_iter	7	11
577 <wasmparser::readers::core::imports::ImportsIter as core::iter::traits::iterator::Iterator>::next	14	11
578 <wasmparser::readers::SectionLimitedIntoIter<wasmparser::readers::core::imports::ImportItemCompact> as core::iter::traits::iterator::Iterator>::next	7	8
579 <wasmparser::readers::core::types::AbstractHeapType as wasmparser::readers::FromReader>::from_reader	17	6
580 <wasmparser::readers::core::types::RecGroup as wasmparser::readers::FromReader>::from_reader	36	11
581 <wasmparser::readers::core::types::StorageType as wasmparser::readers::FromReader>::from_reader	36	7
582 <u32 as core::fmt::Debug>::fmt	5	3
583 <usize as core::fmt::Debug>::fmt	5	3
584 <wasmparser::binary_reader::BinaryReaderError as core::fmt::Display>::fmt	38	3
585 <alloc::string::String as core::fmt::Display>::fmt	7	2
586 <u32 as wasmparser::readers::FromReader>::from_reader	22	7
587 <wasmparser::binary_reader::BinaryReader as core::fmt::Debug>::fmt	37	3
588 <wasmparser::readers::core::operators::OperatorsIterator as core::iter::traits::iterator::Iterator>::next	6	3
589 <alloc::vec::Vec<wasmparser::readers::core::types::ValType> as core::ops::drop::Drop>::drop	1	1
590 <alloc::vec::Vec<wasmparser::readers::core::operators::Catch> as core::ops::drop::Drop>::drop	1	1
591 <alloc::vec::Vec<wasmparser::readers::core::operators::Handle> as core::ops::drop::Drop>::drop	1	1
592 <alloc::vec::Vec<wasmparser::readers::core::operators::FrameKind> as core::ops::drop::Drop>::drop	1	1
593 <alloc::vec::Vec<u32> as core::ops::drop::Drop>::drop	1	1
594 <alloc::vec::Vec<u32> as core::fmt::Debug>::fmt	20	4
595 <[wasmparser::readers::core::types::ValType] as core::fmt::Debug>::fmt	14	4
596 sha2::sha256::compress256	44	38
597 __rustc::__rust_start_panic	1	2
598 core::panicking::assert_failed::<bool, bool>	24	7
599 <std::thread::id::ThreadId>::new::exhausted	4	0
600 <alloc::raw_vec::RawVecInner<_>>::reserve::do_reserve_and_handle::<alloc::alloc::Global>	15	6
601 <alloc::raw_vec::RawVecInner>::finish_grow	7	9
602 core::ptr::drop_glue::<core::result::Result<(), std::io::error::Error>>	4	4
603 core::ptr::drop_glue::<alloc::vec::Vec<u8>>	10	2
604 core::ptr::drop_glue::<std::io::default_write_fmt::Adapter<alloc::vec::Vec<u8>>>	3	4
605 core::ptr::drop_glue::<alloc::string::String>	10	2
606 core::ptr::drop_glue::<std::panicking::panic_handler::FormatStringPayload>	11	2
607 std::sys::backtrace::__rust_end_short_backtrace::<std::alloc::rust_oom::{closure#0}, !>	2	1
608 std::alloc::rust_oom::{closure#0}	9	1
609 std::sys::backtrace::__rust_end_short_backtrace::<std::panicking::panic_handler::{closure#0}, !>	2	1
610 std::panicking::panic_handler::{closure#0}	11	4
611 std::sys::helpers::small_c_string::run_with_cstr_allocating::<core::option::Option<std::ffi::os_str::OsString>>	40	7
612 std::panicking::panic_with_hook	19	8
613 std::thread::current::with_current_name::<std::panicking::default_hook::{closure#0}::{closure#0}, ()>::{closure#0}	25	10
614 <&str as core::fmt::Display>::fmt	7	2
615 <&core::panic::location::Location as core::fmt::Display>::fmt	19	6
616 <core::io::cursor::Cursor<&mut [u8]> as std::io::Write>::write_fmt	8	5
617 std::alloc::default_alloc_error_hook	7	5
618 std::process::abort	1	0
619 std::panicking::default_hook::{closure#0}	43	7
620 std::sys::backtrace::lock	7	2
621 <std::sys::backtrace::BacktraceLock>::print	7	5
622 std::panicking::default_hook	9	3
623 __rustc::rust_panic	12	3
624 <std::sys::stdio::unix::Stderr as std::io::Write>::write_fmt	8	5
625 __rustc::__rdl_alloc	22	3
626 __rustc::__rust_abort	1	0
627 __rustc::__rdl_dealloc	3	3
628 __rustc::__rdl_realloc	25	6
629 __rustc::rust_begin_unwind	18	3
630 __rustc::__rdl_alloc_zeroed	25	4
631 __rustc::__rust_alloc_error_handler	3	2
632 std::alloc::rust_oom	15	3
633 <<std::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core::fmt::Display>::fmt	14	10
634 std::env::_var_os	18	6
635 <std::sync::poison::mutex::Mutex<alloc::vec::Vec<u8>>>::lock	7	3
636 <alloc::sync::Arc<std::sync::poison::mutex::Mutex<alloc::vec::Vec<u8>>>>::drop_slow	29	2
637 std::env::current_dir	83	6
638 std::panic::get_backtrace_style	9	5
639 std::sys::pal::wasi::abort_internal	1	0
640 std::panicking::payload_as_str	19	6
641 std::panicking::panic_count::increase	13	3
642 <&mut dyn core::panic::PanicPayload as core::fmt::Display>::fmt	8	2
643 <alloc::vec::Vec<u8> as std::io::Write>::write_fmt	8	5
644 <alloc::string::String as core::any::Any>::type_id	9	2
645 <&str as core::any::Any>::type_id	9	2
646 <std::io::default_write_fmt::Adapter<alloc::vec::Vec<u8>> as core::fmt::Write>::write_str	27	4
647 <std::io::default_write_fmt::Adapter<core::io::cursor::Cursor<&mut [u8]>> as core::fmt::Write>::write_str	15	10
648 <std::io::default_write_fmt::Adapter<std::sys::stdio::unix::Stderr> as core::fmt::Write>::write_str	11	7
649 <std::sys::stdio::unix::Stderr as std::io::Write>::write_all_vectored	14	11
650 <std::panicking::panic_handler::FormatStringPayload as core::fmt::Display>::fmt	23	2
651 <std::panicking::panic_handler::StaticStrPayload as core::panic::PanicPayload>::get	7	2
652 <std::panicking::panic_handler::StaticStrPayload as core::panic::PanicPayload>::as_str	5	2
653 <std::panicking::panic_handler::StaticStrPayload as core::panic::PanicPayload>::take_box	14	4
654 <&bool as core::fmt::Debug>::fmt	5	2
655 <std::panicking::panic_handler::StaticStrPayload as core::fmt::Display>::fmt	7	2
656 <std::sys::stdio::unix::Stderr as std::io::Write>::write_vectored	9	5
657 <std::sys::stdio::unix::Stderr as std::io::Write>::is_write_vectored	2	1
658 <std::sys::stdio::unix::Stderr as std::io::Write>::flush	2	2
659 <std::sys::stdio::unix::Stderr as std::io::Write>::write	13	5
660 <alloc::vec::Vec<u8> as std::io::Write>::write_vectored	8	9
661 <alloc::vec::Vec<u8> as std::io::Write>::is_write_vectored	2	1
662 <alloc::vec::Vec<u8> as std::io::Write>::write_all_vectored	6	9
663 <alloc::vec::Vec<u8> as std::io::Write>::flush	2	2
664 <alloc::vec::Vec<u8> as std::io::Write>::write	25	5
665 <alloc::vec::Vec<u8> as std::io::Write>::write_all	25	5
666 <alloc::string::String as core::fmt::Write>::write_char	20	8
667 <alloc::string::String as core::fmt::Write>::write_str	25	4
668 <std::panicking::panic_handler::FormatStringPayload as core::panic::PanicPayload>::get	29	5
669 <std::panicking::panic_handler::FormatStringPayload as core::panic::PanicPayload>::take_box	30	5
670 <std::io::default_write_fmt::Adapter<alloc::vec::Vec<u8>> as core::fmt::Write>::write_char	17	6
671 <std::io::default_write_fmt::Adapter<alloc::vec::Vec<u8>> as core::fmt::Write>::write_fmt	6	3
672 <std::io::default_write_fmt::Adapter<core::io::cursor::Cursor<&mut [u8]>> as core::fmt::Write>::write_char	17	10
673 <std::io::default_write_fmt::Adapter<core::io::cursor::Cursor<&mut [u8]>> as core::fmt::Write>::write_fmt	6	3
674 <std::io::default_write_fmt::Adapter<std::sys::stdio::unix::Stderr> as core::fmt::Write>::write_char	15	6
675 <std::io::default_write_fmt::Adapter<std::sys::stdio::unix::Stderr> as core::fmt::Write>::write_fmt	6	3
676 <std::panicking::begin_panic::Payload<&str> as core::panic::PanicPayload>::as_str	4	2
677 <alloc::string::String as core::fmt::Write>::write_fmt	6	3
678 <std::sys::stdio::unix::Stderr as std::io::Write>::write_all	7	6
679 writev	37	5
680 write	28	4
681 _Exit	2	1
682 __wasilibc_ensure_environ	6	0
683 __wasilibc_initialize_environ	35	3
684 __wasi_environ_get	4	2
685 __wasi_environ_sizes_get	4	2
686 __wasi_fd_write	6	4
687 __wasi_proc_exit	2	1
689 getcwd	27	3
690 getenv	17	5
691 dummy	1	0
692 __wasm_call_dtors	3	0
693 memcmp	3	6
694 __strchrnul	8	5
695 __stpcpy	6	4
696 strcpy	3	2
697 strdup	12	3
698 strlen	7	4
699 strncmp	4	5
700 sbrk	26	2
701 malloc	3	1
702 dlmalloc	40	12
703 prepend_alloc	6	10
704 free	3	1
705 dlfree	16	9
706 calloc	5	4
707 realloc	16	13
708 dispose_chunk	16	9
709 posix_memalign	10	5
710 internal_memalign	10	7
711 core::ptr::drop_glue::<alloc::string::String>	10	2
712 <alloc::raw_vec::RawVecInner<_>>::reserve::do_reserve_and_handle::<alloc::alloc::Global>	15	4
713 alloc::raw_vec::handle_error	4	2
714 <alloc::raw_vec::RawVecInner>::finish_grow	44	4
715 alloc::alloc::handle_alloc_error	3	2
716 <alloc::ffi::c_str::CString>::_from_vec_unchecked	38	6
717 alloc::raw_vec::capacity_overflow	4	0
718 alloc::fmt::format::format_inner	8	9
719 <alloc::string::String as core::clone::Clone>::clone	18	4
720 <core::fmt::Error as core::fmt::Debug>::fmt	5	2
721 <alloc::string::String as core::fmt::Write>::write_char	20	8
722 <alloc::string::String as core::fmt::Write>::write_str	23	4
723 <&[u8] as <alloc::ffi::c_str::CString>::new::SpecNewImpl>::spec_new_impl	34	8
724 <alloc::string::String as core::fmt::Write>::write_fmt	6	3
725 core::panicking::assert_failed_inner	21	10
726 core::panicking::panic	3	3
727 core::panicking::panic_fmt	13	4
728 <u64 as core::fmt::Display>::fmt	16	9
729 <&str as core::fmt::Display>::fmt	7	2
730 core::fmt::write	8	12
731 core::slice::index::slice_index_fail	12	6
732 <char>::escape_debug_ext	6	5
733 core::str::converts::from_utf8	10	10
734 core::unicode::unicode_data::grapheme_extend::lookup_slow	9	6
735 core::unicode::printable::is_printable	22	7
736 core::panicking::panic_bounds_check	13	5
737 <core::fmt::builders::PadAdapter as core::fmt::Write>::write_str	19	14
738 <core::fmt::builders::DebugStruct>::field	11	9
739 <core::fmt::builders::DebugStruct>::finish	2	3
740 <core::ffi::c_str::CStr>::from_bytes_with_nul	9	7
741 <core::fmt::builders::DebugSet>::entry	9	7
742 <core::fmt::builders::DebugList>::finish	3	2
743 <core::fmt::Formatter>::debug_list	11	3
744 <core::fmt::Formatter>::debug_struct	11	4
745 <core::fmt::Formatter>::pad_integral	8	15
746 core::str::count::do_count_chars	12	10
747 <core::fmt::Formatter>::pad_integral::write_prefix	17	5
748 <core::fmt::Formatter>::debug_tuple_field1_finish	20	10
749 <core::fmt::Formatter>::debug_struct_field1_finish	17	8
750 <core::fmt::Formatter>::debug_struct_field2_finish	17	12
751 <core::fmt::Formatter>::debug_struct_field3_finish	17	16
752 <core::fmt::Formatter>::debug_struct_field4_finish	17	20
753 <core::fmt::Formatter>::pad	8	10
754 <core::fmt::Formatter>::write_str	9	3
755 <core::str::pattern::StrSearcher>::new	17	17
756 <u32 as core::fmt::Display>::fmt	20	9
757 core::str::slice_error_fail	6	5
758 core::str::slice_error_fail_rt	38	8
759 <core::ops::range::Range<usize> as core::fmt::Debug>::fmt	14	5
760 <char as core::fmt::Debug>::fmt	23	6
761 core::option::unwrap_failed	4	1
762 core::option::expect_failed	13	4
763 core::result::unwrap_failed	19	6
764 <&dyn core::fmt::Debug as core::fmt::Debug>::fmt	8	2
765 <core::fmt::Arguments as core::fmt::Display>::fmt	10	2
766 <usize as core::fmt::LowerHex>::fmt	10	4
767 core::slice::memchr::memchr_aligned	7	9
768 core::panicking::panic_const::panic_const_rem_by_zero	4	1
769 core::panicking::panic_const::panic_const_div_overflow	4	1
770 core::slice::sort::shared::smallsort::panic_on_ord_violation	4	0
771 core::slice::sort::stable::drift::sqrt_approx	3	2
772 core::slice::copy_from_slice_impl::len_mismatch_fail	13	5
773 <u8 as core::fmt::Display>::fmt	10	5
774 <core::fmt::builders::PadAdapter as core::fmt::Write>::write_char	9	4
775 <u8 as core::fmt::UpperHex>::fmt	7	4
776 <i64 as core::fmt::Display>::fmt	15	9
777 <i32 as core::fmt::Display>::fmt	15	9
778 <u8 as core::fmt::LowerHex>::fmt	7	4
779 <isize as core::fmt::LowerHex>::fmt	10	4
780 <usize as core::fmt::UpperHex>::fmt	10	4
781 <isize as core::fmt::UpperHex>::fmt	10	4
782 <u64 as core::fmt::LowerHex>::fmt	10	4
783 <i64 as core::fmt::LowerHex>::fmt	10	4
784 <u64 as core::fmt::UpperHex>::fmt	10	4
785 <i64 as core::fmt::UpperHex>::fmt	10	4
786 <u8 as core::fmt::Binary>::fmt	8	5
787 <bool as core::fmt::Display>::fmt	1	2
788 <str as core::fmt::Display>::fmt	5	3
789 <core::fmt::builders::PadAdapter as core::fmt::Write>::write_fmt	6	3
790 compiler_builtins::int::specialized_div_rem::u128_div_rem	10	14
791 __multi3	3	11
792 __lshrti3	2	5
793 __umodti3	26	6
794 __modti3	8	8
795 __divti3	8	7
796 __ashlti3	2	5
797 run_call_indirect_default.command_export	3	0
798 run_call_indirect_no_diag.command_export	3	0
799 run_call_indirect_taint.command_export	3	0
800 run_const_fold_default.command_export	3	0
801 run_const_fold_no_diag.command_export	3	0
802 run_const_fold_widen1.command_export	3	0
803 run_counted_loop_default.command_export	3	0
804 run_counted_loop_no_diag.command_export	3	0
805 run_guard_bound_default.command_export	3	0
806 run_guard_bound_widen1.command_export	3	0
807 run_interproc_default.command_export	3	0
808 run_interproc_taint.command_export	3	0
809 run_interproc_taint_no_diag.command_export	3	0
810 run_interproc_widen1.command_export	3	0
811 run_loop_converge_default.command_export	3	0
812 run_loop_converge_widen1.command_export	3	0
813 run_overflow_default.command_export	3	0
814 run_overflow_widen1.command_export	3	0
815 run_reachability_default.command_export	3	0
816 run_region_default.command_export	3	0
817 run_region_no_diag.command_export	3	0
818 run_region_widen1.command_export	3	0
819 run_stack_alloca_default.command_export	3	0
820 run_stack_chain_default.command_export	3	0
821 run_stack_dynamic_default.command_export	3	0
822 run_stack_measured_default.command_export	3	0
823 run_stack_recursion_default.command_export	3	0
824 run_var_bound_default.command_export	3	0
825 run_var_bound_widen1.command_export	3	0
826 run_with_param_default.command_export	3	0
827 run_with_param_taint.command_export	3	0
828 run_with_param_taint_no_diag.command_export	3	0

func 4 · core::ptr::drop_glue::<scry_analyze_core::AnalysisResult> ↑ row

252 program point(s) · up to 5 local(s) tracked.

… showing 20 of 252 points for this function (full per-point invariants are scry's library output).

func 5 · scry_mcdc::drive ↑ row

59 program point(s) · up to 12 local(s) tracked.

pc	locals	operand stack (bottom → top)	memory (offset → value)
0	`L0=i32 [-9223372036854775808, 9223372036854775807], L1=i32 [-9223372036854775808, 9223372036854775807], L2=i32 [-9223372036854775808, 9223372036854775807], L3=i32 0, L4=i32 0, L5=i32 0, L6=i32 0, L7=i32 0, L8=i64 0, L9=i64 0, L10=i32 0, L11=i64 0`	`⊤`	`(⊤)`
1	`L0=i32 [-9223372036854775808, 9223372036854775807], L1=i32 [-9223372036854775808, 9223372036854775807], L2=i32 [-9223372036854775808, 9223372036854775807], L3=i32 0, L4=i32 0, L5=i32 0, L6=i32 0, L7=i32 0, L8=i64 0, L9=i64 0, L10=i32 0, L11=i64 0`	`⊤ · i32 592`	`(⊤)`
2	`L0=i32 [-9223372036854775808, 9223372036854775807], L1=i32 [-9223372036854775808, 9223372036854775807], L2=i32 [-9223372036854775808, 9223372036854775807], L3=i32 0, L4=i32 0, L5=i32 0, L6=i32 0, L7=i32 0, L8=i64 0, L9=i64 0, L10=i32 0, L11=i64 0`	`i32 [-9223372036854775808, 9223372036854775807]`	`(⊤)`
3	`L0=i32 [-9223372036854775808, 9223372036854775807], L1=i32 [-9223372036854775808, 9223372036854775807], L2=i32 [-9223372036854775808, 9223372036854775807], L3=i32 [-9223372036854775808, 9223372036854775807], L4=i32 0, L5=i32 0, L6=i32 0, L7=i32 0, L8=i64 0, L9=i64 0, L10=i32 0, L11=i64 0`	`i32 [-9223372036854775808, 9223372036854775807]`	`(⊤)`
4	`L0=i32 [-9223372036854775808, 9223372036854775807], L1=i32 [-9223372036854775808, 9223372036854775807], L2=i32 [-9223372036854775808, 9223372036854775807], L3=i32 [-9223372036854775808, 9223372036854775807], L4=i32 0, L5=i32 0, L6=i32 0, L7=i32 0, L8=i64 0, L9=i64 0, L10=i32 0, L11=i64 0`	`(empty)`	`(⊤)`
5	`L0=i32 [-9223372036854775808, 9223372036854775807], L1=i32 [-9223372036854775808, 9223372036854775807], L2=i32 [-9223372036854775808, 9223372036854775807], L3=i32 [-9223372036854775808, 9223372036854775807], L4=i32 0, L5=i32 0, L6=i32 0, L7=i32 0, L8=i64 0, L9=i64 0, L10=i32 0, L11=i64 0`	`i32 [-9223372036854775808, 9223372036854775807]`	`(⊤)`
6	`L0=i32 [-9223372036854775808, 9223372036854775807], L1=i32 [-9223372036854775808, 9223372036854775807], L2=i32 [-9223372036854775808, 9223372036854775807], L3=i32 [-9223372036854775808, 9223372036854775807], L4=i32 0, L5=i32 0, L6=i32 0, L7=i32 0, L8=i64 0, L9=i64 0, L10=i32 0, L11=i64 0`	`i32 [-9223372036854775808, 9223372036854775807] · i32 [-9223372036854775808, 9223372036854775807]`	`(⊤)`
7	`L0=i32 [-9223372036854775808, 9223372036854775807], L1=i32 [-9223372036854775808, 9223372036854775807], L2=i32 [-9223372036854775808, 9223372036854775807], L3=i32 [-9223372036854775808, 9223372036854775807], L4=i32 0, L5=i32 0, L6=i32 0, L7=i32 0, L8=i64 0, L9=i64 0, L10=i32 0, L11=i64 0`	`(empty)`	`(⊤)`
8	`L0=i32 [-9223372036854775808, 9223372036854775807], L1=i32 [-9223372036854775808, 9223372036854775807], L2=i32 [-9223372036854775808, 9223372036854775807], L3=i32 [-9223372036854775808, 9223372036854775807], L4=i32 0, L5=i32 0, L6=i32 0, L7=i32 0, L8=i64 0, L9=i64 0, L10=i32 0, L11=i64 0`	`i32 [-9223372036854775808, 9223372036854775807]`	`(⊤)`
9	`L0=i32 [-9223372036854775808, 9223372036854775807], L1=i32 [-9223372036854775808, 9223372036854775807], L2=i32 [-9223372036854775808, 9223372036854775807], L3=i32 [-9223372036854775808, 9223372036854775807], L4=i32 0, L5=i32 0, L6=i32 0, L7=i32 0, L8=i64 0, L9=i64 0, L10=i32 0, L11=i64 0`	`i32 [-9223372036854775808, 9223372036854775807] · i32 [-9223372036854775808, 9223372036854775807]`	`(⊤)`
10	`L0=i32 [-9223372036854775808, 9223372036854775807], L1=i32 [-9223372036854775808, 9223372036854775807], L2=i32 [-9223372036854775808, 9223372036854775807], L3=i32 [-9223372036854775808, 9223372036854775807], L4=i32 0, L5=i32 0, L6=i32 0, L7=i32 0, L8=i64 0, L9=i64 0, L10=i32 0, L11=i64 0`	`(empty)`	`(⊤)`
11	`L0=i32 [-9223372036854775808, 9223372036854775807], L1=i32 [-9223372036854775808, 9223372036854775807], L2=i32 [-9223372036854775808, 9223372036854775807], L3=i32 [-9223372036854775808, 9223372036854775807], L4=i32 0, L5=i32 0, L6=i32 0, L7=i32 0, L8=i64 0, L9=i64 0, L10=i32 0, L11=i64 0`	`i32 [-9223372036854775808, 9223372036854775807]`	`(⊤)`
12	`L0=i32 [-9223372036854775808, 9223372036854775807], L1=i32 [-9223372036854775808, 9223372036854775807], L2=i32 [-9223372036854775808, 9223372036854775807], L3=i32 [-9223372036854775808, 9223372036854775807], L4=i32 0, L5=i32 0, L6=i32 0, L7=i32 0, L8=i64 0, L9=i64 0, L10=i32 0, L11=i64 0`	`i32 [-9223372036854775808, 9223372036854775807] · i32 304`	`(⊤)`
13	`L0=i32 [-9223372036854775808, 9223372036854775807], L1=i32 [-9223372036854775808, 9223372036854775807], L2=i32 [-9223372036854775808, 9223372036854775807], L3=i32 [-9223372036854775808, 9223372036854775807], L4=i32 0, L5=i32 0, L6=i32 0, L7=i32 0, L8=i64 0, L9=i64 0, L10=i32 0, L11=i64 0`	`i32 [-9223372036854775808, 9223372036854775807]`	`(⊤)`
14	`L0=i32 [-9223372036854775808, 9223372036854775807], L1=i32 [-9223372036854775808, 9223372036854775807], L2=i32 [-9223372036854775808, 9223372036854775807], L3=i32 [-9223372036854775808, 9223372036854775807], L4=i32 0, L5=i32 0, L6=i32 0, L7=i32 0, L8=i64 0, L9=i64 0, L10=i32 0, L11=i64 0`	`(empty)`	`(⊤)`
15	`L0=i32 [-9223372036854775808, 9223372036854775807], L1=i32 [-9223372036854775808, 9223372036854775807], L2=i32 [-9223372036854775808, 9223372036854775807], L3=i32 [-9223372036854775808, 9223372036854775807], L4=i32 0, L5=i32 0, L6=i32 0, L7=i32 0, L8=i64 0, L9=i64 0, L10=i32 0, L11=i64 0`	`i32 [-9223372036854775808, 9223372036854775807]`	`(⊤)`
16	`L0=i32 [-9223372036854775808, 9223372036854775807], L1=i32 [-9223372036854775808, 9223372036854775807], L2=i32 [-9223372036854775808, 9223372036854775807], L3=i32 [-9223372036854775808, 9223372036854775807], L4=i32 0, L5=i32 0, L6=i32 0, L7=i32 0, L8=i64 0, L9=i64 0, L10=i32 0, L11=i64 0`	`i32 [-9223372036854775808, 9223372036854775807]`	`(⊤)`
17	`L0=i32 [-9223372036854775808, 9223372036854775807], L1=i32 [-9223372036854775808, 9223372036854775807], L2=i32 [-9223372036854775808, 9223372036854775807], L3=i32 [-9223372036854775808, 9223372036854775807], L4=i32 [-9223372036854775808, 9223372036854775807], L5=i32 0, L6=i32 0, L7=i32 0, L8=i64 0, L9=i64 0, L10=i32 0, L11=i64 0`	`(empty)`	`(⊤)`
18	`L0=i32 [-9223372036854775808, 9223372036854775807], L1=i32 [-9223372036854775808, 9223372036854775807], L2=i32 [-9223372036854775808, 9223372036854775807], L3=i32 [-9223372036854775808, 9223372036854775807], L4=i32 [-9223372036854775808, 9223372036854775807], L5=i32 0, L6=i32 0, L7=i32 0, L8=i64 0, L9=i64 0, L10=i32 0, L11=i64 0`	`i32 [-9223372036854775808, 9223372036854775807]`	`(⊤)`
19	`L0=i32 [-9223372036854775808, 9223372036854775807], L1=i32 [-9223372036854775808, 9223372036854775807], L2=i32 [-9223372036854775808, 9223372036854775807], L3=i32 [-9223372036854775808, 9223372036854775807], L4=i32 [-9223372036854775808, 9223372036854775807], L5=i32 0, L6=i32 0, L7=i32 0, L8=i64 0, L9=i64 0, L10=i32 0, L11=i64 0`	`i32 [-9223372036854775808, 9223372036854775807] · i32 304`	`(⊤)`

… showing 20 of 59 points for this function (full per-point invariants are scry's library output).

func 6 · run_call_indirect_default ↑ row

7 program point(s) · up to 2 local(s) tracked.

pc	locals	operand stack (bottom → top)	memory (offset → value)
0	`L0=i32 0, L1=i32 0`	`⊤`	`(⊤)`
1	`L0=i32 0, L1=i32 0`	`⊤ · i32 48`	`(⊤)`
2	`L0=i32 0, L1=i32 0`	`i32 [-9223372036854775808, 9223372036854775807]`	`(⊤)`
3	`L0=i32 [-9223372036854775808, 9223372036854775807], L1=i32 0`	`i32 [-9223372036854775808, 9223372036854775807]`	`(⊤)`
4	`L0=i32 [-9223372036854775808, 9223372036854775807], L1=i32 0`	`(empty)`	`(⊤)`
5	`L0=i32 [-9223372036854775808, 9223372036854775807], L1=i32 0`	`i32 [-9223372036854775808, 9223372036854775807]`	`(⊤)`
6	`L0=i32 [-9223372036854775808, 9223372036854775807], L1=i32 0`	`i32 [-9223372036854775808, 9223372036854775807] · i32 1`	`(⊤)`

func 7 · run_call_indirect_no_diag ↑ row

7 program point(s) · up to 2 local(s) tracked.

pc	locals	operand stack (bottom → top)	memory (offset → value)
0	`L0=i32 0, L1=i32 0`	`⊤`	`(⊤)`
1	`L0=i32 0, L1=i32 0`	`⊤ · i32 48`	`(⊤)`
2	`L0=i32 0, L1=i32 0`	`i32 [-9223372036854775808, 9223372036854775807]`	`(⊤)`
3	`L0=i32 [-9223372036854775808, 9223372036854775807], L1=i32 0`	`i32 [-9223372036854775808, 9223372036854775807]`	`(⊤)`
4	`L0=i32 [-9223372036854775808, 9223372036854775807], L1=i32 0`	`(empty)`	`(⊤)`
5	`L0=i32 [-9223372036854775808, 9223372036854775807], L1=i32 0`	`i32 [-9223372036854775808, 9223372036854775807]`	`(⊤)`
6	`L0=i32 [-9223372036854775808, 9223372036854775807], L1=i32 0`	`i32 [-9223372036854775808, 9223372036854775807] · i32 0`	`(⊤)`

func 8 · run_call_indirect_taint ↑ row

25 program point(s) · up to 3 local(s) tracked.

pc	locals	operand stack (bottom → top)	memory (offset → value)
0	`L0=i32 0, L1=i32 0, L2=i32 0`	`⊤`	`(⊤)`
1	`L0=i32 0, L1=i32 0, L2=i32 0`	`⊤ · i32 48`	`(⊤)`
2	`L0=i32 0, L1=i32 0, L2=i32 0`	`i32 [-9223372036854775808, 9223372036854775807]`	`(⊤)`
3	`L0=i32 [-9223372036854775808, 9223372036854775807], L1=i32 0, L2=i32 0`	`i32 [-9223372036854775808, 9223372036854775807]`	`(⊤)`
4	`L0=i32 [-9223372036854775808, 9223372036854775807], L1=i32 0, L2=i32 0`	`(empty)`	`(⊤)`
5	`L0=i32 [-9223372036854775808, 9223372036854775807], L1=i32 0, L2=i32 0`	`(empty)`	`(⊤)`
8	`L0=i32 [-9223372036854775808, 9223372036854775807], L1=i32 0, L2=i32 0`	`i32 4`	`(⊤)`
9	`L0=i32 [-9223372036854775808, 9223372036854775807], L1=i32 0, L2=i32 0`	`i32 4 · i32 4`	`(⊤)`
10	`L0=i32 [-9223372036854775808, 9223372036854775807], L1=i32 0, L2=i32 0`	`i32 [-9223372036854775808, 9223372036854775807]`	`(⊤)`
11	`L0=i32 [-9223372036854775808, 9223372036854775807], L1=i32 [-9223372036854775808, 9223372036854775807], L2=i32 0`	`i32 [-9223372036854775808, 9223372036854775807]`	`(⊤)`
12	`L0=i32 [-9223372036854775808, 9223372036854775807], L1=i32 [-9223372036854775808, 9223372036854775807], L2=i32 0`	`i32 [0, 1]`	`(⊤)`
14	`L0=i32 [-9223372036854775808, 9223372036854775807], L1=i32 [-9223372036854775808, 9223372036854775807], L2=i32 0`	`i32 [-9223372036854775808, 9223372036854775807]`	`(⊤)`
15	`L0=i32 [-9223372036854775808, 9223372036854775807], L1=i32 [-9223372036854775808, 9223372036854775807], L2=i32 0`	`i32 [-9223372036854775808, 9223372036854775807] · i32 0`	`(⊤)`
16	`L0=i32 [-9223372036854775808, 9223372036854775807], L1=i32 [-9223372036854775808, 9223372036854775807], L2=i32 0`	`(empty)`	`(⊤)`
17	`L0=i32 [-9223372036854775808, 9223372036854775807], L1=i32 [-9223372036854775808, 9223372036854775807], L2=i32 0`	`(empty)`	`(⊤)`
18	`L0=i32 [-9223372036854775808, 9223372036854775807], L1=i32 [-9223372036854775808, 9223372036854775807], L2=i32 0`	`i32 4`	`(⊤)`
19	`L0=i32 [-9223372036854775808, 9223372036854775807], L1=i32 [-9223372036854775808, 9223372036854775807], L2=i32 0`	`i32 4 · i32 4`	`(⊤)`
20	`L0=i32 [-9223372036854775808, 9223372036854775807], L1=i32 [-9223372036854775808, 9223372036854775807], L2=i32 0`	`i32 [-9223372036854775808, 9223372036854775807]`	`(⊤)`
21	`L0=i32 [-9223372036854775808, 9223372036854775807], L1=i32 [-9223372036854775808, 9223372036854775807], L2=i32 [-9223372036854775808, 9223372036854775807]`	`i32 [-9223372036854775808, 9223372036854775807]`	`(⊤)`
22	`L0=i32 [-9223372036854775808, 9223372036854775807], L1=i32 [-9223372036854775808, 9223372036854775807], L2=i32 [-9223372036854775808, 9223372036854775807]`	`i32 [0, 1]`	`(⊤)`

… showing 20 of 25 points for this function (full per-point invariants are scry's library output).

func 9 · run_const_fold_default ↑ row

7 program point(s) · up to 2 local(s) tracked.

pc	locals	operand stack (bottom → top)	memory (offset → value)
0	`L0=i32 0, L1=i32 0`	`⊤`	`(⊤)`
1	`L0=i32 0, L1=i32 0`	`⊤ · i32 48`	`(⊤)`
2	`L0=i32 0, L1=i32 0`	`i32 [-9223372036854775808, 9223372036854775807]`	`(⊤)`
3	`L0=i32 [-9223372036854775808, 9223372036854775807], L1=i32 0`	`i32 [-9223372036854775808, 9223372036854775807]`	`(⊤)`
4	`L0=i32 [-9223372036854775808, 9223372036854775807], L1=i32 0`	`(empty)`	`(⊤)`
5	`L0=i32 [-9223372036854775808, 9223372036854775807], L1=i32 0`	`i32 [-9223372036854775808, 9223372036854775807]`	`(⊤)`
6	`L0=i32 [-9223372036854775808, 9223372036854775807], L1=i32 0`	`i32 [-9223372036854775808, 9223372036854775807] · i32 1`	`(⊤)`

func 10 · run_const_fold_no_diag ↑ row

7 program point(s) · up to 2 local(s) tracked.

pc	locals	operand stack (bottom → top)	memory (offset → value)
0	`L0=i32 0, L1=i32 0`	`⊤`	`(⊤)`
1	`L0=i32 0, L1=i32 0`	`⊤ · i32 48`	`(⊤)`
2	`L0=i32 0, L1=i32 0`	`i32 [-9223372036854775808, 9223372036854775807]`	`(⊤)`
3	`L0=i32 [-9223372036854775808, 9223372036854775807], L1=i32 0`	`i32 [-9223372036854775808, 9223372036854775807]`	`(⊤)`
4	`L0=i32 [-9223372036854775808, 9223372036854775807], L1=i32 0`	`(empty)`	`(⊤)`
5	`L0=i32 [-9223372036854775808, 9223372036854775807], L1=i32 0`	`i32 [-9223372036854775808, 9223372036854775807]`	`(⊤)`
6	`L0=i32 [-9223372036854775808, 9223372036854775807], L1=i32 0`	`i32 [-9223372036854775808, 9223372036854775807] · i32 0`	`(⊤)`

func 11 · run_const_fold_widen1 ↑ row

7 program point(s) · up to 2 local(s) tracked.

pc	locals	operand stack (bottom → top)	memory (offset → value)
0	`L0=i32 0, L1=i32 0`	`⊤`	`(⊤)`
1	`L0=i32 0, L1=i32 0`	`⊤ · i32 48`	`(⊤)`
2	`L0=i32 0, L1=i32 0`	`i32 [-9223372036854775808, 9223372036854775807]`	`(⊤)`
3	`L0=i32 [-9223372036854775808, 9223372036854775807], L1=i32 0`	`i32 [-9223372036854775808, 9223372036854775807]`	`(⊤)`
4	`L0=i32 [-9223372036854775808, 9223372036854775807], L1=i32 0`	`(empty)`	`(⊤)`
5	`L0=i32 [-9223372036854775808, 9223372036854775807], L1=i32 0`	`i32 [-9223372036854775808, 9223372036854775807]`	`(⊤)`
6	`L0=i32 [-9223372036854775808, 9223372036854775807], L1=i32 0`	`i32 [-9223372036854775808, 9223372036854775807] · i32 1`	`(⊤)`

func 12 · run_counted_loop_default ↑ row

7 program point(s) · up to 2 local(s) tracked.

pc	locals	operand stack (bottom → top)	memory (offset → value)
0	`L0=i32 0, L1=i32 0`	`⊤`	`(⊤)`
1	`L0=i32 0, L1=i32 0`	`⊤ · i32 48`	`(⊤)`
2	`L0=i32 0, L1=i32 0`	`i32 [-9223372036854775808, 9223372036854775807]`	`(⊤)`
3	`L0=i32 [-9223372036854775808, 9223372036854775807], L1=i32 0`	`i32 [-9223372036854775808, 9223372036854775807]`	`(⊤)`
4	`L0=i32 [-9223372036854775808, 9223372036854775807], L1=i32 0`	`(empty)`	`(⊤)`
5	`L0=i32 [-9223372036854775808, 9223372036854775807], L1=i32 0`	`i32 [-9223372036854775808, 9223372036854775807]`	`(⊤)`
6	`L0=i32 [-9223372036854775808, 9223372036854775807], L1=i32 0`	`i32 [-9223372036854775808, 9223372036854775807] · i32 1`	`(⊤)`

func 13 · run_counted_loop_no_diag ↑ row

7 program point(s) · up to 2 local(s) tracked.

pc	locals	operand stack (bottom → top)	memory (offset → value)
0	`L0=i32 0, L1=i32 0`	`⊤`	`(⊤)`
1	`L0=i32 0, L1=i32 0`	`⊤ · i32 48`	`(⊤)`
2	`L0=i32 0, L1=i32 0`	`i32 [-9223372036854775808, 9223372036854775807]`	`(⊤)`
3	`L0=i32 [-9223372036854775808, 9223372036854775807], L1=i32 0`	`i32 [-9223372036854775808, 9223372036854775807]`	`(⊤)`
4	`L0=i32 [-9223372036854775808, 9223372036854775807], L1=i32 0`	`(empty)`	`(⊤)`
5	`L0=i32 [-9223372036854775808, 9223372036854775807], L1=i32 0`	`i32 [-9223372036854775808, 9223372036854775807]`	`(⊤)`
6	`L0=i32 [-9223372036854775808, 9223372036854775807], L1=i32 0`	`i32 [-9223372036854775808, 9223372036854775807] · i32 0`	`(⊤)`

func 14 · run_guard_bound_default ↑ row

7 program point(s) · up to 2 local(s) tracked.

pc	locals	operand stack (bottom → top)	memory (offset → value)
0	`L0=i32 0, L1=i32 0`	`⊤`	`(⊤)`
1	`L0=i32 0, L1=i32 0`	`⊤ · i32 48`	`(⊤)`
2	`L0=i32 0, L1=i32 0`	`i32 [-9223372036854775808, 9223372036854775807]`	`(⊤)`
3	`L0=i32 [-9223372036854775808, 9223372036854775807], L1=i32 0`	`i32 [-9223372036854775808, 9223372036854775807]`	`(⊤)`
4	`L0=i32 [-9223372036854775808, 9223372036854775807], L1=i32 0`	`(empty)`	`(⊤)`
5	`L0=i32 [-9223372036854775808, 9223372036854775807], L1=i32 0`	`i32 [-9223372036854775808, 9223372036854775807]`	`(⊤)`
6	`L0=i32 [-9223372036854775808, 9223372036854775807], L1=i32 0`	`i32 [-9223372036854775808, 9223372036854775807] · i32 1`	`(⊤)`

func 15 · run_guard_bound_widen1 ↑ row

7 program point(s) · up to 2 local(s) tracked.

pc	locals	operand stack (bottom → top)	memory (offset → value)
0	`L0=i32 0, L1=i32 0`	`⊤`	`(⊤)`
1	`L0=i32 0, L1=i32 0`	`⊤ · i32 48`	`(⊤)`
2	`L0=i32 0, L1=i32 0`	`i32 [-9223372036854775808, 9223372036854775807]`	`(⊤)`
3	`L0=i32 [-9223372036854775808, 9223372036854775807], L1=i32 0`	`i32 [-9223372036854775808, 9223372036854775807]`	`(⊤)`
4	`L0=i32 [-9223372036854775808, 9223372036854775807], L1=i32 0`	`(empty)`	`(⊤)`
5	`L0=i32 [-9223372036854775808, 9223372036854775807], L1=i32 0`	`i32 [-9223372036854775808, 9223372036854775807]`	`(⊤)`
6	`L0=i32 [-9223372036854775808, 9223372036854775807], L1=i32 0`	`i32 [-9223372036854775808, 9223372036854775807] · i32 1`	`(⊤)`

scry — a sound static analyzer for WebAssembly — scry v3.2.4 — self-analysis (scry_mcdc.wasm)

Summary

Scope & limitations

Evidence kinds (strongest first)

What scry does NOT (yet) prove / where it is conservative

Guidance — how to improve this code

Functions

Call graph

Diagnostics

Analysis gaps

Trap checks (div/rem + memory)

Handle-state faults (component model)

Float intervals (f32/f64)

Relational guards (pentagons)

Program points

func 4 · core::ptr::drop_glue::<scry_analyze_core::AnalysisResult> ↑ row

func 5 · scry_mcdc::drive ↑ row

func 6 · run_call_indirect_default ↑ row

func 7 · run_call_indirect_no_diag ↑ row

func 8 · run_call_indirect_taint ↑ row

func 9 · run_const_fold_default ↑ row

func 10 · run_const_fold_no_diag ↑ row

func 11 · run_const_fold_widen1 ↑ row

func 12 · run_counted_loop_default ↑ row

func 13 · run_counted_loop_no_diag ↑ row

func 14 · run_guard_bound_default ↑ row

func 15 · run_guard_bound_widen1 ↑ row