Skip to content
OpenAdvisories

Weakness (CWE)

CWE-459: Incomplete Cleanup

Base Draft

The product does not properly "clean up" and remove temporary or supporting resources after they have been used.

How to prevent it (1 mitigation)

  1. Architecture and Design, Implementation

    Temporary files and other supporting resources should be deleted/released immediately after they are no longer needed.

Source: MITRE CWE-459

All Critical High Medium Low Exploited only Public exploit

1 result · Clear filters · Feed

  • Medium 6.3
    CVE-2026-72714 Public exploit

    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 …

    rocq-prover rocq