From 3a7e9bb4da1e36b1066cc5a2e65d46de5c6636ff Mon Sep 17 00:00:00 2001
From: Lawrence Lucas Large <162439255+LukeLarge@users.noreply.github.com>
Date: Thu, 4 Dec 2025 06:43:19 -0600
Subject: [PATCH] Potential fix for code scanning alert no. 1: Incomplete
 regular expression for hostnames

Co-authored-by: Copilot Autofix powered by AI <62310815+github-advanced-security[bot]@users.noreply.github.com>
Signed-off-by: Lawrence Lucas Large <162439255+LukeLarge@users.noreply.github.com>
---
 lib/openzeppelin-contracts/certora/run.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/openzeppelin-contracts/certora/run.js b/lib/openzeppelin-contracts/certora/run.js
index fdee42d..09bcdd8 100755
--- a/lib/openzeppelin-contracts/certora/run.js
+++ b/lib/openzeppelin-contracts/certora/run.js
@@ -101,7 +101,7 @@ async function runCertora(spec, contract, files, options = []) {
   stream.end();
 
   // write results in markdown format
-  writeEntry(spec, contract, code || signal, (await output).match(/https:\/\/prover.certora.com\/output\/\S*/)?.[0]);
+  writeEntry(spec, contract, code || signal, (await output).match(/https:\/\/prover\.certora\.com\/output\/\S*/)?.[0]);
 
   // write all details
   console.error(`+ certoraRun ${args.join(' ')}\n` + (await output));