feat: UEFI/SMM source-level code coverage (DWARF + module discovery) - #389

Open

Wenzel wants to merge 20 commits into

intel:mainfrom

Wenzel:feat/uefi-source-coverage

Commits on Sep 16, 2026

Add DWARF/ELF debug info backend for UEFI/SMM source coverage (M1)

Wenzel
and
claude
committed
fefa4d5
Add offline DWARF fixture test for DwarfModule::intervals (M1)

Wenzel
and
claude
committed
7bb9105
Fix SourceCache::new crashing when no live Simics session exists

Wenzel
and
claude
committed
2dbca69
Add UEFI module discovery parsing/resolution (UCOV-M2 milestone steps 1-2)

Wenzel
and
claude
committed
92a3eb5
fix: correct list-modules parsing to match confirmed live shape (UCOV-M2 M2)

Wenzel
and
claude
committed
cb5fc2b
Switch UEFI module discovery to tracker_obj->maps, not list-modules

Wenzel
and
claude
committed
73bc670
fix: handle real Nil pathless row in tracker_obj->maps parsing

Wenzel
and
claude
committed
714b986
merge: DWARF source coverage (UCOV-M1)
Wenzel
committed
0c554f1
merge: UEFI module discovery (UCOV-M2)
Wenzel
committed
6695e19
feat: wire UEFI module discovery into DWARF source coverage at HARNESS_START
Wenzel
committed
a40b466
fix: skip Invalid top-level entries in tracker_obj->maps parsing
Wenzel
committed
7148ce6
fix: create symbolic_coverage_directory when it doesn't exist, not when it does
Wenzel
committed
50de300
fix: treat empty coverage as a no-op in save_symbolic_coverage, not an error
Wenzel
committed
ef8219b
fix: read tracker_obj->maps via get_attribute, not run_command
Wenzel
committed
d00936c
debug: add temporary diagnostic log for raw/parsed module row counts
Wenzel
committed
1905bc4
fix: convert tracker_obj->maps rows via as_heterogeneous_list, not plain .into()
Wenzel
committed
5ea59f6
fix: skip unresolvable modules per-module, not fail the whole resolve batch
Wenzel
committed
448aad1
debug: add temporary diagnostic logs for resolve/element counts
Wenzel
committed
4f39b6d
docs: remove temporary diagnostics, document debuginfo_source_directory requirement
Wenzel
committed
defaff2

Commits on Sep 21, 2026

fix: resolve DWARF subprogram names via DW_AT_abstract_origin/specification
Wenzel
committed
7ec6f40

Navigation Menu

feat: UEFI/SMM source-level code coverage (DWARF + module discovery) - #389

feat: UEFI/SMM source-level code coverage (DWARF + module discovery)#389
Wenzel wants to merge 20 commits into
intel:mainfrom
Wenzel:feat/uefi-source-coverage

Commits on Sep 16, 2026

Add DWARF/ELF debug info backend for UEFI/SMM source coverage (M1)

Add offline DWARF fixture test for DwarfModule::intervals (M1)

Fix SourceCache::new crashing when no live Simics session exists

Add UEFI module discovery parsing/resolution (UCOV-M2 milestone steps 1-2)

fix: correct list-modules parsing to match confirmed live shape (UCOV-M2 M2)

Switch UEFI module discovery to tracker_obj->maps, not list-modules

fix: handle real Nil pathless row in tracker_obj->maps parsing

merge: DWARF source coverage (UCOV-M1)

merge: UEFI module discovery (UCOV-M2)

feat: wire UEFI module discovery into DWARF source coverage at HARNESS_START

fix: skip Invalid top-level entries in tracker_obj->maps parsing

fix: create symbolic_coverage_directory when it doesn't exist, not when it does

fix: treat empty coverage as a no-op in save_symbolic_coverage, not an error

fix: read tracker_obj->maps via get_attribute, not run_command

debug: add temporary diagnostic log for raw/parsed module row counts

fix: convert tracker_obj->maps rows via as_heterogeneous_list, not plain .into()

fix: skip unresolvable modules per-module, not fail the whole resolve batch

debug: add temporary diagnostic logs for resolve/element counts

docs: remove temporary diagnostics, document debuginfo_source_directory requirement

Commits on Sep 21, 2026

fix: resolve DWARF subprogram names via DW_AT_abstract_origin/specification