CVE-2024-41708

The Ada Web Server (aws) and AdaCore ada_web_services 20.0 are vulnerable because they do not use a cryptographically secure pseudorandom number generator. Specifically, the AWS.Utils.Random and AWS.Utils.Random_String functions utilized Ada.Numerics.Discrete_Random, which is not designed for cry...