facebook / facebook/infer

infer question

Open
#1,355 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

Hello infer dev:
I want to obtain callees but not find console command,can you help me?
For example:
obtain proc_uid,proc_name can by infer-debug --procedures command.
how I want to get callees on the console by infer-debug command. Is there an interface for this?
Thanks!

Contributor guide

Open the contributing guide

Research direction

Start with the infer-debug help output or command documentation and check whether a callee query is exposed alongside --procedures. Done means documenting the supported console interface, or confirming that no such command exists.

Written by the indexing model from the issue text.

Assessment

Tech stack
ocaml
Domain
cli, devtools
Issue type
Documentation
Difficulty
2/5
Estimated time
1-3 hours
Activity status
Stale
Clarity
Needs clarification
Newbie friendliness
25/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.