| --- |
| license: mit |
| tags: [security, poc, executorch] |
| --- |
| # Harmless PoC: ExecuTorch PteDataMap named_data vector length OOB |
| |
| Forged FlatBuffer `Program.named_data` vector length under Minimal → ASan HBO in `PteDataMap::get_key` (`pte_data_map.cpp:77`). |
| |
| Distinct from constant_segment.offsets, mutable_data_segments.offsets, MethodMeta, and Method::load vectors. |
|
|
| ## Files |
|
|
| - `NOTES.md`, `asan.log` |
| - PoC harness: `../executorch_flatbuffer_tensor_data/poc_tensor_data_asan named-data-oob` |
|
|
| ```bash |
| ./lab/runs/executorch_flatbuffer_tensor_data/poc_tensor_data_asan named-data-oob |
| ``` |
|
|
