FluxRein
github

GitHub Discovery · Disclosure issues and pull requests

github.com ·Threat Intel·9 items·updated
leanprover/lean4: `Task.bind` leaks the inner task when the bind task is dropped while its function runs

`Task.bind` leaks the inner task when the bind task is dropped while its function runs ### Prerequisites * [x] Check that your issue is not already filed: https://github.com/leanprover/lean4/issues * [x] Reduce the issue to a minimal, self-contained, reproducible test case. Avoid dependencies to Mathlib or Batteries.…

graphql-rust/juniper: Missing security policy prevents a responsible disclosure in case a security vulnerability is discovered

Missing security policy prevents a responsible disclosure in case a security vulnerability is discovered **Is your feature request related to a problem? Please describe.** There is no [security policy](https://github.com/graphql-rust/juniper/security/policy) set up for this project. Also, searching for `security` in…

peleduri/zero-day-pulse: 🚨 Zero Day Pulse — Active Vulnerability Tracker

🚨 Zero Day Pulse — Active Vulnerability Tracker # Zero Day Pulse > **Generated:** 2026-05-26 14:37 UTC | **Total:** 15 | 🔴 KEV: 0 | 🟠 Zero-Day: 13 | 🟡 High: 2 | ✨ Enriched: 10 --- ## 1. 🟠 Zero-Day — Ransomware Actors Exploit Unpatched SimpleHelp Remote Monitoring and Management to Compromise Utility Billing…

x402-foundation/x402: [SECURITY] x402-express 1.2.0: Server-SR2 side-effect leak on failed settlement + :param route fail-open

[SECURITY] x402-express 1.2.0: Server-SR2 side-effect leak on failed settlement + :param route fail-open # Security Audit Report: x402-express 1.2.0 **Reporter:** Thomas Fulloon / bongs (Executive Brain) **Date:** 29 October 2026 **Target:** x402-express 1.2.0 (npm package) **Severity:** High (Server-SR2 violation) +…