MUTANT (CI only): red zone and poison checks disabled - the HG_MALLOC_DBG tests must fail

Author: Lt-Flash

.github/workflows/unittests.yml

@@ -43,64 +43,10 @@ jobs:
 
     strategy:
       fail-fast: false
+      # MUTANT branch (CI only): one native job is enough to show the tests fail
       matrix:
-        os: [20.04, 22.04, 24.04, 26.04]
-        compiler: ['gcc', 'clang']
-        include:
-          - os: 20.04
-            compiler: 'gcc-9'
-          - os: 20.04
-            compiler: 'gcc-10'
-          - os: 20.04
-            compiler: 'clang-9'
-          - os: 20.04
-            compiler: 'clang-10'
-          - os: 24.04
-            compiler: 'gcc'
-          - os: 24.04
-            compiler: 'clang'
-          - os: 24.04
-            compiler: 'gcc-13'
-          - os: 24.04
-            compiler: 'gcc-14'
-          - os: 24.04
-            compiler: 'clang-16'
-          - os: 24.04
-            compiler: 'clang-17'
-          - os: 24.04
-            compiler: 'clang-18'
-          - os: 24.04
-            compiler: 'clang-19'
-          - os: 22.04
-            compiler: 'gcc-11'
-          - os: 22.04
-            compiler: 'gcc-12'
-          - os: 22.04
-            compiler: 'clang-11'
-          - os: 22.04
-            compiler: 'clang-12'
-          - os: 22.04
-            compiler: 'clang-13'
-          - os: 22.04
-            compiler: 'clang-14'
-          - os: 22.04
-            compiler: 'clang-15'
-          - os: 22.04
-            compiler: 'gcc-arm64-qemu-cross'
-          - os: 22.04
-            compiler: 'gcc-arm32-qemu-cross'
-          - os: 22.04
-            compiler: 'clang-arm64-qemu-cross'
-          - os: 22.04
-            compiler: 'clang-arm32-qemu-cross'
-          - os: 26.04
-            compiler: 'gcc-14'
-          - os: 26.04
-            compiler: 'clang-18'
-          - os: 26.04
-            compiler: 'clang-19'
-          - os: 26.04
-            compiler: 'clang-20'
+        os: [24.04]
+        compiler: ['gcc']
 
     # Steps represent a sequence of tasks that will be executed as part of the job
     steps:

mem/hg_dbg.c

@@ -77,6 +77,9 @@ int hg_dbg_tail_check(struct hg_block *hb, void *cs, unsigned long cap)
 	unsigned long enc, size, i;
 	char what[64];
 
+	if (cap)        /* MUTANT: the red zone is never checked */
+		return 0;
+
 	memcpy(&enc, pay + cap - HG_DBG_TAIL, HG_DBG_TAIL);
 	size = enc ^ tail_key(cs);
 	if (size <= cap - HG_DBG_TAIL) {
@@ -128,6 +131,9 @@ static int quar_check(struct hg_block *hb, char *cs, unsigned int c)
 	const unsigned char *pay = (const unsigned char *)cs + HG_CELL_HDR;
 	unsigned long cap = hg_cell_total_size(c) - HG_CELL_HDR, i;
 
+	if (cap)        /* MUTANT: the poison is never checked */
+		return 0;
+
 	if (hg_hdr_state(cs) != HG_ST_FREE || HG_CELL_AT(cs)->cls != c) {
 		hg_corrupt(hb, HG_C_HEADER);
 		LM_CRIT("%s: the header of %p was overwritten while the cell sat "