dangernoodle-io / breadboard / 28563196129

100%

push

github

feat(bb_pool): object/memory pool over bb_arena — RETAINED/FIFO/TRANSIENT/SLOTS, arena-optional (B1-478 PR C) (#654)

- bb_pool_create now routes through bb_pool_arena_size_needed's overflow-checked path (and validates free arena bytes) instead of re-deriving carve sizes with raw multiplications, closing an OOB-write path on 32-bit wraparound
- SLOTS mode gains a per-slot acquired bitmap to detect double-release (and release of a never-acquired in-bounds pointer) instead of only rejecting a full free-list
- add bb_pool_cfg_t.transient_reserve_bytes so bb_pool_create_owned() with TRANSIENT mode carves usable bump headroom instead of a zero-capacity pool
- make align_up overflow-safe (SIZE_MAX sentinel) so RETAINED/SLOTS max_slot_bytes near SIZE_MAX can't silently wrap to a tiny slot_stride
- document bb_pool_destroy's post-destroy UAF caveat and bb_pool_retained_update's shrink-leaves-stale-bytes behavior
- zero bb_pool_fifo_hdr_t before field assignment to avoid copying indeterminate struct padding into the arena

Co-authored-by: Claude Opus 4.8 <noreply@anthropic.com>

1840 of 1840 branches covered (100.0%)

Branch coverage included in aggregate %.

3167 of 3167 relevant lines covered (100.0%)

1301.08 hits per line