vbpf / prevail / 24556264476

push

github

Extract compute_slice_from_label from compute_failure_slices (#1061)

* Extract compute_slice_from_label from compute_failure_slices

Refactor backward slicing to expose a general-purpose
compute_slice_from_label() method on AnalysisResult that accepts an
arbitrary label and seed relevance. The existing compute_failure_slices()
now delegates to it, iterating error labels and extracting initial
relevance from assertions.

* Fix slice relevance merge and conservative mode seed

Merge per-label relevance instead of overwriting when a label is
revisited from a different successor, preserving registers and stack
offsets from earlier visits.

Only fall back to aggregating all assertion registers when the failing
assertion was not identified. When it was found but has no register
deps, leave the seed empty so compute_slice_from_label enters
conservative mode.

---------

Signed-off-by: Michael Agun <danielagun@microsoft.com>

113 of 125 new or added lines in 1 file covered. (90.4%)

13437 of 15079 relevant lines covered (89.11%)

4561426.54 hits per line