Mem optimize

[ladisgin]

Summary:

Checklist:

• The PR addresses a single issue. If it can be divided into multiple independent PRs, please do so.
• The PR is divided into a logical sequence of commits OR a single commit is sufficient.
• There are no unnecessary commits (e.g. commits fixing issues in a previous commit in the same PR).
• Each commit has a meaningful message documenting what it does.
• All messages added to the codebase, all comments, as well as commit messages are spellchecked.
• The code is commented OR not applicable/necessary.
• The patch is formatted via clang-format OR not applicable (if explicitly overridden leave unchecked and explain).
• There are test cases for the code you added or modified OR no such test cases are required.

[codecov-commenter]

Codecov Report

Merging #118 (f59aabb) into main (f5f7574) will decrease coverage by 7.39%.
The diff coverage is 81.79%.

❗ Current head f59aabb differs from pull request most recent head 62d5357. Consider uploading reports for the commit 62d5357 to get more accurate results

@@            Coverage Diff             @@
##             main     #118      +/-   ##
==========================================
- Coverage   66.45%   59.06%   -7.39%     
==========================================
  Files         215      209       -6     
  Lines       29646    27348    -2298     
  Branches     6573     6167     -406     
==========================================
- Hits        19700    16152    -3548     
- Misses       7431     8874    +1443     
+ Partials     2515     2322     -193     

Files	Coverage Δ
include/klee/Core/Interpreter.h	100.00% <ø> (ø)
include/klee/Module/KInstruction.h	100.00% <100.00%> (ø)
include/klee/Module/KModule.h	75.00% <100.00%> (-4.32%)	⬇️
lib/Basic/Statistics.cpp	76.31% <ø> (ø)
lib/Core/DistanceCalculator.cpp	87.23% <ø> (-5.08%)	⬇️
lib/Core/ExecutionState.h	93.42% <100.00%> (+0.08%)	⬆️
lib/Core/Executor.h	76.92% <100.00%> (ø)
lib/Core/Memory.h	77.19% <100.00%> (-10.53%)	⬇️
lib/Core/SpecialFunctionHandler.cpp	58.67% <100.00%> (-15.07%)	⬇️
lib/Core/TargetedExecutionManager.h	100.00% <ø> (ø)
... and 16 more

... and 60 files with indirect coverage changes