Internals: Use snprintf for random unique indexes (#7925)

docs/CONTRIBUTORS

@@ -126,6 +126,8 @@ Jamie Iles
 Jan Van Winkel
 Jean Berniolles
 Jean-Nicolas Strauss
+Jeffrey Song
+jeffrey.song
 Jens Yuechao Liu
 Jeremy Bennett
 Jesse Taube

include/verilated_random.cpp

@@ -496,7 +496,7 @@ bool VlRandomizer::next(VlRNG& rngr) {
             std::string distinctExpr = "(__Vbv (distinct";
             for (uint32_t i = 0; i < size; ++i) {
                 char hexIdx[12];
-                sprintf(hexIdx, "#x%08x", i);
+                (void)VL_SNPRINTF(hexIdx, sizeof(hexIdx), "#x%08x", i);
                 distinctExpr += " (select " + it->first + " " + hexIdx + ")";
             }
             distinctExpr += "))";