alexcrichton opened PR #4708 from less-recursion
to main
:
It appears that given any amount of recursion in Wasmtime based on the type structure of a component the fuzzers will find a stack overflow. To that end this commit fixes an issue that the fuzzers have found where calculating the flat type representation was overflowing the stack due to the recursive nature of the implementation.
The fix here additionally improves upon the previous implementation by caching flat type information per-type instead of recomputing it each time it's queried. This means there's no special need to handle recursion one way or another here and it also greatly improves performance, especially for the
fact-valid-module
fuzzer.
alexcrichton requested fitzgen for a review on PR #4708.
alexcrichton updated PR #4708 from less-recursion
to main
.
alexcrichton updated PR #4708 from less-recursion
to main
.
fitzgen submitted PR review.
alexcrichton merged PR #4708.
Last updated: Dec 23 2024 at 12:05 UTC