Memsafety and memcleanup

[leventeBajczi]

No description provided.

[github-actions]

Benchexec test report for a selection of SV-Benchmarks (correct / incorrect / all):

Rundefinition	BOUNDED	CEGAR	HORN
SV-COMP25_no-data-race	❓ (0 / 0 / 411) HTML/CSV	✅ (50 / 0 / 118) HTML/CSV	❓ (0 / 0 / 415) HTML/CSV
SV-COMP25_no-overflow	❓ (0 / 0 / 2135) HTML/CSV	❓ (0 / 0 / 2220) HTML/CSV	❓ (0 / 0 / 2202) HTML/CSV
SV-COMP25_termination	❓ (0 / 0 / 1139) HTML/CSV	❓ (0 / 0 / 1138) HTML/CSV	❓ (0 / 0 / 1137) HTML/CSV
SV-COMP25_unreach-call	✅ (5 / 0 / 191) HTML/CSV	✅ (22 / 0 / 107) HTML/CSV	❗ (14 / 1 / 111) HTML/CSV
SV-COMP25_valid-memcleanup	❓ (0 / 0 / 65) HTML/CSV	❓ (0 / 0 / 65) HTML/CSV	❓ (0 / 0 / 65) HTML/CSV
SV-COMP25_valid-memsafety	❓ (0 / 0 / 415) HTML/CSV	❗ (32 / 7 / 221) HTML/CSV	✅ (8 / 0 / 443) HTML/CSV