Combine review and analysis around the CWE-122 trust boundary
MITRE identifies fuzzing, automated dynamic analysis as applicable detection approaches. Use them to pair each heap allocation with the intended element count and prove all later offsets, copies, and reallocation paths remain within that object. Require a reproducible source-to-sink or policy-to-enforcement trace, record coverage gaps, and confirm suspected findings dynamically where safe; no single scanner can establish complete coverage for this weakness.
CWE-122: detection methods and operational guidance — MITRE CWE