{
"core::alloc::global::GlobalAlloc::alloc": {
"0": [
"ValidNum",
"Init"
]
},
"core::alloc::global::GlobalAlloc::realloc": {
"0": [
"Allocated",
"Layout",
"ValidNum"
]
},
"core::alloc::global::GlobalAlloc::dealloc": {
"0": [
"Allocated",
"Layout"
]
},
"core::alloc::global::GlobalAlloc::alloc_zeroed": {
"0": [
"ValidNum"
]
},
"core::alloc::layout::from_size_align_unchecked": {
"0": [
"ValidNum"
]
},
"core::alloc::layout::for_value_raw": {
"0": [
"Size",
"ValidSlice",
"ValidTraitObj"
]
},
"core::alloc::Allocator::grow": {
"0": [
"Allocated",
"Layout",
"ValidNum"
]
},
"core::alloc::Allocator::grow_zeroed": {
"0": [
"Allocated",
"Layout",
"ValidNum"
]
},
"core::alloc::Allocator::shrink": {
"0": [
"Allocated",
"Layout",
"ValidNum"
]
},
"core::alloc::Allocator::deallocate": {
"0": [
"Allocated",
"Layout"
]
},
"core::alloc::deallocate": {
"0": [
"Allocated",
"Layout"
]
},
"core::alloc::grow": {
"0": [
"Allocated",
"Layout",
"ValidNum"
]
},
"core::alloc::grow_zeroed": {
"0": [
"Allocated",
"Layout",
"ValidNum"
]
},
"core::alloc::shrink": {
"0": [
"Allocated",
"Layout",
"ValidNum"
]
},
"core::any::downcast_ref_unchecked": {
"0": [
"Init"
]
},
"core::any::downcast_mut_unchecked": {
"0": [
"Init"
]
},
"core::array::iter::new_unchecked": {
"0": [
"ValidNum",
"Init"
]
},
"core::array::ascii::as_ascii_unchecked": {
"0": [
"ValidNum"
]
},
"core::ascii::ascii_char::digit_unchecked": {
"0": [
"ValidNum"
]
},
"core::ascii::ascii_char::from_u8_unchecked": {
"0": [
"ValidNum"
]
},
"core::cell::try_borrow_unguarded": {
"0": [
"Alias"
]
},
"core::char::from_u32_unchecked": {
"0": [
"ValidString"
]
},
"core::char::convert::from_u32_unchecked": {
"0": [
"ValidString"
]
},
"core::char::methods::from_u32_unchecked": {
"0": [
"ValidString"
]
},
"core::f128::to_int_unchecked": {
"0": [
"ValidNum"
]
},
"core::f64::to_int_unchecked": {
"0": [
"ValidNum"
]
},
"core::f32::to_int_unchecked": {
"0": [
"ValidNum"
]
},
"core::f16::to_int_unchecked": {
"0": [
"ValidNum"
]
},
"core::convert::num::FloatToInt::to_int_unchecked": {
"0": [
"ValidNum"
]
},
"core::convert::num::to_int_unchecked": {
"0": [
"ValidNum"
]
},
"core::ffi::c_str::from_ptr": {
"0": [
"ValidCStr",
"ValidPtr",
"NonNull",
"Alias",
"ValidNum"
]
},
"core::ffi::c_str::from_bytes_with_nul_unchecked": {
"0": [
"ValidCStr"
]
},
"core::future::async_drop::async_drop_in_place": {
"0": [
"ValidPtr",
"Aligned",
"NonNull",
"Allocated"
]
},
"core::iter::range::forward_unchecked": {
"0": [
"ValidNum"
]
},
"core::iter::range::backward_unchecked": {
"0": [
"ValidNum"
]
},
"core::iter::range::Step::forward_unchecked": {
"0": [
"ValidNum"
]
},
"core::iter::range::Step::backward_unchecked": {
"0": [
"ValidNum"
]
},
"core::mem::manually_drop::take": {
"0": [
"Ownning"
]
},
"core::mem::manually_drop::drop": {
"0": [
"Allocated"
]
},
"core::mem::maybe_uninit::assume_init": {
"0": [
"Init"
]
},
"core::mem::maybe_uninit::assume_init_read": {
"0": [
"Init",
"CopyTrait"
]
},
"core::mem::maybe_uninit::assume_init_drop": {
"0": [
"Init",
"Allocated"
]
},
"core::mem::maybe_uninit::assume_init_ref": {
"0": [
"Init"
]
},
"core::mem::maybe_uninit::assume_init_mut": {
"0": [
"Init"
]
},
"core::mem::maybe_uninit::array_assume_init": {
"0": [
"Init"
]
},
"core::mem::maybe_uninit::slice_assume_init_ref": {
"0": [
"Init"
]
},
"core::mem::maybe_uninit::slice_assume_init_mut": {
"0": [
"Init"
]
},
"core::mem::size_of_val_raw": {
"0": [
"Size",
"ValidSlice",
"ValidTraitObj"
]
},
"core::mem::align_of_val_raw": {
"0": [
"Size",
"ValidSlice",
"ValidTraitObj"
]
},
"core::mem::zeroed": {
"0": [
"Typed"
]
},
"core::mem::uninitialized": {
"0": [
"ValidNum"
]
},
"core::mem::transmute_copy": {
"0": [
"DoubleAligned",
"Typed"
]
},
"core::mem::transmutability::TransmuteFrom::transmute": {
"0": [
"DoubleAligned",
"Typed"
]
},
"core::num::nonzero::unchecked_add": {
"0": [
"ValidNum"
]
},
"core::num::nonzero::unchecked_mul": {
"0": [
"ValidNum"
]
},
"core::num::nonzero::new_unchecked": {
"0": [
"ValidNum"
]
},
"core::num::nonzero::from_mut_unchecked": {
"0": [
"ValidNum"
]
},
"core::num::unchecked_sub": {
"0": [
"ValidNum"
]
},
"core::num::unchecked_mul": {
"0": [
"ValidNum"
]
},
"core::num::unchecked_neg": {
"0": [
"ValidNum"
]
},
"core::num::unchecked_shl": {
"0": [
"ValidNum"
]
},
"core::num::unchecked_shr": {
"0": [
"ValidNum"
]
},
"core::num::unchecked_add": {
"0": [
"ValidNum"
]
},
"core::hint::unreachable_unchecked": {
"0": [
"Unreachable"
]
},
"core::hint::assert_unchecked": {
"0": [
"ValidNum"
]
},
"core::pin::map_unchecked": {
"0": [
"Pinned"
]
},
"core::pin::map_unchecked_mut": {
"0": [
"Pinned"
]
},
"core::pin::new_unchecked": {
"0": [
"Pinned"
]
},
"core::pin::into_inner_unchecked": {
"0": [
"Pinned"
]
},
"core::pin::get_unchecked_mut": {
"0": [
"Pinned"
]
},
"core::sync::atomic::from_ptr": {
"0": [
"ValidPtr",
"Aligned",
"Alias",
"Alive"
]
},
"core::intrinsics::float_to_int_unchecked": {
"0": [
"ValidNum"
]
},
"core::intrinsics::typed_swap": {
"0": [
"ValidPtr",
"NonOverlap"
]
},
"core::intrinsics::copy": {
"0": [
"ValidPtr",
"Aligned",
"!Volatile",
"Alias",
"CopyTrait"
]
},
"core::intrinsics::copy::copy": {
"0": [
"ValidPtr",
"Aligned",
"!Volatile",
"Alias",
"CopyTrait"
],
"1": [
"ValidPtr",
"Aligned",
"!Volatile",
"Alias",
"CopyTrait"
]
},
"core::intrinsics::copy_nonoverlapping": {
"0": [
"ValidPtr",
"Aligned",
"NonOverlap",
"!Volatile",
"Alias",
"CopyTrait"
],
"1": [
"ValidPtr",
"Aligned",
"NonOverlap",
"!Volatile",
"Alias",
"CopyTrait"
]
},
"core::intrinsics::write_bytes": {
"0": [
"ValidPtr",
"Aligned",
"Typed"
]
},
"core::intrinsics::ptr_offset_from": {
"0": [
"InBounded",
"ValidNum",
"!Size"
]
},
"core::ptr::alignment::new_unchecked": {
"0": [
"ValidNum"
]
},
"core::ptr::non_null::as_uninit_ref": {
"0": [
"NonNull | ",
"ValidPtr2Ref"
]
},
"core::ptr::non_null::as_uninit_mut": {
"0": [
"NonNull | ",
"ValidPtr2Ref"
]
},
"core::ptr::non_null::new_unchecked": {
"0": [
"NonNull"
]
},
"core::ptr::non_null::as_ref": {
"0": [
"NonNull | ",
"ValidPtr2Ref"
]
},
"core::ptr::non_null::as_mut": {
"0": [
"ValidPtr2Ref"
]
},
"core::ptr::non_null::offset": {
"0": [
"InBounded",
"ValidNum"
]
},
"core::ptr::non_null::add": {
"0": [
"InBounded",
"ValidNum"
]
},
"core::ptr::non_null::byte_offset": {
"0": [
"InBounded",
"ValidNum"
]
},
"core::ptr::non_null::byte_add": {
"0": [
"InBounded",
"ValidNum"
]
},
"core::ptr::non_null::byte_sub": {
"0": [
"InBounded",
"ValidNum"
]
},
"core::ptr::non_null::offset_from": {
"0": [
"InBounded",
"ValidNum",
"!Size"
]
},
"core::ptr::non_null::byte_offset_from": {
"0": [
"InBounded",
"ValidNum",
"!Size"
]
},
"core::ptr::non_null::sub_ptr": {
"0": [
"InBounded",
"ValidNum",
"!Size"
]
},
"core::ptr::non_null::sub": {
"0": [
"InBounded",
"ValidNum"
]
},
"core::ptr::non_null::read": {
"0": [
"ValidPtr",
"Aligned",
"CopyTrait",
"Typed"
]
},
"core::ptr::non_null::read_volatile": {
"0": [
"ValidPtr",
"Aligned",
"CopyTrait",
"Typed"
]
},
"core::ptr::non_null::read_unaligned": {
"0": [
"ValidPtr",
"CopyTrait",
"Typed"
]
},
"core::ptr::non_null::copy_to": {
"0": [
"ValidPtr",
"Aligned",
"!Volatile",
"Alias",
"CopyTrait"
]
},
"core::ptr::non_null::copy_to_nonoverlapping": {
"0": [
"ValidPtr",
"Aligned",
"NonOverlap",
"!Volatile",
"CopyTrait",
"Alias"
]
},
"core::ptr::non_null::copy_from": {
"0": [
"ValidPtr",
"Aligned",
"!Volatile",
"CopyTrait",
"Alias"
]
},
"core::ptr::non_null::copy_from_nonoverlapping": {
"0": [
"ValidPtr",
"Aligned",
"NonOverlap",
"!Volatile",
"CopyTrait",
"Alias"
]
},
"core::ptr::non_null::drop_in_place": {
"0": [
"ValidPtr",
"Aligned"
]
},
"core::ptr::non_null::write": {
"0": [
"ValidPtr",
"Aligned"
]
},
"core::ptr::non_null::write_bytes": {
"0": [
"ValidPtr",
"Aligned",
"Typed"
]
},
"core::ptr::non_null::write_volatile": {
"0": [
"ValidPtr",
"Aligned"
]
},
"core::ptr::non_null::write_unaligned": {
"0": [
"ValidPtr"
]
},
"core::ptr::non_null::replace": {
"0": [
"ValidPtr",
"Aligned",
"Init"
]
},
"core::ptr::non_null::swap": {
"0": [
"ValidPtr",
"Aligned"
]
},
"core::ptr::non_null::as_uninit_slice": {
"0": [
"NonNull",
"ValidPtr",
"Init",
"Alive",
"Alias",
"ValidNum",
"Aligned"
]
},
"core::ptr::non_null::as_uninit_slice_mut": {
"0": [
"NonNull",
"ValidPtr",
"Init",
"Alive",
"Alias",
"ValidNum",
"Aligned"
]
},
"core::ptr::non_null::get_unchecked_mut": {
"0": [
"ValidNum",
"Allocated"
]
},
"core::ptr::const_ptr::as_ref": {
"0": [
"NonNull | ",
"ValidPtr2Ref"
]
},
"core::ptr::const_ptr::as_ref_unchecked": {
"0": [
"ValidPtr2Ref"
]
},
"core::ptr::const_ptr::as_uninit_ref": {
"0": [
"NonNull | ",
"ValidPtr2Ref"
]
},
"core::ptr::const_ptr::offset": {
"0": [
"InBounded",
"ValidNum"
]
},
"core::ptr::const_ptr::add": {
"0": [
"InBounded",
"ValidNum"
]
},
"core::ptr::const_ptr::sub": {
"0": [
"InBounded",
"ValidNum"
]
},
"core::ptr::const_ptr::byte_offset": {
"0": [
"InBounded",
"ValidNum"
]
},
"core::ptr::const_ptr::offset_from": {
"0": [
"InBounded",
"ValidNum",
"!Size"
]
},
"core::ptr::const_ptr::byte_offset_from": {
"0": [
"InBounded",
"ValidNum",
"!Size"
]
},
"core::ptr::const_ptr::non_null::sub_ptr": {
"0": [
"InBounded",
"ValidNum",
"!Size"
]
},
"core::ptr::const_ptr::sub_ptr": {
"0": [
"InBounded",
"ValidNum",
"!Size"
]
},
"core::ptr::const_ptr::byte_add": {
"0": [
"InBounded",
"ValidNum"
]
},
"core::ptr::const_ptr::byte_sub": {
"0": [
"InBounded",
"ValidNum"
]
},
"core::ptr::const_ptr::read": {
"0": [
"ValidPtr",
"Aligned",
"Typed",
"CopyTrait"
]
},
"core::ptr::const_ptr::read_volatile": {
"0": [
"ValidPtr",
"Aligned",
"Typed",
"CopyTrait"
]
},
"core::ptr::const_ptr::read_unaligned": {
"0": [
"ValidPtr",
"Typed",
"CopyTrait"
]
},
"core::ptr::const_ptr::copy_to": {
"0": [
"ValidPtr",
"Aligned",
"!Volatile",
"Alias",
"CopyTrait"
]
},
"core::ptr::const_ptr::copy_to_nonoverlapping": {
"0": [
"ValidPtr",
"Aligned",
"NonOverlap",
"!Volatile",
"CopyTrait",
"Alias"
]
},
"core::ptr::const_ptr::as_uninit_slice": {
"0": [
"NonNull",
"ValidPtr",
"Init",
"Alive",
"Alias",
"ValidNum",
"Aligned"
]
},
"core::ptr::const_ptr::get_unchecked": {
"0": [
"ValidNum",
"Allocated"
]
},
"core::ptr::mut_ptr::as_ref": {
"0": [
"NonNull | ",
"ValidPtr2Ref"
]
},
"core::ptr::mut_ptr::as_ref_unchecked": {
"0": [
"ValidPtr2Ref"
]
},
"core::ptr::mut_ptr::as_uninit_ref": {
"0": [
"NonNull | ",
"ValidPtr2Ref"
]
},
"core::ptr::mut_ptr::offset": {
"0": [
"InBounded",
"ValidNum"
]
},
"core::ptr::mut_ptr::as_mut": {
"0": [
"ValidPtr2Ref"
]
},
"core::ptr::mut_ptr::as_mut_unchecked": {
"0": [
"ValidPtr2Ref"
]
},
"core::ptr::mut_ptr::as_uninit_mut": {
"0": [
"NonNull | ",
"ValidPtr2Ref"
]
},
"core::ptr::mut_ptr::add": {
"0": [
"InBounded",
"ValidNum"
]
},
"core::ptr::mut_ptr::sub": {
"0": [
"InBounded",
"ValidNum"
]
},
"core::ptr::mut_ptr::byte_offset": {
"0": [
"InBounded",
"ValidNum"
]
},
"core::ptr::mut_ptr::offset_from": {
"0": [
"InBounded",
"ValidNum",
"!Size"
]
},
"core::ptr::mut_ptr::byte_offset_from": {
"0": [
"InBounded",
"ValidNum",
"!Size"
]
},
"core::ptr::mut_ptr::sub_ptr": {
"0": [
"InBounded",
"ValidNum",
"!Size"
]
},
"core::ptr::mut_ptr::byte_add": {
"0": [
"InBounded",
"ValidNum"
]
},
"core::ptr::mut_ptr::byte_sub": {
"0": [
"InBounded",
"ValidNum"
]
},
"core::ptr::mut_ptr::read": {
"0": [
"ValidPtr",
"Aligned",
"CopyTrait",
"Typed"
]
},
"core::ptr::mut_ptr::read_volatile": {
"0": [
"ValidPtr",
"Aligned",
"CopyTrait",
"Typed"
]
},
"core::ptr::mut_ptr::read_unaligned": {
"0": [
"ValidPtr",
"CopyTrait",
"Typed"
]
},
"core::ptr::mut_ptr::copy_to": {
"0": [
"ValidPtr",
"Aligned",
"!Volatile",
"Alias",
"CopyTrait"
]
},
"core::ptr::mut_ptr::copy_to_nonoverlapping": {
"0": [
"ValidPtr",
"Aligned",
"NonOverlap",
"!Volatile",
"CopyTrait",
"Alias"
]
},
"core::ptr::mut_ptr::copy_from": {
"0": [
"ValidPtr",
"Aligned",
"!Volatile",
"CopyTrait",
"Alias"
]
},
"core::ptr::mut_ptr::copy_from_nonoverlapping": {
"0": [
"ValidPtr",
"Aligned",
"NonOverlap",
"!Volatile",
"CopyTrait",
"Alias"
]
},
"core::ptr::mut_ptr::drop_in_place": {
"0": [
"ValidPtr",
"Aligned",
"NonNull"
]
},
"core::ptr::mut_ptr::write": {
"0": [
"ValidPtr",
"Aligned"
]
},
"core::ptr::mut_ptr::write_bytes": {
"0": [
"ValidPtr",
"Aligned",
"Typed"
]
},
"core::ptr::mut_ptr::write_volatile": {
"0": [
"ValidPtr",
"Aligned"
]
},
"core::ptr::mut_ptr::write_unaligned": {
"0": [
"ValidPtr"
]
},
"core::ptr::mut_ptr::replace": {
"0": [
"ValidPtr",
"Aligned",
"Init"
]
},
"core::ptr::mut_ptr::swap": {
"0": [
"ValidPtr",
"Aligned"
]
},
"core::ptr::mut_ptr::split_at_mut": {
"0": [
"ValidNum",
"Allocated"
]
},
"core::ptr::mut_ptr::split_at_mut_unchecked": {
"0": [
"ValidNum",
"Allocated"
]
},
"core::ptr::mut_ptr::as_uninit_slice": {
"0": [
"NonNull",
"ValidPtr",
"Init",
"Alive",
"Alias",
"ValidNum",
"Aligned"
]
},
"core::ptr::mut_ptr::as_uninit_slice_mut": {
"0": [
"NonNull",
"ValidPtr",
"Init",
"Alive",
"Alias",
"ValidNum",
"Aligned"
]
},
"core::ptr::mut_ptr::get_unchecked_mut": {
"0": [
"ValidNum",
"Allocated"
]
},
"core::ptr::drop_in_place": {
"0": [
"ValidPtr",
"Aligned",
"NonNull"
]
},
"core::ptr::replace": {
"0": [
"ValidPtr",
"Aligned",
"Init"
]
},
"core::ptr::read": {
"0": [
"ValidPtr",
"Aligned",
"Typed",
"CopyTrait"
]
},
"core::ptr::write": {
"0": [
"ValidPtr",
"Aligned"
]
},
"core::ptr::swap": {
"0": [
"ValidPtr",
"Aligned"
]
},
"core::ptr::swap_nonoverlapping": {
"0": [
"ValidPtr",
"Aligned",
"NonOverlap"
]
},
"core::ptr::read_unaligned": {
"0": [
"ValidPtr",
"Typed",
"CopyTrait"
]
},
"core::ptr::write_unaligned": {
"0": [
"ValidPtr"
]
},
"core::ptr::read_volatile": {
"0": [
"ValidPtr",
"Typed",
"Aligned",
"CopyTrait"
]
},
"core::ptr::write_volatile": {
"0": [
"ValidPtr",
"Aligned"
]
},
"core::ptr::offset": {
"0": [
"InBounded",
"ValidNum"
]
},
"core::clone::clone_to_uninit": {
"0": [
"ValidPtr",
"Aligned"
]
},
"core::result::unwrap_unchecked": {
"0": [
"Unwrap"
]
},
"core::option::unwrap_unchecked": {
"0": [
"Unwrap"
]
},
"core::result::unwrap_err_unchecked": {
"0": [
"Unwrap"
]
},
"core::slice::get_unchecked": {
"0": [
"InBounded"
]
},
"core::slice::index::SliceIndex::get_unchecked": {
"0": [
"InBounded",
"Allocated"
]
},
"core::slice::index::SliceIndex::get_unchecked_mut": {
"0": [
"InBounded",
"Allocated"
]
},
"core::slice::get_unchecked_mut": {
"0": [
"InBounded"
]
},
"core::slice::swap_unchecked": {
"0": [
"InBounded"
]
},
"core::slice::as_chunks_unchecked": {
"0": [
"ValidNum"
]
},
"core::slice::as_chunks_unchecked_mut": {
"0": [
"ValidNum"
]
},
"core::slice::split_at_unchecked": {
"0": [
"InBounded"
]
},
"core::slice::split_at_mut_unchecked": {
"0": [
"InBounded"
]
},
"core::slice::align_to": {
"0": [
"Aligned",
"Typed"
]
},
"core::slice::align_to_mut": {
"0": [
"Aligned",
"Typed"
]
},
"core::slice::ascii::as_ascii_unchecked": {
"0": [
"ValidNum"
]
},
"core::slice::raw::from_raw_parts": {
"0":[
"NonNull",
"ValidPtr",
"Init",
"Alive",
"Alias",
"Aligned",
"ValidNum"
]
},
"core::slice::raw::from_raw_parts_mut": {
"0":[
"NonNull",
"ValidPtr",
"Init",
"Alive",
"Alias",
"Aligned",
"ValidNum"
]
},
"core::slice::index::get_unchecked": {
"0": [
"Allocated",
"InBounded"
]
},
"core::slice::index::get_unchecked_mut": {
"0": [
"Allocated",
"InBounded"
]
},
"core::slice::raw::from_ptr_range": {
"0": [
"NonNull",
"ValidPtr",
"Init",
"Alive",
"Alias",
"ValidNum",
"Aligned",
"InBounded",
"!Size"
]
},
"core::slice::raw::from_mut_ptr_range": {
"0": [
"NonNull",
"ValidPtr",
"Init",
"Alive",
"Alias",
"ValidNum",
"Aligned"
]
},
"core::str::get_unchecked": {
"0": [
"ValidString",
"InBounded"
]
},
"core::str::get_unchecked_mut": {
"0": [
"ValidString",
"InBounded"
]
},
"core::str::slice_unchecked": {
"0": [
"ValidString",
"InBounded"
]
},
"core::str::slice_mut_unchecked": {
"0": [
"ValidString",
"InBounded"
]
},
"core::str::as_bytes_mut": {
"0": [
"ValidString"
]
},
"core::str::converts::from_utf8_unchecked": {
"0": [
"ValidString"
]
},
"core::str::converts::from_utf8_unchecked_mut": {
"0": [
"ValidString"
]
},
"core::str::converts::from_raw_parts": {
"0": [
"NonNull",
"ValidPtr",
"Init",
"Alive",
"Alias",
"ValidNum",
"Aligned"
]
},
"core::str::converts::from_raw_parts_mut": {
"0": [
"NonNull",
"ValidPtr",
"Init",
"Alive",
"Alias",
"ValidNum",
"Aligned"
]
},
"core::str::traits::get_unchecked": {
"0": [
"ValidString",
"InBounded"
]
},
"core::str::traits::get_unchecked_mut": {
"0": [
"ValidString",
"InBounded"
]
},
"core::io::borrowed_buf::set_init": {
"0": [
"Init"
]
},
"core::io::borrowed_buf::advance_unchecked": {
"0": [
"Init"
]
},
"core::io::borrowed_buf::as_mut": {
"0": [
"Init"
]
},
"core::task::wake::from_raw": {
"0": [
"Allocated",
"Allocated"
]
},
"alloc::vec::from_raw_parts": {
"0": [
"Allocated",
"Aligned",
"InBounded",
"ValidNum",
"Layout"
]
},
"alloc::vec::from_parts": {
"0": [
"Allocated",
"Aligned",
"InBounded",
"ValidNum",
"Layout"
]
},
"alloc::vec::from_raw_parts_in": {
"0": [
"Allocated",
"Aligned",
"InBounded",
"ValidNum",
"Layout"
]
},
"alloc::vec::from_parts_in": {
"0": [
"Allocated",
"Aligned",
"InBounded",
"ValidNum",
"Layout"
]
},
"alloc::vec::set_len": {
"0": [
"InBounded",
"ValidNum"
]
},
"alloc::alloc::alloc": {
"0": [
"ValidNum",
"Init"
]
},
"alloc::alloc::dealloc": {
"0": [
"Allocated",
"Layout"
]
},
"alloc::alloc::realloc": {
"0": [
"Allocated",
"Layout",
"ValidNum"
]
},
"alloc::alloc::alloc_zeroed": {
"0": [
"ValidNum"
]
},
"alloc::alloc::deallocate": {
"0": [
"Allocated",
"Layout"
]
},
"alloc::alloc::grow": {
"0": [
"Allocated",
"Layout",
"ValidNum"
]
},
"alloc::alloc::grow_zeroed": {
"0": [
"Allocated",
"Layout",
"ValidNum"
]
},
"alloc::alloc::shrink": {
"0": [
"Allocated",
"Layout",
"ValidNum"
]
},
"alloc::boxed::assume_init": {
"0": [
"Init"
]
},
"alloc::boxed::from_raw": {
"0": [
"Allocated",
"Ownning"
]
},
"alloc::boxed::from_non_null": {
"0": [
"Allocated",
"Ownning"
]
},
"alloc::boxed::from_raw_in": {
"0": [
"Allocated",
"Ownning"
]
},
"alloc::boxed::from_non_null_in": {
"0": [
"Allocated",
"Ownning"
]
},
"alloc::boxed::downcast_unchecked": {
"0": [
"Typed"
]
},
"alloc::collections::btree::map::insert_after_unchecked": {
"0": [
"Function_sp"
]
},
"alloc::collections::btree::map::insert_before_unchecked": {
"0": [
"Function_sp"
]
},
"alloc::collections::btree::set::insert_after_unchecked": {
"0": [
"Function_sp"
]
},
"alloc::collections::btree::set::insert_before_unchecked": {
"0": [
"Function_sp"
]
},
"alloc::ffi::c_str::from_vec_unchecked": {
"0": [
"ValidString"
]
},
"alloc::ffi::c_str::from_raw": {
"0": [
"Allocated",
"Ownning"
]
},
"alloc::ffi::c_str::from_vec_with_nul_unchecked": {
"0": [
"ValidCStr"
]
},
"alloc::rc::assume_init": {
"0": [
"Init"
]
},
"alloc::rc::from_raw": {
"0": [
"Allocated",
"Aligned",
"Ownning"
]
},
"alloc::rc::increment_strong_count": {
"0": [
"Allocated",
"Allocated"
]
},
"alloc::rc::decrement_strong_count": {
"0": [
"Allocated",
"Allocated"
]
},
"alloc::rc::from_raw_in": {
"0": [
"Allocated",
"Aligned",
"Ownning"
]
},
"alloc::rc::increment_strong_count_in": {
"0": [
"Allocated",
"Allocated"
]
},
"alloc::rc::decrement_strong_count_in": {
"0": [
"Allocated",
"Allocated"
]
},
"alloc::rc::downcast_unchecked": {
"0": [
"Typed"
]
},
"alloc::rc::get_mut_unchecked": {
"0": [
"Typed",
"Alias"
]
},
"alloc::collections::btree::map::with_mutable_key": {
"0": [
"Function_sp"
]
},
"alloc::collections::btree::set::upper_bound_mut": {
"0": [
"Function_sp"
]
},
"alloc::str::from_boxed_utf8_unchecked": {
"0": [
"ValidString"
]
},
"alloc::string::from_raw_parts": {
"0": [
"Allocated",
"Aligned",
"ValidNum",
"ValidString"
]
},
"alloc::string::from_utf8_unchecked": {
"0": [
"ValidString"
]
},
"alloc::string::as_mut_vec": {
"0": [
"ValidString"
]
},
"alloc::sync::get_mut_unchecked": {
"0": [
"Typed",
"Alias"
]
},
"alloc::sync::from_raw": {
"0": [
"Allocated",
"Aligned"
]
},
"alloc::sync::increment_strong_count": {
"0": [
"Allocated",
"Allocated"
]
},
"alloc::sync::decrement_strong_count": {
"0": [
"Allocated",
"Allocated"
]
},
"alloc::sync::from_raw_in": {
"0": [
"Allocated",
"Aligned",
"Ownning"
]
},
"alloc::sync::increment_strong_count_in": {
"0": [
"Allocated",
"Allocated"
]
},
"alloc::sync::decrement_strong_count_in": {
"0": [
"Allocated",
"Allocated"
]
},
"alloc::sync::downcast_unchecked": {
"0": [
"Typed"
]
},
"std::thread::from_raw": {
"0": [
"Ownning",
"Allocated"
]
},
"std::collections::hash::map::get_many_unchecked_mut": {
"0": [
"NonOverlap"
]
},
"std::env::set_var": {
"0": [
"System_sp"
]
},
"std::env::remove_var": {
"0": [
"System_sp"
]
},
"std::ffi::os_str::from_encoded_bytes_unchecked": {
"0": [
"ValidString"
]
},
"std::ffi::os_str::clone_to_uninit": {
"0": [
"ValidPtr",
"Aligned"
]
},
"std::os::unix::net::datagram::from_raw_fd": {
"0": [
"Opened"
]
},
"std::os::unix::net::listener::from_raw_fd": {
"0": [
"Opened"
]
},
"std::os::unix::net::stream::from_raw_fd": {
"0": [
"Opened"
]
},
"std::os::unix::process::CommandExt::before_exec": {
"0": [
"System_sp"
]
},
"std::os::unix::process::pre_exec": {
"0": [
"System_sp"
]
},
"std::os::unix::process::from_raw_fd": {
"0": [
"Opened"
]
},
"std::os::linux::process::from_raw_fd": {
"0": [
"Opened"
]
},
"std::os::fd::raw::from_raw_fd": {
"0": [
"Opened"
]
},
"std::os::fd::owned::borrow_raw": {
"0": [
"Opened",
"ValidNum"
]
},
"std::os::fd::owned::from_raw_fd": {
"0": [
"Opened"
]
},
"std::os::fd::net::from_raw_fd": {
"0": [
"Opened"
]
},
"std::os::fd::raw::FromRawFd::from_raw_fd": {
"0": [
"Opened"
]
},
"std::path::clone_to_uninit": {
"0": [
"ValidPtr",
"Aligned"
]
},
"std::sys::pal::unix::fd::from_raw_fd": {
"0": [
"Opened"
]
},
"std::sys::pal::unix::fs::from_raw_fd": {
"0": [
"Opened"
]
},
"std::sys::pal::unix::linux::pidfd::from_raw_fd": {
"0": [
"Opened"
]
},
"std::sys::pal::unix::net::from_raw_fd": {
"0": [
"Opened"
]
},
"std::sys::pal::unix::pipe::from_raw_fd": {
"0": [
"Opened"
]
},
"std::sys::pal::unix::process::process_common::pre_exec": {
"0": [
"System_sp"
]
},
"std::sys::anonymous_pipe::unix::from_raw_fd": {
"0": [
"Opened"
]
},
"std::sys::os_str::bytes::clone_to_uninit": {
"0": [
"ValidPtr",
"Aligned"
]
},
"std::alloc::deallocate": {
"0": [
"Allocated",
"Layout"
]
},
"std::alloc::grow": {
"0": [
"Allocated",
"Layout",
"ValidNum"
]
},
"std::alloc::grow_zeroed": {
"0": [
"Allocated",
"Layout",
"ValidNum"
]
},
"std::alloc::shrink": {
"0": [
"Allocated",
"Layout",
"ValidNum"
]
},
"std::raw_attribute": {
"0": [
"Alive",
"ValidNum"
]
},
"std::from_raw_handle": {
"0": [
"Opened"
]
},
"std::thread::spawn_unchecked": {
"0": [
"Alive",
"Init",
"Function_sp"
]
},
"core::intrinsics::const_allocate": {
"0": [
"ValidNum"
]
},
"core::intrinsics::assume": {
"0": [
"ValidNum"
]
},
"core::intrinsics::drop_in_place": {
"0": [
"ValidPtr",
"Aligned",
"NonNull"
]
},
"core::intrinsics::const_deallocate": {
"0": [
"ValidNum"
]
},
"core::intrinsics::vtable_size": {
"0": [
"ValidPtr"
]
},
"core::intrinsics::vtable_align": {
"0": [
"ValidPtr"
]
},
"core::intrinsics::pref_align_of": {
"0": [
""
]
},
"core::intrinsics::size_of_val": {
"0": [
"Size",
"ValidSlice",
"ValidTraitObj"
]
},
"core::intrinsics::min_align_of_val": {
"0": [
"Size",
"ValidSlice",
"ValidTraitObj"
]
},
"core::ffi::va_list::arg": {
"0": [
""
]
},
"core::ffi::va_list::with_copy": {
"0": [
""
]
},
"core::task::wake::new": {
"0": [
"System_sp"
]
},
"alloc::collections::btree::set::with_mutable_key": {
"0": [
"Function_sp"
]
},
"alloc::sync::assume_init": {
"0": [
"Init"
]
},
"std::sys::os_str::bytes::from_encoded_bytes_unchecked": {
"0": [
"ValidString"
]
}
}