Function cwe_checker_lib::checkers::cwe_416::check_cwe

pub fn check_cwe(
    analysis_results: &AnalysisResults<'_>,
    config_json: &Value
) -> (Vec<LogMessage>, Vec<CweWarning>)

Run the check for CWE-416: Use After Free.

This function prepares the bottom-up fixpoint computation by initializing the state at the start of each function with the empty state (i.e. no dangling objects known) and then executing the fixpoint algorithm. Returns collected log messages and CWE warnings.