diff options
| -rw-r--r-- | docs/utilities.html | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/docs/utilities.html b/docs/utilities.html index 9541d3082f7..5c0a4fdcd2e 100644 --- a/docs/utilities.html +++ b/docs/utilities.html @@ -30,6 +30,10 @@ <dt><a href="http://www.valgrind.org">Valgrind</a></dt> <dd>is a very useful tool for tracking down memory-related problems in your code.</dd> + + <dt><a href="http:scan.coverity.com/projects/mesa">Coverity</a><dt> + <dd>provides static code analysis of Mesa. If you create an account + you can see the results and try to fix outstanding issues.</dd> </dl> </div> |