Skip to content
Heist/ feed
Back to feed
Medium

WebAssembly Micro Runtime frame_offset_bottom array bounds overflow in fast Interpreter mode when handling GET_GLOBAL(I32) followed by if opcode

Type: advisorySources: OSV

WebAssembly Micro Runtime (WAMR) is a lightweight standalone WebAssembly (Wasm) runtime. Prior to version 2.4.4, an out-of-bounds array access issue exists in WAMR's fast interpreter mode during WASM bytecode loading. When frame_ref_bottom and frame_offset_bottom arrays are at capacity and a GET_GLOBAL(I32) opcode is encountered, frame_ref_bottom is expanded but frame_offset_bottom may not be. If this is immediately followed by an if opcode that triggers preserve_local_for_block, the function traverses arrays using stack_cell_num as the upper bound, causing out-of-bounds access to frame_offset_bottom since it wasn't expanded to match the increased stack_cell_num. This issue has been patched in version 2.4.4.

Products
Not specified
Affected versions
Not specified
Fixed versions
Not specified
CVEs
CVE-2025-64713
Confirmed fixed CVEs
Not specified
Updated in this feed
4 Nov 2026, 08:22 UTC · Revision 1

Source evidence

WebAssembly Micro Runtime frame_offset_bottom array bounds overflow in fast Interpreter mode when handling GET_GLOBAL(I32) followed by if opcode

core-osv · Original source

Published 25 Nov 2025, 22:13 UTC

WebAssembly Micro Runtime (WAMR) is a lightweight standalone WebAssembly (Wasm) runtime. Prior to version 2.4.4, an out-of-bounds array access issue exists in WAMR's fast interpreter mode during WASM bytecode loading. When frame_ref_bottom and frame_offset_bottom arrays are at capacity and a GET_GLOBAL(I32) opcode is encountered, frame_ref_bottom is expanded but frame_offset_bottom may not be. If this is immediately followed by an if opcode that triggers preserve_local_for_block, the function traverses arrays using stack_cell_num as the upper bound, causing out-of-bounds access to frame_offset_bottom since it wasn't expanded to match the increased stack_cell_num. This issue has been patched in version 2.4.4.

osv:CVE-2025-64713
Complete source record
{
  "id": "ce4a86e9b8c41cb90a4ff05e8ed3bb4f3d13831b8c0f5fb49218e9b17b98e6ae",
  "url": "https://osv.dev/vulnerability/CVE-2025-64713",
  "method": "structured",
  "payload": {
    "kind": "advisory",
    "title": "WebAssembly Micro Runtime frame_offset_bottom array bounds overflow in fast Interpreter mode when handling GET_GLOBAL(I32) followed by if opcode",
    "summary": "WebAssembly Micro Runtime (WAMR) is a lightweight standalone WebAssembly (Wasm) runtime. Prior to version 2.4.4, an out-of-bounds array access issue exists in WAMR's fast interpreter mode during WASM bytecode loading. When frame_ref_bottom and frame_offset_bottom arrays are at capacity and a GET_GLOBAL(I32) opcode is encountered, frame_ref_bottom is expanded but frame_offset_bottom may not be. If this is immediately followed by an if opcode that triggers preserve_local_for_block, the function traverses arrays using stack_cell_num as the upper bound, causing out-of-bounds access to frame_offset_bottom since it wasn't expanded to match the increased stack_cell_num. This issue has been patched in version 2.4.4.",
    "evidence": "osv:CVE-2025-64713",
    "products": [],
    "severity": "medium",
    "structured": {
      "id": "CVE-2025-64713",
      "aliases": [
        "CVE-2025-64713",
        "GHSA-gvx3-gg3x-rjcx"
      ],
      "metrics": [
        {
          "type": "CVSS_V3",
          "score": "CVSS:3.1/AV:L/AC:H/PR:N/UI:N/S:U/C:N/I:N/A:H"
        }
      ],
      "affected": [
        {
          "ranges": [
            {
              "repo": "https://github.com/wasm-micro-runtime/wasm-micro-runtime",
              "type": "GIT",
              "events": [
                {
                  "introduced": "0"
                },
                {
                  "fixed": "8c18e3f68b16c4bcaf05996b2636f6ed2b4cf629"
                }
              ],
              "database_specific": {
                "extracted_events": [
                  {
                    "range": [
                      {
                        "introduced": "0"
                      },
                      {
                        "fixed": "2.4.4"
                      }
                    ],
                    "source": "AFFECTED_FIELD",
                    "strategy": "StringRangeExpression"
                  },
                  {
                    "range": [
                      {
                        "fixed": "8c18e3f68b16c4bcaf05996b2636f6ed2b4cf629"
                      }
                    ],
                    "source": "REFERENCES_TAG",
                    "original_tag": "WAMR-2.4.4"
                  },
                  {
                    "cpe": "cpe:2.3:a:bytecodealliance:webassembly_micro_runtime:*:*:*:*:*:*:*:*",
                    "range": [
                      {
                        "introduced": "0"
                      },
                      {
                        "fixed": "2.4.4"
                      }
                    ],
                    "source": "CPE_RANGE"
                  }
                ]
              }
            }
          ],
          "versions": [
            "WAMR-2.4.3",
            "WAMR-2.4.2",
            "WAMR-2.4.1",
            "WAMR-2.4.0",
            "WAMR-2.3.1",
            "WAMR-2.3.0",
            "WAMR-2.2.0",
            "WAMR-2.1.2",
            "WAMR-2.1.1",
            "WAMR-2.1.0",
            "WAMR-2.0.0",
            "WAMR-1.3.2",
            "WAMR-1.3.1",
            "WAMR-1.3.0",
            "WAMR-1.2.3",
            "WAMR-1.2.2",
            "WAMR-1.2.1",
            "WAMR-1.2.0",
            "WAMR-1.1.2",
            "WAMR-1.1.1",
            "WAMR-1.1.0",
            "WAMR-1.0.0",
            "WAMR-05-18-2022",
            "WAMR-01-18-2022",
            "WAMR-12-30-2021",
            "WAMR-08-10-2021",
            "WAMR-04-15-2021",
            "WAMR-03-25-2021",
            "WAMR-01-29-2021",
            "WAMR-09-29-2020",
            "WAMR-09-08-2020",
            "WAMR-07-10-2020",
            "WAMR-06-15-2020",
            "WAMR-04-15-2020",
            "WAMR-03-30-2020",
            "WAMR-03-19-2020",
            "WAMR-03-05-2020",
            "WAMR-02-27-2020",
            "WAMR-02-18-2020",
            "01-12-2020",
            "tag-11-28-2019"
          ],
          "database_specific": {
            "source": "https://storage.googleapis.com/cve-osv-conversion/osv-output/CVE-2025-64713.json"
          }
        }
      ],
      "modified": "2026-10-28T02:30:33.789391894Z",
      "provider": "osv",
      "references": [
        "https://github.com/bytecodealliance/wasm-micro-runtime/releases/tag/WAMR-2.4.4",
        "https://github.com/CVEProject/cvelistV5/tree/main/cves/2025/64xxx/CVE-2025-64713.json",
        "https://github.com/bytecodealliance/wasm-micro-runtime/security/advisories/GHSA-gvx3-gg3x-rjcx",
        "https://nvd.nist.gov/vuln/detail/CVE-2025-64713"
      ],
      "provider_metadata": {
        "cwe_ids": [
          "CWE-119"
        ],
        "cna_assigner": "GitHub_M",
        "osv_generated_from": "https://github.com/CVEProject/cvelistV5/tree/main/cves/2025/64xxx/CVE-2025-64713.json"
      }
    },
    "related_cves": [
      {
        "value": "CVE-2025-64713",
        "evidence": "/id"
      }
    ],
    "security_relevant": true,
    "severity_evidence": "/severity/0/score"
  },
  "source_id": "core-osv",
  "document_id": 501106,
  "published_at": "2025-11-25T22:13:47.662+00:00"
}