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

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	372
5	scry_mcdc::drive	rust defined	yes	no	3	608 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	23
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	23
18	run_interproc_taint_no_diag	defined	yes	no	0	48 bytes	unbounded	23
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	23
37	run_with_param_taint_no_diag	defined	yes	no	0	48 bytes	unbounded	23
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	<core::option::Option<scry_interval::Interval>>::is_some_and::<<scry_analyze_core::Interp>::poly_transfer::{closure#1}>	rust defined	yes	no	2	16 bytes	16 bytes	10
44	<core::option::Option<&mut scry_analyze_core::AbstractValue>>::ok_or_else::<scry_analyze_core::AnalyzeError, scry_analyze_core::interpret_op::{closure#2}>	rust defined	yes	no	3	48 bytes	unbounded	72
45	<core::option::Option<&mut scry_analyze_core::AbstractValue>>::ok_or_else::<scry_analyze_core::AnalyzeError, scry_analyze_core::interpret_op::{closure#4}>	rust defined	yes	no	3	48 bytes	unbounded	72
46	<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
47	<alloc::string::String as core::fmt::Display>::fmt	rust defined	yes	yes	2	0 bytes	unbounded	7
48	<alloc::raw_vec::RawVec<scry_analyze_core::Diagnostic>>::grow_one	rust defined	yes	no	1	16 bytes	unbounded	22
49	<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
50	<[scry_analyze_core::Gap]>::sort_by_key::<(u32, u32), scry_analyze_core::analyze::{closure#18}>	rust defined	yes	no	2	16 bytes	unbounded	32
51	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
52	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
53	<[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
54	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
55	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
56	alloc::str::join_generic_copy::<str, u8, alloc::string::String>	rust defined	yes	no	5	32 bytes	unbounded	10
57	<alloc::collections::btree::node::NodeRef<alloc::collections::btree::node::marker::Mut, u32, alloc::collections::btree::set_val::SetValZST, alloc::collections::btree::node::marker::LeafOrInternal>>::fix_node_through_parent::<alloc::alloc::Global>	rust defined	yes	no	3	80 bytes	unbounded	10
58	<alloc::collections::btree::node::BalancingContext<u32, alloc::collections::btree::set_val::SetValZST>>::bulk_steal_left	rust defined	yes	no	2	0 bytes	unbounded	12
59	<alloc::collections::btree::node::BalancingContext<u32, alloc::collections::btree::set_val::SetValZST>>::do_merge::<<alloc::collections::btree::node::BalancingContext<u32, alloc::collections::btree::set_val::SetValZST>>::merge_tracking_parent<alloc::alloc::Global>::{closure#0}, alloc::collections::btree::node::NodeRef<alloc::collections::btree::node::marker::Mut, u32, alloc::collections::btree::set_val::SetValZST, alloc::collections::btree::node::marker::Internal>, alloc::alloc::Global>	rust defined	yes	no	2	0 bytes	unbounded	8
60	<alloc::collections::btree::node::BalancingContext<u32, alloc::collections::btree::set_val::SetValZST>>::bulk_steal_right	rust defined	yes	no	2	0 bytes	unbounded	13
61	<alloc::collections::btree::node::Handle<alloc::collections::btree::node::NodeRef<alloc::collections::btree::node::marker::Mut, u32, alloc::collections::btree::set_val::SetValZST, alloc::collections::btree::node::marker::Leaf>, alloc::collections::btree::node::marker::KV>>::remove_leaf_kv::<<alloc::collections::btree::map::entry::OccupiedEntry<u32, alloc::collections::btree::set_val::SetValZST>>::remove_kv::{closure#0}, alloc::alloc::Global>	rust defined	yes	no	3	48 bytes	unbounded	19
62	<alloc::collections::btree::node::BalancingContext<u32, alloc::collections::btree::set_val::SetValZST>>::do_merge::<<alloc::collections::btree::node::BalancingContext<u32, alloc::collections::btree::set_val::SetValZST>>::merge_tracking_child<alloc::alloc::Global>::{closure#0}, alloc::collections::btree::node::NodeRef<alloc::collections::btree::node::marker::Mut, u32, alloc::collections::btree::set_val::SetValZST, alloc::collections::btree::node::marker::LeafOrInternal>, alloc::alloc::Global>	rust defined	yes	no	2	0 bytes	unbounded	8
63	<alloc::collections::btree::node::Handle<alloc::collections::btree::node::NodeRef<alloc::collections::btree::node::marker::Mut, alloc::string::String, u32, alloc::collections::btree::node::marker::Leaf>, alloc::collections::btree::node::marker::Edge>>::insert::<alloc::alloc::Global>	rust defined	yes	no	4	48 bytes	unbounded	13
64	<alloc::collections::btree::node::Handle<alloc::collections::btree::node::NodeRef<alloc::collections::btree::node::marker::Mut, alloc::string::String, u32, alloc::collections::btree::node::marker::Leaf>, alloc::collections::btree::node::marker::KV>>::split::<alloc::alloc::Global>	rust defined	yes	no	2	16 bytes	unbounded	14
65	<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
66	<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	8
67	<alloc::collections::btree::node::Handle<alloc::collections::btree::node::NodeRef<alloc::collections::btree::node::marker::Mut, u32, 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
68	<alloc::collections::btree::node::Handle<alloc::collections::btree::node::NodeRef<alloc::collections::btree::node::marker::Mut, u32, 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	8
69	<alloc::collections::btree::node::Handle<alloc::collections::btree::node::NodeRef<alloc::collections::btree::node::marker::Mut, alloc::string::String, u32, alloc::collections::btree::node::marker::Internal>, alloc::collections::btree::node::marker::Edge>>::insert::<alloc::alloc::Global>	rust defined	yes	no	6	48 bytes	unbounded	24
70	<alloc::collections::btree::node::Handle<alloc::collections::btree::node::NodeRef<alloc::collections::btree::node::marker::Mut, alloc::string::String, u32, alloc::collections::btree::node::marker::Internal>, alloc::collections::btree::node::marker::KV>>::split::<alloc::alloc::Global>	rust defined	yes	no	2	32 bytes	unbounded	9
71	<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
72	<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
73	<alloc::collections::btree::node::Handle<alloc::collections::btree::node::NodeRef<alloc::collections::btree::node::marker::Mut, u32, 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
74	<alloc::collections::btree::node::Handle<alloc::collections::btree::node::NodeRef<alloc::collections::btree::node::marker::Mut, u32, 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
75	<alloc::collections::btree::node::Handle<alloc::collections::btree::node::NodeRef<alloc::collections::btree::node::marker::Mut, alloc::string::String, u32, alloc::collections::btree::node::marker::Leaf>, alloc::collections::btree::node::marker::Edge>>::insert_recursing::<alloc::alloc::Global, <alloc::collections::btree::map::entry::VacantEntry<alloc::string::String, u32>>::insert_entry::{closure#0}>	rust defined	yes	no	6	80 bytes	unbounded	51
76	<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	40
77	<alloc::collections::btree::node::Handle<alloc::collections::btree::node::NodeRef<alloc::collections::btree::node::marker::Mut, u32, 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<u32, alloc::collections::btree::set_val::SetValZST>>::insert_entry::{closure#0}>	rust defined	yes	no	5	48 bytes	unbounded	40
78	<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
79	<alloc::collections::btree::set::BTreeSet<u32>>::remove::<u32>	rust defined	yes	no	2	16 bytes	unbounded	20
80	<alloc::collections::btree::map::entry::OccupiedEntry<u32, alloc::collections::btree::set_val::SetValZST>>::remove_kv	rust defined	yes	no	1	32 bytes	unbounded	9
81	<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
82	<core::iter::adapters::map::Map<core::slice::iter::Iter<scry_analyze_core::Label>, <scry_analyze_core::Interp>::loop_region::{closure#0}> as core::iter::traits::iterator::Iterator>::fold::<(), core::iter::traits::iterator::Iterator::for_each::call<core::option::Option<scry_analyze_core::BreakState>, <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}>>::{closure#0}>::{closure#0}>	rust defined	yes	no	3	144 bytes	unbounded	59
83	<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
84	<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	53
85	<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	55
86	<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	58
87	<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	47
88	<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	49
89	<alloc::vec::Vec<scry_analyze_core::LinearConstraint>>::extend_desugared::<core::iter::adapters::map::Map<core::iter::adapters::filter::Filter<core::slice::iter::Iter<scry_poly::Constraint>, scry_analyze_core::snapshot_linear::{closure#0}>, scry_analyze_core::snapshot_linear::{closure#1}>>	rust defined	yes	no	3	64 bytes	unbounded	20
90	<alloc::vec::Vec<scry_analyze_core::LinearTerm> as alloc::vec::spec_from_iter_nested::SpecFromIterNested<scry_analyze_core::LinearTerm, core::iter::adapters::map::Map<core::iter::adapters::filter::Filter<core::iter::adapters::enumerate::Enumerate<core::slice::iter::Iter<i64>>, scry_analyze_core::snapshot_linear::{closure#1}::{closure#0}>, scry_analyze_core::snapshot_linear::{closure#1}::{closure#1}>>>::from_iter	rust defined	yes	no	2	16 bytes	unbounded	19
91	<&char as core::fmt::Display>::fmt	rust defined	yes	yes	2	0 bytes	unbounded	5
92	<alloc::collections::btree::map::IntoIter<u32, alloc::collections::btree::set_val::SetValZST>>::dying_next	rust defined	yes	no	2	0 bytes	unbounded	108
93	<alloc::vec::Vec<(scry_analyze_core::Advisory, core::option::Option<&str>)>>::extend_trusted::<core::iter::adapters::zip::Zip<alloc::vec::into_iter::IntoIter<scry_analyze_core::Advisory>, alloc::vec::into_iter::IntoIter<core::option::Option<&str>>>>	rust defined	yes	no	2	240 bytes	unbounded	30
94	core::ptr::drop_glue::<scry_analyze_core::Advisory>	rust defined	yes	no	1	0 bytes	0 bytes	89
95	<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	154
96	core::ptr::drop_glue::<core::option::Option<scry_analyze_core::BreakState>>	rust defined	yes	no	1	0 bytes	0 bytes	30
97	core::ptr::drop_glue::<core::option::Option<scry_provenance::ProvenanceSection>>	rust defined	yes	no	1	0 bytes	0 bytes	9
98	core::ptr::drop_glue::<core::option::Option<(alloc::vec::Vec<scry_analyze_core::AbstractValue>, scry_octagon::Octagon, scry_segment::Segmentation, scry_poly::Poly)>>	rust defined	yes	no	1	0 bytes	0 bytes	30
99	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

… showing 100 of 946 functions.

caller	pc	kind	resolved targets	soundness
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	4	call	683 <alloc::vec::Vec<u8> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	6	call	653 <alloc::raw_vec::RawVec<u8> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	11	call	683 <alloc::vec::Vec<u8> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	13	call	653 <alloc::raw_vec::RawVec<u8> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	18	call	106 <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	324 <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	358 <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	322 <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	364 <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	330 <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	360 <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	325 <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	360 <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	325 <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	360 <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	325 <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	360 <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	325 <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	360 <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	325 <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	360 <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	325 <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	360 <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	325 <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	360 <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	325 <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	623 <alloc::raw_vec::RawVecInner>::deallocate	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	106	call	683 <alloc::vec::Vec<u8> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	108	call	653 <alloc::raw_vec::RawVec<u8> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	106	call	683 <alloc::vec::Vec<u8> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	108	call	653 <alloc::raw_vec::RawVec<u8> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	106	call	683 <alloc::vec::Vec<u8> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	108	call	653 <alloc::raw_vec::RawVec<u8> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	106	call	683 <alloc::vec::Vec<u8> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	108	call	653 <alloc::raw_vec::RawVec<u8> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	125	call	623 <alloc::raw_vec::RawVecInner>::deallocate	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	145	call	683 <alloc::vec::Vec<u8> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	147	call	653 <alloc::raw_vec::RawVec<u8> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	145	call	683 <alloc::vec::Vec<u8> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	147	call	653 <alloc::raw_vec::RawVec<u8> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	145	call	683 <alloc::vec::Vec<u8> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	147	call	653 <alloc::raw_vec::RawVec<u8> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	145	call	683 <alloc::vec::Vec<u8> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	147	call	653 <alloc::raw_vec::RawVec<u8> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	164	call	623 <alloc::raw_vec::RawVecInner>::deallocate	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	170	call	623 <alloc::raw_vec::RawVecInner>::deallocate	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	175	call	684 <alloc::vec::Vec<u32> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	177	call	654 <alloc::raw_vec::RawVec<u32> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	206	call	683 <alloc::vec::Vec<u8> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	208	call	653 <alloc::raw_vec::RawVec<u8> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	214	call	368 <alloc::vec::Vec<alloc::string::String> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	216	call	334 <alloc::raw_vec::RawVec<alloc::string::String> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	206	call	683 <alloc::vec::Vec<u8> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	208	call	653 <alloc::raw_vec::RawVec<u8> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	214	call	368 <alloc::vec::Vec<alloc::string::String> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	216	call	334 <alloc::raw_vec::RawVec<alloc::string::String> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	206	call	683 <alloc::vec::Vec<u8> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	208	call	653 <alloc::raw_vec::RawVec<u8> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	214	call	368 <alloc::vec::Vec<alloc::string::String> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	216	call	334 <alloc::raw_vec::RawVec<alloc::string::String> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	206	call	683 <alloc::vec::Vec<u8> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	208	call	653 <alloc::raw_vec::RawVec<u8> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	214	call	368 <alloc::vec::Vec<alloc::string::String> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	216	call	334 <alloc::raw_vec::RawVec<alloc::string::String> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	233	call	623 <alloc::raw_vec::RawVecInner>::deallocate	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	238	call	363 <alloc::vec::Vec<scry_analyze_core::BitFact> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	240	call	328 <alloc::raw_vec::RawVec<scry_analyze_core::BitFact> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	245	call	362 <alloc::vec::Vec<scry_analyze_core::Gap> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	247	call	327 <alloc::raw_vec::RawVec<scry_analyze_core::Gap> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	252	call	359 <alloc::vec::Vec<scry_analyze_core::PentagonFact> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	254	call	323 <alloc::raw_vec::RawVec<scry_analyze_core::PentagonFact> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	259	call	367 <alloc::vec::Vec<scry_analyze_core::TrapCheck> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	261	call	333 <alloc::raw_vec::RawVec<scry_analyze_core::TrapCheck> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	266	call	366 <alloc::vec::Vec<scry_analyze_core::FloatFact> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	268	call	332 <alloc::raw_vec::RawVec<scry_analyze_core::FloatFact> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	273	call	361 <alloc::vec::Vec<scry_analyze_core::HandleFinding> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	275	call	326 <alloc::raw_vec::RawVec<scry_analyze_core::HandleFinding> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	301	call	683 <alloc::vec::Vec<u8> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	303	call	653 <alloc::raw_vec::RawVec<u8> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	308	call	683 <alloc::vec::Vec<u8> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	310	call	653 <alloc::raw_vec::RawVec<u8> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	315	call	683 <alloc::vec::Vec<u8> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	317	call	653 <alloc::raw_vec::RawVec<u8> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	322	call	683 <alloc::vec::Vec<u8> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	324	call	653 <alloc::raw_vec::RawVec<u8> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	335	call	683 <alloc::vec::Vec<u8> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	337	call	653 <alloc::raw_vec::RawVec<u8> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	342	call	365 <alloc::vec::Vec<scry_analyze_core::CxAssign> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	344	call	331 <alloc::raw_vec::RawVec<scry_analyze_core::CxAssign> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	347	call	683 <alloc::vec::Vec<u8> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	349	call	653 <alloc::raw_vec::RawVec<u8> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	354	call	683 <alloc::vec::Vec<u8> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	356	call	653 <alloc::raw_vec::RawVec<u8> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	361	call	683 <alloc::vec::Vec<u8> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	363	call	653 <alloc::raw_vec::RawVec<u8> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	301	call	683 <alloc::vec::Vec<u8> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	303	call	653 <alloc::raw_vec::RawVec<u8> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	308	call	683 <alloc::vec::Vec<u8> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	310	call	653 <alloc::raw_vec::RawVec<u8> as core::ops::drop::Drop>::drop	sound
4 core::ptr::drop_glue::<scry_analyze_core::AnalysisResult>	315	call	683 <alloc::vec::Vec<u8> as core::ops::drop::Drop>::drop	sound

Diagnostics

info fn0:0 scry 3.3.0 — wasm-lattice cross-component import alive
info fn4:4 call resolved to 1 target (func 683); direct call edge recorded (sound); result via context-insensitive summary
info fn4:6 call resolved to 1 target (func 653); direct call edge recorded (sound); result via context-insensitive summary
info fn4:11 call resolved to 1 target (func 683); direct call edge recorded (sound); result via context-insensitive summary
info fn4:13 call resolved to 1 target (func 653); direct call edge recorded (sound); result via context-insensitive summary
info fn4:18 call resolved to 1 target (func 106); direct call edge recorded (sound); result via context-insensitive summary
info fn4:20 call resolved to 1 target (func 324); direct call edge recorded (sound); result via context-insensitive summary
info fn4:25 call resolved to 1 target (func 358); direct call edge recorded (sound); result via context-insensitive summary
info fn4:27 call resolved to 1 target (func 322); direct call edge recorded (sound); result via context-insensitive summary
info fn4:32 call resolved to 1 target (func 364); direct call edge recorded (sound); result via context-insensitive summary
info fn4:34 call resolved to 1 target (func 330); 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 360); direct call edge recorded (sound); result via context-insensitive summary
info fn4:55 call resolved to 1 target (func 325); direct call edge recorded (sound); result via context-insensitive summary
info fn4:60 call resolved to 1 target (func 360); direct call edge recorded (sound); result via context-insensitive summary
info fn4:62 call resolved to 1 target (func 325); direct call edge recorded (sound); result via context-insensitive summary
info fn4:53 call resolved to 1 target (func 360); direct call edge recorded (sound); result via context-insensitive summary
info fn4:55 call resolved to 1 target (func 325); direct call edge recorded (sound); result via context-insensitive summary
info fn4:60 call resolved to 1 target (func 360); direct call edge recorded (sound); result via context-insensitive summary
info fn4:62 call resolved to 1 target (func 325); direct call edge recorded (sound); result via context-insensitive summary
info fn4:53 call resolved to 1 target (func 360); direct call edge recorded (sound); result via context-insensitive summary
info fn4:55 call resolved to 1 target (func 325); direct call edge recorded (sound); result via context-insensitive summary
info fn4:60 call resolved to 1 target (func 360); direct call edge recorded (sound); result via context-insensitive summary
info fn4:62 call resolved to 1 target (func 325); direct call edge recorded (sound); result via context-insensitive summary
info fn4:53 call resolved to 1 target (func 360); direct call edge recorded (sound); result via context-insensitive summary
info fn4:55 call resolved to 1 target (func 325); direct call edge recorded (sound); result via context-insensitive summary
info fn4:60 call resolved to 1 target (func 360); direct call edge recorded (sound); result via context-insensitive summary
info fn4:62 call resolved to 1 target (func 325); direct call edge recorded (sound); result via context-insensitive summary
info fn4:79 call resolved to 1 target (func 623); 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 683); direct call edge recorded (sound); result via context-insensitive summary
info fn4:108 call resolved to 1 target (func 653); direct call edge recorded (sound); result via context-insensitive summary
info fn4:106 call resolved to 1 target (func 683); direct call edge recorded (sound); result via context-insensitive summary
info fn4:108 call resolved to 1 target (func 653); direct call edge recorded (sound); result via context-insensitive summary
info fn4:106 call resolved to 1 target (func 683); direct call edge recorded (sound); result via context-insensitive summary
info fn4:108 call resolved to 1 target (func 653); direct call edge recorded (sound); result via context-insensitive summary
info fn4:106 call resolved to 1 target (func 683); direct call edge recorded (sound); result via context-insensitive summary
info fn4:108 call resolved to 1 target (func 653); direct call edge recorded (sound); result via context-insensitive summary
info fn4:125 call resolved to 1 target (func 623); 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 683); direct call edge recorded (sound); result via context-insensitive summary
info fn4:147 call resolved to 1 target (func 653); direct call edge recorded (sound); result via context-insensitive summary
info fn4:145 call resolved to 1 target (func 683); direct call edge recorded (sound); result via context-insensitive summary
info fn4:147 call resolved to 1 target (func 653); direct call edge recorded (sound); result via context-insensitive summary
info fn4:145 call resolved to 1 target (func 683); direct call edge recorded (sound); result via context-insensitive summary
info fn4:147 call resolved to 1 target (func 653); direct call edge recorded (sound); result via context-insensitive summary
info fn4:145 call resolved to 1 target (func 683); direct call edge recorded (sound); result via context-insensitive summary
info fn4:147 call resolved to 1 target (func 653); direct call edge recorded (sound); result via context-insensitive summary
info fn4:164 call resolved to 1 target (func 623); direct call edge recorded (sound); result via context-sensitive re-eval
info fn4:170 call resolved to 1 target (func 623); direct call edge recorded (sound); result via context-sensitive re-eval
info fn4:175 call resolved to 1 target (func 684); direct call edge recorded (sound); result via context-insensitive summary
info fn4:177 call resolved to 1 target (func 654); direct call edge recorded (sound); result via context-insensitive summary
warning fn4:184 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:189 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:201 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:206 call resolved to 1 target (func 683); direct call edge recorded (sound); result via context-insensitive summary
info fn4:208 call resolved to 1 target (func 653); direct call edge recorded (sound); result via context-insensitive summary
info fn4:214 call resolved to 1 target (func 368); direct call edge recorded (sound); result via context-insensitive summary
info fn4:216 call resolved to 1 target (func 334); direct call edge recorded (sound); result via context-insensitive summary
warning fn4:201 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:206 call resolved to 1 target (func 683); direct call edge recorded (sound); result via context-insensitive summary
info fn4:208 call resolved to 1 target (func 653); direct call edge recorded (sound); result via context-insensitive summary
info fn4:214 call resolved to 1 target (func 368); direct call edge recorded (sound); result via context-insensitive summary
info fn4:216 call resolved to 1 target (func 334); direct call edge recorded (sound); result via context-insensitive summary
warning fn4:201 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:206 call resolved to 1 target (func 683); direct call edge recorded (sound); result via context-insensitive summary
info fn4:208 call resolved to 1 target (func 653); direct call edge recorded (sound); result via context-insensitive summary
info fn4:214 call resolved to 1 target (func 368); direct call edge recorded (sound); result via context-insensitive summary
info fn4:216 call resolved to 1 target (func 334); direct call edge recorded (sound); result via context-insensitive summary
warning fn4:201 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:206 call resolved to 1 target (func 683); direct call edge recorded (sound); result via context-insensitive summary
info fn4:208 call resolved to 1 target (func 653); direct call edge recorded (sound); result via context-insensitive summary
info fn4:214 call resolved to 1 target (func 368); direct call edge recorded (sound); result via context-insensitive summary
info fn4:216 call resolved to 1 target (func 334); direct call edge recorded (sound); result via context-insensitive summary
info fn4:233 call resolved to 1 target (func 623); direct call edge recorded (sound); result via context-sensitive re-eval
info fn4:238 call resolved to 1 target (func 363); direct call edge recorded (sound); result via context-insensitive summary
info fn4:240 call resolved to 1 target (func 328); direct call edge recorded (sound); result via context-insensitive summary
info fn4:245 call resolved to 1 target (func 362); direct call edge recorded (sound); result via context-insensitive summary
info fn4:247 call resolved to 1 target (func 327); direct call edge recorded (sound); result via context-insensitive summary
info fn4:252 call resolved to 1 target (func 359); direct call edge recorded (sound); result via context-insensitive summary
info fn4:254 call resolved to 1 target (func 323); direct call edge recorded (sound); result via context-insensitive summary
info fn4:259 call resolved to 1 target (func 367); direct call edge recorded (sound); result via context-insensitive summary
info fn4:261 call resolved to 1 target (func 333); direct call edge recorded (sound); result via context-insensitive summary
info fn4:266 call resolved to 1 target (func 366); direct call edge recorded (sound); result via context-insensitive summary
info fn4:268 call resolved to 1 target (func 332); direct call edge recorded (sound); result via context-insensitive summary
info fn4:273 call resolved to 1 target (func 361); direct call edge recorded (sound); result via context-insensitive summary
info fn4:275 call resolved to 1 target (func 326); direct call edge recorded (sound); result via context-insensitive summary
warning fn4:282 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:287 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:301 call resolved to 1 target (func 683); direct call edge recorded (sound); result via context-insensitive summary
info fn4:303 call resolved to 1 target (func 653); direct call edge recorded (sound); result via context-insensitive summary
info fn4:308 call resolved to 1 target (func 683); direct call edge recorded (sound); result via context-insensitive summary
info fn4:310 call resolved to 1 target (func 653); direct call edge recorded (sound); result via context-insensitive summary
info fn4:315 call resolved to 1 target (func 683); direct call edge recorded (sound); result via context-insensitive summary
info fn4:317 call resolved to 1 target (func 653); direct call edge recorded (sound); result via context-insensitive summary
info fn4:322 call resolved to 1 target (func 683); direct call edge recorded (sound); result via context-insensitive summary

… showing 100 of 12678 diagnostics.

Program points

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

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

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

… showing 20 of 372 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 608`	`(⊤)`
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 312`	`(⊤)`
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 312`	`(⊤)`

… 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

23 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`	`(empty)`	`(⊤)`
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]`	`(empty)`	`(⊤)`
24	`L0=i32 [-9223372036854775808, 9223372036854775807], L1=i32 [-9223372036854775808, 9223372036854775807], L2=i32 [-9223372036854775808, 9223372036854775807]`	`i32 [-9223372036854775808, 9223372036854775807]`	`(⊤)`
25	`L0=i32 [-9223372036854775808, 9223372036854775807], L1=i32 [-9223372036854775808, 9223372036854775807], L2=i32 [-9223372036854775808, 9223372036854775807]`	`i32 [-9223372036854775808, 9223372036854775807] · i32 0`	`(⊤)`

… showing 20 of 23 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.3.0 — self-analysis (scry_mcdc.wasm)

Summary

Scope & limitations

Evidence kinds (strongest first)

What scry does NOT prove

Measured on THIS module

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