search

facebook / infer

A static analyzer for Java, C, C++, and Objective-C
http://fbinfer.com/
MIT License
14.8k stars 2k forks source link

Does infer provide pointer analysis, and how can I get the call graph. #1760

Open nibienaohehe opened 1 year ago

nibienaohehe commented 1 year ago

Hi, I am new to infer. I want to build some analyses and checkers towards java projects on top of Infer. I have read the Infer document, but still do not know how to get the pointer analysis results and how to get the call graph. Where can I get some reference. Thanks a lot!

SolomonSun2010 commented 1 year ago

As I know , developers debug mainly by output of CFG. You could add -g option as below. infer -g --MyChecker -- javac Test.java,

then see here : infer-out/captured/Test.java.74446a0a1e446fb9e76fa96eb46017b8/icfg.dot The dot format，there is VS Code plugin to open。 Furthermore, simple console output with Logging.debug_dev "\nHi SQH;"。

Try with these options: https://fbinfer.com/docs/man-infer-debug