Bug 2422993 - CVE-2025-66400 frama-c: mdast-util-to-hast: Markdown code elements can appear as regular page content [fedora-43]
Summary: CVE-2025-66400 frama-c: mdast-util-to-hast: Markdown code elements can appear...
Keywords:
Status: CLOSED NOTABUG
Alias: None
Product: Fedora
Classification: Fedora
Component: frama-c
Version: 43
Hardware: Unspecified
OS: Unspecified
medium
medium
Target Milestone: ---
Assignee: Jerry James
QA Contact: Fedora Extras Quality Assurance
URL:
Whiteboard: {"flaws": ["3dea30fe-ac2a-46a0-b4c1-6...
Depends On:
Blocks: CVE-2025-66400
TreeView+ depends on / blocked
 
Reported: 2025-12-17 06:36 UTC by Avinash Hanwate
Modified: 2025-12-17 15:05 UTC (History)
2 users (show)

Fixed In Version:
Clone Of:
Environment:
Last Closed: 2025-12-17 15:05:42 UTC
Type: ---
Embargoed:


Attachments (Terms of Use)

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.


Note You need to log in before you can comment on or make changes to this bug.