There is a use-after-free vulnerability in file pdd_simplifier.cpp in Z3 before 4.8.8. It occurs when the solver attempt to simplify the constraints …
Microsoft Edge (Chromium-based) Elevation of Privilege Vulnerability
ASP.NET Elevation of Privilege Vulnerability
.NET Framework Spoofing Vulnerability
ASP.NET Core SignalR and Visual Studio Information Disclosure Vulnerability
Windows Mobile Device Management Elevation of Privilege Vulnerability
Microsoft Exchange Server Remote Code Execution Vulnerability
Microsoft Message Queuing (MSMQ) Denial of Service Vulnerability
Microsoft SQL OLE DB Remote Code Execution Vulnerability
Microsoft Exchange Server Spoofing Vulnerability
Microsoft Exchange Server Remote Code Execution Vulnerability
Windows Kernel Elevation of Privilege Vulnerability
HEVC Video Extensions Remote Code Execution Vulnerability
Microsoft Windows Defender Elevation of Privilege Vulnerability
Microsoft Message Queuing (MSMQ) Denial of Service Vulnerability
.NET Core and Visual Studio Denial of Service Vulnerability
Windows Lightweight Directory Access Protocol (LDAP) Remote Code Execution Vulnerability
Microsoft Dynamics 365 Business Central Elevation of Privilege Vulnerability
Azure Arc-Enabled Servers Elevation of Privilege Vulnerability
Windows Smart Card Resource Management Server Security Feature Bypass Vulnerability
Microsoft Message Queuing Information Disclosure Vulnerability
Microsoft Message Queuing (MSMQ) Denial of Service Vulnerability
Microsoft Message Queuing (MSMQ) Remote Code Execution Vulnerability
Windows System Assessment Tool Elevation of Privilege Vulnerability
Microsoft Message Queuing (MSMQ) Remote Code Execution Vulnerability
Tablet Windows User Interface Application Core Remote Code Execution Vulnerability
Windows Common Log File System Driver Elevation of Privilege Vulnerability
Windows Cloud Files Mini Filter Driver Elevation of Privilege Vulnerability
Windows Wireless Wide Area Network Service (WwanSvc) Information Disclosure Vulnerability
Windows Cryptographic Services Information Disclosure Vulnerability