4 use helpers::check_arg_count;
6 #[derive(Debug, Copy, Clone)]
12 // Returns an error for unsupported symbols, and None if this symbol
13 // should become a NULL pointer (pretend it does not exist).
14 pub fn from_str(name: &[u8], target_os: &str) -> InterpResult<'static, Option<Dlsym>> {
16 let name = String::from_utf8_lossy(name);
18 "linux" => match &*name {
19 "__pthread_get_minstack" => None,
20 _ => throw_unsup_format!("unsupported Linux dlsym: {}", name),
22 "macos" => match &*name {
23 "getentropy" => Some(GetEntropy),
24 _ => throw_unsup_format!("unsupported macOS dlsym: {}", name),
26 "windows" => match &*name {
27 "SetThreadStackGuarantee" => None,
28 "AcquireSRWLockExclusive" => None,
29 "GetSystemTimePreciseAsFileTime" => None,
30 _ => throw_unsup_format!("unsupported Windows dlsym: {}", name),
32 os => bug!("dlsym not implemented for target_os {}", os),
37 impl<'mir, 'tcx: 'mir> EvalContextExt<'mir, 'tcx> for crate::MiriEvalContext<'mir, 'tcx> {}
38 pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx> {
42 args: &[OpTy<'tcx, Tag>],
43 ret: Option<(PlaceTy<'tcx, Tag>, mir::BasicBlock)>,
44 ) -> InterpResult<'tcx> {
47 let this = self.eval_context_mut();
48 let (dest, ret) = ret.expect("we don't support any diverging dlsym");
52 let &[ptr, len] = check_arg_count(args)?;
53 let ptr = this.read_scalar(ptr)?.not_undef()?;
54 let len = this.read_scalar(len)?.to_machine_usize(this)?;
55 this.gen_random(ptr, len)?;
56 this.write_null(dest)?;
60 this.dump_place(*dest);
61 this.go_to_block(ret);