Javier Cabrera

Adding another rule: - The binary should not exceed 5Mb in size (the instrumentation/compilation is taking a remarkably amount of time now)

Another rule to add: - Limit the initial memory Apparently, cranelift is packaging the initial declared memory in the module. A simple Wasm binary of 600bytes can go to several...

> @aakoshh any reason to leave `memory_init_cow` enabled? IMO, we should consider _disabling_ it because we'll need to charge for it anyways. Can it be related to this https://github.com/advisories/GHSA-wh6w-3828-g9qf ?

BTW, https://github.com/advisories/GHSA-44mr-8vmm-wjhg and https://github.com/advisories/GHSA-wh6w-3828-g9qf are two security CVEs related to wasmtime version 1.0.2 used in the ref-fvm. We should start thinking on migrating.

> Maybe I'm blind, but it looks to me like they zeroed out any non-empty image, if the next image was `None`: https://github.com/bytecodealliance/wasmtime/blob/v1.0.2/crates/runtime/src/cow.rs#L387 > > I don't see how the...

> Currently, code can run before `invoke`, but it'll run out of gas immediately and trap (leading to a fatal error). > > We need to either: > > 1....

Addresssing MVP in https://github.com/filecoin-project/Fuzzing-FVM/pull/776

https://github.com/Samsung/jalangi2

Moving GDocs notes on related works: - 2018 - [A Synthesizing Superoptimizer](https://arxiv.org/pdf/1711.04422.pdf) - [Wasabi](http://software-lab.org/publications/Wasabi_arXiv_1808.10652.pdf): A Framework for Dynamically Analyzing WebAssembly First tool for dynamic analysis of webassembly modules, implemented in...

It can take a while, taking into account that the souper exploration can be expensive. However, the timeout in this case (second line in your screenshot) is for half hour....