mirror of
https://github.com/github/codeql.git
synced 2025-12-17 09:13:20 +01:00
89 lines
9.3 KiB
YAML
89 lines
9.3 KiB
YAML
# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
|
|
extensions:
|
|
- addsTo:
|
|
pack: codeql/java-all
|
|
extensible: summaryModel
|
|
data:
|
|
- ["java.util.random", "RandomGenerator$ArbitrarilyJumpableGenerator", True, "jumps", "(double)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
|
|
- ["java.util.random", "RandomGenerator$ArbitrarilyJumpableGenerator", True, "jumps", "(long,double)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
|
|
- ["java.util.random", "RandomGenerator$JumpableGenerator", True, "jumps", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
|
|
- ["java.util.random", "RandomGenerator$JumpableGenerator", True, "jumps", "(long)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
|
|
- ["java.util.random", "RandomGenerator$LeapableGenerator", True, "leaps", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
|
|
- ["java.util.random", "RandomGenerator$LeapableGenerator", True, "leaps", "(long)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
|
|
- ["java.util.random", "RandomGenerator$SplittableGenerator", True, "splits", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
|
|
- ["java.util.random", "RandomGenerator$SplittableGenerator", True, "splits", "(RandomGenerator$SplittableGenerator)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
|
|
- ["java.util.random", "RandomGenerator$SplittableGenerator", True, "splits", "(RandomGenerator$SplittableGenerator)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
|
|
- ["java.util.random", "RandomGenerator$SplittableGenerator", True, "splits", "(long)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
|
|
- ["java.util.random", "RandomGenerator$SplittableGenerator", True, "splits", "(long,RandomGenerator$SplittableGenerator)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
|
|
- ["java.util.random", "RandomGenerator$SplittableGenerator", True, "splits", "(long,RandomGenerator$SplittableGenerator)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
|
|
- ["java.util.random", "RandomGenerator", True, "doubles", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
|
|
- ["java.util.random", "RandomGenerator", True, "doubles", "(double,double)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
|
|
- ["java.util.random", "RandomGenerator", True, "doubles", "(long)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
|
|
- ["java.util.random", "RandomGenerator", True, "doubles", "(long,double,double)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
|
|
- ["java.util.random", "RandomGenerator", True, "ints", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
|
|
- ["java.util.random", "RandomGenerator", True, "ints", "(int,int)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
|
|
- ["java.util.random", "RandomGenerator", True, "ints", "(long)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
|
|
- ["java.util.random", "RandomGenerator", True, "ints", "(long,int,int)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
|
|
- ["java.util.random", "RandomGenerator", True, "longs", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
|
|
- ["java.util.random", "RandomGenerator", True, "longs", "(long)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
|
|
- ["java.util.random", "RandomGenerator", True, "longs", "(long,long)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
|
|
- ["java.util.random", "RandomGenerator", True, "longs", "(long,long,long)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
|
|
- addsTo:
|
|
pack: codeql/java-all
|
|
extensible: neutralModel
|
|
data:
|
|
- ["java.util.random", "RandomGenerator$ArbitrarilyJumpableGenerator", "copyAndJump", "(double)", "summary", "df-generated"]
|
|
- ["java.util.random", "RandomGenerator$ArbitrarilyJumpableGenerator", "jump", "()", "summary", "df-generated"]
|
|
- ["java.util.random", "RandomGenerator$ArbitrarilyJumpableGenerator", "leap", "()", "summary", "df-generated"]
|
|
- ["java.util.random", "RandomGenerator$ArbitrarilyJumpableGenerator", "of", "(String)", "summary", "df-generated"]
|
|
- ["java.util.random", "RandomGenerator$JumpableGenerator", "copyAndJump", "()", "summary", "df-generated"]
|
|
- ["java.util.random", "RandomGenerator$JumpableGenerator", "of", "(String)", "summary", "df-generated"]
|
|
- ["java.util.random", "RandomGenerator$JumpableGenerator", "rngs", "()", "summary", "df-generated"]
|
|
- ["java.util.random", "RandomGenerator$JumpableGenerator", "rngs", "(long)", "summary", "df-generated"]
|
|
- ["java.util.random", "RandomGenerator$LeapableGenerator", "copyAndLeap", "()", "summary", "df-generated"]
|
|
- ["java.util.random", "RandomGenerator$LeapableGenerator", "of", "(String)", "summary", "df-generated"]
|
|
- ["java.util.random", "RandomGenerator$SplittableGenerator", "of", "(String)", "summary", "df-generated"]
|
|
- ["java.util.random", "RandomGenerator$SplittableGenerator", "rngs", "()", "summary", "df-generated"]
|
|
- ["java.util.random", "RandomGenerator$SplittableGenerator", "rngs", "(long)", "summary", "df-generated"]
|
|
- ["java.util.random", "RandomGenerator$StreamableGenerator", "of", "(String)", "summary", "df-generated"]
|
|
- ["java.util.random", "RandomGenerator$StreamableGenerator", "rngs", "(long)", "summary", "df-generated"]
|
|
- ["java.util.random", "RandomGenerator", "getDefault", "()", "summary", "df-generated"]
|
|
- ["java.util.random", "RandomGenerator", "isDeprecated", "()", "summary", "df-generated"]
|
|
- ["java.util.random", "RandomGenerator", "nextBoolean", "()", "summary", "df-generated"]
|
|
- ["java.util.random", "RandomGenerator", "nextBytes", "(byte[])", "summary", "df-generated"]
|
|
- ["java.util.random", "RandomGenerator", "nextDouble", "()", "summary", "df-generated"]
|
|
- ["java.util.random", "RandomGenerator", "nextDouble", "(double)", "summary", "df-generated"]
|
|
- ["java.util.random", "RandomGenerator", "nextDouble", "(double,double)", "summary", "df-generated"]
|
|
- ["java.util.random", "RandomGenerator", "nextExponential", "()", "summary", "df-generated"]
|
|
- ["java.util.random", "RandomGenerator", "nextFloat", "()", "summary", "df-generated"]
|
|
- ["java.util.random", "RandomGenerator", "nextFloat", "(float)", "summary", "df-generated"]
|
|
- ["java.util.random", "RandomGenerator", "nextFloat", "(float,float)", "summary", "df-generated"]
|
|
- ["java.util.random", "RandomGenerator", "nextGaussian", "()", "summary", "df-generated"]
|
|
- ["java.util.random", "RandomGenerator", "nextGaussian", "(double,double)", "summary", "df-generated"]
|
|
- ["java.util.random", "RandomGenerator", "nextInt", "()", "summary", "df-generated"]
|
|
- ["java.util.random", "RandomGenerator", "nextInt", "(int)", "summary", "df-generated"]
|
|
- ["java.util.random", "RandomGenerator", "nextInt", "(int,int)", "summary", "df-generated"]
|
|
- ["java.util.random", "RandomGenerator", "nextLong", "(long)", "summary", "df-generated"]
|
|
- ["java.util.random", "RandomGenerator", "nextLong", "(long,long)", "summary", "df-generated"]
|
|
- ["java.util.random", "RandomGenerator", "of", "(String)", "summary", "df-generated"]
|
|
- ["java.util.random", "RandomGeneratorFactory", "all", "()", "summary", "df-generated"]
|
|
- ["java.util.random", "RandomGeneratorFactory", "create", "()", "summary", "df-generated"]
|
|
- ["java.util.random", "RandomGeneratorFactory", "create", "(byte[])", "summary", "df-generated"]
|
|
- ["java.util.random", "RandomGeneratorFactory", "create", "(long)", "summary", "df-generated"]
|
|
- ["java.util.random", "RandomGeneratorFactory", "equidistribution", "()", "summary", "df-generated"]
|
|
- ["java.util.random", "RandomGeneratorFactory", "getDefault", "()", "summary", "df-generated"]
|
|
- ["java.util.random", "RandomGeneratorFactory", "group", "()", "summary", "df-generated"]
|
|
- ["java.util.random", "RandomGeneratorFactory", "isArbitrarilyJumpable", "()", "summary", "df-generated"]
|
|
- ["java.util.random", "RandomGeneratorFactory", "isDeprecated", "()", "summary", "df-generated"]
|
|
- ["java.util.random", "RandomGeneratorFactory", "isHardware", "()", "summary", "df-generated"]
|
|
- ["java.util.random", "RandomGeneratorFactory", "isJumpable", "()", "summary", "df-generated"]
|
|
- ["java.util.random", "RandomGeneratorFactory", "isLeapable", "()", "summary", "df-generated"]
|
|
- ["java.util.random", "RandomGeneratorFactory", "isSplittable", "()", "summary", "df-generated"]
|
|
- ["java.util.random", "RandomGeneratorFactory", "isStatistical", "()", "summary", "df-generated"]
|
|
- ["java.util.random", "RandomGeneratorFactory", "isStochastic", "()", "summary", "df-generated"]
|
|
- ["java.util.random", "RandomGeneratorFactory", "isStreamable", "()", "summary", "df-generated"]
|
|
- ["java.util.random", "RandomGeneratorFactory", "name", "()", "summary", "df-generated"]
|
|
- ["java.util.random", "RandomGeneratorFactory", "of", "(String)", "summary", "df-generated"]
|
|
- ["java.util.random", "RandomGeneratorFactory", "period", "()", "summary", "df-generated"]
|
|
- ["java.util.random", "RandomGeneratorFactory", "stateBits", "()", "summary", "df-generated"]
|