MCPcopy Create free account
hub / github.com/PLSysSec/wave / check_slice_mem_mut_impl

Method check_slice_mem_mut_impl

tools/fuzz-gen/out.rs:911–930  ·  view source on GitHub ↗
(&mut self, ptr: SboxPtr, len: u32)

Source from the content-addressed store, hash-verified

909 TestResult::passed()
910 }
911 fn check_slice_mem_mut_impl(&mut self, ptr: SboxPtr, len: u32) -> TestResult {
912 if !(self.fits_in_lin_mem(ptr, len)) {
913 return TestResult::discard();
914 }
915 if !(true) {
916 return TestResult::discard();
917 }
918 let ptr_as_usize_old = ptr as usize;
919 let result = self.slice_mem_mut(ptr, len);
920 if !(result.len() == (len as usize)) {
921 return TestResult::failed();
922 }
923 if !(true) {
924 return TestResult::failed();
925 }
926 if !(as_sbox_ptr(result) == ptr_as_usize_old) {
927 return TestResult::failed();
928 }
929 TestResult::passed()
930 }
931 fn check_resolve_path_impl(&self, in_path: Vec<u8>) -> TestResult {
932 let result = self.resolve_path(in_path);
933 TestResult::passed()

Callers 1

check_slice_mem_mutFunction · 0.80

Calls 4

as_sbox_ptrFunction · 0.85
fits_in_lin_memMethod · 0.80
slice_mem_mutMethod · 0.80
lenMethod · 0.45

Tested by

no test coverage detected