Advisoriesby IbisONNX: Null Pointer Dereference in ScanInferenceFunction Due to Missing Required Attribute
Summary
ONNX shape inference did not safely validate the required Scan num_scan_inputs attribute. Two malformed values could terminate or disrupt the process:
1. If the attribute was missing, ctx.getAttribute("num_scan_inputs") returned null and was dereferenced.
2. If the attribute was negative, conversion to size_t produced a very large value that reached a vector allocation and raised std::length_error.
The negative-value variant passed onnx.checker.check_model() before reaching shape inference.
Technical details
The vulnerable Scan inference implementations used the following pattern:
```cpp
auto num_scan_inputs =
narrow_cast<size_t>(ctx.getAttribute("num_scan_inputs")->i());
`
This code neither checked the returned pointer nor rejected a negative signed value before converting it to an unsigned size. The pattern was present in the current Scan inference function and the older opset 8 and 9 paths.
The fix uses the required-attribute helper and checked narrowing:
```cpp
auto num_scan_inputs =
narrow<size_t>(getRequiredAttributeInt(ctx, "num_scan_inputs"));
`
Impact
An application that performs shape inference on an untrusted model can be terminated or forced into an exceptional allocation path, causing denial of service. No confidentiality or integrity impact was demonstrated.
Affected versions
- Affected: ONNX 1.4.0 through...
Affected versions
| Package | Affected | Fixed in |
|---|---|---|
| onnx PyPI | >= 1.4.0, < 1.22.0 | 1.22.0 |
Details and references
## Summary ONNX shape inference did not safely validate the required Scan `num_scan_inputs` attribute. Two malformed values could terminate or disrupt the process: 1. If the attribute was missing, `ctx.getAttribute("num_scan_inputs")` returned null and was dereferenced. 2. If the attribute was negative, conversion to `size_t` produced a very large value that reached a vector allocation and raised `std::length_error`. The negative-value variant passed `onnx.checker.check_model()` before reaching shape inference. ## Technical details The vulnerable Scan inference implementations used the following pattern: ```cpp auto num_scan_inputs = narrow_cast<size_t>(ctx.getAttribute("num_scan_inputs")->i()); ``` This code neither checked the returned pointer nor rejected a negative signed value before converting it to an unsigned size. The pattern was present in the current Scan inference function and the older opset 8 and 9 paths. The fix uses the required-attribute helper and checked narrowing: ```cpp auto num_scan_inputs = narrow<size_t>(getRequiredAttributeInt(ctx, "num_scan_inputs")); ``` ## Impact An application that performs shape inference on an untrusted model can be terminated or forced into an exceptional allocation path, causing denial of service. No confidentiality or integrity impact was demonstrated. ## Affected versions - Affected: ONNX 1.4.0 through 1.21.0 - Patched: ONNX 1.22.0 ONNX 1.4.0 is the first release containing the vulnerable Scan shape-inference implementation. ## Remediation Upgrade to ONNX 1.22.0 or later. - Fix: [onnx/onnx#7916](https://github.com/onnx/onnx/pull/7916) - Commit: [`dd6bc92ea`](https://github.com/onnx/onnx/commit/dd6bc92ea39fd2274fd671f0734b0b8b558356f5) Both reported models were re-tested against the published ONNX 1.23.2 wheel and correctly raise `InferenceError`. ## Severity The vulnerable ONNX component processes the malicious model through a local library API or file boundary and is not itself bound to a network stack. Applications that expose ONNX model processing over a network should calculate an Environmental score with Modified Attack Vector set to Network. The two triggers remain in one advisory because they affect the same required attribute, share the same unsafe conversion path and remediation, and were fixed in the same release.
More ONNX advisories
All ONNX
ONNX: Out-of-bounds read in ConvTranspose shape inference via undersized weight rankCVE-2026-115920fixed in 1.22.0ONNX: Denial of service via unchecked expansion of packed sub-byte tensors in ONNX Python APIsCVE-2026-115922fixed in 1.22.0ONNX: Out-of-Bounds Read in RNN/GRU/LSTM Shape Inference (Old Opsets, Missing Rank Check)CVE-2026-115919fixed in 1.22.0ONNX: Heap-Buffer-Overflow READ in Gemm Version Converter Adapter via Undersized Input ShapeCVE-2026-63632fixed in 1.22.0ONNX has Null Pointer Dereference in Upsample Version Converter Adapter (Zero Inputs)CVE-2026-44512fixed in 1.22.0ONNX: TOCTOU arbitrary file read/write in save_external_datCVE-2026-49114fixed in 1.21.0