We find bugs faster than we can report them.

The genproof team finds bugs in compilers, libraries, proof assistants, protocols and services. The cards in the background are these bugs. Click a card to read it.

bugs found
 
projects
 
fixed
 

Read the sent bugs See the projects

Projects

The projects where we found bugs, the most popular first. The number is all the bugs that we found in the project. Click a project to see where its bugs are now.

    Reported bugs

    Not sent yet
    We found the bug and checked it. The project does not know about it yet.
    Sent
    The project got our report. Nobody from the project answered yet.
    Confirmed
    A person from the project agrees that it is a bug.
    Fixing
    The project works on a fix. A change that fixes the bug waits for review.
    Fixed
    The project put the fix into its code. The bug is gone.
    Sort:

    SeverityBugProjectStatusSent