mirror of
https://github.com/github/codeql.git
synced 2025-12-17 09:13:20 +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.
12 lines
116 B
Java
12 lines
116 B
Java
import java.util.Random;
|
|
|
|
public class Test {
|
|
|
|
public static void test() {
|
|
|
|
(new Random()).nextInt();
|
|
|
|
}
|
|
|
|
}
|