未評価
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 a...
CVE-2020-19725
SecPulse初出
ディストリビューション別の修正状況
各ディストリビューションが公開している、この CVE の修正パッケージ
- Ubuntu UBUNTU-CVE-2020-19725 z3
原文の説明 取得元が公開している説明をそのまま載せています (多くは英語)。
参照URL
- patch github.com