inference: add [layout] output to silent plugins

dram_bound, kaslr_ceiling, phys_virt_synth, and riscv64_nonEFI_phys_base
now print to stderr when they tighten a bound, consistent with all other
inference plugins.

Author: bcoles

src/inference/dram_bound.c

@@ -39,6 +39,7 @@
 #include "../include/kasld_inference.h"
 
 #include <limits.h>
+#include <stdio.h>
 #include <string.h>
 
 static void dram_bound_run(struct kasld_analysis_ctx *ctx) {
@@ -68,8 +69,13 @@ static void dram_bound_run(struct kasld_analysis_ctx *ctx) {
       pdram_lo = (pdram_lo + phys_align - 1) & ~(phys_align - 1);
 
     if (pdram_lo > phys_arch_min && pdram_lo > ctx->phys_base_min &&
-        pdram_lo < ctx->phys_base_max)
+        pdram_lo < ctx->phys_base_max) {
+      fprintf(stderr,
+              "[layout] phys_base_min tightened by dram_bound:"
+              " %#lx -> %#lx (min PHYS/DRAM=%#lx)\n",
+              ctx->phys_base_min, pdram_lo, pdram_lo);
       ctx->phys_base_min = pdram_lo;
+    }
   } else {
     /* Coupled arches: phys_to_virt() links physical DRAM to virtual text.
      * Derive a virtual text lower bound and align DOWN to stay conservative. */
@@ -88,8 +94,13 @@ static void dram_bound_run(struct kasld_analysis_ctx *ctx) {
         ~(kaslr_align - 1);
 
     if (virt_lo > kaslr_min && virt_lo > ctx->text_base_min &&
-        virt_lo < ctx->text_base_max)
+        virt_lo < ctx->text_base_max) {
+      fprintf(stderr,
+              "[layout] text_base_min tightened by dram_bound:"
+              " %#lx -> %#lx (min PHYS/DRAM=%#lx)\n",
+              ctx->text_base_min, virt_lo, pdram_lo);
       ctx->text_base_min = virt_lo;
+    }
   }
 }
 

src/inference/kaslr_ceiling.c

@@ -102,8 +102,13 @@ static void kaslr_ceiling_run(struct kasld_analysis_ctx *ctx) {
     /* Valid base range: [KASLR_BASE_MIN, KASLR_BASE_MAX - kernel_size].
      * Align down to the nearest slot boundary. */
     unsigned long new_max = (kaslr_max - kernel_size) & ~(kaslr_align - 1);
-    if (new_max > kaslr_min && new_max < ctx->text_base_max)
+    if (new_max > kaslr_min && new_max < ctx->text_base_max) {
+      fprintf(stderr,
+              "[layout] text_base_max tightened by kaslr_ceiling:"
+              " %#lx -> %#lx (kernel_size=%#lx)\n",
+              ctx->text_base_max, new_max, kernel_size);
       ctx->text_base_max = new_max;
+    }
   }
 
 #if PHYS_VIRT_DECOUPLED
@@ -113,8 +118,13 @@ static void kaslr_ceiling_run(struct kasld_analysis_ctx *ctx) {
 
   if (phys_max > phys_min && kernel_size < phys_max - phys_min) {
     unsigned long new_phys_max = (phys_max - kernel_size) & ~(phys_align - 1);
-    if (new_phys_max > phys_min && new_phys_max < ctx->phys_base_max)
+    if (new_phys_max > phys_min && new_phys_max < ctx->phys_base_max) {
+      fprintf(stderr,
+              "[layout] phys_base_max tightened by kaslr_ceiling:"
+              " %#lx -> %#lx (kernel_size=%#lx)\n",
+              ctx->phys_base_max, new_phys_max, kernel_size);
       ctx->phys_base_max = new_phys_max;
+    }
   }
 #endif
 }

src/inference/phys_virt_synth.c

@@ -39,6 +39,7 @@
 #include "../include/kasld_inference.h"
 
 #include <limits.h>
+#include <stdio.h>
 #include <string.h>
 
 #define SYNTH_MAX_ORIGINS 128
@@ -124,10 +125,20 @@ static void phys_virt_synth_run(struct kasld_analysis_ctx *ctx) {
   if (cand_hi - cand_lo > kaslr_align)
     return;
 
-  if (cand_lo > ctx->page_offset_min)
+  if (cand_lo > ctx->page_offset_min) {
+    fprintf(stderr,
+            "[layout] page_offset_min tightened by phys_virt_synth:"
+            " %#lx -> %#lx\n",
+            ctx->page_offset_min, cand_lo);
     ctx->page_offset_min = cand_lo;
-  if (cand_hi < ctx->page_offset_max)
+  }
+  if (cand_hi < ctx->page_offset_max) {
+    fprintf(stderr,
+            "[layout] page_offset_max tightened by phys_virt_synth:"
+            " %#lx -> %#lx\n",
+            ctx->page_offset_max, cand_hi);
     ctx->page_offset_max = cand_hi;
+  }
 }
 
 static const struct kasld_inference phys_virt_synth = {

src/inference/riscv64_non_efi_phys_base.c

@@ -49,6 +49,7 @@
 #include "../include/kasld_inference.h"
 
 #include <limits.h>
+#include <stdio.h>
 #include <string.h>
 #include <unistd.h>
 
@@ -81,6 +82,12 @@ static void riscv64_nonEFI_phys_base_run(struct kasld_analysis_ctx *ctx) {
   if (phys_exact < ctx->phys_base_min || phys_exact > ctx->phys_base_max)
     return;
 
+  fprintf(
+      stderr,
+      "[layout] phys_base pinned by riscv64_nonEFI_phys_base:"
+      " [%#lx, %#lx] -> %#lx (non-EFI, DRAM_BASE=%#lx + TEXT_OFFSET=%#lx)\n",
+      ctx->phys_base_min, ctx->phys_base_max, phys_exact, pdram_lo,
+      (unsigned long)TEXT_OFFSET);
   ctx->phys_base_min = phys_exact;
   ctx->phys_base_max = phys_exact;
 #else