Security: leanprover-community/import-graph
Security
No security policy detected
This project has not set up a SECURITY.md file yet.
-
URL query parameter allows open redirects and XSSGHSA-qrv2-rm2g-m65v published
Sep 27, 2026 by joneugsterModerate
Learn more about advisories related to leanprover-community/import-graph in the GitHub Advisory Database