Fix XNNPACK FlatBuffer verification and header bounds checking (TOB-EXECUTORCH-33, TOB-EXECUTORCH-34)

TOB-EXECUTORCH-33: XNNCompiler::compileModel() processed FlatBuffer data
via fb_xnnpack::GetXNNGraph() without first running the FlatBuffer verifier.
A malformed or truncated payload could cause out-of-bounds reads when the
FlatBuffer library follows internal offset tables. This adds a
flatbuffers::Verifier pass (matching the pattern used in program.cpp) before
any FlatBuffer accessors are called, and tracks the flatbuffer_size so the
verifier knows the exact bounds of the serialized data.

TOB-EXECUTORCH-34: XNNHeader::Parse() read flatbuffer_offset,
flatbuffer_size, constant_data_offset, and constant_data_size from untrusted
header bytes but never validated that the resulting regions actually fit within
the provided buffer. Crafted offset/size values could point past the end of
the buffer, leading to out-of-bounds reads in compileModel(). This adds
overflow-safe bounds checks that ensure both the flatbuffer and constant data
regions fall within [0, size).

This PR was authored with the assistance of Claude.

Author: Github Executorch

backends/xnnpack/runtime/XNNCompiler.cpp

@@ -1816,16 +1816,19 @@ ET_NODISCARD Error XNNCompiler::compileModel(
   Result<XNNHeader> header = XNNHeader::Parse(buffer_pointer, num_bytes);
   const uint8_t* flatbuffer_data = nullptr;
   const uint8_t* constant_data = nullptr;
+  size_t flatbuffer_size = 0;
   CompileAllocator compile_allocator;
 
   // Header status can only either be Error::Ok or Error::NotFound
   if (header.ok()) {
     flatbuffer_data = reinterpret_cast<const uint8_t*>(buffer_pointer) +
         header->flatbuffer_offset;
+    flatbuffer_size = header->flatbuffer_size;
     constant_data = reinterpret_cast<const uint8_t*>(buffer_pointer) +
         header->constant_data_offset;
   } else if (header.error() == Error::NotFound) {
     flatbuffer_data = reinterpret_cast<const uint8_t*>(buffer_pointer);
+    flatbuffer_size = num_bytes;
   } else {
     ET_LOG(Error, "XNNHeader may be corrupt");
     return header.error();
@@ -1843,6 +1846,15 @@ ET_NODISCARD Error XNNCompiler::compileModel(
       "XNNPACK Delegate Serialization Format version identifier '%.4s' != expected XN00 or XN01'",
       flatbuffers::GetBufferIdentifier(flatbuffer_data));
 
+  // Verify the FlatBuffer data integrity before accessing it. Without this,
+  // malformed data could cause out-of-bounds reads when traversing the
+  // FlatBuffer's internal offset tables.
+  flatbuffers::Verifier verifier(flatbuffer_data, flatbuffer_size);
+  ET_CHECK_OR_RETURN_ERROR(
+      fb_xnnpack::VerifyXNNGraphBuffer(verifier),
+      DelegateInvalidCompatibility,
+      "FlatBuffer verification failed; data may be truncated or corrupt");
+
   auto flatbuffer_graph = fb_xnnpack::GetXNNGraph(flatbuffer_data);
   // initialize xnnpack
   xnn_status status = xnn_initialize(/*allocator =*/nullptr);

backends/xnnpack/runtime/XNNHeader.cpp

@@ -8,6 +8,7 @@
 
 #include <executorch/backends/xnnpack/runtime/XNNHeader.h>
 
+#include <cinttypes>
 #include <cstring>
 
 #include <executorch/runtime/core/error.h>
@@ -64,6 +65,36 @@ Result<XNNHeader> XNNHeader::Parse(const void* data, size_t size) {
   uint64_t constant_data_size =
       GetUInt64LE(header_data + XNNHeader::kConstantDataSizeOffset);
 
+  // Validate that flatbuffer region does not overflow or exceed the buffer.
+  ET_CHECK_OR_RETURN_ERROR(
+      flatbuffer_offset <= size && flatbuffer_size <= size - flatbuffer_offset,
+      InvalidArgument,
+      "flatbuffer_offset: %u and flatbuffer_size: %u are invalid for buffer of size: %zu",
+      flatbuffer_offset,
+      flatbuffer_size,
+      size);
+  // Validate that constant data region does not overflow or exceed the buffer.
+  ET_CHECK_OR_RETURN_ERROR(
+      constant_data_offset <= size &&
+          constant_data_size <= size - constant_data_offset,
+      InvalidArgument,
+      "constant_data_offset: %u and constant_data_size: %" PRIu64
+      " are invalid for buffer of size: %zu",
+      constant_data_offset,
+      constant_data_size,
+      size);
+
+  // Validate that constant data region does not overlap with flatbuffer region.
+  // flatbuffer should come before constant data.
+  ET_CHECK_OR_RETURN_ERROR(
+      constant_data_offset >= flatbuffer_offset &&
+          constant_data_offset - flatbuffer_offset >= flatbuffer_size,
+      InvalidArgument,
+      "constant_data_offset: %u and flatbuffer_offset: %u with flatbuffer_size: %u are overlapping.",
+      constant_data_offset,
+      flatbuffer_offset,
+      flatbuffer_size);
+
   return XNNHeader{
       flatbuffer_offset,
       flatbuffer_size,