{"url":"http://public2.vulnerablecode.io/api/packages/12997?format=json","purl":"pkg:pypi/pyboolector@3.0.0.20191102.28","type":"pypi","namespace":"","name":"pyboolector","version":"3.0.0.20191102.28","qualifiers":{},"subpath":"","is_vulnerable":true,"next_non_vulnerable_version":"3.1.0","latest_non_vulnerable_version":"3.1.0","affected_by_vulnerabilities":[{"url":"http://public2.vulnerablecode.io/api/vulnerabilities/35321?format=json","vulnerability_id":"VCID-4umz-ddee-muay","summary":"In parser/btorsmt2.c in Boolector 3.0.0, opening a specially crafted input file leads to a use after free in get_failed_assumptions or btor_delete.","references":[{"reference_url":"https://github.com/boolector/boolector","reference_id":"","reference_type":"","scores":[],"url":"https://github.com/boolector/boolector"},{"reference_url":"https://github.com/Boolector/boolector/issues/28","reference_id":"","reference_type":"","scores":[{"value":"5.5","scoring_system":"cvssv3.1","scoring_elements":"CVSS:3.0/AV:L/AC:L/PR:N/UI:R/S:U/C:N/I:N/A:H"}],"url":"https://github.com/Boolector/boolector/issues/28"},{"reference_url":"https://github.com/Boolector/boolector/issues/29","reference_id":"","reference_type":"","scores":[{"value":"5.5","scoring_system":"cvssv3.1","scoring_elements":"CVSS:3.0/AV:L/AC:L/PR:N/UI:R/S:U/C:N/I:N/A:H"}],"url":"https://github.com/Boolector/boolector/issues/29"},{"reference_url":"https://github.com/pypa/advisory-database/tree/main/vulns/pyboolector/PYSEC-2019-252.yaml","reference_id":"","reference_type":"","scores":[],"url":"https://github.com/pypa/advisory-database/tree/main/vulns/pyboolector/PYSEC-2019-252.yaml"},{"reference_url":"https://nvd.nist.gov/vuln/detail/CVE-2019-7560","reference_id":"CVE-2019-7560","reference_type":"","scores":[],"url":"https://nvd.nist.gov/vuln/detail/CVE-2019-7560"},{"reference_url":"https://github.com/advisories/GHSA-g58x-799h-v9h6","reference_id":"GHSA-g58x-799h-v9h6","reference_type":"","scores":[],"url":"https://github.com/advisories/GHSA-g58x-799h-v9h6"}],"fixed_packages":[{"url":"http://public2.vulnerablecode.io/api/packages/13000?format=json","purl":"pkg:pypi/pyboolector@3.1.0","is_vulnerable":false,"affected_by_vulnerabilities":[],"resource_url":"http://public2.vulnerablecode.io/packages/pkg:pypi/pyboolector@3.1.0"}],"aliases":["CVE-2019-7560","GHSA-g58x-799h-v9h6","PYSEC-2019-252"],"risk_score":null,"exploitability":null,"weighted_severity":null,"resource_url":"http://public2.vulnerablecode.io/vulnerabilities/VCID-4umz-ddee-muay"}],"fixing_vulnerabilities":[],"risk_score":null,"resource_url":"http://public2.vulnerablecode.io/packages/pkg:pypi/pyboolector@3.0.0.20191102.28"}