Fix a few bugs

[misonijnik]

No description provided.

[codecov-commenter]

Codecov Report

Merging #130 (70c030f) into main (37f0da6) will decrease coverage by 0.05%.
Report is 2 commits behind head on main.
The diff coverage is 51.78%.

❗ Current head 70c030f differs from pull request most recent head de5a39f. Consider uploading reports for the commit de5a39f to get more accurate results

@@            Coverage Diff             @@
##             main     #130      +/-   ##
==========================================
- Coverage   66.44%   66.40%   -0.05%     
==========================================
  Files         215      215              
  Lines       29635    29628       -7     
  Branches     6570     6567       -3     
==========================================
- Hits        19690    19673      -17     
- Misses       7433     7443      +10     
  Partials     2512     2512              

Files	Coverage Δ
include/klee/Module/KModule.h	81.81% <100.00%> (+0.56%)	⬆️
lib/Core/TargetCalculator.cpp	74.39% <100.00%> (+0.88%)	⬆️
lib/Core/TargetCalculator.h	100.00% <ø> (ø)
lib/Core/TypeManager.cpp	98.52% <100.00%> (-0.09%)	⬇️
lib/Module/KModule.cpp	79.88% <100.00%> (-0.06%)	⬇️
lib/Module/SarifReport.cpp	51.64% <100.00%> (ø)
lib/Core/ExecutionState.h	93.02% <90.00%> (-0.40%)	⬇️
lib/Core/Searcher.cpp	78.14% <0.00%> (ø)
lib/Core/ExecutionState.cpp	73.91% <66.66%> (+0.07%)	⬆️
lib/Core/Executor.cpp	74.48% <61.53%> (-0.04%)	⬇️
... and 3 more

... and 4 files with indirect coverage changes

[misonijnik]

Fix #107