r
rocq
Security Risk Profile
36
/100
lowSecurity Risk Score
Comprehensive risk assessment based on 3 vulnerabilities, EPSS scores, exploitation status, and remediation availability.
📅 Data spans from August 24, 2026 to present
3
Total CVEs
0
Critical+High
0
Exploited
0
Unpatched
Threat Assessment
Avg CVSS
6.8
Base severity
Avg EPSS
0%
Exploit probability
Unpatched
0
Critical/High
Risk Level
36/100
low
🆕 3Fresh (<7d)📈 3 in Last 30 Days
Severity Distribution
Critical
0High
0Medium
3Low
0Exploit Likelihood
>50% chance
020-50%
05-20%
0<5%
0Age Distribution
Common Weaknesses (CWE)
No CWE data available
Most Affected Products
1. Rocq Rocq Prover3
Recent Vulnerabilities
See more →CVE-2026-72705
CVSS 6.8medium
Rocq Prover before 9.2.0 Guard Checker Accepts Fixpoint Passed as a Higher-Order Argument
Aug 24, 2026🔧 No Patch
CVE-2026-72704
CVSS 6.8medium
Rocq Prover through 9.2.0 Guard Checker Trusts Corrupted Recursive Tree After Transport
Aug 24, 2026🔧 No Patch
CVE-2026-72703
CVSS 6.8medium
Rocq Prover 8.20 before 9.2.0 Guard Checker Accepts Non-Terminating Fixpoint via Unchecked Cross-Calls
Aug 24, 2026🔧 No Patch
Monitor rocq in Real-Time
Get instant alerts when new vulnerabilities are discovered. Stay ahead of security threats with SecAlerts.