CVE-2023-51105
NixOS vulnerability analysis and mitigation

Overview

A floating point exception (divide-by-zero) vulnerability was discovered in Artifex MuPDF 1.23.4 in function bmpdecompressrle4() of load-bmp.c. The vulnerability was assigned CVE-2023-51105 and received a CVSS v3.1 base score of 7.5 (HIGH) (NVD).

Technical details

The vulnerability exists in the bmpdecompressrle4() function within the load-bmp.c file of MuPDF 1.23.4. The issue was identified through clang's scan-build-17 analysis tool. While bmpreadimage() had checks to verify image dimensions are greater than 0 and less than or equal to SHRT_MAX, the static analyzer couldn't determine these checks applied to the compression methods (Ghostscript Commit).

Impact

The vulnerability could allow remote attackers to cause a denial of service through a floating point exception (divide-by-zero) when processing specially crafted BMP files (NVD).

Mitigation and workarounds

The issue has been fixed in commit cee86dc519d5270a3b96476ad15809ceace64a26 by adding redundant assert() statements for image dimensions at the beginning of bmpreadbitmap() to ensure they apply to all compression methods (Ghostscript Bug).

Additional resources


SourceThis report was generated using AI

Free Vulnerability Assessment

Benchmark your Cloud Security Posture

Evaluate your cloud security practices across 9 security domains to benchmark your risk level and identify gaps in your defenses.

Request assessment

Get a personalized demo

Ready to see Wiz in action?

“Best User Experience I have ever seen, provides full visibility to cloud workloads.”
David EstlickCISO
“Wiz provides a single pane of glass to see what is going on in our cloud environments.”
Adam FletcherChief Security Officer
“We know that if Wiz identifies something as critical, it actually is.”
Greg PoniatowskiHead of Threat and Vulnerability Management