[cravex2-reachability] Consume extended reachability from symbols analysis - #568

Merged

tdruez merged 7 commits into

mainfrom

366-cravex2-consume-reachability

Aug 25, 2026

Commits on Aug 24, 2026

Import reachability from the scan when available
tdruez
committed
bc74f2a
update the docsstrings
tdruez
committed
ebf9ca1
rework the implementation
tdruez
committed
c70ac81
add unit tests
tdruez
committed
70d1500
refine the analysis fields requriements
tdruez
committed
d91b5c5
fix failing test
tdruez
committed
3b10f4a
fix format and failing tests
tdruez
committed
c58a55c