{"action":"Upgrade pyboolector to 3.1.0 or later.","affected":[{"fixed":"3.1.0","introduced":"0"}],"component":"pyboolector","cve_ids":["CVE-2019-7560"],"ecosystem":"PyPI","epss":0.00959,"exploited":false,"fixed_versions":["3.1.0"],"ghsa_id":"GHSA-g58x-799h-v9h6","id":"tcs_01M5KFGV93ADGD24QCFMJVEMEG","modified_at":"2024-11-26T18:25:54.996070Z","published_at":"2022-05-14T01:36:13Z","references":["https://osv.dev/vulnerability/GHSA-g58x-799h-v9h6","https://nvd.nist.gov/vuln/detail/CVE-2019-7560","https://github.com/Boolector/boolector/issues/28","https://github.com/Boolector/boolector/issues/29","https://github.com/boolector/boolector","https://github.com/pypa/advisory-database/tree/main/vulns/pyboolector/PYSEC-2019-252.yaml"],"severity":{"label":"medium","score":5.5},"sources":[{"source":"osv","source_id":"GHSA-g58x-799h-v9h6","url":"https://osv.dev/vulnerability/GHSA-g58x-799h-v9h6"}],"summary":"Boolector use after free"}