Log reverse analysis call graph statistics
Log reverse analysis call graph statistics

Summary:
This adds logging of the number of nodes in the reverse analysis call graph, and the number of these nodes that are invalidated by incremental analysis.

This data will show the precision of incremental analysis.

Reviewed By: ngorogiannis

Differential Revision: D16939101

fbshipit-source-id: 1e465f1a6

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