Bug 2387627

Summary: CVE-2025-8733 bison: Bison Assertion Reachability Vulnerability [fedora-41]
Product: [Fedora] Fedora Reporter: Michal Findra <mfindra>
Component: bisonAssignee: Arjun Shankar <arjun>
Status: CLOSED NOTABUG QA Contact: Fedora Extras Quality Assurance <extras-qa>
Severity: low Docs Contact:
Priority: low    
Version: 41CC: arjun, fweimer, me, pfrankli, suraj.ghimire7
Target Milestone: ---Keywords: Security, SecurityTracking
Target Release: ---   
Hardware: Unspecified   
OS: Unspecified   
Whiteboard: {"flaws": ["f3e85696-a6f4-4af5-8a1d-804d998b6314"]}
Fixed In Version: Doc Type: ---
Doc Text:
Story Points: ---
Clone Of: Environment:
Last Closed: 2025-09-05 13:13:30 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: 2387286    

Description Michal Findra 2025-08-11 14:54:06 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 Florian Weimer 2025-09-05 13:13:30 UTC 
Collin Funk writes that upstream successfully disputed the vulnerability:

“
Yes, but I got sidetracked and completly forgot to update here. Sorry
about that. They tagged the two CVEs as disuputed and mentioned that
they could not be reproduced [1][2]. I assume other sites such as Red
Hat's will be updated eventually to list the same [3].

VulnDB send a screenrecording from the original reporter where they ran
'bison' with all the POC files. They all Segmentation Fault, no failed
assertions or anything like the original report say.

Also, I realize now that obprintf.c is a glibc file. Gnulib (which is
imported into Bison) only has obstack.c and obstack_printf.c.

With that information, upon everything I mentioned in previous messages,
I am fairly confident that these CVEs are bogus.

Collin

[1] https://www.cve.org/CVERecord?id=CVE-2025-8733
[2] https://www.cve.org/CVERecord?id=CVE-2025-8734
[3] https://access.redhat.com/security/cve/cve-2025-8733
”

<https://lists.gnu.org/archive/html/bug-bison/2025-08/msg00019.html>