pub fn run<'a>(
    analysis_results: &'a AnalysisResults<'a>,
    config: Config,
    print_debug: bool,
    print_stats: bool
) -> PointerInference<'a>
Expand description

Compute the pointer inference analysis and return its results.

If print_debug is set to true print debug information to stdout. Note that the format of the debug information is currently unstable and subject to change.