docs: Update CodeSonar link

diff --git a/docs/INFRASTRUCTURE.md b/docs/INFRASTRUCTURE.md
index 6acc8757f010df3cedd85b86c3679e1f10e7f31f..cc74f05309e1e9ffe0c8b1412f2f69279320c072 100644 (file)
--- a/docs/INFRASTRUCTURE.md
+++ b/docs/INFRASTRUCTURE.md
@@ -64,7 +64,7 @@ us free of charge.
 
 ## CodeSonar
 
-[CodeSonar](https://codesecure.com/our-products/codesonar/) analyzes the curl
+[CodeSonar](https://www.adacore.com/codesonar) analyzes the curl
 source code daily and emails Daniel Stenberg whenever it finds suspected
 problems in the source code. I hope and expect that we can invite other
 maintainers to access these reports soon.