CVE-2024-41708

The AdaCore ada_web_services 20.0 (specifically the AWS framework) is vulnerable due to the use of a non-cryptographically secure pseudorandom number generator (Ada.Numerics.Discrete_Random ) within the AWS.Utils.Random and AWS.Utils.Random_String components. This flaw in the src/core/aws-utils.a...