Prebuilt LLVM16 RTTI, and SVF-Lib NPM Publish shared lib

[bjjwwang]

No description provided.

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 63.93%. Comparing base (2ad1e2d) to head (d99a4b8).
Report is 2 commits behind head on master.

Additional details and impacted files

@@            Coverage Diff             @@
##           master    #1663      +/-   ##
==========================================
- Coverage   64.01%   63.93%   -0.09%     
==========================================
  Files         247      248       +1     
  Lines       25977    26011      +34     
  Branches     4524     4518       -6     
==========================================
  Hits        16629    16629              
- Misses       9348     9382      +34     

see 6 files with indirect coverage changes

[bjjwwang]

--- 1.log 2025-02-20 20:18:40.000000000 +1100
+++ 2.log 2025-02-20 20:17:59.000000000 +1100
@@ -32,9 +32,9 @@
VarArrayObj 831
VarStructObj 1663
----------------Time and memory stats--------------------
-LLVMIRTime 3.788
-SVFIRTime 5.783
-SymbolTableTime 0.576
+LLVMIRTime 3.893
+SVFIRTime 5.691
+SymbolTableTime 0.603
#######################################################

PTACallGraph Stats (Andersen analysis)******
@@ -61,11 +61,11 @@
CollapseTime 0
CopyGepTime 0
LoadStoreTime 0
-MemoryUsageVmrss 4.21477e+06
-MemoryUsageVmsize 4.2141e+06
+MemoryUsageVmrss 4.21427e+06
+MemoryUsageVmsize 4.21409e+06
SCCDetectTime 0
SCCMergeTime 0
-TotalTime 203.294
+TotalTime 200.038
UpdateCGTime 0
----------------Numbers stats----------------------------
AddrProcessed 17879
@@ -137,11 +137,11 @@
CollapseTime 0
CopyGepTime 0
LoadStoreTime 0
-MemoryUsageVmrss 4.21556e+06
-MemoryUsageVmsize 4.2149e+06
+MemoryUsageVmrss 4.21506e+06
+MemoryUsageVmsize 4.21488e+06
SCCDetectTime 0
SCCMergeTime 0
-TotalTime 209.245
+TotalTime 205.862
UpdateCGTime 0
----------------Numbers stats----------------------------
AddrProcessed 17879
@@ -213,11 +213,11 @@
################ (program : redis-server.bc)###############
----------------Time and memory stats--------------------
AverageRegSize 76.8129
-GenMUCHITime 3.02
-GenRegionTime 849.52
-InsertPHITime 0.871
-SSARenameTime 0.145
-TotalMSSATime 853.56
+GenMUCHITime 3.289
+GenRegionTime 840.846
+InsertPHITime 0.846
+SSARenameTime 0.134
+TotalMSSATime 845.123
----------------Numbers stats----------------------------
BBHasMSSAPhi 10654
CSChiNode 111779
@@ -240,13 +240,13 @@
SVFG Statistics******
################ (program : redis-server.bc)###############
----------------Time and memory stats--------------------
-ATNodeTime 1.029
+ATNodeTime 1.024
AvgWeight 166.315
ConnDirEdgeTime 0
-ConnIndEdgeTime 5.857
+ConnIndEdgeTime 5.909
OptTime 0
TLNodeTime 0
-TotalTime 6.886
+TotalTime 6.933
----------------Numbers stats----------------------------
ActualIn 164209
ActualOut 111779
@@ -308,20 +308,20 @@
GepTime 0
IndirectPropaTime 0
LoadTime 0
-MemoryUsageVmrss 3.70246e+06
-MemoryUsageVmsize 3.74462e+06
+MemoryUsageVmrss 3.70363e+06
+MemoryUsageVmsize 3.75105e+06
PhiTime 0
-PrelabelingTime 0.258
+PrelabelingTime 0.245
ProcessTime 0
PropagationTime 0
SCCTime 0
-SolveTime 898.522
+SolveTime 875.075
StoreTime 0
Strong/WeakUpdTime 0
-TotalTime 1269.52
+TotalTime 1243.01
UpdateCGTime 0
VersionPropTime 0
-meldLabelingTime 365.759
+meldLabelingTime 362.825
----------------Numbers stats----------------------------
CopysNum 14138
DummyFieldPtrs 2305
@@ -339,13 +339,13 @@
Pointers 543576
ProcessedAParam 0
ProcessedAddr 89395
-ProcessedCopy 162907
+ProcessedCopy 166287
ProcessedFRet 0
-ProcessedGep 973123
-ProcessedLoad 1005828
+ProcessedGep 987939
+ProcessedLoad 1009487
ProcessedMSSANode 1926450
-ProcessedPhi 114207
-ProcessedStore 409615
+ProcessedPhi 115904
+ProcessedStore 411476
SolveIterations 5
StoresNum 26908
StrongUpdates 3382
@@ -360,12 +360,12 @@

Persistent Points-To Cache Statistics: flow-sensitive analysis bitvector
################ (program : redis-server.bc)###############
-UniquePointsToSets 28972
-TotalUnions 1265701980
-PropertyUnions 1115769265
-UniqueUnions 33967
-LookupUnions 149852206
-PreemptiveUnions 46542
+UniquePointsToSets 29229
+TotalUnions 1266058016
+PropertyUnions 1112853232
+UniqueUnions 34750
+LookupUnions 153122493
+PreemptiveUnions 47541
TotalComplements 0
PropertyComplements 0
UniqueComplements 0