Add Component Model binary parser + validation

Author: dimi181

.clang-tidy

@@ -4,20 +4,30 @@
 
 # Here is an explanation for why some of the checks are disabled:
 #
+#  -misc-include-cleaner:           too noisy with platform abstraction headers
+#  -bugprone-easily-swappable-parameters: most C APIs have consecutive same-type params
+#  -bugprone-macro-parentheses:     WAMR macros intentionally use unparenthesized args
+#  -misc-no-recursion:              interpreter/validator use intentional recursion
+#  -readability-magic-numbers:      wasm spec constants (opcodes, limits) are ubiquitous
+#
 
 Checks: >
   -*,
   bugprone-*,
   cert-*,
   clang-analyzer-*,
   concurrency-*,
+  cppcoreguidelines-init-variables,
+  cppcoreguidelines-narrowing-conversions,
+  cppcoreguidelines-pro-type-cstyle-cast,
   misc-*,
   modernize-*,
   performance-*,
   portability-*,
   readability-*,
   -bugprone-easily-swappable-parameters,
   -bugprone-macro-parentheses,
+  -misc-include-cleaner,
   -misc-no-recursion,
   -misc-unused-parameters,
   -readability-braces-around-statements,

.gitignore

@@ -13,6 +13,7 @@
 *.so
 .clangd
 .DS_Store
+code_analysis_report.log
 *.o
 .aider*
 

CMakeLists.txt

@@ -79,6 +79,11 @@ if (NOT DEFINED WAMR_BUILD_LIBC_WASI)
   set (WAMR_BUILD_LIBC_WASI 1)
 endif ()
 
+if (NOT DEFINED WAMR_BUILD_COMPONENT_MODEL)
+  # Enable Component Model by default
+  set (WAMR_BUILD_COMPONENT_MODEL 1)
+endif ()
+
 if (NOT DEFINED WAMR_BUILD_FAST_INTERP)
   # Enable fast interpreter
   set (WAMR_BUILD_FAST_INTERP 1)

build-scripts/config_common.cmake

@@ -779,7 +779,13 @@ if (WAMR_BUILD_BRANCH_HINTS EQUAL 1)
   message ("     Branch hints enabled")
   add_definitions(-DWASM_ENABLE_BRANCH_HINTS=1)
 endif ()
-
+if (WAMR_BUILD_COMPONENT_MODEL EQUAL 1)
+  message ("     Component Model enabled")
+  add_definitions(-DWASM_ENABLE_COMPONENT_MODEL=1)
+else()
+  message ("     Component Model disabled")
+  add_definitions(-DWASM_ENABLE_COMPONENT_MODEL=0)
+endif ()
 ########################################
 # Show Phase4 Wasm proposals status.
 ########################################

build-scripts/runtime_lib.cmake

@@ -87,6 +87,10 @@ if (WAMR_BUILD_GC EQUAL 1)
     set (WAMR_BUILD_REF_TYPES 1)
 endif ()
 
+if (WAMR_BUILD_COMPONENT_MODEL EQUAL 1)
+    include (${IWASM_DIR}/common/component-model/iwasm_component.cmake)
+endif ()
+
 if (WAMR_BUILD_LIBC_BUILTIN EQUAL 1)
     include (${IWASM_DIR}/libraries/libc-builtin/libc_builtin.cmake)
 endif ()
@@ -219,6 +223,7 @@ set (source_all
     ${IWASM_COMPL_SOURCE}
     ${IWASM_FAST_JIT_SOURCE}
     ${IWASM_GC_SOURCE}
+    ${IWASM_COMPONENT_SOURCE}
     ${LIB_WASI_THREADS_SOURCE}
     ${LIB_PTHREAD_SOURCE}
     ${THREAD_MGR_SOURCE}

code_analysis.sh

@@ -0,0 +1,60 @@
+#!/bin/sh
+
+# Copyright (C) 2026 Airbus Defence and Space Romania SRL. All rights reserved.
+# SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+
+# Prerequisites: clang-tidy and cppcheck (First time install: sudo apt-get update && sudo apt-get install -y clang-tidy cppcheck)
+# Prerequisite for clang-tidy: CMAKE_EXPORT_COMPILE_COMMANDS=ON
+rm -rf product-mini/platforms/linux/build && mkdir -p product-mini/platforms/linux/build
+cd product-mini/platforms/linux/build
+cmake .. -DCMAKE_EXPORT_COMPILE_COMMANDS=ON && make -j8
+cd ../../../../
+
+# Define the target folders
+TARGET_DIRS="core/iwasm/interpreter \
+             core/iwasm/common/component-model \
+             tests/unit/component*"
+             
+# Define the log report file
+REPORT_FILE="code_analysis_report.log"
+echo "--- Running code analysis for: $TARGET_DIRS"
+echo "--- The analysis report will be written into $REPORT_FILE"
+
+: > "$REPORT_FILE"
+exec > "$REPORT_FILE" 2>&1
+
+echo "--- Running Cppcheck ---"
+cppcheck -q --force --enable=warning,performance,style,portability $TARGET_DIRS
+
+echo "--- Running Clang-Tidy ---"
+FILES=$(find $TARGET_DIRS -name "*.c")
+HEADERS=$(find $TARGET_DIRS -name "*.h")
+$(command -v /opt/wasi-sdk/bin/clang-tidy || echo clang-tidy) -p product-mini/platforms/linux/build --quiet $HEADERS $FILES
+
+TOTAL=$(grep -c ': error:' "$REPORT_FILE" 2>/dev/null || echo 0)
+printf "Total errors: $TOTAL"
+
+for CHECK in \
+    bugprone-narrowing-conversions \
+    bugprone-multi-level-implicit-pointer-conversion \
+    bugprone-null-dereference \
+    bugprone-use-after-move \
+    bugprone-sizeof-expression \
+    clang-analyzer-core \
+    clang-analyzer-security \
+    clang-analyzer-deadcode \
+    cppcoreguidelines-init-variables \
+    cppcoreguidelines-narrowing-conversions \
+    performance-no-int-to-ptr \
+    readability-math-missing-parentheses \
+    concurrency-mt-unsafe \
+    cert-msc30-c \
+    cert-err34-c \
+    readability-redundant-casting; do
+    COUNT=$(grep -c "$CHECK" "$REPORT_FILE" 2>/dev/null || echo 0)
+    if [ "$COUNT" -gt 0 ]; then
+        printf '  %-56s %d\n' "$CHECK:" "$COUNT" | tee -a "$REPORT_FILE"
+    fi
+done
+
+echo "--- Analysis complete. Check  $REPORT_FILE ---"

core/config.h

@@ -137,6 +137,10 @@
 #define WASM_ENABLE_WAMR_COMPILER 0
 #endif
 
+#ifndef WASM_ENABLE_COMPONENT_MODEL
+#define WASM_ENABLE_COMPONENT_MODEL 0
+#endif
+
 #ifndef WASM_ENABLE_LIBC_BUILTIN
 #define WASM_ENABLE_LIBC_BUILTIN 0
 #endif

core/iwasm/aot/aot_runtime.c

@@ -51,7 +51,11 @@ bh_static_assert(offsetof(AOTModuleInstance, cur_exception)
 bh_static_assert(offsetof(AOTModuleInstance, c_api_func_imports)
                  == 13 * sizeof(uint64) + 128 + 7 * sizeof(uint64));
 bh_static_assert(offsetof(AOTModuleInstance, global_table_data)
-                 == 13 * sizeof(uint64) + 128 + 14 * sizeof(uint64));
+                 == 13 * sizeof(uint64) + 128 + 14 * sizeof(uint64)
+#if WASM_ENABLE_COMPONENT_MODEL != 0
+                    + sizeof(void *) + sizeof(uint64)
+#endif
+                );
 
 bh_static_assert(sizeof(AOTMemoryInstance) == 120);
 bh_static_assert(offsetof(AOTTableInstance, elems) == 24);

core/iwasm/common/component-model/iwasm_component.cmake

@@ -0,0 +1,12 @@
+# Copyright (C) 2026 Airbus Defence and Space Romania SRL. All rights reserved.
+# SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+
+set (IWASM_COMPONENT_DIR ${CMAKE_CURRENT_LIST_DIR})
+
+add_definitions (-DWASM_ENABLE_COMPONENT_MODEL=1)
+
+include_directories (${IWASM_COMPONENT_DIR})
+
+file (GLOB source_all ${IWASM_COMPONENT_DIR}/*.c)
+
+set (IWASM_COMPONENT_SOURCE ${source_all})