facebook / facebook/infer

[question]can infer reuse library summary for application analysis?

Open
#1,689 0 comments 2 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 see that infer can dump function summaries to disk, I'm curious if these function summaries are reusable? For example, if I get the function summary of a third-party dependency library function **lib** after analyzing it, can I directly load the function summary obtained when analyzing the lib into memory for reuse when analyzing the project **app** which is depend on **lib**? Or is it just for debug?

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.