Search

Find a vulnerability

Search criteria

    Related vulnerabilities

    rustsec-2026-0236
    Vulnerability from osv_rustsec
    Published
    2026-08-06 12:00
    Modified
    2026-08-06 09:00
    Summary
    A `BigInt` division panics, and two neighbouring operations answer wrongly in silence
    Details

    viperjs is a JavaScript engine intended to run untrusted script inside a host application, so script text is data rather than a trusted caller and a panic reachable from script is a denial of service in the embedder's process.

    A divisor whose magnitude lands exactly on the engine's internal limb ceiling reaches an out-of-bounds index. On every released version up to and including 0.2.1:

    const d = (1n << 33554399n) * 2n;
    1n / d;   // panic: index out of bounds
    

    Two further operations on the same value returned wrong results without raising anything, which is the more dangerous half for an embedder that acts on the answer:

    d % 7n;      // 0n  — the true remainder is 1n
    String(d);   // "0"
    

    Cause

    The left-shift helper reserved one limb for the bits a shift may push past the top of the magnitude, measured that width against the size ceiling, and then trimmed the reserved limb away again — so a magnitude landing exactly on the ceiling was refused on account of room it does not keep. The division treated that refusal as unreachable and discarded it with unwrap_or_default, leaving an empty divisor magnitude; the subsequent divisor[n - 1] is then an index of usize::MAX.

    The crate is #![forbid(unsafe_code)], so this is a panic and not memory unsafety.

    Remediation

    Upgrade to 0.2.2, in which all three behaviours are fixed: both divisions now produce correct results, and String() of a magnitude beyond what the engine can divide raises a RangeError rather than producing "0" — ECMA-262 §6.1.4 requires an implementation that imposes a limit to throw rather than answer something else.

    There is no workaround short of upgrading; the values are reachable from any script the embedder evaluates.

    Reported by @Zniece.


    {
      "affected": [
        {
          "database_specific": {
            "categories": [
              "denial-of-service"
            ],
            "cvss": "CVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:U/C:N/I:N/A:H",
            "informational": null
          },
          "ecosystem_specific": {
            "affected_functions": null,
            "affects": {
              "arch": [],
              "functions": [],
              "os": []
            }
          },
          "package": {
            "ecosystem": "crates.io",
            "name": "viperjs",
            "purl": "pkg:cargo/viperjs"
          },
          "ranges": [
            {
              "events": [
                {
                  "introduced": "0.0.0-0"
                },
                {
                  "fixed": "0.2.2"
                }
              ],
              "type": "SEMVER"
            }
          ],
          "versions": []
        }
      ],
      "aliases": [
        "GHSA-6976-qm5m-7mcj"
      ],
      "database_specific": {
        "license": "CC0-1.0"
      },
      "details": "`viperjs` is a JavaScript engine intended to run untrusted script inside a host application, so\nscript text is data rather than a trusted caller and a panic reachable from script is a denial of\nservice in the embedder\u0027s process.\n\nA divisor whose magnitude lands exactly on the engine\u0027s internal limb ceiling reaches an\nout-of-bounds index. On every released version up to and including 0.2.1:\n\n```js\nconst d = (1n \u003c\u003c 33554399n) * 2n;\n1n / d;   // panic: index out of bounds\n```\n\nTwo further operations on the same value returned wrong results without raising anything, which\nis the more dangerous half for an embedder that acts on the answer:\n\n```js\nd % 7n;      // 0n  \u2014 the true remainder is 1n\nString(d);   // \"0\"\n```\n\n## Cause\n\nThe left-shift helper reserved one limb for the bits a shift may push past the top of the\nmagnitude, measured *that* width against the size ceiling, and then trimmed the reserved limb away\nagain \u2014 so a magnitude landing exactly on the ceiling was refused on account of room it does not\nkeep. The division treated that refusal as unreachable and discarded it with `unwrap_or_default`,\nleaving an empty divisor magnitude; the subsequent `divisor[n - 1]` is then an index of\n`usize::MAX`.\n\nThe crate is `#![forbid(unsafe_code)]`, so this is a panic and not memory unsafety.\n\n## Remediation\n\nUpgrade to 0.2.2, in which all three behaviours are fixed: both divisions now produce correct\nresults, and `String()` of a magnitude beyond what the engine can divide raises a `RangeError`\nrather than producing `\"0\"` \u2014 ECMA-262 \u00a76.1.4 requires an implementation that imposes a limit to\nthrow rather than answer something else.\n\nThere is no workaround short of upgrading; the values are reachable from any script the embedder\nevaluates.\n\nReported by [@Zniece](https://github.com/Zniece).",
      "id": "RUSTSEC-2026-0236",
      "modified": "2026-08-06T09:00:34Z",
      "published": "2026-08-06T12:00:00Z",
      "references": [
        {
          "type": "PACKAGE",
          "url": "https://crates.io/crates/viperjs"
        },
        {
          "type": "ADVISORY",
          "url": "https://rustsec.org/advisories/RUSTSEC-2026-0236.html"
        },
        {
          "type": "ADVISORY",
          "url": "https://github.com/MerlijnW70/viperjs/security/advisories/GHSA-6976-qm5m-7mcj"
        },
        {
          "type": "WEB",
          "url": "https://github.com/MerlijnW70/viperjs/releases/tag/v0.2.2"
        }
      ],
      "related": [],
      "severity": [
        {
          "score": "CVSS:3.1/AV:N/AC:L/PR:N/UI:N/S:U/C:N/I:N/A:H",
          "type": "CVSS_V3"
        }
      ],
      "summary": "A `BigInt` division panics, and two neighbouring operations answer wrongly in silence"
    }