CVE-2023-34323

Name	CVE-2023-34323
Description	When a transaction is committed, C Xenstored will first check the quota is correct before attempting to commit any nodes. It would be possible that accounting is temporarily negative if a node has been removed outside of the transaction. Unfortunately, some versions of C Xenstored are assuming that the quota cannot be negative and are using assert() to confirm it. This will lead to C Xenstored crash when tools are built without -DNDEBUG (this is the default).
Source	CVE (at NVD; CERT, ENISA, LWN, oss-sec, fulldisc, Debian ELTS, Red Hat, Ubuntu, Gentoo, SUSE bugzilla/CVE, GitHub advisories/code/issues, web search, more)

Vulnerable and fixed packages

The table below lists information on source packages.

Source Package	Release	Version	Status
xen (PTS)	bullseye	4.14.6-1	vulnerable
	bullseye (security)	4.14.5+94-ge49571868d-1	vulnerable
	bookworm	4.17.5+23-ga4e5191dc0-1+deb12u1	fixed
	bookworm (security)	4.17.5+23-ga4e5191dc0-1	fixed
	forky, sid, trixie	4.20.0+68-g35cb38b222-1	fixed

The information below is based on the following data on fixed versions.

Package	Type	Release	Fixed Version	Urgency
xen	source	buster	(unfixed)	end-of-life
xen	source	bullseye	(unfixed)	end-of-life
xen	source	bookworm	4.17.2+76-ge1f9cb16e2-1~deb12u1
xen	source	(unstable)	4.17.2+55-g0b56bed864-1	unimportant

Notes

[bullseye] - xen <end-of-life> (EOLed in Bullseye)
[buster] - xen <end-of-life> (DSA 4677-1)
https://xenbits.xen.org/xsa/advisory-440.html
Debian uses the ocaml-based xenstored