1 //! Oracles.
2 //!
3 //! Oracles take a test case and determine whether we have a bug. For example,
4 //! one of the simplest oracles is to take a Wasm binary as our input test case,
5 //! validate and instantiate it, and (implicitly) check that no assertions
6 //! failed or segfaults happened. A more complicated oracle might compare the
7 //! result of executing a Wasm file with and without optimizations enabled, and
8 //! make sure that the two executions are observably identical.
9 //!
10 //! When an oracle finds a bug, it should report it to the fuzzing engine by
11 //! panicking.
12 
13 #[cfg(feature = "fuzz-spec-interpreter")]
14 pub mod diff_spec;
15 pub mod diff_wasmi;
16 pub mod diff_wasmtime;
17 pub mod dummy;
18 pub mod engine;
19 pub mod memory;
20 mod stacks;
21 
22 use self::diff_wasmtime::WasmtimeInstance;
23 use self::engine::{DiffEngine, DiffInstance};
24 use crate::generators::{self, CompilerStrategy, DiffValue, DiffValueType};
25 use crate::single_module_fuzzer::KnownValid;
26 use arbitrary::Arbitrary;
27 pub use stacks::check_stacks;
28 use std::future::Future;
29 use std::pin::Pin;
30 use std::sync::atomic::{AtomicBool, AtomicUsize, Ordering::SeqCst};
31 use std::sync::{Arc, Condvar, Mutex};
32 use std::task::{Context, Poll, Waker};
33 use std::time::{Duration, Instant};
34 use wasmtime::*;
35 use wasmtime_wast::WastContext;
36 
37 #[cfg(not(any(windows, target_arch = "s390x", target_arch = "riscv64")))]
38 mod diff_v8;
39 
40 static CNT: AtomicUsize = AtomicUsize::new(0);
41 
42 /// Logs a wasm file to the filesystem to make it easy to figure out what wasm
43 /// was used when debugging.
44 pub fn log_wasm(wasm: &[u8]) {
45     super::init_fuzzing();
46 
47     if !log::log_enabled!(log::Level::Debug) {
48         return;
49     }
50 
51     let i = CNT.fetch_add(1, SeqCst);
52     let name = format!("testcase{i}.wasm");
53     std::fs::write(&name, wasm).expect("failed to write wasm file");
54     log::debug!("wrote wasm file to `{name}`");
55     let wat = format!("testcase{i}.wat");
56     match wasmprinter::print_bytes(wasm) {
57         Ok(s) => std::fs::write(&wat, s).expect("failed to write wat file"),
58         // If wasmprinter failed remove a `*.wat` file, if any, to avoid
59         // confusing a preexisting one with this wasm which failed to get
60         // printed.
61         Err(_) => drop(std::fs::remove_file(&wat)),
62     }
63 }
64 
65 /// The `T` in `Store<T>` for fuzzing stores, used to limit resource
66 /// consumption during fuzzing.
67 #[derive(Clone)]
68 pub struct StoreLimits(Arc<LimitsState>);
69 
70 struct LimitsState {
71     /// Remaining memory, in bytes, left to allocate
72     remaining_memory: AtomicUsize,
73     /// Remaining amount of memory that's allowed to be copied via a growth.
74     remaining_copy_allowance: AtomicUsize,
75     /// Whether or not an allocation request has been denied
76     oom: AtomicBool,
77 }
78 
79 /// Allow up to 1G which is well below the 2G limit on OSS-Fuzz and should allow
80 /// most interesting behavior.
81 const MAX_MEMORY: usize = 1 << 30;
82 
83 /// Allow up to 4G of bytes to be copied (conservatively) which should enable
84 /// growth up to `MAX_MEMORY` or at least up to a relatively large amount.
85 const MAX_MEMORY_MOVED: usize = 4 << 30;
86 
87 impl StoreLimits {
88     /// Creates the default set of limits for all fuzzing stores.
89     pub fn new() -> StoreLimits {
90         StoreLimits(Arc::new(LimitsState {
91             remaining_memory: AtomicUsize::new(MAX_MEMORY),
92             remaining_copy_allowance: AtomicUsize::new(MAX_MEMORY_MOVED),
93             oom: AtomicBool::new(false),
94         }))
95     }
96 
97     fn alloc(&mut self, amt: usize) -> bool {
98         log::trace!("alloc {amt:#x} bytes");
99 
100         // Assume that on each allocation of memory that all previous
101         // allocations of memory are moved. This is pretty coarse but is used to
102         // help prevent against fuzz test cases that just move tons of bytes
103         // around continuously. This assumes that all previous memory was
104         // allocated in a single linear memory and growing by `amt` will require
105         // moving all the bytes to a new location. This isn't actually required
106         // all the time nor does it accurately reflect what happens all the
107         // time, but it's a coarse approximation that should be "good enough"
108         // for allowing interesting fuzz behaviors to happen while not timing
109         // out just copying bytes around.
110         let prev_size = MAX_MEMORY - self.0.remaining_memory.load(SeqCst);
111         if self
112             .0
113             .remaining_copy_allowance
114             .fetch_update(SeqCst, SeqCst, |remaining| remaining.checked_sub(prev_size))
115             .is_err()
116         {
117             self.0.oom.store(true, SeqCst);
118             log::debug!("-> too many bytes moved, rejecting allocation");
119             return false;
120         }
121 
122         // If we're allowed to move the bytes, then also check if we're allowed
123         // to actually have this much residence at once.
124         match self
125             .0
126             .remaining_memory
127             .fetch_update(SeqCst, SeqCst, |remaining| remaining.checked_sub(amt))
128         {
129             Ok(_) => true,
130             Err(_) => {
131                 self.0.oom.store(true, SeqCst);
132                 log::debug!("-> OOM hit");
133                 false
134             }
135         }
136     }
137 
138     fn is_oom(&self) -> bool {
139         self.0.oom.load(SeqCst)
140     }
141 }
142 
143 impl ResourceLimiter for StoreLimits {
144     fn memory_growing(
145         &mut self,
146         current: usize,
147         desired: usize,
148         _maximum: Option<usize>,
149     ) -> Result<bool> {
150         Ok(self.alloc(desired - current))
151     }
152 
153     fn table_growing(
154         &mut self,
155         current: usize,
156         desired: usize,
157         _maximum: Option<usize>,
158     ) -> Result<bool> {
159         let delta = (desired - current).saturating_mul(std::mem::size_of::<usize>());
160         Ok(self.alloc(delta))
161     }
162 }
163 
164 /// Methods of timing out execution of a WebAssembly module
165 #[derive(Clone, Debug)]
166 pub enum Timeout {
167     /// No timeout is used, it should be guaranteed via some other means that
168     /// the input does not infinite loop.
169     None,
170     /// Fuel-based timeouts are used where the specified fuel is all that the
171     /// provided wasm module is allowed to consume.
172     Fuel(u64),
173     /// An epoch-interruption-based timeout is used with a sleeping
174     /// thread bumping the epoch counter after the specified duration.
175     Epoch(Duration),
176 }
177 
178 /// Instantiate the Wasm buffer, and implicitly fail if we have an unexpected
179 /// panic or segfault or anything else that can be detected "passively".
180 ///
181 /// The engine will be configured using provided config.
182 pub fn instantiate(
183     wasm: &[u8],
184     known_valid: KnownValid,
185     config: &generators::Config,
186     timeout: Timeout,
187 ) {
188     let mut store = config.to_store();
189 
190     let module = match compile_module(store.engine(), wasm, known_valid, config) {
191         Some(module) => module,
192         None => return,
193     };
194 
195     let mut timeout_state = HelperThread::default();
196     match timeout {
197         Timeout::Fuel(fuel) => store.set_fuel(fuel).unwrap(),
198 
199         // If a timeout is requested then we spawn a helper thread to wait for
200         // the requested time and then send us a signal to get interrupted. We
201         // also arrange for the thread's sleep to get interrupted if we return
202         // early (or the wasm returns within the time limit), which allows the
203         // thread to get torn down.
204         //
205         // This prevents us from creating a huge number of sleeping threads if
206         // this function is executed in a loop, like it does on nightly fuzzing
207         // infrastructure.
208         Timeout::Epoch(timeout) => {
209             let engine = store.engine().clone();
210             timeout_state.run_periodically(timeout, move || engine.increment_epoch());
211         }
212         Timeout::None => {}
213     }
214 
215     instantiate_with_dummy(&mut store, &module);
216 }
217 
218 /// Represents supported commands to the `instantiate_many` function.
219 #[derive(Arbitrary, Debug)]
220 pub enum Command {
221     /// Instantiates a module.
222     ///
223     /// The value is the index of the module to instantiate.
224     ///
225     /// The module instantiated will be this value modulo the number of modules provided to `instantiate_many`.
226     Instantiate(usize),
227     /// Terminates a "running" instance.
228     ///
229     /// The value is the index of the instance to terminate.
230     ///
231     /// The instance terminated will be this value modulo the number of currently running
232     /// instances.
233     ///
234     /// If no instances are running, the command will be ignored.
235     Terminate(usize),
236 }
237 
238 /// Instantiates many instances from the given modules.
239 ///
240 /// The engine will be configured using the provided config.
241 ///
242 /// The modules are expected to *not* have start functions as no timeouts are configured.
243 pub fn instantiate_many(
244     modules: &[Vec<u8>],
245     known_valid: KnownValid,
246     config: &generators::Config,
247     commands: &[Command],
248 ) {
249     log::debug!("instantiate_many: {commands:#?}");
250 
251     assert!(!config.module_config.config.allow_start_export);
252 
253     let engine = Engine::new(&config.to_wasmtime()).unwrap();
254 
255     let modules = modules
256         .iter()
257         .enumerate()
258         .filter_map(
259             |(i, bytes)| match compile_module(&engine, bytes, known_valid, config) {
260                 Some(m) => {
261                     log::debug!("successfully compiled module {i}");
262                     Some(m)
263                 }
264                 None => {
265                     log::debug!("failed to compile module {i}");
266                     None
267                 }
268             },
269         )
270         .collect::<Vec<_>>();
271 
272     // If no modules were valid, we're done
273     if modules.is_empty() {
274         return;
275     }
276 
277     // This stores every `Store` where a successful instantiation takes place
278     let mut stores = Vec::new();
279     let limits = StoreLimits::new();
280 
281     for command in commands {
282         match command {
283             Command::Instantiate(index) => {
284                 let index = *index % modules.len();
285                 log::info!("instantiating {index}");
286                 let module = &modules[index];
287                 let mut store = Store::new(&engine, limits.clone());
288                 config.configure_store(&mut store);
289 
290                 if instantiate_with_dummy(&mut store, module).is_some() {
291                     stores.push(Some(store));
292                 } else {
293                     log::warn!("instantiation failed");
294                 }
295             }
296             Command::Terminate(index) => {
297                 if stores.is_empty() {
298                     continue;
299                 }
300                 let index = *index % stores.len();
301 
302                 log::info!("dropping {index}");
303                 stores.swap_remove(index);
304             }
305         }
306     }
307 }
308 
309 fn compile_module(
310     engine: &Engine,
311     bytes: &[u8],
312     known_valid: KnownValid,
313     config: &generators::Config,
314 ) -> Option<Module> {
315     log_wasm(bytes);
316 
317     fn is_pcc_error(e: &anyhow::Error) -> bool {
318         // NOTE: please keep this predicate in sync with the display format of CodegenError,
319         // defined in `wasmtime/cranelift/codegen/src/result.rs`
320         e.to_string().to_lowercase().contains("proof-carrying-code")
321     }
322 
323     match config.compile(engine, bytes) {
324         Ok(module) => Some(module),
325         Err(e) if is_pcc_error(&e) => {
326             panic!("pcc error in input: {e:#?}");
327         }
328         Err(_) if known_valid == KnownValid::No => None,
329         Err(e) => {
330             if let generators::InstanceAllocationStrategy::Pooling(c) = &config.wasmtime.strategy {
331                 // When using the pooling allocator, accept failures to compile
332                 // when arbitrary table element limits have been exceeded as
333                 // there is currently no way to constrain the generated module
334                 // table types.
335                 let string = format!("{e:?}");
336                 if string.contains("minimum element size") {
337                     return None;
338                 }
339 
340                 // Allow modules-failing-to-compile which exceed the requested
341                 // size for each instance. This is something that is difficult
342                 // to control and ensure it always succeeds, so we simply have a
343                 // "random" instance size limit and if a module doesn't fit we
344                 // move on to the next fuzz input.
345                 if string.contains("instance allocation for this module requires") {
346                     return None;
347                 }
348 
349                 // If the pooling allocator is more restrictive on the number of
350                 // tables and memories than we allowed wasm-smith to generate
351                 // then allow compilation errors along those lines.
352                 if c.max_tables_per_module < (config.module_config.config.max_tables as u32)
353                     && string.contains("defined tables count")
354                     && string.contains("exceeds the per-instance limit")
355                 {
356                     return None;
357                 }
358 
359                 if c.max_memories_per_module < (config.module_config.config.max_memories as u32)
360                     && string.contains("defined memories count")
361                     && string.contains("exceeds the per-instance limit")
362                 {
363                     return None;
364                 }
365             }
366 
367             panic!("failed to compile module: {e:?}");
368         }
369     }
370 }
371 
372 /// Create a Wasmtime [`Instance`] from a [`Module`] and fill in all imports
373 /// with dummy values (e.g., zeroed values, immediately-trapping functions).
374 /// Also, this function catches certain fuzz-related instantiation failures and
375 /// returns `None` instead of panicking.
376 ///
377 /// TODO: we should implement tracing versions of these dummy imports that
378 /// record a trace of the order that imported functions were called in and with
379 /// what values. Like the results of exported functions, calls to imports should
380 /// also yield the same values for each configuration, and we should assert
381 /// that.
382 pub fn instantiate_with_dummy(store: &mut Store<StoreLimits>, module: &Module) -> Option<Instance> {
383     // Creation of imports can fail due to resource limit constraints, and then
384     // instantiation can naturally fail for a number of reasons as well. Bundle
385     // the two steps together to match on the error below.
386     let linker = dummy::dummy_linker(store, module);
387     if let Err(e) = &linker {
388         log::warn!("failed to create dummy linker: {e:?}");
389     }
390     let instance = linker.and_then(|l| l.instantiate(&mut *store, module));
391     unwrap_instance(store, instance)
392 }
393 
394 fn unwrap_instance(
395     store: &Store<StoreLimits>,
396     instance: anyhow::Result<Instance>,
397 ) -> Option<Instance> {
398     let e = match instance {
399         Ok(i) => return Some(i),
400         Err(e) => e,
401     };
402 
403     log::debug!("failed to instantiate: {e:?}");
404 
405     // If the instantiation hit OOM for some reason then that's ok, it's
406     // expected that fuzz-generated programs try to allocate lots of
407     // stuff.
408     if store.data().is_oom() {
409         return None;
410     }
411 
412     // Allow traps which can happen normally with `unreachable` or a timeout or
413     // such.
414     if e.is::<Trap>()
415         // Also allow failures to instantiate as a result of hitting pooling
416         // limits.
417         || e.is::<wasmtime::PoolConcurrencyLimitError>()
418         // And GC heap OOMs.
419         || e.is::<wasmtime::GcHeapOutOfMemory<()>>()
420         // And thrown exceptions.
421         || e.is::<wasmtime::ThrownException>()
422     {
423         return None;
424     }
425 
426     let string = e.to_string();
427 
428     // Currently we instantiate with a `Linker` which can't instantiate
429     // every single module under the sun due to using name-based resolution
430     // rather than positional-based resolution
431     if string.contains("incompatible import type") {
432         return None;
433     }
434 
435     // Everything else should be a bug in the fuzzer or a bug in wasmtime
436     panic!("failed to instantiate: {e:?}");
437 }
438 
439 /// Evaluate the function identified by `name` in two different engine
440 /// instances--`lhs` and `rhs`.
441 ///
442 /// Returns `Ok(true)` if more evaluations can happen or `Ok(false)` if the
443 /// instances may have drifted apart and no more evaluations can happen.
444 ///
445 /// # Panics
446 ///
447 /// This will panic if the evaluation is different between engines (e.g.,
448 /// results are different, hashed instance is different, one side traps, etc.).
449 pub fn differential(
450     lhs: &mut dyn DiffInstance,
451     lhs_engine: &dyn DiffEngine,
452     rhs: &mut WasmtimeInstance,
453     name: &str,
454     args: &[DiffValue],
455     result_tys: &[DiffValueType],
456 ) -> anyhow::Result<bool> {
457     log::debug!("Evaluating: `{name}` with {args:?}");
458     let lhs_results = match lhs.evaluate(name, args, result_tys) {
459         Ok(Some(results)) => Ok(results),
460         Err(e) => Err(e),
461         // this engine couldn't execute this type signature, so discard this
462         // execution by returning success.
463         Ok(None) => return Ok(true),
464     };
465     log::debug!(" -> lhs results on {}: {:?}", lhs.name(), &lhs_results);
466 
467     let rhs_results = rhs
468         .evaluate(name, args, result_tys)
469         // wasmtime should be able to invoke any signature, so unwrap this result
470         .map(|results| results.unwrap());
471     log::debug!(" -> rhs results on {}: {:?}", rhs.name(), &rhs_results);
472 
473     // If Wasmtime hit its OOM condition, which is possible since it's set
474     // somewhat low while fuzzing, then don't return an error but return
475     // `false` indicating that differential fuzzing must stop. There's no
476     // guarantee the other engine has the same OOM limits as Wasmtime, and
477     // it's assumed that Wasmtime is configured to have a more conservative
478     // limit than the other engine.
479     if rhs.is_oom() {
480         return Ok(false);
481     }
482 
483     match DiffEqResult::new(lhs_engine, lhs_results, rhs_results) {
484         DiffEqResult::Success(lhs, rhs) => assert_eq!(lhs, rhs),
485         DiffEqResult::Poisoned => return Ok(false),
486         DiffEqResult::Failed => {}
487     }
488 
489     for (global, ty) in rhs.exported_globals() {
490         log::debug!("Comparing global `{global}`");
491         let lhs = match lhs.get_global(&global, ty) {
492             Some(val) => val,
493             None => continue,
494         };
495         let rhs = rhs.get_global(&global, ty).unwrap();
496         assert_eq!(lhs, rhs);
497     }
498     for (memory, shared) in rhs.exported_memories() {
499         log::debug!("Comparing memory `{memory}`");
500         let lhs = match lhs.get_memory(&memory, shared) {
501             Some(val) => val,
502             None => continue,
503         };
504         let rhs = rhs.get_memory(&memory, shared).unwrap();
505         if lhs == rhs {
506             continue;
507         }
508         eprintln!("differential memory is {} bytes long", lhs.len());
509         eprintln!("wasmtime memory is     {} bytes long", rhs.len());
510         panic!("memories have differing values");
511     }
512 
513     Ok(true)
514 }
515 
516 /// Result of comparing the result of two operations during differential
517 /// execution.
518 pub enum DiffEqResult<T, U> {
519     /// Both engines succeeded.
520     Success(T, U),
521     /// The result has reached the state where engines may have diverged and
522     /// results can no longer be compared.
523     Poisoned,
524     /// Both engines failed with the same error message, and internal state
525     /// should still match between the two engines.
526     Failed,
527 }
528 
529 fn wasmtime_trap_is_non_deterministic(trap: &Trap) -> bool {
530     match trap {
531         // Allocations being too large for the GC are
532         // implementation-defined.
533         Trap::AllocationTooLarge |
534         // Stack size, and therefore when overflow happens, is
535         // implementation-defined.
536         Trap::StackOverflow => true,
537         _ => false,
538     }
539 }
540 
541 fn wasmtime_error_is_non_deterministic(error: &wasmtime::Error) -> bool {
542     match error.downcast_ref::<Trap>() {
543         Some(trap) => wasmtime_trap_is_non_deterministic(trap),
544 
545         // For general, unknown errors, we can't rely on this being
546         // a deterministic Wasm failure that both engines handled
547         // identically, leaving Wasm in identical states. We could
548         // just as easily be hitting engine-specific failures, like
549         // different implementation-defined limits. So simply poison
550         // this execution and move on to the next test.
551         None => true,
552     }
553 }
554 
555 impl<T, U> DiffEqResult<T, U> {
556     /// Computes the differential result from executing in two different
557     /// engines.
558     pub fn new(
559         lhs_engine: &dyn DiffEngine,
560         lhs_result: Result<T>,
561         rhs_result: Result<U>,
562     ) -> DiffEqResult<T, U> {
563         match (lhs_result, rhs_result) {
564             (Ok(lhs_result), Ok(rhs_result)) => DiffEqResult::Success(lhs_result, rhs_result),
565 
566             // Handle all non-deterministic errors by poisoning this execution's
567             // state, so that we simply move on to the next test.
568             (Err(lhs), _) if lhs_engine.is_non_deterministic_error(&lhs) => {
569                 log::debug!("lhs failed non-deterministically: {lhs:?}");
570                 DiffEqResult::Poisoned
571             }
572             (_, Err(rhs)) if wasmtime_error_is_non_deterministic(&rhs) => {
573                 log::debug!("rhs failed non-deterministically: {rhs:?}");
574                 DiffEqResult::Poisoned
575             }
576 
577             // Both sides failed deterministically. Check that the trap and
578             // state at the time of failure is the same.
579             (Err(lhs), Err(rhs)) => {
580                 let rhs = rhs
581                     .downcast::<Trap>()
582                     .expect("non-traps handled in earlier match arm");
583 
584                 debug_assert!(
585                     !lhs_engine.is_non_deterministic_error(&lhs),
586                     "non-deterministic traps handled in earlier match arm",
587                 );
588                 debug_assert!(
589                     !wasmtime_trap_is_non_deterministic(&rhs),
590                     "non-deterministic traps handled in earlier match arm",
591                 );
592 
593                 lhs_engine.assert_error_match(&lhs, &rhs);
594                 DiffEqResult::Failed
595             }
596 
597             // A real bug is found if only one side fails.
598             (Ok(_), Err(err)) => panic!("only the `rhs` failed for this input: {err:?}"),
599             (Err(err), Ok(_)) => panic!("only the `lhs` failed for this input: {err:?}"),
600         }
601     }
602 }
603 
604 /// Invoke the given API calls.
605 pub fn make_api_calls(api: generators::api::ApiCalls) {
606     use crate::generators::api::ApiCall;
607     use std::collections::HashMap;
608 
609     let mut store: Option<Store<StoreLimits>> = None;
610     let mut modules: HashMap<usize, Module> = Default::default();
611     let mut instances: HashMap<usize, Instance> = Default::default();
612 
613     for call in api.calls {
614         match call {
615             ApiCall::StoreNew(config) => {
616                 log::trace!("creating store");
617                 assert!(store.is_none());
618                 store = Some(config.to_store());
619             }
620 
621             ApiCall::ModuleNew { id, wasm } => {
622                 log::debug!("creating module: {id}");
623                 log_wasm(&wasm);
624                 let module = match Module::new(store.as_ref().unwrap().engine(), &wasm) {
625                     Ok(m) => m,
626                     Err(_) => continue,
627                 };
628                 let old = modules.insert(id, module);
629                 assert!(old.is_none());
630             }
631 
632             ApiCall::ModuleDrop { id } => {
633                 log::trace!("dropping module: {id}");
634                 drop(modules.remove(&id));
635             }
636 
637             ApiCall::InstanceNew { id, module } => {
638                 log::trace!("instantiating module {module} as {id}");
639                 let module = match modules.get(&module) {
640                     Some(m) => m,
641                     None => continue,
642                 };
643 
644                 let store = store.as_mut().unwrap();
645                 if let Some(instance) = instantiate_with_dummy(store, module) {
646                     instances.insert(id, instance);
647                 }
648             }
649 
650             ApiCall::InstanceDrop { id } => {
651                 log::trace!("dropping instance {id}");
652                 instances.remove(&id);
653             }
654 
655             ApiCall::CallExportedFunc { instance, nth } => {
656                 log::trace!("calling instance export {instance} / {nth}");
657                 let instance = match instances.get(&instance) {
658                     Some(i) => i,
659                     None => {
660                         // Note that we aren't guaranteed to instantiate valid
661                         // modules, see comments in `InstanceNew` for details on
662                         // that. But the API call generator can't know if
663                         // instantiation failed, so we might not actually have
664                         // this instance. When that's the case, just skip the
665                         // API call and keep going.
666                         continue;
667                     }
668                 };
669                 let store = store.as_mut().unwrap();
670 
671                 let funcs = instance
672                     .exports(&mut *store)
673                     .filter_map(|e| match e.into_extern() {
674                         Extern::Func(f) => Some(f),
675                         _ => None,
676                     })
677                     .collect::<Vec<_>>();
678 
679                 if funcs.is_empty() {
680                     continue;
681                 }
682 
683                 let nth = nth % funcs.len();
684                 let f = &funcs[nth];
685                 let ty = f.ty(&store);
686                 if let Some(params) = ty
687                     .params()
688                     .map(|p| p.default_value())
689                     .collect::<Option<Vec<_>>>()
690                 {
691                     let mut results = vec![Val::I32(0); ty.results().len()];
692                     let _ = f.call(store, &params, &mut results);
693                 }
694             }
695         }
696     }
697 }
698 
699 /// Executes the wast `test` with the `config` specified.
700 ///
701 /// Ensures that wast tests pass regardless of the `Config`.
702 pub fn wast_test(u: &mut arbitrary::Unstructured<'_>) -> arbitrary::Result<()> {
703     crate::init_fuzzing();
704 
705     let mut fuzz_config: generators::Config = u.arbitrary()?;
706     let test: generators::WastTest = u.arbitrary()?;
707 
708     let test = &test.test;
709 
710     if test.config.component_model_async() || u.arbitrary()? {
711         fuzz_config.enable_async(u)?;
712     }
713 
714     // Discard tests that allocate a lot of memory as we don't want to OOM the
715     // fuzzer and we also limit memory growth which would cause the test to
716     // fail.
717     if test.config.hogs_memory.unwrap_or(false) {
718         return Err(arbitrary::Error::IncorrectFormat);
719     }
720 
721     // Transform `fuzz_config` to be valid for `test` and make sure that this
722     // test is supposed to pass.
723     let wast_config = fuzz_config.make_wast_test_compliant(test);
724     if test.should_fail(&wast_config) {
725         return Err(arbitrary::Error::IncorrectFormat);
726     }
727 
728     // Winch requires AVX and AVX2 for SIMD tests to pass so don't run the test
729     // if either isn't enabled.
730     if fuzz_config.wasmtime.compiler_strategy == CompilerStrategy::Winch
731         && test.config.simd()
732         && (fuzz_config
733             .wasmtime
734             .codegen_flag("has_avx")
735             .is_some_and(|value| value == "false")
736             || fuzz_config
737                 .wasmtime
738                 .codegen_flag("has_avx2")
739                 .is_some_and(|value| value == "false"))
740     {
741         log::warn!(
742             "Skipping Wast test because Winch doesn't support SIMD tests with AVX or AVX2 disabled"
743         );
744         return Err(arbitrary::Error::IncorrectFormat);
745     }
746 
747     // Fuel and epochs don't play well with threads right now, so exclude any
748     // thread-spawning test if it looks like threads are spawned in that case.
749     if fuzz_config.wasmtime.consume_fuel || fuzz_config.wasmtime.epoch_interruption {
750         if test.contents.contains("(thread") {
751             return Err(arbitrary::Error::IncorrectFormat);
752         }
753     }
754 
755     log::debug!("running {:?}", test.path);
756     let async_ = if fuzz_config.wasmtime.async_config == generators::AsyncConfig::Disabled {
757         wasmtime_wast::Async::No
758     } else {
759         wasmtime_wast::Async::Yes
760     };
761     log::debug!("async: {async_:?}");
762     let engine = Engine::new(&fuzz_config.to_wasmtime()).unwrap();
763     let mut wast_context = WastContext::new(&engine, async_, move |store| {
764         fuzz_config.configure_store_epoch_and_fuel(store);
765     });
766     wast_context
767         .register_spectest(&wasmtime_wast::SpectestConfig {
768             use_shared_memory: true,
769             suppress_prints: true,
770         })
771         .unwrap();
772     wast_context
773         .run_wast(test.path.to_str().unwrap(), test.contents.as_bytes())
774         .unwrap();
775     Ok(())
776 }
777 
778 /// Execute a series of `table.get` and `table.set` operations.
779 ///
780 /// Returns the number of `gc` operations which occurred throughout the test
781 /// case -- used to test below that gc happens reasonably soon and eventually.
782 pub fn table_ops(
783     mut fuzz_config: generators::Config,
784     mut ops: generators::table_ops::TableOps,
785 ) -> Result<usize> {
786     let expected_drops = Arc::new(AtomicUsize::new(0));
787     let num_dropped = Arc::new(AtomicUsize::new(0));
788 
789     let num_gcs = Arc::new(AtomicUsize::new(0));
790     {
791         fuzz_config.wasmtime.consume_fuel = true;
792         let mut store = fuzz_config.to_store();
793         store.set_fuel(1_000).unwrap();
794 
795         let wasm = ops.to_wasm_binary();
796         log_wasm(&wasm);
797         let module = match compile_module(store.engine(), &wasm, KnownValid::No, &fuzz_config) {
798             Some(m) => m,
799             None => return Ok(0),
800         };
801 
802         let mut linker = Linker::new(store.engine());
803 
804         // To avoid timeouts, limit the number of explicit GCs we perform per
805         // test case.
806         const MAX_GCS: usize = 5;
807 
808         let func_ty = FuncType::new(
809             store.engine(),
810             vec![],
811             vec![ValType::EXTERNREF, ValType::EXTERNREF, ValType::EXTERNREF],
812         );
813         let func = Func::new(&mut store, func_ty, {
814             let num_dropped = num_dropped.clone();
815             let expected_drops = expected_drops.clone();
816             let num_gcs = num_gcs.clone();
817             move |mut caller: Caller<'_, StoreLimits>, _params, results| {
818                 log::info!("table_ops: GC");
819                 if num_gcs.fetch_add(1, SeqCst) < MAX_GCS {
820                     caller.gc(None);
821                 }
822 
823                 let a = ExternRef::new(
824                     &mut caller,
825                     CountDrops::new(&expected_drops, num_dropped.clone()),
826                 )?;
827                 let b = ExternRef::new(
828                     &mut caller,
829                     CountDrops::new(&expected_drops, num_dropped.clone()),
830                 )?;
831                 let c = ExternRef::new(
832                     &mut caller,
833                     CountDrops::new(&expected_drops, num_dropped.clone()),
834                 )?;
835 
836                 log::info!("table_ops: gc() -> ({a:?}, {b:?}, {c:?})");
837                 results[0] = Some(a).into();
838                 results[1] = Some(b).into();
839                 results[2] = Some(c).into();
840                 Ok(())
841             }
842         });
843         linker.define(&store, "", "gc", func).unwrap();
844 
845         linker
846             .func_wrap("", "take_refs", {
847                 let expected_drops = expected_drops.clone();
848                 move |caller: Caller<'_, StoreLimits>,
849                       a: Option<Rooted<ExternRef>>,
850                       b: Option<Rooted<ExternRef>>,
851                       c: Option<Rooted<ExternRef>>|
852                       -> Result<()> {
853                     log::info!("table_ops: take_refs({a:?}, {b:?}, {c:?})",);
854 
855                     // Do the assertion on each ref's inner data, even though it
856                     // all points to the same atomic, so that if we happen to
857                     // run into a use-after-free bug with one of these refs we
858                     // are more likely to trigger a segfault.
859                     if let Some(a) = a {
860                         let a = a
861                             .data(&caller)?
862                             .unwrap()
863                             .downcast_ref::<CountDrops>()
864                             .unwrap();
865                         assert!(a.0.load(SeqCst) <= expected_drops.load(SeqCst));
866                     }
867                     if let Some(b) = b {
868                         let b = b
869                             .data(&caller)?
870                             .unwrap()
871                             .downcast_ref::<CountDrops>()
872                             .unwrap();
873                         assert!(b.0.load(SeqCst) <= expected_drops.load(SeqCst));
874                     }
875                     if let Some(c) = c {
876                         let c = c
877                             .data(&caller)?
878                             .unwrap()
879                             .downcast_ref::<CountDrops>()
880                             .unwrap();
881                         assert!(c.0.load(SeqCst) <= expected_drops.load(SeqCst));
882                     }
883                     Ok(())
884                 }
885             })
886             .unwrap();
887 
888         let func_ty = FuncType::new(
889             store.engine(),
890             vec![],
891             vec![ValType::EXTERNREF, ValType::EXTERNREF, ValType::EXTERNREF],
892         );
893         let func = Func::new(&mut store, func_ty, {
894             let num_dropped = num_dropped.clone();
895             let expected_drops = expected_drops.clone();
896             move |mut caller, _params, results| {
897                 log::info!("table_ops: make_refs");
898 
899                 let a = ExternRef::new(
900                     &mut caller,
901                     CountDrops::new(&expected_drops, num_dropped.clone()),
902                 )?;
903                 let b = ExternRef::new(
904                     &mut caller,
905                     CountDrops::new(&expected_drops, num_dropped.clone()),
906                 )?;
907                 let c = ExternRef::new(
908                     &mut caller,
909                     CountDrops::new(&expected_drops, num_dropped.clone()),
910                 )?;
911 
912                 log::info!("table_ops: make_refs() -> ({a:?}, {b:?}, {c:?})");
913 
914                 results[0] = Some(a).into();
915                 results[1] = Some(b).into();
916                 results[2] = Some(c).into();
917 
918                 Ok(())
919             }
920         });
921         linker.define(&store, "", "make_refs", func).unwrap();
922 
923         let instance = linker.instantiate(&mut store, &module).unwrap();
924         let run = instance.get_func(&mut store, "run").unwrap();
925 
926         {
927             let mut scope = RootScope::new(&mut store);
928 
929             log::info!(
930                 "table_ops: begin allocating {} externref arguments",
931                 ops.limits.num_globals
932             );
933             let args: Vec<_> = (0..ops.limits.num_params)
934                 .map(|_| {
935                     Ok(Val::ExternRef(Some(ExternRef::new(
936                         &mut scope,
937                         CountDrops::new(&expected_drops, num_dropped.clone()),
938                     )?)))
939                 })
940                 .collect::<Result<_>>()?;
941             log::info!(
942                 "table_ops: end allocating {} externref arguments",
943                 ops.limits.num_globals
944             );
945 
946             // The generated function should always return a trap. The only two
947             // valid traps are table-out-of-bounds which happens through `table.get`
948             // and `table.set` generated or an out-of-fuel trap. Otherwise any other
949             // error is unexpected and should fail fuzzing.
950             log::info!("table_ops: calling into Wasm `run` function");
951             let err = run.call(&mut scope, &args, &mut []).unwrap_err();
952             match err.downcast::<GcHeapOutOfMemory<CountDrops>>() {
953                 Ok(_oom) => {}
954                 Err(err) => {
955                     let trap = err
956                         .downcast::<Trap>()
957                         .expect("if not GC oom, error should be a Wasm trap");
958                     match trap {
959                         Trap::TableOutOfBounds | Trap::OutOfFuel => {}
960                         _ => panic!("unexpected trap: {trap}"),
961                     }
962                 }
963             }
964         }
965 
966         // Do a final GC after running the Wasm.
967         store.gc(None);
968     }
969 
970     assert_eq!(num_dropped.load(SeqCst), expected_drops.load(SeqCst));
971     return Ok(num_gcs.load(SeqCst));
972 
973     struct CountDrops(Arc<AtomicUsize>);
974 
975     impl CountDrops {
976         fn new(expected_drops: &AtomicUsize, num_dropped: Arc<AtomicUsize>) -> Self {
977             let expected = expected_drops.fetch_add(1, SeqCst);
978             log::info!(
979                 "CountDrops::new: expected drops: {expected} -> {}",
980                 expected + 1
981             );
982             Self(num_dropped)
983         }
984     }
985 
986     impl Drop for CountDrops {
987         fn drop(&mut self) {
988             let drops = self.0.fetch_add(1, SeqCst);
989             log::info!("CountDrops::drop: actual drops: {drops} -> {}", drops + 1);
990         }
991     }
992 }
993 
994 #[derive(Default)]
995 struct HelperThread {
996     state: Arc<HelperThreadState>,
997     thread: Option<std::thread::JoinHandle<()>>,
998 }
999 
1000 #[derive(Default)]
1001 struct HelperThreadState {
1002     should_exit: Mutex<bool>,
1003     should_exit_cvar: Condvar,
1004 }
1005 
1006 impl HelperThread {
1007     fn run_periodically(&mut self, dur: Duration, mut closure: impl FnMut() + Send + 'static) {
1008         let state = self.state.clone();
1009         self.thread = Some(std::thread::spawn(move || {
1010             // Using our mutex/condvar we wait here for the first of `dur` to
1011             // pass or the `HelperThread` instance to get dropped.
1012             let mut should_exit = state.should_exit.lock().unwrap();
1013             while !*should_exit {
1014                 let (lock, result) = state
1015                     .should_exit_cvar
1016                     .wait_timeout(should_exit, dur)
1017                     .unwrap();
1018                 should_exit = lock;
1019                 // If we timed out for sure then there's no need to continue
1020                 // since we'll just abort on the next `checked_sub` anyway.
1021                 if result.timed_out() {
1022                     closure();
1023                 }
1024             }
1025         }));
1026     }
1027 }
1028 
1029 impl Drop for HelperThread {
1030     fn drop(&mut self) {
1031         let thread = match self.thread.take() {
1032             Some(thread) => thread,
1033             None => return,
1034         };
1035         // Signal our thread that it should exit and wake it up in case it's
1036         // sleeping.
1037         *self.state.should_exit.lock().unwrap() = true;
1038         self.state.should_exit_cvar.notify_one();
1039 
1040         // ... and then wait for the thread to exit to ensure we clean up
1041         // after ourselves.
1042         thread.join().unwrap();
1043     }
1044 }
1045 
1046 /// Generate and execute a `crate::generators::component_types::TestCase` using the specified `input` to create
1047 /// arbitrary types and values.
1048 pub fn dynamic_component_api_target(input: &mut arbitrary::Unstructured) -> arbitrary::Result<()> {
1049     use crate::generators::component_types;
1050     use wasmtime::component::{Component, Linker, Val};
1051     use wasmtime_test_util::component::FuncExt;
1052     use wasmtime_test_util::component_fuzz::{
1053         EXPORT_FUNCTION, IMPORT_FUNCTION, MAX_TYPE_DEPTH, TestCase, Type,
1054     };
1055 
1056     crate::init_fuzzing();
1057 
1058     let mut types = Vec::new();
1059     let mut type_fuel = 500;
1060 
1061     for _ in 0..5 {
1062         types.push(Type::generate(input, MAX_TYPE_DEPTH, &mut type_fuel)?);
1063     }
1064     let params = (0..input.int_in_range(0..=5)?)
1065         .map(|_| input.choose(&types))
1066         .collect::<arbitrary::Result<Vec<_>>>()?;
1067     let result = if input.arbitrary()? {
1068         Some(input.choose(&types)?)
1069     } else {
1070         None
1071     };
1072 
1073     let case = TestCase {
1074         params,
1075         result,
1076         encoding1: input.arbitrary()?,
1077         encoding2: input.arbitrary()?,
1078     };
1079 
1080     let mut config = wasmtime_test_util::component::config();
1081     config.debug_adapter_modules(input.arbitrary()?);
1082     let engine = Engine::new(&config).unwrap();
1083     let mut store = Store::new(&engine, (Vec::new(), None));
1084     let wat = case.declarations().make_component();
1085     let wat = wat.as_bytes();
1086     log_wasm(wat);
1087     let component = Component::new(&engine, wat).unwrap();
1088     let mut linker = Linker::new(&engine);
1089 
1090     linker
1091         .root()
1092         .func_new(IMPORT_FUNCTION, {
1093             move |mut cx: StoreContextMut<'_, (Vec<Val>, Option<Vec<Val>>)>,
1094                   _,
1095                   params: &[Val],
1096                   results: &mut [Val]|
1097                   -> Result<()> {
1098                 log::trace!("received params {params:?}");
1099                 let (expected_args, expected_results) = cx.data_mut();
1100                 assert_eq!(params.len(), expected_args.len());
1101                 for (expected, actual) in expected_args.iter().zip(params) {
1102                     assert_eq!(expected, actual);
1103                 }
1104                 results.clone_from_slice(&expected_results.take().unwrap());
1105                 log::trace!("returning results {results:?}");
1106                 Ok(())
1107             }
1108         })
1109         .unwrap();
1110 
1111     let instance = linker.instantiate(&mut store, &component).unwrap();
1112     let func = instance.get_func(&mut store, EXPORT_FUNCTION).unwrap();
1113     let ty = func.ty(&store);
1114 
1115     while input.arbitrary()? {
1116         let params = ty
1117             .params()
1118             .map(|(_, ty)| component_types::arbitrary_val(&ty, input))
1119             .collect::<arbitrary::Result<Vec<_>>>()?;
1120         let results = ty
1121             .results()
1122             .map(|ty| component_types::arbitrary_val(&ty, input))
1123             .collect::<arbitrary::Result<Vec<_>>>()?;
1124 
1125         *store.data_mut() = (params.clone(), Some(results.clone()));
1126 
1127         log::trace!("passing params {params:?}");
1128         let mut actual = vec![Val::Bool(false); results.len()];
1129         func.call_and_post_return(&mut store, &params, &mut actual)
1130             .unwrap();
1131         log::trace!("received results {actual:?}");
1132         assert_eq!(actual, results);
1133     }
1134 
1135     Ok(())
1136 }
1137 
1138 /// Instantiates a wasm module and runs its exports with dummy values, all in
1139 /// an async fashion.
1140 ///
1141 /// Attempts to stress yields in host functions to ensure that exiting and
1142 /// resuming a wasm function call works.
1143 pub fn call_async(wasm: &[u8], config: &generators::Config, mut poll_amts: &[u32]) {
1144     let mut store = config.to_store();
1145     let module = match compile_module(store.engine(), wasm, KnownValid::Yes, config) {
1146         Some(module) => module,
1147         None => return,
1148     };
1149 
1150     // Configure a helper thread to periodically increment the epoch to
1151     // forcibly enable yields-via-epochs if epochs are in use. Note that this
1152     // is required because the wasm isn't otherwise guaranteed to necessarily
1153     // call any imports which will also increment the epoch.
1154     let mut helper_thread = HelperThread::default();
1155     if let generators::AsyncConfig::YieldWithEpochs { dur, .. } = &config.wasmtime.async_config {
1156         let engine = store.engine().clone();
1157         helper_thread.run_periodically(*dur, move || engine.increment_epoch());
1158     }
1159 
1160     // Generate a `Linker` where all function imports are custom-built to yield
1161     // periodically and additionally increment the epoch.
1162     let mut imports = Vec::new();
1163     for import in module.imports() {
1164         let item = match import.ty() {
1165             ExternType::Func(ty) => {
1166                 let poll_amt = take_poll_amt(&mut poll_amts);
1167                 Func::new_async(&mut store, ty.clone(), move |caller, _, results| {
1168                     let ty = ty.clone();
1169                     Box::new(async move {
1170                         caller.engine().increment_epoch();
1171                         log::info!("yielding {poll_amt} times in import");
1172                         YieldN(poll_amt).await;
1173                         for (ret_ty, result) in ty.results().zip(results) {
1174                             *result = ret_ty.default_value().unwrap();
1175                         }
1176                         Ok(())
1177                     })
1178                 })
1179                 .into()
1180             }
1181             other_ty => match other_ty.default_value(&mut store) {
1182                 Ok(item) => item,
1183                 Err(e) => {
1184                     log::warn!("couldn't create import for {import:?}: {e:?}");
1185                     return;
1186                 }
1187             },
1188         };
1189         imports.push(item);
1190     }
1191 
1192     // Run the instantiation process, asynchronously, and if everything
1193     // succeeds then pull out the instance.
1194     // log::info!("starting instantiation");
1195     let instance = run(Timeout {
1196         future: Instance::new_async(&mut store, &module, &imports),
1197         polls: take_poll_amt(&mut poll_amts),
1198         end: Instant::now() + Duration::from_millis(2_000),
1199     });
1200     let instance = match instance {
1201         Ok(instantiation_result) => match unwrap_instance(&store, instantiation_result) {
1202             Some(instance) => instance,
1203             None => {
1204                 log::info!("instantiation hit a nominal error");
1205                 return; // resource exhaustion or limits met
1206             }
1207         },
1208         Err(_) => {
1209             log::info!("instantiation failed to complete");
1210             return; // Timed out or ran out of polls
1211         }
1212     };
1213 
1214     // Run each export of the instance in the same manner as instantiation
1215     // above. Dummy values are passed in for argument values here:
1216     //
1217     // TODO: this should probably be more clever about passing in arguments for
1218     // example they might be used as pointers or something and always using 0
1219     // isn't too interesting.
1220     let funcs = instance
1221         .exports(&mut store)
1222         .filter_map(|e| {
1223             let name = e.name().to_string();
1224             let func = e.into_extern().into_func()?;
1225             Some((name, func))
1226         })
1227         .collect::<Vec<_>>();
1228     for (name, func) in funcs {
1229         let ty = func.ty(&store);
1230         let params = ty
1231             .params()
1232             .map(|ty| ty.default_value().unwrap())
1233             .collect::<Vec<_>>();
1234         let mut results = ty
1235             .results()
1236             .map(|ty| ty.default_value().unwrap())
1237             .collect::<Vec<_>>();
1238 
1239         log::info!("invoking export {name:?}");
1240         let future = func.call_async(&mut store, &params, &mut results);
1241         match run(Timeout {
1242             future,
1243             polls: take_poll_amt(&mut poll_amts),
1244             end: Instant::now() + Duration::from_millis(2_000),
1245         }) {
1246             // On success or too many polls, try the next export.
1247             Ok(_) | Err(Exhausted::Polls) => {}
1248 
1249             // If time ran out then stop the current test case as we might have
1250             // already sucked up a lot of time for this fuzz test case so don't
1251             // keep it going.
1252             Err(Exhausted::Time) => return,
1253         }
1254     }
1255 
1256     fn take_poll_amt(polls: &mut &[u32]) -> u32 {
1257         match polls.split_first() {
1258             Some((a, rest)) => {
1259                 *polls = rest;
1260                 *a
1261             }
1262             None => 0,
1263         }
1264     }
1265 
1266     /// Helper future to yield N times before resolving.
1267     struct YieldN(u32);
1268 
1269     impl Future for YieldN {
1270         type Output = ();
1271 
1272         fn poll(mut self: Pin<&mut Self>, cx: &mut Context<'_>) -> Poll<()> {
1273             if self.0 == 0 {
1274                 Poll::Ready(())
1275             } else {
1276                 self.0 -= 1;
1277                 cx.waker().wake_by_ref();
1278                 Poll::Pending
1279             }
1280         }
1281     }
1282 
1283     /// Helper future for applying a timeout to `future` up to either when `end`
1284     /// is the current time or `polls` polls happen.
1285     ///
1286     /// Note that this helps to time out infinite loops in wasm, for example.
1287     struct Timeout<F> {
1288         future: F,
1289         /// If the future isn't ready by this time then the `Timeout<F>` future
1290         /// will return `None`.
1291         end: Instant,
1292         /// If the future doesn't resolve itself in this many calls to `poll`
1293         /// then the `Timeout<F>` future will return `None`.
1294         polls: u32,
1295     }
1296 
1297     enum Exhausted {
1298         Time,
1299         Polls,
1300     }
1301 
1302     impl<F: Future> Future for Timeout<F> {
1303         type Output = Result<F::Output, Exhausted>;
1304 
1305         fn poll(self: Pin<&mut Self>, cx: &mut Context<'_>) -> Poll<Self::Output> {
1306             let (end, polls, future) = unsafe {
1307                 let me = self.get_unchecked_mut();
1308                 (me.end, &mut me.polls, Pin::new_unchecked(&mut me.future))
1309             };
1310             match future.poll(cx) {
1311                 Poll::Ready(val) => Poll::Ready(Ok(val)),
1312                 Poll::Pending => {
1313                     if Instant::now() >= end {
1314                         log::warn!("future operation timed out");
1315                         return Poll::Ready(Err(Exhausted::Time));
1316                     }
1317                     if *polls == 0 {
1318                         log::warn!("future operation ran out of polls");
1319                         return Poll::Ready(Err(Exhausted::Polls));
1320                     }
1321                     *polls -= 1;
1322                     Poll::Pending
1323                 }
1324             }
1325         }
1326     }
1327 
1328     fn run<F: Future>(future: F) -> F::Output {
1329         let mut f = Box::pin(future);
1330         let mut cx = Context::from_waker(Waker::noop());
1331         loop {
1332             match f.as_mut().poll(&mut cx) {
1333                 Poll::Ready(val) => break val,
1334                 Poll::Pending => {}
1335             }
1336         }
1337     }
1338 }
1339 
1340 #[cfg(test)]
1341 mod tests {
1342     use super::*;
1343     use arbitrary::Unstructured;
1344     use rand::prelude::*;
1345     use wasmparser::{Validator, WasmFeatures};
1346 
1347     fn gen_until_pass<T: for<'a> Arbitrary<'a>>(
1348         mut f: impl FnMut(T, &mut Unstructured<'_>) -> Result<bool>,
1349     ) -> bool {
1350         let mut rng = SmallRng::seed_from_u64(0);
1351         let mut buf = vec![0; 2048];
1352         let n = 3000;
1353         for _ in 0..n {
1354             rng.fill_bytes(&mut buf);
1355             let mut u = Unstructured::new(&buf);
1356 
1357             if let Ok(config) = u.arbitrary() {
1358                 if f(config, &mut u).unwrap() {
1359                     return true;
1360                 }
1361             }
1362         }
1363         false
1364     }
1365 
1366     /// Runs `f` with random data until it returns `Ok(())` `iters` times.
1367     fn test_n_times<T: for<'a> Arbitrary<'a>>(
1368         iters: u32,
1369         mut f: impl FnMut(T, &mut Unstructured<'_>) -> arbitrary::Result<()>,
1370     ) {
1371         let mut to_test = 0..iters;
1372         let ok = gen_until_pass(|a, b| {
1373             if f(a, b).is_ok() {
1374                 Ok(to_test.next().is_none())
1375             } else {
1376                 Ok(false)
1377             }
1378         });
1379         assert!(ok);
1380     }
1381 
1382     // Test that the `table_ops` fuzzer eventually runs the gc function in the host.
1383     // We've historically had issues where this fuzzer accidentally wasn't fuzzing
1384     // anything for a long time so this is an attempt to prevent that from happening
1385     // again.
1386     #[test]
1387     fn table_ops_eventually_gcs() {
1388         // Skip if we're under emulation because some fuzz configurations will do
1389         // large address space reservations that QEMU doesn't handle well.
1390         if std::env::var("WASMTIME_TEST_NO_HOG_MEMORY").is_ok() {
1391             return;
1392         }
1393 
1394         let ok = gen_until_pass(|(config, test), _| {
1395             let result = table_ops(config, test)?;
1396             Ok(result > 0)
1397         });
1398 
1399         if !ok {
1400             panic!("gc was never found");
1401         }
1402     }
1403 
1404     #[test]
1405     fn module_generation_uses_expected_proposals() {
1406         // Proposals that Wasmtime supports. Eventually a module should be
1407         // generated that needs these proposals.
1408         let mut expected = WasmFeatures::MUTABLE_GLOBAL
1409             | WasmFeatures::FLOATS
1410             | WasmFeatures::SIGN_EXTENSION
1411             | WasmFeatures::SATURATING_FLOAT_TO_INT
1412             | WasmFeatures::MULTI_VALUE
1413             | WasmFeatures::BULK_MEMORY
1414             | WasmFeatures::REFERENCE_TYPES
1415             | WasmFeatures::SIMD
1416             | WasmFeatures::MULTI_MEMORY
1417             | WasmFeatures::RELAXED_SIMD
1418             | WasmFeatures::THREADS
1419             | WasmFeatures::TAIL_CALL
1420             | WasmFeatures::WIDE_ARITHMETIC
1421             | WasmFeatures::MEMORY64
1422             | WasmFeatures::FUNCTION_REFERENCES
1423             | WasmFeatures::GC
1424             | WasmFeatures::GC_TYPES
1425             | WasmFeatures::CUSTOM_PAGE_SIZES
1426             | WasmFeatures::EXTENDED_CONST
1427             | WasmFeatures::EXCEPTIONS;
1428 
1429         // All other features that wasmparser supports, which is presumably a
1430         // superset of the features that wasm-smith supports, are listed here as
1431         // unexpected. This means, for example, that if wasm-smith updates to
1432         // include a new proposal by default that wasmtime implements then it
1433         // will be required to be listed above.
1434         let unexpected = WasmFeatures::all() ^ expected;
1435 
1436         let ok = gen_until_pass(|config: generators::Config, u| {
1437             let wasm = config.generate(u, None)?.to_bytes();
1438 
1439             // Double-check the module is valid
1440             Validator::new_with_features(WasmFeatures::all()).validate_all(&wasm)?;
1441 
1442             // If any of the unexpected features are removed then this module
1443             // should always be valid, otherwise something went wrong.
1444             for feature in unexpected.iter() {
1445                 let ok =
1446                     Validator::new_with_features(WasmFeatures::all() ^ feature).validate_all(&wasm);
1447                 if ok.is_err() {
1448                     anyhow::bail!("generated a module with {feature:?} but that wasn't expected");
1449                 }
1450             }
1451 
1452             // If any of `expected` is removed and the module fails to validate,
1453             // then that means the module requires that feature. Remove that
1454             // from the set of features we're then expecting.
1455             for feature in expected.iter() {
1456                 let ok =
1457                     Validator::new_with_features(WasmFeatures::all() ^ feature).validate_all(&wasm);
1458                 if ok.is_err() {
1459                     expected ^= feature;
1460                 }
1461             }
1462 
1463             Ok(expected.is_empty())
1464         });
1465 
1466         if !ok {
1467             panic!("never generated wasm module using {expected:?}");
1468         }
1469     }
1470 
1471     #[test]
1472     fn wast_smoke_test() {
1473         test_n_times(50, |(), u| super::wast_test(u));
1474     }
1475 }
1476