pub fn extract_pi_analysis_results(
    analysis_results: &AnalysisResults<'_>,
    _analysis_params: &Value
) -> (Vec<LogMessage>, Vec<CweWarning>)
Expand description

The entry point for the memory analysis check. Does not actually compute anything but just extracts the results of the already computed pointer inference analysis.