CVE-2024-55581

Name of the Vulnerable Software and Affected Versions AdaCore Ada Web Server version 25.0.0

Description The issue concerns a lack of verification of an HTTPS server's certificate in the default behaviour of AWS.Client when linked with GnuTLS, making it vulnerable to a man-in-the-middle attack. This occurs unless the using program specifies a TLS configuration.

Recommendations For AdaCore Ada Web Server version 25.0.0, consider specifying a TLS configuration in the using program to enable verification of an HTTPS server's certificate and mitigate the risk of a man-in-the-middle attack. As a temporary workaround, restrict the use of AWS.Client with default settings to minimize the risk of exploitation.