{"answers":{"affected":"It affects 1 product.","exploited":"It is not confirmed as exploited in the wild, but public exploit code for CVE-2020-19725 exists.","fix":"Upgrade to a fixed version.","what":"CVE-2020-19725 is a high-severity use after free vulnerability in n/a, published on 22 Aug 2023. It can only be exploited from the same machine or local network, and only if a user opens a file or follows a link."},"fix_prompt":"Check this codebase for CVE-2020-19725 and fix it if it is affected.\n\nWhat it is: CVE-2020-19725 is a high-severity use after free vulnerability in n/a, published on 22 Aug 2023. It can only be exploited from the same machine or local network, and only if a user opens a file or follows a link.\nExploitation: It is not confirmed as exploited in the wild, but public exploit code for CVE-2020-19725 exists.\n\nAffected product: n/a. No package-level version data is available, so check the vendor advisory linked from the reference page.\n\nTask:\n1. Search the dependency manifests and lockfiles (for example package.json, package-lock.json, requirements.txt, poetry.lock, uv.lock, pom.xml, build.gradle, go.mod, Cargo.lock, Gemfile.lock) and any Dockerfiles for the affected packages, including transitive dependencies.\n2. If an affected version is in use, upgrade it to the fixed version for its release line with the project's package manager, so the lockfile is regenerated. Prefer the smallest upgrade that fixes it.\n3. If there is no fix, or the upgrade would break the build, do not guess: explain the risk and the safest workaround instead.\n4. Run the tests and summarise what changed and why.\n5. If nothing in the project is affected, say so and change nothing.\n\nReference: https://insights.sbomify.com/CVE-2020-19725/ (Markdown: https://insights.sbomify.com/CVE-2020-19725/index.md)","id":"CVE-2020-19725","markdown":"https://insights.sbomify.com/CVE-2020-19725/index.md","name":"CVE-2020-19725","record":{"aliases":["AZL-27991","AZL-37067","GHSA-whrm-xv93-8gvj","UBUNTU-CVE-2020-19725"],"analysis":{"component_type":"library","fix_type":"upgrade","impacts":["code_execution","denial_of_service"],"network_reachable":"adjacent_or_local","non_default_config":false,"product_category":"Z3 theorem prover","requires_auth":"none","summary":"A use-after-free in the Z3 theorem prover allows attackers to cause crashes or execute arbitrary code via crafted constraints.","user_interaction":"required","vuln_class":"use_after_free"},"analysis_generated_by":"qwen3.8-flash-next","assigner":"mitre","cpe":[{"product":"z3","vendor":"microsoft"}],"cvss":{"score":7.8,"severity":"high","source":"nvd","vector":"CVSS:3.1/AV:L/AC:L/PR:N/UI:R/S:U/C:H/I:H/A:H","version":"3.1"},"cwes":[{"id":"CWE-416","name":"Use After Free"}],"description":"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 and causes unexpected memory access. It can cause segmentation faults or arbitrary code execution.","ecosystems":[],"exploits":{"exploitdb":0,"first_seen":null,"github_poc":0,"max_poc_stars":null,"metasploit":0,"nuclei":0,"refs":[],"tier":"weaponised"},"has_fix":true,"headline":"Use after free in n/a","id":"CVE-2020-19725","indexable":true,"kev":null,"kind":"cve","links":{"ecosystem":null,"product":null,"products":[],"type":"use_after_free","year":"2020"},"n_packages":0,"n_references":1,"next":{"headline":"Denial of service in n/a","id":"CVE-2020-19726"},"packages":[],"prev":{"headline":"Denial of service in n/a","id":"CVE-2020-19724"},"products":["n/a"],"published":"2023-08-22","related":[],"sources":[{"class":"attribution","licence":"CVE Terms of Use (MITRE)","name":"CVE List","prefix":"CVE"},{"class":"attribution","licence":"US public information, NVD API terms","name":"NVD"},{"class":"attribution","licence":"CWE Terms of Use","name":"CWE (MITRE)"},{"class":"attribution","licence":"FIRST CVSS licence","name":"CVSS (FIRST)"}],"ssvc":{"automatable":"no","exploitation":"poc","technical_impact":"total"},"state":"PUBLISHED","updated":"2024-10-04","vendors":["n/a"]},"summary":"A use-after-free in the Z3 theorem prover allows attackers to cause crashes or execute arbitrary code via crafted constraints.","url":"https://insights.sbomify.com/CVE-2020-19725/"}