search

SVF-tools / SVF

Static Value-Flow Analysis Framework for Source Code
http://svf-tools.github.io/SVF/
Other
1.43k stars 436 forks source link

Is there a way to disable the output? #1567

Open Lqs66 opened 1 month ago

Lqs66 commented 1 month ago

When I use svf as a lib for pointer analysis, it always outputs some text to the terminal after analysis, like this:

*********General Stats***************
################ (program : arducopter_sitl_pi64.ll)###############
AddrsNum            120212
BBWith2Succ         33237
BBWith3Succ         1060
CallsNum            118062
ConstArrayObj       168
ConstStructObj      1537
ConstantObj         0
CopysNum            61238
FIObjNum            2878
FSObjNum            98713
FunctionObjs        23492
GepsNum             233375
GlobalObjs          3966
HeapObjs            212
IndCallSites        6297
LoadsNum            239633
MaxStructSize       5461
NonPtrObj           68344
ReturnsNum          41908
StackObjs           73920
StoresNum           173445
TotalCallSite       101044
TotalFieldObjects   32080
TotalObjects        101592
TotalPTASVFStmts    626400
TotalPointers       1097363
TotalSVFStmts       1152097
VarArrayObj         763
VarStructObj        9306
----------------Time and memory stats--------------------
LLVMIRTime          7.568
SVFIRTime           29.521
SymbolTableTime     4.476
#######################################################

...
...
...

Is there a way to turn it off?

yuleisui commented 1 month ago

-stat=false

Lqs66 commented 1 month ago

-stat=false

Thanks for the reply, should this be added at compile time?

yuleisui commented 1 month ago

in the terminal, like wpa -ander -stat=false example.bc