AdaCore Ada Web Server 25.0.0 TLS Configuration channel accessible

Summaryinfo

A vulnerability classified as problematic has been found in AdaCore Ada Web Server 25.0.0. Impacted is an unknown function of the component TLS Configuration Handler. This manipulation causes channel accessible. The identification of this vulnerability is CVE-2024-55581. It is possible to initiate the attack remotely. There is no exploit available.

Detailsinfo

A vulnerability was found in AdaCore Ada Web Server 25.0.0. It has been declared as problematic. Affected by this vulnerability is some unknown processing of the component TLS Configuration Handler. The manipulation with an unknown input leads to a channel accessible vulnerability. The CWE definition for the vulnerability is CWE-300. The product does not adequately verify the identity of actors at both ends of a communication channel, or does not adequately ensure the integrity of the channel, in a way that allows the channel to be accessed or influenced by an actor that is not an endpoint. As an impact it is known to affect integrity. The summary by CVE is:

When AdaCore Ada Web Server 25.0.0 is linked with GnuTLS, the default behaviour of AWS.Client is vulnerable to a man-in-the-middle attack because of lack of verification of an HTTPS server's certificate (unless the using program specifies a TLS configuration).

The advisory is shared at docs.adacore.com. This vulnerability is known as CVE-2024-55581 since 12/09/2024. The exploitation appears to be difficult. The attack can be launched remotely. The exploitation doesn't need any form of authentication. Neither technical details nor an exploit are publicly available. The price for an exploit might be around USD $0-$5k at the moment (estimation calculated on 06/01/2025). MITRE ATT&CK project uses the attack technique T1557 for this issue.

The vulnerability scanner Nessus provides a plugin with the ID 232554 (Debian dla-4080 : libaws-bin - security update), which helps to determine the existence of the flaw in a target environment.

There is no information about possible countermeasures known. It may be suggested to replace the affected object with an alternative product.

The vulnerability is also documented in the databases at Tenable (232554) and EUVD (EUVD-2025-5281). If you want to get the best quality for vulnerability data then you always have to consider VulDB.

Productinfo

Type

• Web Server

Vendor

• AdaCore

Name

• Ada Web Server

Version

• 25.0.0

CPE 2.3info

• 🔍
• 🔍

CPE 2.2info

• 🔍
• 🔍

CVSSv4info

CVSSv3info

CVSSv2info

Exploitinginfo

Threat Intelligenceinfo

Countermeasuresinfo

Timelineinfo

Sourcesinfo

Entryinfo

If you want to get the best quality for vulnerability data then you always have to consider VulDB.

Discussion