{"cpe_name_id":"57b9044d-a56e-49fe-a88c-a16a26df0cb7","cpe_uri":"cpe:2.3:a:btor2tools_project:btor2tools:*:*:*:*:*:*:*:*","created_at":"2026-06-01T10:14:37.881438","deprecated":false,"deprecated_by":null,"edition":"*","from_proposal":false,"id":1763294,"language":"*","notes":"Imported from purl2cpe mapping","other":"*","part":"a","product_id":57652,"product_uuid":"bfb02622-bf1b-5409-91b3-77f80086ca14","purl_mappings":[{"cpe_name_id":"57b9044d-a56e-49fe-a88c-a16a26df0cb7","created_at":"2026-06-01T10:14:37.882635","id":1398250,"purl":"pkg:github/boolector/btor2tools","source":"purl2cpe","updated_at":"2026-06-01T10:14:37.882636"}],"sw_edition":"*","target_hw":"*","target_sw":"*","title":"Btor2Tools","update":"*","updated_at":"2026-06-01T10:14:37.881440","vendor_id":11690,"vendor_uuid":"e556c41b-99f0-5cf3-aa0d-aaab061b51ec","version":"*","vulnerability_references":[{"approved_at":"2026-06-08T05:14:14.531626","cpe_applicability":"vulnerable","id":1602286,"rationale":"Imported from gcve-enriched-dumps CVE data","submitted_at":"2026-06-08T05:14:14.532590","vulnerability_id":"CVE-2019-7559","vulnerability_source":"CVE"}]}