Vulners
Lucene search
3 matches found
EUVD-2019-0164
Malware in sbrugna...
5.5CVSS5.4AI score0.00959EPSS
Exploits1References10
GHSA-G58X-799H-V9H6 Boolector use after free
In parser/btorsmt2.c in Boolector 3.0.0, opening a specially crafted input file leads to a use after free in getfailedassumptions or btordelete...
7.1CVSS5.5AI score0.00959EPSS
Exploits1References5
PYSEC-2019-252
In parser/btorsmt2.c in Boolector 3.0.0, opening a specially crafted input file leads to a use after free in getfailedassumptions or btordelete...
5.5CVSS5.5AI score0.00959EPSS
Exploits1References2
20