clean up and improve SVF stats

[yuleisui]

No description provided.

[codecov]

Codecov Report

Attention: 2 lines in your changes are missing coverage. Please review.

Comparison is base (d47f548) 65.73% compared to head (eb88b64) 65.73%.
Report is 1 commits behind head on master.

Additional details and impacted files

@@           Coverage Diff           @@
##           master    #1341   +/-   ##
=======================================
  Coverage   65.73%   65.73%           
=======================================
  Files         225      225           
  Lines       24242    24248    +6     
=======================================
+ Hits        15935    15939    +4     
- Misses       8307     8309    +2     

Files	Coverage Δ
svf/include/MemoryModel/PointerAnalysis.h	77.77% <ø> (ø)
svf/include/Util/SVFStat.h	70.00% <ø> (ø)
svf/lib/DDA/DDAStat.cpp	91.12% <100.00%> (ø)
svf/lib/Graphs/SVFGStat.cpp	98.35% <100.00%> (-0.02%)	⬇️
svf/lib/MemoryModel/PointerAnalysis.cpp	59.92% <100.00%> (ø)
svf/lib/Util/SVFStat.cpp	96.39% <100.00%> (+0.16%)	⬆️
svf/lib/WPA/AndersenStat.cpp	96.91% <100.00%> (-0.06%)	⬇️
svf/lib/WPA/FlowSensitiveStat.cpp	71.95% <100.00%> (-0.11%)	⬇️
svf/lib/WPA/VersionedFlowSensitiveStat.cpp	98.46% <100.00%> (-0.02%)	⬇️
svf/lib/Util/PTAStat.cpp	96.66% <83.33%> (-3.34%)	⬇️