mirror of
https://github.com/github/codeql.git
synced 2025-12-17 17:23:36 +01:00
e3cf5c235e
This is realised by somewhat generalising our interfaces for modelling RNGs. We also add tests for randomness-related queries that didn't have any, and addtest cases checking the Apache random-number generators are interchangeable with the stdlib ones.