Symbolic tracing#157

Draft

damienmaier wants to merge 17 commits intoeurecom-s3:masterfrom damienmaier:pr-symbolic-trace

+462-2

Commits on Nov 22, 2023

log symbolic areas
damienmaier
committed

Commits on Nov 24, 2023

save tracing info in json file instead of stdout
damienmaier
committed

Commits on Nov 28, 2023

path constraints tracing
damienmaier
committed

Commits on Nov 29, 2023

add registered regions to symbolic tracing
damienmaier
committed

Commits on Dec 4, 2023

Commits on Dec 6, 2023

move trace parsing script into standalone util package
damienmaier
committed

Commits on Dec 23, 2023

Refactor and documentation
damienmaier
committed

Commits on Jan 13, 2024

increase distance threashold for memory area mappings
damienmaier
committed