/** * Replacement function for nextBytes * * @param bytes */ public void nextBytes(byte[] bytes) { org.evosuite.runtime.Random.nextBytes(bytes); }
/** * Replacement function for nextBytes * @param bytes */ public void nextBytes(byte[] bytes) { org.evosuite.runtime.Random.nextBytes(bytes); }
/** * Replacement for function java.util.UUID.randomUUID() * @return */ public static UUID randomUUID() { wasAccessed = true; byte[] randomBytes = new byte[16]; nextBytes(randomBytes); randomBytes[6] &= 0x0f; /* clear version */ randomBytes[6] |= 0x40; /* set to version 4 */ randomBytes[8] &= 0x3f; /* clear variant */ randomBytes[8] |= 0x80; /* set to IETF variant */ UUID newUUID = buildNewUUID(randomBytes); return newUUID; }