facebook / facebook/infer

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

Open
#1,760 1 comment 0 reactions 0 assignees View on GitHub
question
Dominant language
OCaml
Stars
15.7k
Forks
2.1k
Avg merge
19h 36m
Merged PRs (30d)
13

Description

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!

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.