BSL execution crash - invalid block_num in GetBlockMetadata

[iondev33]

BSL crashes when attempting to apply security operations (BIB/BCB) after successfully querying policies and matching bundle EIDs. The crash occurs in BSL_BundleCtx_GetBlockMetadata() which receives an invalid block_num value (≤0).

Error Location

• src/common/HostInterface.c:76 - Assertion fails: (block_num > 0)
• src/default_sc/BIB_HMAC_SHA2.c:474 - Calls GetBlockMetadata() and fails
• Crash: bptrace aborts with core dump

What Works

Pattern matching (ION EID parsing fixed)
Policy queries and rule matching
BSL initialization

What Fails

Security block creation
Block metadata retrieval
Bundle transmission with security operations

Investigation Areas

1. Bundle context initialization from ION structures
2. Security block numbering (should be ≥1, not 0)
3. ION-BSL interface mapping for extension blocks
4. Block creation sequencing

[iondev33]

The issue is MTAKE/ION working memory vs SDR addresses.

Look at this critical comment in ionpatch.c lines 39-43:

/* Note that this function is of no use to the

• BSL_BundleCtx_ReallocBTSD function, since
  ION stores extension blocks in the SDR heap
  rather than in system memory.

The Bug:

1. BSL allocates memory using ion_malloc() → calls allocFromIonMemory()
2. allocFromIonMemory() returns a pointer to ION working memory (heap)
3. BSL stores this pointer in ExtensionBlock.bytes
4. BUT ExtensionBlock.bytes is type Object (SDR address/offset, NOT a pointer!)
5. When ION tries to use blk->bytes as an SDR address:
   - It interprets the pointer value as an SDR offset
   - Pointer addresses (like 0x7fXXXXXXXXXX) are HUGE numbers
   - When used as SDR offset: to = 0x7fXXXXXXXXXX + length
   - This exceeds sdr->dsSize → "SDR boundaries violation"

The Architectural Problem:

ION has TWO memory spaces:

• ION working memory: Allocated by MTAKE/allocFromIonMemory(), returns pointers
• SDR heap: Allocated by sdr_malloc(), returns offsets (Object/Address)

Extension blocks MUST use SDR heap (as the comment states), but BSL's ion_malloc() is
allocating from working memory!

The Fix:

BSL integration needs to:

1. Use sdr_malloc() to allocate security block data in SDR heap
2. Store the SDR address (offset) in blk->bytes
3. Use sdr_read()/sdr_write() to access the data

OR create a proper translation layer that converts between BSL's pointer-based API and
ION's SDR-based storage.

This is why the comment says ion_realloc() "is of no use to BSL_BundleCtx_ReallocBTSD" -
because that function needs SDR allocation, not working memory allocation!