The caml_ba_deserialize function in byterun/bigarray.c in the standard library in OCaml 4.06.0 has an integer overflow which, in situations…
The caml_ba_deserialize function in byterun/bigarray.c in the standard library in OCaml 4.06.0 has an integer overflow which, in situations where marshalled data is accepted from an untrusted source, allows remote attackers to cause a denial of service (memory corruption) or possibly execute arbitrary code via a crafted object.
The product performs a calculation that can produce an integer overflow or wraparound when the logic assumes that the resulting value will always be larger than the original value. This occurs when an integer value is incremented to a value that is too large to store in the associated representation. When this occurs, the value may become a very small or negative number.
https://cwe.mitre.org/data/definitions/190.html →Open in CWE collection →This attack forces an integer variable to go out of range. The integer variable is often used as an offset such as size of memory allocation or similarly. The attacker would typically control the value of such variable and try to get it out of range. For instance the integer in question is incremented past the maximum possible value, it may wrap to become a very small, or negative number, therefore providing a very incorrect value which can lead to unexpected behavior. At worst the attacker can execute arbitrary code.
https://capec.mitre.org/data/definitions/92.html →Open in CAPEC collection →| Product | Vendor | Status |
|---|---|---|
| ocaml | Tracked | |
| ocaml | Tracked | |
| ocaml | Tracked | |
| ocaml | Tracked | |
| ocaml | Tracked | |
| ocaml | Tracked | |
| ocaml | Tracked | |
| ocaml | Tracked | |
| ocaml | Tracked | |
| ocaml | Tracked | |
| ocaml | Tracked | |
| ocaml | Tracked | |
| ocaml | Tracked | |
| ocaml | Tracked | |
| ocaml | Tracked | |
| ocaml | Tracked | |
| ocaml | Tracked | |
| ocaml | Tracked | |
| ocaml | * | Tracked |