Bug 1348951 - coq: External tactic allows arbitrary program execution
Summary: coq: External tactic allows arbitrary program execution
Keywords:
Status: CLOSED UPSTREAM
Alias: None
Product: Security Response
Classification: Other
Component: vulnerability
Version: unspecified
Hardware: All
OS: Linux
medium
medium
Target Milestone: ---
Assignee: Red Hat Product Security
QA Contact:
URL:
Whiteboard:
Depends On: 1348952
Blocks:
TreeView+ depends on / blocked
 
Reported: 2016-06-22 11:57 UTC by Andrej Nemec
Modified: 2019-09-29 13:51 UTC (History)
3 users (show)

Fixed In Version: coq 8.5
Clone Of:
Environment:
Last Closed: 2019-06-08 02:55:44 UTC
Embargoed:

Attachments (Terms of Use)

Description Andrej Nemec 2016-06-22 11:57:14 UTC 
A vulnerability was found in coq. It can execute arbitrary programs during compilation via external tactic. This tactic was removed in coq 8.5.

Upstream bug:

https://coq.inria.fr/bugs/show_bug.cgi?id=4590
Comment 1 Andrej Nemec 2016-06-22 11:57:34 UTC 
Created coq tracking bugs for this issue:

Affects: fedora-all [bug 1348952]
Comment 2 Product Security DevOps Team 2019-06-08 02:55:44 UTC 
This CVE Bugzilla entry is for community support informational purposes only as it does not affect a package in a commercially supported Red Hat product. Refer to the dependent bugs for status of those individual community products.
Note You need to log in before you can comment on or make changes to this bug.