Function cwe_checker_lib::checkers::cwe_119::check_cwe

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

Run the check for CWE-119: Buffer Overflows.

This function prepares the fixpoint computation that computes the CWE warnings by setting the start states for all function starts. Then the fixpoint computation is executed. Afterwards, the collected logs and CWE warnings are collected from a separate logging thread and returned.