Coverity#
Source code analyser
Coverity Scan is a free static-analysis cloud-based service for the open source community. As the free service is limited to a few scans per day, it isn’t run automatically.
Resource leaks
Potential NULL dereferences
Logically dead code
and much more
To run the check, create a branch on the NeoMutt repo and visit the Actions Page.
Select a branch using the “Run workflow” dropdown
Hit the “Run workflow” button
The rest of the process is automated.
The latest statistics on NeoMutt can be found here:
For security, the details of the defects are not made public. If you wish to see the details, you must create an account (or login with GitHub) and click “Add me to project”.
See also: asan
See also: scan-build