add frontendValueToString

[jumormt]

No description provided.

[codecov]

Codecov Report

Attention: Patch coverage is 50.00000% with 9 lines in your changes missing coverage. Please review.

Project coverage is 62.84%. Comparing base (f217d0c) to head (69de0e8).
Report is 4 commits behind head on master.

Files with missing lines	Patch %	Lines
svf/lib/SABER/DoubleFreeChecker.cpp	25.00%	3 Missing ⚠️
svf/lib/SABER/LeakChecker.cpp	50.00%	2 Missing ⚠️
svf/lib/Util/SVFUtil.cpp	0.00%	2 Missing ⚠️
svf/lib/Graphs/SVFG.cpp	66.66%	1 Missing ⚠️
svf/lib/MTA/TCT.cpp	0.00%	1 Missing ⚠️

Additional details and impacted files

@@           Coverage Diff           @@
##           master    #1562   +/-   ##
=======================================
  Coverage   62.84%   62.84%           
=======================================
  Files         245      245           
  Lines       25669    25669           
  Branches     4507     4507           
=======================================
  Hits        16131    16131           
  Misses       9538     9538           

Files with missing lines	Coverage Δ
svf-llvm/lib/LLVMUtil.cpp	78.82% <100.00%> (ø)
svf-llvm/lib/SVFIRBuilder.cpp	83.95% <ø> (ø)
svf/include/Graphs/GenericGraph.h	80.00% <ø> (ø)
svf/lib/Graphs/ICFG.cpp	79.24% <100.00%> (ø)
svf/lib/WPA/Andersen.cpp	93.91% <ø> (ø)
svf/lib/Graphs/SVFG.cpp	75.57% <66.66%> (ø)
svf/lib/MTA/TCT.cpp	71.64% <0.00%> (ø)
svf/lib/SABER/LeakChecker.cpp	89.52% <50.00%> (ø)
svf/lib/Util/SVFUtil.cpp	45.52% <0.00%> (ø)
svf/lib/SABER/DoubleFreeChecker.cpp	67.27% <25.00%> (ø)