Lucene search
+L

62709 matches found

CVE
CVE
•added 2026/08/24 8:08 p.m.•21 views

CVE-2026-72714

Rocq Prover (through 9.2.0) contains a state desynchronization in its universe checking mechanism. When a module that locally disabled the universe checking flag is closed, the global flag is restored but the universe graph retains its own copy left disabled . The kernel then accepts universe-inc...

6.8CVSS5.4AI score0.00176EPSS
SaveExploits0References4
OSV
OSV
•added 2026/08/24 8:08 p.m.•17 views

CVE-2026-72714 Rocq Prover through 9.2.0 Universe Checking State Desynchronised After Module Close

Rocq Prover does not restore the universe graph's copy of the universe checking flag when a module that locally disabled the check is closed. Local Unset Universe Checking inside a module is expected to last only until the module ends, and the global flag is restored, but the universe graph keeps...

6.8CVSS5.6AI score
SaveExploits0References6
EUVD
EUVD
•added 2026/08/24 8:08 p.m.•26 views

EUVD-2020-31263

Print Assumptions does not report that a definition was produced while universe checking was disabled when that definition reaches the caller through Parameter Inline in a module type. Applying a functor inlines the body of the parameter, and the inlining drops the record that the term was built...

6.8CVSS5.6AI score0.00183EPSS
SaveExploits0References5
CVE
CVE
•added 2026/08/24 8:08 p.m.•22 views

CVE-2020-37268

Coq and Rocq provers are affected by a soundness flaw in the Print Assumptions audit command. When a definition is created with universe checking disabled and later inlined via Parameter Inline in a module type, the inlining drops the record of the unsafe operation. The resulting constant carries...

6.8CVSS5.6AI score0.00183EPSS
SaveExploits0References5
CVE
CVE
•added 2026/08/24 6:26 p.m.•60 views

CVE-2026-78541

A stored OS command injection vulnerability exists in the parent-control module of TP-Link Archer BE3600 V1 . An authenticated adjacent attacker with administrative access can store a crafted profile name containing shell metacharacters, which is later processed unsafely during daily cloud report...

8.5CVSS5.7AI score0.0228EPSS
SaveExploits0References3
EUVD
EUVD
•added 2026/08/24 6:26 p.m.•15 views

EUVD-2026-65062

A stored OS command injection vulnerability exists in the parent-control module of TP-Link Archer BE3600 V1. An authenticated adjacent attacker with administrative access may store a crafted profile name containing shell metacharacters, which is later processed unsafely during daily cloud report...

8.5CVSS5.8AI score0.0228EPSS
SaveExploits0References3
RedhatCVE
RedhatCVE
•added 2026/08/24 5:17 p.m.•13 views

CVE-2026-74684

A flaw was found in the Linux kernel's net: tap module. A NULL pointer dereference can occur in the tapgetuserxdp function when processing an XDP buffer with a GSO virtio-net header and a zero protocol. This can be triggered by a malicious guest in a virtualized environment, leading to a system...

7.1CVSS5.6AI score0.00186EPSS
SaveExploits0References4
RedhatCVE
RedhatCVE
•added 2026/08/24 4:00 p.m.•10 views

CVE-2026-74659

A flaw was found in the Linux kernel's Multiple Registration Protocol MRP bridge module. When constructing MRP test frames, the brmrpalloctestskb function fails to properly initialize certain fields. This oversight results in three uninitialized bytes being transmitted in every MRA MRPTest frame,...

5.5CVSS5.2AI score0.00215EPSS
SaveExploits0References4
OSV
OSV
•added 2026/08/24 3:34 p.m.•6 views

SUSE-SU-2026:3756-1 Security update for the Linux Kernel (Live Patch 46 for SUSE Linux Enterprise 15 SP4)

This update for the SUSE Linux Enterprise Kernel 5.14.21-150400.24.184 fixes various security issues: The following security issues were fixed: - CVE-2023-53995: net: ipv4: fix one memleak in inetdelifa bsc1269284. - CVE-2025-40204,CVE-2026-53224,CVE-2026-53246: sctp: validate cached peer INIT...

9.8CVSS5.7AI score0.00745EPSS
SaveExploits22References39
RedhatCVE
RedhatCVE
•added 2026/08/24 3:22 p.m.•8 views

CVE-2026-53524

A flaw was found in WeeChat. An authenticated user of the relay module's WebSocket functionality can send a small compressed frame that, when decompressed, expands to a significantly larger size. This "decompression bomb" can exhaust all available server memory, leading to a Denial of Service DoS...

6.5CVSS5.4AI score0.00484EPSS
SaveExploits0References2
IBM Security Bulletins
IBM Security Bulletins
•added 2026/08/24 3:16 p.m.•33 views

Security Bulletin: Langflow is affected by weaknesses in secret handling and sensitive configuration access

Summary Langflow includes features for secret protection, environment access, and runtime configuration of workflow components. Weaknesses in cryptographic key handling, exposure of process environment values, and insufficient restriction of sensitive runtime configuration fields could allow...

9.8CVSS6AI score0.00417EPSS
SaveExploits0Affected Software1
IBM Security Bulletins
IBM Security Bulletins
•added 2026/08/24 3:13 p.m.•39 views

Security Bulletin: Langflow OSS is affected by arbitrary code execution in component generation, validation, and custom component handling

Summary Langflow OSS supports Agentic Assistant generated components and user-supplied custom Python components for workflow development. Weaknesses in code security scanning, runtime validation, custom component execution paths, and trusted code enforcement could allow authenticated users to...

8.8CVSS6.8AI score0.00676EPSS
SaveExploits1Affected Software1
RedHat Linux
RedHat Linux
•added 2026/08/24 2:37 p.m.•14 views

kernel: dlm: validate length in dlm_search_rsb_tree

A flaw was found in the Linux kernel's Distributed Lock Manager dlm module. An attacker could send specially crafted network messages with an oversized length parameter to the dlmdumprsbname function. This lack of validation can lead to an out-of-bounds write in the dlmsearchrsbtree function,...

9.8CVSS9.1AI score0.00426EPSS
SaveExploits0References5
RedhatCVE
RedhatCVE
•added 2026/08/24 1:31 p.m.•11 views

CVE-2026-74603

A flaw was found in the Linux kernel's ptp: ocp module. This vulnerability occurs because the EEPROM board ID, a fixed-size field, is not guaranteed to be null-terminated. When this ID is processed as a C string, it may lead to an over-read beyond its intended memory boundary. This memory...

7.1CVSS5.5AI score0.00167EPSS
SaveExploits0References4
RedhatCVE
RedhatCVE
•added 2026/08/24 1:29 p.m.•11 views

CVE-2026-68765

A flaw was found in hashcat. Attackers can exploit a heap buffer overflow vulnerability in the KeePass AESKDF/KDBX v4 module by providing an oversized ninth hash field token. The module processes input up to 600 hexadecimal characters into a fixed 256-byte buffer without proper length validation...

6.1CVSS6AI score0.0018EPSS
SaveExploits0References2
RedHat Linux
RedHat Linux
•added 2026/08/24 1:21 p.m.•20 views

Important: Red Hat Security Advisory: python3.14 security update

An update for python3.14 is now available for Red Hat Enterprise Linux 10. Red Hat Product Security has rated this update as having a security impact of Important. A Common Vulnerability Scoring System CVSS base score, which gives a detailed severity rating, is available for each vulnerability fr...

7.8CVSS5.4AI score0.0075EPSS
SaveExploits0References2
RedHat Linux
RedHat Linux
•added 2026/08/24 1:13 p.m.•11 views

nanoid: nanoid: Denial of Service via negative size input in non-secure module functions

A flaw was found in nanoid Nano ID, a JavaScript library used for generating unique identifiers. This vulnerability allows an attacker to cause a Denial of Service DoS by providing a negative size input to the customAlphabet or nanoid functions within the library's non-secure module. When a...

8.2CVSS6.2AI score0.0033EPSS
SaveExploits0References7
RedhatCVE
RedhatCVE
•added 2026/08/24 11:10 a.m.•14 views

CVE-2026-74727

A flaw was found in the Linux kernel's ovpn module. A race condition can occur when an OpenVPN ovpn peer is removed concurrently while the system attempts to rehash it. This can lead to the peer being re-inserted into internal tables after it has been logically removed, creating a Use-After-Free...

9.8CVSS5.7AI score0.00649EPSS
SaveExploits0References4
AstraLinux
AstraLinux
•added 2026/08/24 10:19 a.m.•11 views

Astra Linux – Vulnerability in Linux 5.10

In the Linux kernel, the following vulnerability has been resolved: net:sfc: Fixed issues with non-freezed interrupts in legacy IRQ mode. The SFC driver can be configured using modparam to work with MSI-X, MSI, or legacy IRQ interrupts. In the latter case, the interrupt wasn’t properly released...

5.5CVSS6.2AI score0.00222EPSS
SaveExploits0References2
AstraLinux
AstraLinux
•added 2026/08/24 10:19 a.m.•5 views

Astra Linux – Vulnerability in Linux 5.10

In the Linux kernel, the following vulnerability has been resolved: In the net subsystem, for the dsa interface, in the mxl862xx module, there was a issue where the DSA ports were freed after they had been used. Upon a MDIO CRC error, the mxl862xxcrcerrworkfn function iterates through the DSA por...

7.8CVSS6.1AI score0.00165EPSS
SaveExploits0References1
Rows per page
Query Builder