Hugging Face's logo

luckilytsh
/
executorch-constant-segment-offsets-oob-poc

ExecuTorch
security
poc
Model card Files
xet
 Community

You need to agree to share your contact information to access this model

This repository is publicly accessible, but you have to accept the conditions to access its files and content.

Log in or Sign Up to review the conditions and access this model content.

Harmless PoC: ExecuTorch get_constant_buffer_data offsets OOB

Program::get_constant_buffer_data indexes constant_segment.offsets[i] using a forged FlatBuffer vector length with no bound against the program buffer. Under default Program::Verification::Minimal, loading a malicious .pte and requesting a high buffer index triggers ASan heap-buffer-overflow READ at program.cpp:453.

Distinct from MethodMeta sizes OOB, WebGPUDelegateHeader, and PTE segment integer-overflow hardening (#18662/#19268).

Files

  • poc_constant_buffer_asan.cpp, asan.log (offsets-oob)
  • NOTES.md
./poc_constant_buffer_asan offsets-oob
Downloads last month

-

Downloads are not tracked for this model. How to track
Inference Providers NEW
This model isn't deployed by any Inference Provider. 🙋 Ask for provider support