CVE-2023-6245

The Candid library causes a Denial of Service while parsing a specially crafted payload with 'empty' data type. For example, if the payload is `record { * ; empty }` and the canister interface expects `record { * }` then the Rust candid decoder treats empty as an extra field required by the type. The problem with the type empty is that the candid Rust library wrongly categorizes empty as a recoverable error when skipping the field and thus causing an infinite decoding loop. Canisters using affected versions of candid are exposed to denial of service by causing the decoding to run indefinitely until the canister traps due to reaching maximum instruction limit per execution round. Repeated exposure to the payload will result in degraded performance of the canister. Note: Canisters written in Motoko are unaffected.
Configurations

Configuration 1 (hide)

cpe:2.3:a:dfinity:candid:*:*:*:*:*:rust:*:*

History

13 Dec 2023, 14:41

Type Values Removed Values Added
New CVE

Information

Published : 2023-12-08 15:15

Updated : 2024-02-28 20:54


NVD link : CVE-2023-6245

Mitre link : CVE-2023-6245

CVE.ORG link : CVE-2023-6245


JSON object : View

Products Affected

dfinity

  • candid
CWE
CWE-835

Loop with Unreachable Exit Condition ('Infinite Loop')

CWE-1288

Improper Validation of Consistency within Input

CWE-168

Improper Handling of Inconsistent Special Elements

CWE-20

Improper Input Validation