Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Remove coverity from the DevGuide #1411

Merged
merged 4 commits into from
Sep 24, 2024
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 0 additions & 2 deletions conf.py
Original file line number Diff line number Diff line change
Expand Up @@ -114,11 +114,9 @@
rediraffe_redirects = {
# Development Tools
"clang.rst": "development-tools/clang.rst",
"coverity.rst": "development-tools/coverity.rst",
"gdb.rst": "development-tools/gdb.rst",
# Advanced Tools was renamed Development Tools in gh-1149
"advanced-tools/clang.rst": "development-tools/clang.rst",
"advanced-tools/coverity.rst": "development-tools/coverity.rst",
"advanced-tools/gdb.rst": "development-tools/gdb.rst",
# Core Developers
"coredev.rst": "core-developers/become-core-developer.rst",
Expand Down
1 change: 0 additions & 1 deletion core-developers/experts.rst
Original file line number Diff line number Diff line change
Expand Up @@ -319,7 +319,6 @@ buildbots zware, pablogsal
bytecode benjaminp, 1st1, markshannon, brandtbucher, carljm, iritkatriel
context managers ncoghlan
core workflow Mariatta, ezio-melotti, hugovk, AA-Turner
coverity scan tiran, Yhg1s
cryptography gpshead, dstufft
data formats
database malemburg
Expand Down
4 changes: 3 additions & 1 deletion development-tools/clang.rst
Original file line number Diff line number Diff line change
Expand Up @@ -54,7 +54,7 @@ A complete list of sanitizers can be found at `Controlling Code Generation

Clang and its sanitizers have strengths (and weaknesses). Its just one tool in
the war chest to uncovering bugs and improving code quality. Clang should be
used to complement other methods, including Code Reviews, Valgrind, Coverity,
used to complement other methods, including Code Reviews, `Valgrind`_,
etc.

Clang/LLVM setup
Expand Down Expand Up @@ -281,3 +281,5 @@ Unfortunately, you won't know what to ignorelist until you run the sanitizer.

The documentation is available at `Sanitizer special case list
<https://clang.llvm.org/docs/SanitizerSpecialCaseList.html>`_.

.. _Valgrind: https://github.com/python/cpython/blob/main/Misc/README.valgrind
141 changes: 0 additions & 141 deletions development-tools/coverity.rst

This file was deleted.

1 change: 0 additions & 1 deletion development-tools/index.rst
Original file line number Diff line number Diff line change
Expand Up @@ -8,5 +8,4 @@ Development tools
clinic
gdb
clang
coverity
warnings
Loading