Alan-Jowett / ubpf / 27450142346

79%

master: 92%

Build Type

push

github

Committed by web-flow

Commit Message

Add isolated safe execution profile (#793)

* Add isolated safe execution profile

Keep the safe-profile interpreter implementation in its own translation unit, add the supporting API and validation coverage, and preserve legacy execution as the default path.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

* Add safe interpreter parity harness

Wire safe-profile selection through the interpreter and conformance harnesses, record the resulting parity coverage, and relax safe stack pointer arithmetic to support standard frame-relative access patterns.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

* Add safe interpreter CTest coverage

Generate per-file safe-interpreter CTest cases alongside the legacy interpreter matrix so CI exercises both profiles through the conformance/plugin corpus.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

* Address PR review findings

Fix safe-profile region windowing and validation edge cases, correct the plugin safe-stack allocation path, and add negative tests for reserved safe-region/helper IDs.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

* Document safe execution profile

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

* Handle remaining PR review feedback

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

* Address remaining PR review issues

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

---------

Co-authored-by: Alan Jowett <alan.jowett@microsoft.com>
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

Coverage Stats

1147 of 1528 new or added lines in 9 files covered. (75.07%)

2 existing lines in 2 files now uncovered.

7756 of 9796 relevant lines covered (79.18%)

601490.27 hits per line