Add CVE-2023-4133

Signed-off-by: Denis Efremov <efremov@linux.com>
evdenis · Sep 12, 2023 · c7aeefc · c7aeefc
1 parent 6b88bac
commit c7aeefc
Show file tree

Hide file tree

Showing 3 changed files with 36 additions and 0 deletions.
diff --git a/cvehound/cve/CVE-2023-4133.cocci b/cvehound/cve/CVE-2023-4133.cocci
@@ -0,0 +1,24 @@
+/// Files: drivers/net/ethernet/chelsio/cxgb4/cxgb4_tc_flower.c
+/// Fix: e50b9b9e8610d47b7c22529443e45a16b1ea3a15
+/// Fixes: e0f911c81e93fc23fe1a4fb0318ff1c3b1c9027f
+
+virtual detect
+
+@err@
+identifier adap;
+position p;
+@@
+
+cxgb4_cleanup_tc_flower(struct adapter *adap)
+{
+	...
+*	if (adap->flower_stats_timer.function)
+*		del_timer_sync@p(&adap->flower_stats_timer);
+	...
+}
+
+@script:python depends on detect@
+p << err.p;
+@@
+
+coccilib.report.print_report(p[0], 'ERROR: CVE-2023-4133')
diff --git a/tests/test_01_on_branch.py b/tests/test_01_on_branch.py
@@ -29,6 +29,12 @@
         ('CVE-2023-1989', 'stable/linux-5.15.y'),
         ('CVE-2023-1989', 'stable/linux-6.1.y'),
         ('CVE-2023-23005', 'stable/linux-6.1.y'),
+        ('CVE-2023-4133', 'stable/linux-4.14.y'),
+        ('CVE-2023-4133', 'stable/linux-4.19.y'),
+        ('CVE-2023-4133', 'stable/linux-5.4.y'),
+        ('CVE-2023-4133', 'stable/linux-5.10.y'),
+        ('CVE-2023-4133', 'stable/linux-5.15.y'),
+        ('CVE-2023-4133', 'stable/linux-6.1.y'),
     ]
 )
 def test_on_branch(hound, branch, cve):

diff --git a/tests/test_06_on_branch_all_files.py b/tests/test_06_on_branch_all_files.py
@@ -29,6 +29,12 @@
         ('CVE-2023-1989', 'stable/linux-5.15.y'),
         ('CVE-2023-1989', 'stable/linux-6.1.y'),
         ('CVE-2023-23005', 'stable/linux-6.1.y'),
+        ('CVE-2023-4133', 'stable/linux-4.14.y'),
+        ('CVE-2023-4133', 'stable/linux-4.19.y'),
+        ('CVE-2023-4133', 'stable/linux-5.4.y'),
+        ('CVE-2023-4133', 'stable/linux-5.10.y'),
+        ('CVE-2023-4133', 'stable/linux-5.15.y'),
+        ('CVE-2023-4133', 'stable/linux-6.1.y'),
     ]
 )
 def test_on_branch(hound, branch, cve):