phase 2

Signed-off-by: mrhapile <allinonegaming3456@gmail.com>

Author: mrhapile

build_corpus.sh

@@ -0,0 +1,45 @@
+#!/bin/bash
+# build_corpus.sh
+# Compiles all .wat files to .wasm binaries using wat2wasm (from wabt)
+#
+# Prerequisites:
+#   brew install wabt   # or apt-get install wabt
+
+set -e
+
+SCRIPT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
+CORPUS_DIR="$SCRIPT_DIR/corpus"
+
+echo "Building WASM corpus from WAT files..."
+
+# Check for wat2wasm
+if ! command -v wat2wasm &> /dev/null; then
+    echo "Error: wat2wasm not found. Install wabt:"
+    echo "  macOS:  brew install wabt"
+    echo "  Ubuntu: apt-get install wabt"
+    exit 1
+fi
+
+# Compile each .wat file
+for wat_file in "$CORPUS_DIR"/*.wat; do
+    if [ -f "$wat_file" ]; then
+        base_name=$(basename "$wat_file" .wat)
+        wasm_file="$CORPUS_DIR/$base_name.wasm"
+        
+        # Skip if we already have a hand-crafted binary
+        if [ -f "$wasm_file" ]; then
+            echo "  [SKIP] $base_name.wasm (already exists)"
+            continue
+        fi
+        
+        echo "  [BUILD] $base_name.wat -> $base_name.wasm"
+        wat2wasm "$wat_file" -o "$wasm_file"
+    fi
+done
+
+echo ""
+echo "Corpus files:"
+ls -la "$CORPUS_DIR"/*.wasm 2>/dev/null || echo "No .wasm files found"
+
+echo ""
+echo "Build complete."

corpus/01_valid_module.wasm

@@ -0,0 +1,14 @@
+;; 01_valid_module.wat
+;; A valid WASM module with correct ABI: int process(int)
+;; Expected stage: NONE (success)
+;; Tests: Full pipeline execution succeeds
+
+(module
+  ;; Export a function named "process" that takes i32 and returns i32
+  (func $process (export "process") (param $input i32) (result i32)
+    ;; Simple computation: return input + 1
+    local.get $input
+    i32.const 1
+    i32.add
+  )
+)

corpus/01_valid_module.wat

@@ -0,0 +1,19 @@
+;; 04_missing_export.wat
+;; A valid WASM module but without the required "process" export
+;; Expected stage: EXECUTE (function not found)
+;; Tests: Export resolution / function lookup
+
+(module
+  ;; Internal function not exported
+  (func $internal (param $x i32) (result i32)
+    local.get $x
+    i32.const 2
+    i32.mul
+  )
+  
+  ;; Different export name - not "process"
+  (func $compute (export "compute") (param $x i32) (result i32)
+    local.get $x
+    call $internal
+  )
+)

corpus/02_empty_file.wasm

@@ -0,0 +1,11 @@
+;; 05_abi_mismatch_no_param.wat
+;; WASM module with "process" export but wrong signature (no parameters)
+;; Expected stage: EXECUTE (ABI mismatch - wrong parameter count)
+;; Tests: Function signature validation at call time
+
+(module
+  ;; "process" exists but takes no parameters
+  (func $process (export "process") (result i32)
+    i32.const 42
+  )
+)