Skip to content

Fix isTypeFunc assertion failure - #476

Open
hyraxbyerax wants to merge 1 commit into
Samsung:mainfrom
hyraxbyerax:fix/462-component-type-func-assertion
Open

Fix isTypeFunc assertion failure#476
hyraxbyerax wants to merge 1 commit into
Samsung:mainfrom
hyraxbyerax:fix/462-component-type-func-assertion

Conversation

@hyraxbyerax

Copy link
Copy Markdown
Contributor

Description

Fuzzing revealed that Canonical Lift could reference a non-function type through type_index, causing the isTypeFunc() assertion to fail.

This change validates that type_index references a function type before processing Canonical Lift.

(Fixes #462)

@zherczeg

Copy link
Copy Markdown
Collaborator

This code comes from WebAssembly/wabt#2695
The code base is updated regularly.

@hyraxbyerax

Copy link
Copy Markdown
Contributor Author

@zherczeg Thanks for pointing this out. I'll consider fixing this without modifying the third-party WABT code.

@hyraxbyerax
hyraxbyerax force-pushed the fix/462-component-type-func-assertion branch from d21dc15 to 04ed373 Compare August 14, 2026 13:18
@zherczeg

Copy link
Copy Markdown
Collaborator

I am not sure you can do that. These changes must be present in the other PR to prevent their removal after an update.

@clover2123

Copy link
Copy Markdown
Collaborator

As walrus relies on wabt module, I think it's better to hold this pr until wabt is properly updated

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Various Issues

3 participants