Account for allocated heap memory which is unreachable from globals#1241

Merged

sim642 merged 17 commits intogoblint:masterfrom mrstanb:improve-valid-memtrack-for-single-threaded-programs

Nov 24, 2023

+268-6

Commits on Nov 7, 2023

Warn whenever there's allocated heap memory that's unreachable from globals at program exit
mrstanb
committed
Add test cases for unreachable heap memory from globals
mrstanb
committed

Commits on Nov 18, 2023

Commits on Nov 19, 2023

Commits on Nov 21, 2023

Use AD.fold instead of List.fold_left
mrstanb
committed

Commits on Nov 22, 2023

MemLeak: Do not consider unions
michael-schwarz
committed