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.

Harmless PoC: ExecuTorch Method::load `values` vector length OOB

Method::parse_values / get_num_external_constants indexes ExecutionPlan.values[i] using a forged FlatBuffer vector length with no bound against the program buffer. Under default Program::Verification::Minimal, loading a malicious .pte and calling Method::load triggers ASan heap-buffer-overflow READ at method.cpp:324.

Distinct from READY constant/mutable offsets OOB, MethodMeta sizes OOB, WebGPU, and Vela.

Files

poc_method_load_values_asan.cpp, asan.log (values-oob)
related: chains-oob, instructions-oob
NOTES.md

./poc_method_load_values_asan values-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

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

Harmless PoC: ExecuTorch Method::load values vector length OOB

Files

Harmless PoC: ExecuTorch Method::load `values` vector length OOB