We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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
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?
The text was updated successfully, but these errors were encountered:
-stat=false
Sorry, something went wrong.
Thanks for the reply, should this be added at compile time?
in the terminal, like wpa -ander -stat=false example.bc
wpa -ander -stat=false example.bc
No branches or pull requests
When I use svf as a lib for pointer analysis, it always outputs some text to the terminal after analysis, like this:
Is there a way to turn it off?
The text was updated successfully, but these errors were encountered: