📦 Z3
by Microsoft
🔍 What is Z3?
Description coming soon...
🛡️ Security Overview
Click on a severity to filter vulnerabilities
⚠️ Known Vulnerabilities
CVE-2020-19725 is a use-after-free vulnerability in Z3 theorem prover that occurs during constraint simplification in pdd_simplifier.cpp. This vulnerability allows attackers to cause segmentation faul...