Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/C/Firefox/security/nss/gtests/pk11_gtest/   (Browser von der Mozilla Stiftung Version 136.0.1©)  Datei vom 10.2.2025 mit Größe 3 kB image not shown  

Quelle  pk11_prng_unittest.cc   Sprache: C

 
/* -*- Mode: C++; tab-width: 8; indent-tabs-mode: nil; c-basic-offset: 2 -*- */
/* vim: set ts=2 et sw=2 tw=80: */
/* This Source Code Form is subject to the terms of the Mozilla Public
 * License, v. 2.0. If a copy of the MPL was not distributed with this file,
 * You can obtain one at http://mozilla.org/MPL/2.0/. */


#include <memory>
#include "blapi.h"
#include "pk11pub.h"

#include "gtest/gtest.h"

namespace nss_test {

class PK11PrngTest : public ::testing::Test {};

#ifdef UNSAFE_FUZZER_MODE

// Test that two consecutive calls to the RNG return two distinct values.
TEST_F(PK11PrngTest, Fuzz_DetPRNG) {
  std::vector<uint8_t> rnd1(2048, 0);
  std::vector<uint8_t> rnd2(2048, 0);

  SECStatus rv = PK11_GenerateRandom(rnd1.data(), rnd1.size());
  EXPECT_EQ(rv, SECSuccess);

  rv = PK11_GenerateRandom(rnd2.data(), rnd2.size());
  EXPECT_EQ(rv, SECSuccess);

  EXPECT_NE(rnd1, rnd2);
}

// Test that two consecutive calls to the RNG return two equal values
// when the RNG's internal state is reset before each call.
TEST_F(PK11PrngTest, Fuzz_DetPRNG_Reset) {
  std::vector<uint8_t> rnd1(2048, 0);
  std::vector<uint8_t> rnd2(2048, 0);

  EXPECT_EQ(SECSuccess, RNG_RandomUpdate(NULL, 0));

  SECStatus rv = PK11_GenerateRandom(rnd1.data(), rnd1.size());
  EXPECT_EQ(rv, SECSuccess);

  EXPECT_EQ(SECSuccess, RNG_RandomUpdate(NULL, 0));

  rv = PK11_GenerateRandom(rnd2.data(), rnd2.size());
  EXPECT_EQ(rv, SECSuccess);

  EXPECT_EQ(rnd1, rnd2);
}

// Test that the RNG's internal state progresses in a consistent manner.
TEST_F(PK11PrngTest, Fuzz_DetPRNG_StatefulReset) {
  std::vector<uint8_t> rnd1(2048, 0);
  std::vector<uint8_t> rnd2(2048, 0);

  EXPECT_EQ(SECSuccess, RNG_RandomUpdate(NULL, 0));

  SECStatus rv = PK11_GenerateRandom(rnd1.data(), rnd1.size() - 1024);
  EXPECT_EQ(rv, SECSuccess);

  rv = PK11_GenerateRandom(rnd1.data() + 1024, rnd1.size() - 1024);
  EXPECT_EQ(rv, SECSuccess);

  EXPECT_EQ(SECSuccess, RNG_RandomUpdate(NULL, 0));

  rv = PK11_GenerateRandom(rnd2.data(), rnd2.size() - 1024);
  EXPECT_EQ(rv, SECSuccess);

  rv = PK11_GenerateRandom(rnd2.data() + 1024, rnd2.size() - 1024);
  EXPECT_EQ(rv, SECSuccess);

  EXPECT_EQ(rnd1, rnd2);
}

TEST_F(PK11PrngTest, Fuzz_DetPRNG_Seed) {
  std::vector<uint8_t> rnd1(2048, 0);
  std::vector<uint8_t> rnd2(2048, 0);
  std::vector<uint8_t> seed = {0x01, 0x22, 0xAA, 0x45};

  SECStatus rv = PK11_RandomUpdate(seed.data(), seed.size());
  EXPECT_EQ(rv, SECSuccess);

  rv = PK11_GenerateRandom(rnd1.data(), rnd1.size());
  EXPECT_EQ(rv, SECSuccess);

  rv = PK11_GenerateRandom(rnd2.data(), rnd2.size());
  EXPECT_EQ(rv, SECSuccess);

  EXPECT_NE(rnd1, rnd2);
}

TEST_F(PK11PrngTest, Fuzz_DetPRNG_StatefulReset_Seed) {
  std::vector<uint8_t> rnd1(2048, 0);
  std::vector<uint8_t> rnd2(2048, 0);
  std::vector<uint8_t> seed = {0x01, 0x22, 0xAA, 0x45};

  SECStatus rv = PK11_RandomUpdate(seed.data(), seed.size());
  EXPECT_EQ(rv, SECSuccess);

  rv = PK11_GenerateRandom(rnd1.data(), rnd1.size() - 1024);
  EXPECT_EQ(rv, SECSuccess);

  rv = PK11_GenerateRandom(rnd1.data() + 1024, rnd1.size() - 1024);
  EXPECT_EQ(rv, SECSuccess);

  rv = PK11_RandomUpdate(seed.data(), seed.size());
  EXPECT_EQ(rv, SECSuccess);

  rv = PK11_GenerateRandom(rnd2.data(), rnd2.size() - 1024);
  EXPECT_EQ(rv, SECSuccess);

  rv = PK11_GenerateRandom(rnd2.data() + 1024, rnd2.size() - 1024);
  EXPECT_EQ(rv, SECSuccess);

  EXPECT_EQ(rnd1, rnd2);
}

#endif

}  // namespace nss_test

Messung V0.5
C=94 H=100 G=96

¤ Dauer der Verarbeitung: 0.0 Sekunden  (vorverarbeitet)  ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.