From 3599ffb9416821afd68a2d40fe39ff51e54f990b Mon Sep 17 00:00:00 2001
From: Denis Efremov <efremov@linux.com>
Date: Tue, 13 Feb 2024 16:44:48 +0400
Subject: [PATCH] Add CVE-2023-1859

Signed-off-by: Denis Efremov <efremov@linux.com>
---
 cvehound/cve/CVE-2023-1859.cocci | 28 ++++++++++++++++++++++++++++
 1 file changed, 28 insertions(+)
 create mode 100644 cvehound/cve/CVE-2023-1859.cocci

diff --git a/cvehound/cve/CVE-2023-1859.cocci b/cvehound/cve/CVE-2023-1859.cocci
new file mode 100644
index 0000000..29b22db
--- /dev/null
+++ b/cvehound/cve/CVE-2023-1859.cocci
@@ -0,0 +1,28 @@
+/// Files: net/9p/trans_xen.c
+/// Fix: ea4f1009408efb4989a0f139b70fb338e7f687d0
+/// Fixes: 71ebd71921e451f0f942ddfe85d01e31ddc6eb88
+
+virtual detect
+
+@err@
+identifier priv, i;
+position p;
+@@
+
+xen_9pfs_front_free(struct xen_9pfs_front_priv *priv)
+{
+	...
+	for (i = 0; i < priv->num_rings; i++) {
+		... when != cancel_work_sync(&ring->work);
+*		if (!priv->rings[i].intf@p)
+*			break;
+		...
+	}
+	...
+}
+
+@script:python depends on detect@
+p << err.p;
+@@
+
+coccilib.report.print_report(p[0], 'ERROR: CVE-2023-1859')