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};
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
413     // timeout or such
414     if e.is::<Trap>() {
415         return None;
416     }
417 
418     let string = e.to_string();
419 
420     // Currently we instantiate with a `Linker` which can't instantiate
421     // every single module under the sun due to using name-based resolution
422     // rather than positional-based resolution
423     if string.contains("incompatible import type") {
424         return None;
425     }
426 
427     // Also allow failures to instantiate as a result of hitting pooling limits.
428     if e.is::<wasmtime::PoolConcurrencyLimitError>() {
429         return None;
430     }
431 
432     // Everything else should be a bug in the fuzzer or a bug in wasmtime
433     panic!("failed to instantiate: {e:?}");
434 }
435 
436 /// Evaluate the function identified by `name` in two different engine
437 /// instances--`lhs` and `rhs`.
438 ///
439 /// Returns `Ok(true)` if more evaluations can happen or `Ok(false)` if the
440 /// instances may have drifted apart and no more evaluations can happen.
441 ///
442 /// # Panics
443 ///
444 /// This will panic if the evaluation is different between engines (e.g.,
445 /// results are different, hashed instance is different, one side traps, etc.).
446 pub fn differential(
447     lhs: &mut dyn DiffInstance,
448     lhs_engine: &dyn DiffEngine,
449     rhs: &mut WasmtimeInstance,
450     name: &str,
451     args: &[DiffValue],
452     result_tys: &[DiffValueType],
453 ) -> anyhow::Result<bool> {
454     log::debug!("Evaluating: `{}` with {:?}", name, args);
455     let lhs_results = match lhs.evaluate(name, args, result_tys) {
456         Ok(Some(results)) => Ok(results),
457         Err(e) => Err(e),
458         // this engine couldn't execute this type signature, so discard this
459         // execution by returning success.
460         Ok(None) => return Ok(true),
461     };
462     log::debug!(" -> lhs results on {}: {:?}", lhs.name(), &lhs_results);
463 
464     let rhs_results = rhs
465         .evaluate(name, args, result_tys)
466         // wasmtime should be able to invoke any signature, so unwrap this result
467         .map(|results| results.unwrap());
468     log::debug!(" -> rhs results on {}: {:?}", rhs.name(), &rhs_results);
469 
470     // If Wasmtime hit its OOM condition, which is possible since it's set
471     // somewhat low while fuzzing, then don't return an error but return
472     // `false` indicating that differential fuzzing must stop. There's no
473     // guarantee the other engine has the same OOM limits as Wasmtime, and
474     // it's assumed that Wasmtime is configured to have a more conservative
475     // limit than the other engine.
476     if rhs.is_oom() {
477         return Ok(false);
478     }
479 
480     match DiffEqResult::new(lhs_engine, lhs_results, rhs_results) {
481         DiffEqResult::Success(lhs, rhs) => assert_eq!(lhs, rhs),
482         DiffEqResult::Poisoned => return Ok(false),
483         DiffEqResult::Failed => {}
484     }
485 
486     for (global, ty) in rhs.exported_globals() {
487         log::debug!("Comparing global `{global}`");
488         let lhs = match lhs.get_global(&global, ty) {
489             Some(val) => val,
490             None => continue,
491         };
492         let rhs = rhs.get_global(&global, ty).unwrap();
493         assert_eq!(lhs, rhs);
494     }
495     for (memory, shared) in rhs.exported_memories() {
496         log::debug!("Comparing memory `{memory}`");
497         let lhs = match lhs.get_memory(&memory, shared) {
498             Some(val) => val,
499             None => continue,
500         };
501         let rhs = rhs.get_memory(&memory, shared).unwrap();
502         if lhs == rhs {
503             continue;
504         }
505         eprintln!("differential memory is {} bytes long", lhs.len());
506         eprintln!("wasmtime memory is     {} bytes long", rhs.len());
507         panic!("memories have differing values");
508     }
509 
510     Ok(true)
511 }
512 
513 /// Result of comparing the result of two operations during differential
514 /// execution.
515 pub enum DiffEqResult<T, U> {
516     /// Both engines succeeded.
517     Success(T, U),
518     /// The result has reached the state where engines may have diverged and
519     /// results can no longer be compared.
520     Poisoned,
521     /// Both engines failed with the same error message, and internal state
522     /// should still match between the two engines.
523     Failed,
524 }
525 
526 fn wasmtime_trap_is_non_deterministic(trap: &Trap) -> bool {
527     match trap {
528         // Allocations being too large for the GC are
529         // implementation-defined.
530         Trap::AllocationTooLarge |
531         // Stack size, and therefore when overflow happens, is
532         // implementation-defined.
533         Trap::StackOverflow => true,
534         _ => false,
535     }
536 }
537 
538 fn wasmtime_error_is_non_deterministic(error: &wasmtime::Error) -> bool {
539     match error.downcast_ref::<Trap>() {
540         Some(trap) => wasmtime_trap_is_non_deterministic(trap),
541 
542         // For general, unknown errors, we can't rely on this being
543         // a deterministic Wasm failure that both engines handled
544         // identically, leaving Wasm in identical states. We could
545         // just as easily be hitting engine-specific failures, like
546         // different implementation-defined limits. So simply poison
547         // this execution and move on to the next test.
548         None => true,
549     }
550 }
551 
552 impl<T, U> DiffEqResult<T, U> {
553     /// Computes the differential result from executing in two different
554     /// engines.
555     pub fn new(
556         lhs_engine: &dyn DiffEngine,
557         lhs_result: Result<T>,
558         rhs_result: Result<U>,
559     ) -> DiffEqResult<T, U> {
560         match (lhs_result, rhs_result) {
561             (Ok(lhs_result), Ok(rhs_result)) => DiffEqResult::Success(lhs_result, rhs_result),
562 
563             // Handle all non-deterministic errors by poisoning this execution's
564             // state, so that we simply move on to the next test.
565             (Err(lhs), _) if lhs_engine.is_non_deterministic_error(&lhs) => {
566                 log::debug!("lhs failed non-deterministically: {lhs:?}");
567                 DiffEqResult::Poisoned
568             }
569             (_, Err(rhs)) if wasmtime_error_is_non_deterministic(&rhs) => {
570                 log::debug!("rhs failed non-deterministically: {rhs:?}");
571                 DiffEqResult::Poisoned
572             }
573 
574             // Both sides failed deterministically. Check that the trap and
575             // state at the time of failure is the same.
576             (Err(lhs), Err(rhs)) => {
577                 let rhs = rhs
578                     .downcast::<Trap>()
579                     .expect("non-traps handled in earlier match arm");
580 
581                 debug_assert!(
582                     !lhs_engine.is_non_deterministic_error(&lhs),
583                     "non-deterministic traps handled in earlier match arm",
584                 );
585                 debug_assert!(
586                     !wasmtime_trap_is_non_deterministic(&rhs),
587                     "non-deterministic traps handled in earlier match arm",
588                 );
589 
590                 lhs_engine.assert_error_match(&lhs, &rhs);
591                 DiffEqResult::Failed
592             }
593 
594             // A real bug is found if only one side fails.
595             (Ok(_), Err(err)) => panic!("only the `rhs` failed for this input: {err:?}"),
596             (Err(err), Ok(_)) => panic!("only the `lhs` failed for this input: {err:?}"),
597         }
598     }
599 }
600 
601 /// Invoke the given API calls.
602 pub fn make_api_calls(api: generators::api::ApiCalls) {
603     use crate::generators::api::ApiCall;
604     use std::collections::HashMap;
605 
606     let mut store: Option<Store<StoreLimits>> = None;
607     let mut modules: HashMap<usize, Module> = Default::default();
608     let mut instances: HashMap<usize, Instance> = Default::default();
609 
610     for call in api.calls {
611         match call {
612             ApiCall::StoreNew(config) => {
613                 log::trace!("creating store");
614                 assert!(store.is_none());
615                 store = Some(config.to_store());
616             }
617 
618             ApiCall::ModuleNew { id, wasm } => {
619                 log::debug!("creating module: {}", id);
620                 log_wasm(&wasm);
621                 let module = match Module::new(store.as_ref().unwrap().engine(), &wasm) {
622                     Ok(m) => m,
623                     Err(_) => continue,
624                 };
625                 let old = modules.insert(id, module);
626                 assert!(old.is_none());
627             }
628 
629             ApiCall::ModuleDrop { id } => {
630                 log::trace!("dropping module: {}", id);
631                 drop(modules.remove(&id));
632             }
633 
634             ApiCall::InstanceNew { id, module } => {
635                 log::trace!("instantiating module {} as {}", module, id);
636                 let module = match modules.get(&module) {
637                     Some(m) => m,
638                     None => continue,
639                 };
640 
641                 let store = store.as_mut().unwrap();
642                 if let Some(instance) = instantiate_with_dummy(store, module) {
643                     instances.insert(id, instance);
644                 }
645             }
646 
647             ApiCall::InstanceDrop { id } => {
648                 log::trace!("dropping instance {}", id);
649                 instances.remove(&id);
650             }
651 
652             ApiCall::CallExportedFunc { instance, nth } => {
653                 log::trace!("calling instance export {} / {}", instance, nth);
654                 let instance = match instances.get(&instance) {
655                     Some(i) => i,
656                     None => {
657                         // Note that we aren't guaranteed to instantiate valid
658                         // modules, see comments in `InstanceNew` for details on
659                         // that. But the API call generator can't know if
660                         // instantiation failed, so we might not actually have
661                         // this instance. When that's the case, just skip the
662                         // API call and keep going.
663                         continue;
664                     }
665                 };
666                 let store = store.as_mut().unwrap();
667 
668                 let funcs = instance
669                     .exports(&mut *store)
670                     .filter_map(|e| match e.into_extern() {
671                         Extern::Func(f) => Some(f),
672                         _ => None,
673                     })
674                     .collect::<Vec<_>>();
675 
676                 if funcs.is_empty() {
677                     continue;
678                 }
679 
680                 let nth = nth % funcs.len();
681                 let f = &funcs[nth];
682                 let ty = f.ty(&store);
683                 if let Some(params) = ty
684                     .params()
685                     .map(|p| p.default_value())
686                     .collect::<Option<Vec<_>>>()
687                 {
688                     let mut results = vec![Val::I32(0); ty.results().len()];
689                     let _ = f.call(store, &params, &mut results);
690                 }
691             }
692         }
693     }
694 }
695 
696 /// Executes the wast `test` with the `config` specified.
697 ///
698 /// Ensures that wast tests pass regardless of the `Config`.
699 pub fn wast_test(u: &mut arbitrary::Unstructured<'_>) -> arbitrary::Result<()> {
700     crate::init_fuzzing();
701 
702     let mut fuzz_config: generators::Config = u.arbitrary()?;
703     let test: generators::WastTest = u.arbitrary()?;
704     if u.arbitrary()? {
705         fuzz_config.enable_async(u)?;
706     }
707 
708     let test = &test.test;
709 
710     // Discard tests that allocate a lot of memory as we don't want to OOM the
711     // fuzzer and we also limit memory growth which would cause the test to
712     // fail.
713     if test.config.hogs_memory.unwrap_or(false) {
714         return Err(arbitrary::Error::IncorrectFormat);
715     }
716 
717     // Transform `fuzz_config` to be valid for `test` and make sure that this
718     // test is supposed to pass.
719     let wast_config = fuzz_config.make_wast_test_compliant(test);
720     if test.should_fail(&wast_config) {
721         return Err(arbitrary::Error::IncorrectFormat);
722     }
723 
724     // Winch requires AVX and AVX2 for SIMD tests to pass so don't run the test
725     // if either isn't enabled.
726     if fuzz_config.wasmtime.compiler_strategy == CompilerStrategy::Winch
727         && test.config.simd()
728         && (fuzz_config
729             .wasmtime
730             .codegen_flag("has_avx")
731             .is_some_and(|value| value == "false")
732             || fuzz_config
733                 .wasmtime
734                 .codegen_flag("has_avx2")
735                 .is_some_and(|value| value == "false"))
736     {
737         log::warn!(
738             "Skipping Wast test because Winch doesn't support SIMD tests with AVX or AVX2 disabled"
739         );
740         return Err(arbitrary::Error::IncorrectFormat);
741     }
742 
743     // Fuel and epochs don't play well with threads right now, so exclude any
744     // thread-spawning test if it looks like threads are spawned in that case.
745     if fuzz_config.wasmtime.consume_fuel || fuzz_config.wasmtime.epoch_interruption {
746         if test.contents.contains("(thread") {
747             return Err(arbitrary::Error::IncorrectFormat);
748         }
749     }
750 
751     log::debug!("running {:?}", test.path);
752     let async_ = if fuzz_config.wasmtime.async_config == generators::AsyncConfig::Disabled {
753         wasmtime_wast::Async::No
754     } else {
755         wasmtime_wast::Async::Yes
756     };
757     let mut wast_context = WastContext::new(fuzz_config.to_store(), async_);
758     wast_context
759         .register_spectest(&wasmtime_wast::SpectestConfig {
760             use_shared_memory: true,
761             suppress_prints: true,
762         })
763         .unwrap();
764     wast_context
765         .run_buffer(test.path.to_str().unwrap(), test.contents.as_bytes())
766         .unwrap();
767     Ok(())
768 }
769 
770 /// Execute a series of `table.get` and `table.set` operations.
771 ///
772 /// Returns the number of `gc` operations which occurred throughout the test
773 /// case -- used to test below that gc happens reasonably soon and eventually.
774 pub fn table_ops(
775     mut fuzz_config: generators::Config,
776     ops: generators::table_ops::TableOps,
777 ) -> Result<usize> {
778     let expected_drops = Arc::new(AtomicUsize::new(ops.num_params as usize));
779     let num_dropped = Arc::new(AtomicUsize::new(0));
780 
781     let num_gcs = Arc::new(AtomicUsize::new(0));
782     {
783         fuzz_config.wasmtime.consume_fuel = true;
784         let mut store = fuzz_config.to_store();
785         store.set_fuel(1_000).unwrap();
786 
787         let wasm = ops.to_wasm_binary();
788         log_wasm(&wasm);
789         let module = match compile_module(store.engine(), &wasm, KnownValid::No, &fuzz_config) {
790             Some(m) => m,
791             None => return Ok(0),
792         };
793 
794         let mut linker = Linker::new(store.engine());
795 
796         // To avoid timeouts, limit the number of explicit GCs we perform per
797         // test case.
798         const MAX_GCS: usize = 5;
799 
800         let func_ty = FuncType::new(
801             store.engine(),
802             vec![],
803             vec![ValType::EXTERNREF, ValType::EXTERNREF, ValType::EXTERNREF],
804         );
805         let func = Func::new(&mut store, func_ty, {
806             let num_dropped = num_dropped.clone();
807             let expected_drops = expected_drops.clone();
808             let num_gcs = num_gcs.clone();
809             move |mut caller: Caller<'_, StoreLimits>, _params, results| {
810                 log::info!("table_ops: GC");
811                 if num_gcs.fetch_add(1, SeqCst) < MAX_GCS {
812                     caller.gc();
813                 }
814 
815                 let a = ExternRef::new(&mut caller, CountDrops(num_dropped.clone()))?;
816                 let b = ExternRef::new(&mut caller, CountDrops(num_dropped.clone()))?;
817                 let c = ExternRef::new(&mut caller, CountDrops(num_dropped.clone()))?;
818 
819                 log::info!("table_ops: gc() -> ({:?}, {:?}, {:?})", a, b, c);
820 
821                 expected_drops.fetch_add(3, SeqCst);
822                 results[0] = Some(a).into();
823                 results[1] = Some(b).into();
824                 results[2] = Some(c).into();
825                 Ok(())
826             }
827         });
828         linker.define(&store, "", "gc", func).unwrap();
829 
830         linker
831             .func_wrap("", "take_refs", {
832                 let expected_drops = expected_drops.clone();
833                 move |caller: Caller<'_, StoreLimits>,
834                       a: Option<Rooted<ExternRef>>,
835                       b: Option<Rooted<ExternRef>>,
836                       c: Option<Rooted<ExternRef>>|
837                       -> Result<()> {
838                     log::info!("table_ops: take_refs({a:?}, {b:?}, {c:?})",);
839 
840                     // Do the assertion on each ref's inner data, even though it
841                     // all points to the same atomic, so that if we happen to
842                     // run into a use-after-free bug with one of these refs we
843                     // are more likely to trigger a segfault.
844                     if let Some(a) = a {
845                         let a = a
846                             .data(&caller)?
847                             .unwrap()
848                             .downcast_ref::<CountDrops>()
849                             .unwrap();
850                         assert!(a.0.load(SeqCst) <= expected_drops.load(SeqCst));
851                     }
852                     if let Some(b) = b {
853                         let b = b
854                             .data(&caller)?
855                             .unwrap()
856                             .downcast_ref::<CountDrops>()
857                             .unwrap();
858                         assert!(b.0.load(SeqCst) <= expected_drops.load(SeqCst));
859                     }
860                     if let Some(c) = c {
861                         let c = c
862                             .data(&caller)?
863                             .unwrap()
864                             .downcast_ref::<CountDrops>()
865                             .unwrap();
866                         assert!(c.0.load(SeqCst) <= expected_drops.load(SeqCst));
867                     }
868                     Ok(())
869                 }
870             })
871             .unwrap();
872 
873         let func_ty = FuncType::new(
874             store.engine(),
875             vec![],
876             vec![ValType::EXTERNREF, ValType::EXTERNREF, ValType::EXTERNREF],
877         );
878         let func = Func::new(&mut store, func_ty, {
879             let num_dropped = num_dropped.clone();
880             let expected_drops = expected_drops.clone();
881             move |mut caller, _params, results| {
882                 log::info!("table_ops: make_refs");
883 
884                 let a = ExternRef::new(&mut caller, CountDrops(num_dropped.clone()))?;
885                 let b = ExternRef::new(&mut caller, CountDrops(num_dropped.clone()))?;
886                 let c = ExternRef::new(&mut caller, CountDrops(num_dropped.clone()))?;
887                 expected_drops.fetch_add(3, SeqCst);
888 
889                 log::info!("table_ops: make_refs() -> ({:?}, {:?}, {:?})", a, b, c);
890 
891                 results[0] = Some(a).into();
892                 results[1] = Some(b).into();
893                 results[2] = Some(c).into();
894 
895                 Ok(())
896             }
897         });
898         linker.define(&store, "", "make_refs", func).unwrap();
899 
900         let instance = linker.instantiate(&mut store, &module).unwrap();
901         let run = instance.get_func(&mut store, "run").unwrap();
902 
903         {
904             let mut scope = RootScope::new(&mut store);
905 
906             log::info!(
907                 "table_ops: begin allocating {} externref arguments",
908                 ops.num_globals
909             );
910             let args: Vec<_> = (0..ops.num_params)
911                 .map(|_| {
912                     Ok(Val::ExternRef(Some(ExternRef::new(
913                         &mut scope,
914                         CountDrops(num_dropped.clone()),
915                     )?)))
916                 })
917                 .collect::<Result<_>>()?;
918             log::info!(
919                 "table_ops: end allocating {} externref arguments",
920                 ops.num_globals
921             );
922 
923             // The generated function should always return a trap. The only two
924             // valid traps are table-out-of-bounds which happens through `table.get`
925             // and `table.set` generated or an out-of-fuel trap. Otherwise any other
926             // error is unexpected and should fail fuzzing.
927             log::info!("table_ops: calling into Wasm `run` function");
928             let trap = run
929                 .call(&mut scope, &args, &mut [])
930                 .unwrap_err()
931                 .downcast::<Trap>()
932                 .unwrap();
933 
934             match trap {
935                 Trap::TableOutOfBounds | Trap::OutOfFuel => {}
936                 _ => panic!("unexpected trap: {trap}"),
937             }
938         }
939 
940         // Do a final GC after running the Wasm.
941         store.gc();
942     }
943 
944     assert_eq!(num_dropped.load(SeqCst), expected_drops.load(SeqCst));
945     return Ok(num_gcs.load(SeqCst));
946 
947     struct CountDrops(Arc<AtomicUsize>);
948 
949     impl Drop for CountDrops {
950         fn drop(&mut self) {
951             self.0.fetch_add(1, SeqCst);
952         }
953     }
954 }
955 
956 #[derive(Default)]
957 struct HelperThread {
958     state: Arc<HelperThreadState>,
959     thread: Option<std::thread::JoinHandle<()>>,
960 }
961 
962 #[derive(Default)]
963 struct HelperThreadState {
964     should_exit: Mutex<bool>,
965     should_exit_cvar: Condvar,
966 }
967 
968 impl HelperThread {
969     fn run_periodically(&mut self, dur: Duration, mut closure: impl FnMut() + Send + 'static) {
970         let state = self.state.clone();
971         self.thread = Some(std::thread::spawn(move || {
972             // Using our mutex/condvar we wait here for the first of `dur` to
973             // pass or the `HelperThread` instance to get dropped.
974             let mut should_exit = state.should_exit.lock().unwrap();
975             while !*should_exit {
976                 let (lock, result) = state
977                     .should_exit_cvar
978                     .wait_timeout(should_exit, dur)
979                     .unwrap();
980                 should_exit = lock;
981                 // If we timed out for sure then there's no need to continue
982                 // since we'll just abort on the next `checked_sub` anyway.
983                 if result.timed_out() {
984                     closure();
985                 }
986             }
987         }));
988     }
989 }
990 
991 impl Drop for HelperThread {
992     fn drop(&mut self) {
993         let thread = match self.thread.take() {
994             Some(thread) => thread,
995             None => return,
996         };
997         // Signal our thread that it should exit and wake it up in case it's
998         // sleeping.
999         *self.state.should_exit.lock().unwrap() = true;
1000         self.state.should_exit_cvar.notify_one();
1001 
1002         // ... and then wait for the thread to exit to ensure we clean up
1003         // after ourselves.
1004         thread.join().unwrap();
1005     }
1006 }
1007 
1008 /// Generate and execute a `crate::generators::component_types::TestCase` using the specified `input` to create
1009 /// arbitrary types and values.
1010 pub fn dynamic_component_api_target(input: &mut arbitrary::Unstructured) -> arbitrary::Result<()> {
1011     use crate::generators::component_types;
1012     use wasmtime::component::{Component, Linker, Val};
1013     use wasmtime_test_util::component::FuncExt;
1014     use wasmtime_test_util::component_fuzz::{
1015         TestCase, Type, EXPORT_FUNCTION, IMPORT_FUNCTION, MAX_TYPE_DEPTH,
1016     };
1017 
1018     crate::init_fuzzing();
1019 
1020     let mut types = Vec::new();
1021     let mut type_fuel = 500;
1022 
1023     for _ in 0..5 {
1024         types.push(Type::generate(input, MAX_TYPE_DEPTH, &mut type_fuel)?);
1025     }
1026     let params = (0..input.int_in_range(0..=5)?)
1027         .map(|_| input.choose(&types))
1028         .collect::<arbitrary::Result<Vec<_>>>()?;
1029     let result = if input.arbitrary()? {
1030         Some(input.choose(&types)?)
1031     } else {
1032         None
1033     };
1034 
1035     let case = TestCase {
1036         params,
1037         result,
1038         encoding1: input.arbitrary()?,
1039         encoding2: input.arbitrary()?,
1040     };
1041 
1042     let mut config = wasmtime_test_util::component::config();
1043     config.debug_adapter_modules(input.arbitrary()?);
1044     let engine = Engine::new(&config).unwrap();
1045     let mut store = Store::new(&engine, (Vec::new(), None));
1046     let wat = case.declarations().make_component();
1047     let wat = wat.as_bytes();
1048     log_wasm(wat);
1049     let component = Component::new(&engine, wat).unwrap();
1050     let mut linker = Linker::new(&engine);
1051 
1052     linker
1053         .root()
1054         .func_new(IMPORT_FUNCTION, {
1055             move |mut cx: StoreContextMut<'_, (Vec<Val>, Option<Vec<Val>>)>,
1056                   params: &[Val],
1057                   results: &mut [Val]|
1058                   -> Result<()> {
1059                 log::trace!("received params {params:?}");
1060                 let (expected_args, expected_results) = cx.data_mut();
1061                 assert_eq!(params.len(), expected_args.len());
1062                 for (expected, actual) in expected_args.iter().zip(params) {
1063                     assert_eq!(expected, actual);
1064                 }
1065                 results.clone_from_slice(&expected_results.take().unwrap());
1066                 log::trace!("returning results {results:?}");
1067                 Ok(())
1068             }
1069         })
1070         .unwrap();
1071 
1072     let instance = linker.instantiate(&mut store, &component).unwrap();
1073     let func = instance.get_func(&mut store, EXPORT_FUNCTION).unwrap();
1074     let param_tys = func.params(&store);
1075     let result_tys = func.results(&store);
1076 
1077     while input.arbitrary()? {
1078         let params = param_tys
1079             .iter()
1080             .map(|(_, ty)| component_types::arbitrary_val(ty, input))
1081             .collect::<arbitrary::Result<Vec<_>>>()?;
1082         let results = result_tys
1083             .iter()
1084             .map(|ty| component_types::arbitrary_val(ty, input))
1085             .collect::<arbitrary::Result<Vec<_>>>()?;
1086 
1087         *store.data_mut() = (params.clone(), Some(results.clone()));
1088 
1089         log::trace!("passing params {params:?}");
1090         let mut actual = vec![Val::Bool(false); results.len()];
1091         func.call_and_post_return(&mut store, &params, &mut actual)
1092             .unwrap();
1093         log::trace!("received results {actual:?}");
1094         assert_eq!(actual, results);
1095     }
1096 
1097     Ok(())
1098 }
1099 
1100 /// Instantiates a wasm module and runs its exports with dummy values, all in
1101 /// an async fashion.
1102 ///
1103 /// Attempts to stress yields in host functions to ensure that exiting and
1104 /// resuming a wasm function call works.
1105 pub fn call_async(wasm: &[u8], config: &generators::Config, mut poll_amts: &[u32]) {
1106     let mut store = config.to_store();
1107     let module = match compile_module(store.engine(), wasm, KnownValid::Yes, config) {
1108         Some(module) => module,
1109         None => return,
1110     };
1111 
1112     // Configure a helper thread to periodically increment the epoch to
1113     // forcibly enable yields-via-epochs if epochs are in use. Note that this
1114     // is required because the wasm isn't otherwise guaranteed to necessarily
1115     // call any imports which will also increment the epoch.
1116     let mut helper_thread = HelperThread::default();
1117     if let generators::AsyncConfig::YieldWithEpochs { dur, .. } = &config.wasmtime.async_config {
1118         let engine = store.engine().clone();
1119         helper_thread.run_periodically(*dur, move || engine.increment_epoch());
1120     }
1121 
1122     // Generate a `Linker` where all function imports are custom-built to yield
1123     // periodically and additionally increment the epoch.
1124     let mut imports = Vec::new();
1125     for import in module.imports() {
1126         let item = match import.ty() {
1127             ExternType::Func(ty) => {
1128                 let poll_amt = take_poll_amt(&mut poll_amts);
1129                 Func::new_async(&mut store, ty.clone(), move |caller, _, results| {
1130                     let ty = ty.clone();
1131                     Box::new(async move {
1132                         caller.engine().increment_epoch();
1133                         log::info!("yielding {} times in import", poll_amt);
1134                         YieldN(poll_amt).await;
1135                         for (ret_ty, result) in ty.results().zip(results) {
1136                             *result = ret_ty.default_value().unwrap();
1137                         }
1138                         Ok(())
1139                     })
1140                 })
1141                 .into()
1142             }
1143             other_ty => match other_ty.default_value(&mut store) {
1144                 Some(item) => item,
1145                 None => {
1146                     log::warn!("couldn't create import for {import:?}");
1147                     return;
1148                 }
1149             },
1150         };
1151         imports.push(item);
1152     }
1153 
1154     // Run the instantiation process, asynchronously, and if everything
1155     // succeeds then pull out the instance.
1156     // log::info!("starting instantiation");
1157     let instance = run(Timeout {
1158         future: Instance::new_async(&mut store, &module, &imports),
1159         polls: take_poll_amt(&mut poll_amts),
1160         end: Instant::now() + Duration::from_millis(2_000),
1161     });
1162     let instance = match instance {
1163         Ok(instantiation_result) => match unwrap_instance(&store, instantiation_result) {
1164             Some(instance) => instance,
1165             None => {
1166                 log::info!("instantiation hit a nominal error");
1167                 return; // resource exhaustion or limits met
1168             }
1169         },
1170         Err(_) => {
1171             log::info!("instantiation failed to complete");
1172             return; // Timed out or ran out of polls
1173         }
1174     };
1175 
1176     // Run each export of the instance in the same manner as instantiation
1177     // above. Dummy values are passed in for argument values here:
1178     //
1179     // TODO: this should probably be more clever about passing in arguments for
1180     // example they might be used as pointers or something and always using 0
1181     // isn't too interesting.
1182     let funcs = instance
1183         .exports(&mut store)
1184         .filter_map(|e| {
1185             let name = e.name().to_string();
1186             let func = e.into_extern().into_func()?;
1187             Some((name, func))
1188         })
1189         .collect::<Vec<_>>();
1190     for (name, func) in funcs {
1191         let ty = func.ty(&store);
1192         let params = ty
1193             .params()
1194             .map(|ty| ty.default_value().unwrap())
1195             .collect::<Vec<_>>();
1196         let mut results = ty
1197             .results()
1198             .map(|ty| ty.default_value().unwrap())
1199             .collect::<Vec<_>>();
1200 
1201         log::info!("invoking export {:?}", name);
1202         let future = func.call_async(&mut store, &params, &mut results);
1203         match run(Timeout {
1204             future,
1205             polls: take_poll_amt(&mut poll_amts),
1206             end: Instant::now() + Duration::from_millis(2_000),
1207         }) {
1208             // On success or too many polls, try the next export.
1209             Ok(_) | Err(Exhausted::Polls) => {}
1210 
1211             // If time ran out then stop the current test case as we might have
1212             // already sucked up a lot of time for this fuzz test case so don't
1213             // keep it going.
1214             Err(Exhausted::Time) => return,
1215         }
1216     }
1217 
1218     fn take_poll_amt(polls: &mut &[u32]) -> u32 {
1219         match polls.split_first() {
1220             Some((a, rest)) => {
1221                 *polls = rest;
1222                 *a
1223             }
1224             None => 0,
1225         }
1226     }
1227 
1228     /// Helper future to yield N times before resolving.
1229     struct YieldN(u32);
1230 
1231     impl Future for YieldN {
1232         type Output = ();
1233 
1234         fn poll(mut self: Pin<&mut Self>, cx: &mut Context<'_>) -> Poll<()> {
1235             if self.0 == 0 {
1236                 Poll::Ready(())
1237             } else {
1238                 self.0 -= 1;
1239                 cx.waker().wake_by_ref();
1240                 Poll::Pending
1241             }
1242         }
1243     }
1244 
1245     /// Helper future for applying a timeout to `future` up to either when `end`
1246     /// is the current time or `polls` polls happen.
1247     ///
1248     /// Note that this helps to time out infinite loops in wasm, for example.
1249     struct Timeout<F> {
1250         future: F,
1251         /// If the future isn't ready by this time then the `Timeout<F>` future
1252         /// will return `None`.
1253         end: Instant,
1254         /// If the future doesn't resolve itself in this many calls to `poll`
1255         /// then the `Timeout<F>` future will return `None`.
1256         polls: u32,
1257     }
1258 
1259     enum Exhausted {
1260         Time,
1261         Polls,
1262     }
1263 
1264     impl<F: Future> Future for Timeout<F> {
1265         type Output = Result<F::Output, Exhausted>;
1266 
1267         fn poll(self: Pin<&mut Self>, cx: &mut Context<'_>) -> Poll<Self::Output> {
1268             let (end, polls, future) = unsafe {
1269                 let me = self.get_unchecked_mut();
1270                 (me.end, &mut me.polls, Pin::new_unchecked(&mut me.future))
1271             };
1272             match future.poll(cx) {
1273                 Poll::Ready(val) => Poll::Ready(Ok(val)),
1274                 Poll::Pending => {
1275                     if Instant::now() >= end {
1276                         log::warn!("future operation timed out");
1277                         return Poll::Ready(Err(Exhausted::Time));
1278                     }
1279                     if *polls == 0 {
1280                         log::warn!("future operation ran out of polls");
1281                         return Poll::Ready(Err(Exhausted::Polls));
1282                     }
1283                     *polls -= 1;
1284                     Poll::Pending
1285                 }
1286             }
1287         }
1288     }
1289 
1290     fn run<F: Future>(future: F) -> F::Output {
1291         let mut f = Box::pin(future);
1292         let mut cx = Context::from_waker(futures::task::noop_waker_ref());
1293         loop {
1294             match f.as_mut().poll(&mut cx) {
1295                 Poll::Ready(val) => break val,
1296                 Poll::Pending => {}
1297             }
1298         }
1299     }
1300 }
1301 
1302 #[cfg(test)]
1303 mod tests {
1304     use super::*;
1305     use arbitrary::Unstructured;
1306     use rand::prelude::*;
1307     use wasmparser::{Validator, WasmFeatures};
1308 
1309     fn gen_until_pass<T: for<'a> Arbitrary<'a>>(
1310         mut f: impl FnMut(T, &mut Unstructured<'_>) -> Result<bool>,
1311     ) -> bool {
1312         let mut rng = SmallRng::seed_from_u64(0);
1313         let mut buf = vec![0; 2048];
1314         let n = 3000;
1315         for _ in 0..n {
1316             rng.fill_bytes(&mut buf);
1317             let mut u = Unstructured::new(&buf);
1318 
1319             if let Ok(config) = u.arbitrary() {
1320                 if f(config, &mut u).unwrap() {
1321                     return true;
1322                 }
1323             }
1324         }
1325         false
1326     }
1327 
1328     /// Runs `f` with random data until it returns `Ok(())` `iters` times.
1329     fn test_n_times<T: for<'a> Arbitrary<'a>>(
1330         iters: u32,
1331         mut f: impl FnMut(T, &mut Unstructured<'_>) -> arbitrary::Result<()>,
1332     ) {
1333         let mut to_test = 0..iters;
1334         let ok = gen_until_pass(|a, b| {
1335             if f(a, b).is_ok() {
1336                 Ok(to_test.next().is_none())
1337             } else {
1338                 Ok(false)
1339             }
1340         });
1341         assert!(ok);
1342     }
1343 
1344     // Test that the `table_ops` fuzzer eventually runs the gc function in the host.
1345     // We've historically had issues where this fuzzer accidentally wasn't fuzzing
1346     // anything for a long time so this is an attempt to prevent that from happening
1347     // again.
1348     #[test]
1349     fn table_ops_eventually_gcs() {
1350         // Skip if we're under emulation because some fuzz configurations will do
1351         // large address space reservations that QEMU doesn't handle well.
1352         if std::env::var("WASMTIME_TEST_NO_HOG_MEMORY").is_ok() {
1353             return;
1354         }
1355 
1356         let ok = gen_until_pass(|(config, test), _| {
1357             let result = table_ops(config, test)?;
1358             Ok(result > 0)
1359         });
1360 
1361         if !ok {
1362             panic!("gc was never found");
1363         }
1364     }
1365 
1366     #[test]
1367     fn module_generation_uses_expected_proposals() {
1368         // Proposals that Wasmtime supports. Eventually a module should be
1369         // generated that needs these proposals.
1370         let mut expected = WasmFeatures::MUTABLE_GLOBAL
1371             | WasmFeatures::FLOATS
1372             | WasmFeatures::SIGN_EXTENSION
1373             | WasmFeatures::SATURATING_FLOAT_TO_INT
1374             | WasmFeatures::MULTI_VALUE
1375             | WasmFeatures::BULK_MEMORY
1376             | WasmFeatures::REFERENCE_TYPES
1377             | WasmFeatures::SIMD
1378             | WasmFeatures::MULTI_MEMORY
1379             | WasmFeatures::RELAXED_SIMD
1380             | WasmFeatures::THREADS
1381             | WasmFeatures::TAIL_CALL
1382             | WasmFeatures::WIDE_ARITHMETIC
1383             | WasmFeatures::MEMORY64
1384             | WasmFeatures::FUNCTION_REFERENCES
1385             | WasmFeatures::GC
1386             | WasmFeatures::GC_TYPES
1387             | WasmFeatures::CUSTOM_PAGE_SIZES
1388             | WasmFeatures::EXTENDED_CONST;
1389 
1390         // All other features that wasmparser supports, which is presumably a
1391         // superset of the features that wasm-smith supports, are listed here as
1392         // unexpected. This means, for example, that if wasm-smith updates to
1393         // include a new proposal by default that wasmtime implements then it
1394         // will be required to be listed above.
1395         let unexpected = WasmFeatures::all() ^ expected;
1396 
1397         let ok = gen_until_pass(|config: generators::Config, u| {
1398             let wasm = config.generate(u, None)?.to_bytes();
1399 
1400             // Double-check the module is valid
1401             Validator::new_with_features(WasmFeatures::all()).validate_all(&wasm)?;
1402 
1403             // If any of the unexpected features are removed then this module
1404             // should always be valid, otherwise something went wrong.
1405             for feature in unexpected.iter() {
1406                 let ok =
1407                     Validator::new_with_features(WasmFeatures::all() ^ feature).validate_all(&wasm);
1408                 if ok.is_err() {
1409                     anyhow::bail!("generated a module with {feature:?} but that wasn't expected");
1410                 }
1411             }
1412 
1413             // If any of `expected` is removed and the module fails to validate,
1414             // then that means the module requires that feature. Remove that
1415             // from the set of features we're then expecting.
1416             for feature in expected.iter() {
1417                 let ok =
1418                     Validator::new_with_features(WasmFeatures::all() ^ feature).validate_all(&wasm);
1419                 if ok.is_err() {
1420                     expected ^= feature;
1421                 }
1422             }
1423 
1424             Ok(expected.is_empty())
1425         });
1426 
1427         if !ok {
1428             panic!("never generated wasm module using {expected:?}");
1429         }
1430     }
1431 
1432     #[test]
1433     fn wast_smoke_test() {
1434         test_n_times(50, |(), u| super::wast_test(u));
1435     }
1436 }
1437