# Vulnerability Overview **Title**: Heap corruption in foreign call results with nested tuple arrays **CVE ID**: CVE-2024-4197 **Severity**: Critical **Affected Versions**: usize { item_type.len() * elem_count } ``` ```rust Type::Array(_, nested_size) => { let inner_array = self.brillig_context.allocate_brillig_array(nested_size as usize); // ... } ```