Guard
Security
CVEs
CVE 2026 44983 smallbitvec integer overflow in safe api leads to heap buffer overflow
Guard
Security
CVEs
CVE 2026 44983 smallbitvec integer overflow in safe api leads to heap buffer overflow
HOL
Overview
Features
Harnesses
Security
Install
Pricing
Enterprise
Affiliates
Docs
Open App
Account
Account
HOL
Overview
Features
Harnesses
Security
Install
Pricing
Enterprise
Affiliates
Docs
Open App
Account
Account
smallbitvec: Integer overflow in safe API leads to heap buffer overflow (CVE-2026-44983) | HOL Guard CVE