[ConfigImpact] Inter-procedural analysis
[ConfigImpact] Inter-procedural analysis

Summary:
This diff makes the analysis inter-procedural.

* If a callee is called in a config check branch, it does nothing.
* if a callee is called outside config check branches,
  * If callee's summary is empty, add the callee's name to the set of unchecked callees.
  * If callee's summary is not empty, join the summary to the set of unchecked callees. (We intentionally don't add the callee's name here.)

Reviewed By: ezgicicek

Differential Revision: D26465235

fbshipit-source-id: ac3ad3543

facebook/infer,facebook/infer,jvillard/infer,facebook/infer,facebook/infer,jvillard/infer,jvillard/infer,facebook/infer,facebook/infer,facebook/infer,jvillard/infer,jvillard/infer,jvillard/infer,jvillard/infer