Bug 2422993

Summary: CVE-2025-66400 frama-c: mdast-util-to-hast: Markdown code elements can appear as regular page content [fedora-43]
Product: [Fedora] Fedora Reporter: Avinash Hanwate <ahanwate>
Component: frama-cAssignee: Jerry James <loganjerry>
Status: CLOSED NOTABUG QA Contact: Fedora Extras Quality Assurance <extras-qa>
Severity: medium Docs Contact:
Priority: medium    
Version: 43CC: Andre.MARONEZE, loganjerry
Target Milestone: ---Keywords: Security, SecurityTracking
Target Release: ---   
Hardware: Unspecified   
OS: Unspecified   
Whiteboard: {"flaws": ["3dea30fe-ac2a-46a0-b4c1-6ea63d58d339"]}
Fixed In Version: Doc Type: ---
Doc Text:
Story Points: ---
Clone Of: Environment:
Last Closed: 2025-12-17 15:05:42 UTC Type: ---
Regression: --- Mount Type: ---
Documentation: --- CRM:
Verified Versions: Category: ---
oVirt Team: --- RHEL 7.3 requirements from Atomic Host:
Cloudforms Team: --- Target Upstream Version:
Embargoed:
Bug Depends On:    
Bug Blocks: 2418157    

Description Avinash Hanwate 2025-12-17 06:36:36 UTC 
Disclaimer: Community trackers are created by Red Hat Product Security team on a best effort basis. Package maintainers are required to ascertain if the flaw indeed affects their package, before starting the update process.

The following link provides references to all essential vulnerability management information. If something is wrong or missing, please contact a member of PSIRT.
https://spaces.redhat.com/display/PRODSEC/Vulnerability+Management+-+Essential+Documents+for+Engineering+Teams
Comment 1 Jerry James 2025-12-17 15:05:42 UTC 
mdast-util-to-hast is part of ivette, a graphical front-end for frama-c.  We do not ship it in Fedora, since it is a Proton app, and we have never figured out how to support Proton apps in RPM builds.