Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Is there a way to disable the output? #1567

Open
Lqs66 opened this issue Oct 9, 2024 · 3 comments
Open

Is there a way to disable the output? #1567

Lqs66 opened this issue Oct 9, 2024 · 3 comments

Comments

@Lqs66
Copy link

Lqs66 commented Oct 9, 2024

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
Copy link
Collaborator

yuleisui commented Oct 9, 2024

-stat=false

@Lqs66
Copy link
Author

Lqs66 commented Oct 10, 2024

-stat=false

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

@yuleisui
Copy link
Collaborator

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

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants