Aug 28, 2024 · Xr0 Team
tl;dr only today
We’ve finished the local-constant size case of buffer out-of-bounds prevention, having added caller verification of bounds. Our attention now turns to the final special case we identified, that involving local-constant indexes. We will spend the next two weeks working on this and hope to have some interesting progress by then.
See you on Oct 5.
Subscribe via email.