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.