We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent fb875f5 commit 057a74dCopy full SHA for 057a74d
java/ql/lib/semmle/code/java/security/WeakRandomnessQuery.qll
@@ -7,13 +7,6 @@ private import semmle.code.java.dataflow.TaintTracking
7
private import semmle.code.java.dataflow.ExternalFlow
8
private import semmle.code.java.security.RandomQuery
9
10
-/**
11
- * The `java.util.Random` class.
12
- */
13
-class TypeRandom extends RefType {
14
- TypeRandom() { this.hasQualifiedName("java.util", "Random") }
15
-}
16
-
17
/**
18
* A node representing a source of weak randomness.
19
*
0 commit comments