把狼挡在 wolfSSL 之外

摘要

Trail of Bits 公开披露四个 wolfSSL 漏洞（CVE-2022-38152/38153/39173/42905），均由 Dolev-Yao 模型引导的协议模糊测试工具 tlspuffin 自动发现；四个问题都可导致拒绝服务，CVSS 评分从中危到严重不等。