A Denial of Service vulnerability exits in Binaryen 103 due to an assertion abort in wasm::handle_unreachable.
The product contains an assert() or similar statement that can be triggered by an attacker, which leads to an application exit or other behavior that is more severe than necessary.
| Name | Vendor | Start Version | End Version |
|---|---|---|---|
| Binaryen | Webassembly | 103 (including) | 103 (including) |
| Binaryen | Ubuntu | hirsute | * |
| Binaryen | Ubuntu | impish | * |
| Binaryen | Ubuntu | kinetic | * |
| Binaryen | Ubuntu | trusty | * |
| Binaryen | Ubuntu | upstream | * |
| Binaryen | Ubuntu | xenial | * |
While assertion is good for catching logic errors and reducing the chances of reaching more serious vulnerability conditions, it can still lead to a denial of service. For example, if a server handles multiple simultaneous connections, and an assert() occurs in one single connection that causes all other connections to be dropped, this is a reachable assertion that leads to a denial of service.