# Predictable PRNG for security tokens in Java — Agent PR X-Ray

> Canonical page: https://codevetter.com/xray/java-insecure-random

This is an adjudicated synthetic benchmark example, not a claim about an uploaded repository.

## Source

- Corpus: codevetter-public-benchmark/java-insecure-random
- Language: java
- Category: security
- Evidence state: benchmark_ground_truth

## Finding

- Severity: high
- Title: insecure random
- Summary: Reset tokens are generated with java.util.Random, a predictable PRNG whose seed is recoverable from observed outputs, allowing token forgery. SecureRandom should be used instead.
- Source anchor: `source.java:10`

## Verification boundary

The static finding is qualified against benchmark ground truth. No exact-current executable test or audience validation is included in this example, so those stages remain unverified.

## Public product links

- [CodeVetter](https://codevetter.com/)
- [Download](https://codevetter.com/download)
- [Documentation](https://codevetter.com/docs/)
- [Source](https://github.com/Codevetter/codevetter)