Class MathRandomSource
A method access calling the random of java.lang.Math.
Import path
import semmle.code.java.security.RandomDataSourceDirect supertypes
Indirect supertypes
Predicates
| getOutput | Gets the result of this source of randomness: either the method access itself, or some argument in the case where it writes random data to that argument. |
Inherited predicates
| getAChildExpr | Gets a child of this expression. | from Expr |
| getAPrimaryQlClass | Gets the name of a primary CodeQL class to which this element belongs. | from MethodCall |
| getATypeArgument | Gets a type argument supplied as part of this method access, if any. | from MethodCall |
| getAnArgument | Gets an argument supplied to the method that is invoked using this method access. | from MethodCall |
| getAnEnclosingStmt | Gets a statement that directly or transitively contains this expression, if any. This is equivalent to | from Expr |
| getArgument | Gets the argument at the specified (zero-based) position in this method access. | from MethodCall |
| getBasicBlock | Gets the basic block in which this expression occurs, if any. | from Expr |
| getCallee | Gets the target callable of this call. | from Call |
| getCaller | Gets the callable invoking this call. | from Call |
| getCompilationUnit | Gets the compilation unit in which this expression occurs. | from Expr |
| getControlFlowNode | Gets the | from Expr |
| getEnclosingCallable | Gets the immediately enclosing callable that contains this method access. | from MethodCall |
| getEnclosingStmt | Gets the immediately enclosing statement that contains this method access. | from MethodCall |
| getFile | Gets the file associated with this element. | from Top |
| getHalsteadID | This statement’s Halstead ID (used to compute Halstead metrics). | from Expr |
| getIndex | Gets the index of this expression as a child of its parent. | from Expr |
| getKind | Gets the kind of this expression. | from Expr |
| getKotlinType | Gets the Kotlin type of this expression. | from Expr |
| getLocation | Gets the source location for this element. | from Top |
| getLowerBound | Gets the integer lower bound, inclusive, of the values returned by this call, if applicable to this method’s type and a constant bound is known. | from RandomDataSource |
| getLowerBoundExpr | Gets the integer lower bound, inclusive, of the values returned by this call, if applicable to this method’s type and a bound is known. | from RandomDataSource |
| getMethod | Gets the method accessed by this method access. | from MethodCall |
| getNumArgument | Gets the number of arguments provided in this call. | from Call |
| getNumberOfCommentLines | Gets the number of comment lines that this element ranges over. | from Top |
| getNumberOfLinesOfCode | Gets the number of lines of code that this element ranges over. | from Top |
| getParent | Gets the parent of this expression. | from Expr |
| getPrimaryQlClasses | Gets a comma-separated list of the names of the primary CodeQL classes to which this element belongs. | from Top |
| getQualifier | Gets the qualifying expression of this method access, if any. | from MethodCall |
| getReceiverType | Gets the type of the qualifier on which this method is invoked, or the enclosing type if there is no qualifier. | from MethodCall |
| getSourceOfRandomness | Gets the type of the source of randomness used by this call. | from RandomDataSource |
| getTotalNumberOfLines | Gets the total number of lines that this element ranges over, including lines of code, comment and whitespace-only lines. | from Top |
| getType | Gets the type of this expression. | from Expr |
| getTypeArgument | Gets the type argument at the specified (zero-based) position in this method access, if any. | from MethodCall |
| getUnderlyingExpr | Gets the underlying expression looking through casts and not-nulls, if any. Otherwise just gets this expression. | from Expr |
| getUpperBound | Gets the integer upper bound, exclusive, of the values returned by this call, if applicable to this method’s type and a constant bound is known. | from RandomDataSource |
| getUpperBoundExpr | Gets the integer upper bound, exclusive, of the values returned by this call, if applicable to this method’s type and a bound is known. | from RandomDataSource |
| hasLocationInfo | Holds if this element is at the specified location. The location spans column | from Top |
| hasQualifier | Holds if this method access has a qualifier. | from MethodCall |
| isCompileTimeConstant | Holds if this expression is a compile-time constant. | from Expr |
| isEnclosingMethodAccess | DEPRECATED: Alias for | from MethodCall |
| isEnclosingMethodCall | Holds if this is a method call to an instance method of the enclosing class | from MethodCall |
| isInStaticContext | Holds if this expression occurs in a static context. | from Expr |
| isNthChildOf | Holds if this expression is the child of the specified parent at the specified (zero-based) position. | from Expr |
| isOwnMethodAccess | DEPRECATED: Alias for | from MethodCall |
| isOwnMethodCall | Holds if this is a method call to an instance method of | from MethodCall |
| isParenthesized | Holds if this expression is parenthesized. | from Expr |
| printAccess | Gets a printable representation of this expression. | from MethodCall |
| resultMayBeBounded | Holds if this source of random data may return bounded values (e.g. integers between 1 and 10). If it does not hold, it may return any value in the range of its result type (e.g., any possible integer). | from RandomDataSource |
| toString | Gets a printable representation of this expression. | from MethodCall |