search

facebook / infer

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

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

Open ash1852 opened 1 year ago

ash1852 commented 1 year ago

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?