Combine review and analysis around the CWE-121 trust boundary
MITRE identifies fuzzing, automated static analysis, automated dynamic analysis as applicable detection approaches. Use them to identify fixed-size local arrays and prove every write, copy, format operation, and terminator remains within the stack 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-121: detection methods and operational guidance — MITRE CWE