diff --git a/.gitignore b/.gitignore
index 4965ce25..8bea821b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -18,6 +18,9 @@ test-cases/**/Cargo.lock
 detectors/**/Cargo.lock
 scout-audit-internal/Cargo.lock
 
+#ignore test generated files
+test-cases/**/test_snapshots/**
+
 # -------------------------------------------------------------------------------------
 # -------------------------------------- Misc -----------------------------------------
 # -------------------------------------------------------------------------------------
diff --git a/detectors/overflow-check/README.md b/detectors/overflow-check/README.md
index 5d626775..e44facbd 100644
--- a/detectors/overflow-check/README.md
+++ b/detectors/overflow-check/README.md
@@ -27,7 +27,7 @@ crate-type = ["cdylib"]
 soroban-sdk = "20.0.0-rc2"
 
 [dev_dependencies]
-soroban-sdk = { version = "20.0.0-rc2", features = ["testutils"] }
+soroban-sdk = { version = "=20.0.0", features = ["testutils"] }
 
 [features]
 testutils = ["soroban-sdk/testutils"]
@@ -63,7 +63,7 @@ crate-type = ["cdylib"]
 soroban-sdk = "20.0.0-rc2"
 
 [dev_dependencies]
-soroban-sdk = { version = "20.0.0-rc2", features = ["testutils"] }
+soroban-sdk = { version = "=20.0.0", features = ["testutils"] }
 
 [features]
 testutils = ["soroban-sdk/testutils"]
diff --git a/test-cases/avoid-core-mem-forget/avoid-core-mem-forget-1/remediated-example/Cargo.toml b/test-cases/avoid-core-mem-forget/avoid-core-mem-forget-1/remediated-example/Cargo.toml
index 1b643e7c..b1f7b25a 100644
--- a/test-cases/avoid-core-mem-forget/avoid-core-mem-forget-1/remediated-example/Cargo.toml
+++ b/test-cases/avoid-core-mem-forget/avoid-core-mem-forget-1/remediated-example/Cargo.toml
@@ -7,10 +7,10 @@ edition = "2021"
 crate-type = ["cdylib"]
 
 [dependencies]
-soroban-sdk = { version = "20.0.0-rc2" }
+soroban-sdk = { version = "=20.0.0" }
 
 [dev_dependencies]
-soroban-sdk = { version = "20.0.0-rc2", features = ["testutils"] }
+soroban-sdk = { version = "=20.0.0", features = ["testutils"] }
 
 [features]
 testutils = ["soroban-sdk/testutils"]
diff --git a/test-cases/avoid-core-mem-forget/avoid-core-mem-forget-1/vulnerable-example/Cargo.toml b/test-cases/avoid-core-mem-forget/avoid-core-mem-forget-1/vulnerable-example/Cargo.toml
index 863f16e0..dd1b5752 100644
--- a/test-cases/avoid-core-mem-forget/avoid-core-mem-forget-1/vulnerable-example/Cargo.toml
+++ b/test-cases/avoid-core-mem-forget/avoid-core-mem-forget-1/vulnerable-example/Cargo.toml
@@ -7,10 +7,10 @@ edition = "2021"
 crate-type = ["cdylib"]
 
 [dependencies]
-soroban-sdk = { version = "20.0.0-rc2" }
+soroban-sdk = { version = "=20.0.0" }
 
 [dev_dependencies]
-soroban-sdk = { version = "20.0.0-rc2", features = ["testutils"] }
+soroban-sdk = { version = "=20.0.0", features = ["testutils"] }
 
 [features]
 testutils = ["soroban-sdk/testutils"]
diff --git a/test-cases/divide-before-multiply/divide-before-multiply-1/remediated-example/Cargo.toml b/test-cases/divide-before-multiply/divide-before-multiply-1/remediated-example/Cargo.toml
index cc1710b1..53f396fe 100644
--- a/test-cases/divide-before-multiply/divide-before-multiply-1/remediated-example/Cargo.toml
+++ b/test-cases/divide-before-multiply/divide-before-multiply-1/remediated-example/Cargo.toml
@@ -7,10 +7,10 @@ edition = "2021"
 crate-type = ["cdylib"]
 
 [dependencies]
-soroban-sdk = { version = "20.0.0-rc2" }
+soroban-sdk = { version = "=20.0.0" }
 
 [dev_dependencies]
-soroban-sdk = { version = "20.0.0-rc2", features = ["testutils"] }
+soroban-sdk = { version = "=20.0.0", features = ["testutils"] }
 
 [features]
 testutils = ["soroban-sdk/testutils"]
diff --git a/test-cases/divide-before-multiply/divide-before-multiply-1/vulnerable-example/Cargo.toml b/test-cases/divide-before-multiply/divide-before-multiply-1/vulnerable-example/Cargo.toml
index b231e1c0..78957f05 100644
--- a/test-cases/divide-before-multiply/divide-before-multiply-1/vulnerable-example/Cargo.toml
+++ b/test-cases/divide-before-multiply/divide-before-multiply-1/vulnerable-example/Cargo.toml
@@ -7,10 +7,10 @@ edition = "2021"
 crate-type = ["cdylib"]
 
 [dependencies]
-soroban-sdk = { version = "20.0.0-rc2" }
+soroban-sdk = { version = "=20.0.0" }
 
 [dev_dependencies]
-soroban-sdk = { version = "20.0.0-rc2", features = ["testutils"] }
+soroban-sdk = { version = "=20.0.0", features = ["testutils"] }
 
 [features]
 testutils = ["soroban-sdk/testutils"]
diff --git a/test-cases/divide-before-multiply/divide-before-multiply-2/remediated-example/Cargo.toml b/test-cases/divide-before-multiply/divide-before-multiply-2/remediated-example/Cargo.toml
index 435d1f1d..acb9c316 100644
--- a/test-cases/divide-before-multiply/divide-before-multiply-2/remediated-example/Cargo.toml
+++ b/test-cases/divide-before-multiply/divide-before-multiply-2/remediated-example/Cargo.toml
@@ -7,10 +7,10 @@ edition = "2021"
 crate-type = ["cdylib"]
 
 [dependencies]
-soroban-sdk = { version = "20.0.0-rc2" }
+soroban-sdk = { version = "=20.0.0" }
 
 [dev_dependencies]
-soroban-sdk = { version = "20.0.0-rc2", features = ["testutils"] }
+soroban-sdk = { version = "=20.0.0", features = ["testutils"] }
 
 [features]
 testutils = ["soroban-sdk/testutils"]
diff --git a/test-cases/divide-before-multiply/divide-before-multiply-2/vulnerable-example/Cargo.toml b/test-cases/divide-before-multiply/divide-before-multiply-2/vulnerable-example/Cargo.toml
index d1c4459d..6018990a 100644
--- a/test-cases/divide-before-multiply/divide-before-multiply-2/vulnerable-example/Cargo.toml
+++ b/test-cases/divide-before-multiply/divide-before-multiply-2/vulnerable-example/Cargo.toml
@@ -7,10 +7,10 @@ edition = "2021"
 crate-type = ["cdylib"]
 
 [dependencies]
-soroban-sdk = { version = "20.0.0-rc2" }
+soroban-sdk = { version = "=20.0.0" }
 
 [dev_dependencies]
-soroban-sdk = { version = "20.0.0-rc2", features = ["testutils"] }
+soroban-sdk = { version = "=20.0.0", features = ["testutils"] }
 
 [features]
 testutils = ["soroban-sdk/testutils"]
diff --git a/test-cases/divide-before-multiply/divide-before-multiply-3/remediated-example/Cargo.toml b/test-cases/divide-before-multiply/divide-before-multiply-3/remediated-example/Cargo.toml
index 2d44062a..bd7eed0d 100644
--- a/test-cases/divide-before-multiply/divide-before-multiply-3/remediated-example/Cargo.toml
+++ b/test-cases/divide-before-multiply/divide-before-multiply-3/remediated-example/Cargo.toml
@@ -7,10 +7,10 @@ edition = "2021"
 crate-type = ["cdylib"]
 
 [dependencies]
-soroban-sdk = { version = "20.0.0-rc2" }
+soroban-sdk = { version = "=20.0.0" }
 
 [dev_dependencies]
-soroban-sdk = { version = "20.0.0-rc2", features = ["testutils"] }
+soroban-sdk = { version = "=20.0.0", features = ["testutils"] }
 
 [features]
 testutils = ["soroban-sdk/testutils"]
diff --git a/test-cases/divide-before-multiply/divide-before-multiply-3/vulnerable-example/Cargo.toml b/test-cases/divide-before-multiply/divide-before-multiply-3/vulnerable-example/Cargo.toml
index c4e21ae8..557e2f32 100644
--- a/test-cases/divide-before-multiply/divide-before-multiply-3/vulnerable-example/Cargo.toml
+++ b/test-cases/divide-before-multiply/divide-before-multiply-3/vulnerable-example/Cargo.toml
@@ -7,10 +7,10 @@ edition = "2021"
 crate-type = ["cdylib"]
 
 [dependencies]
-soroban-sdk = { version = "20.0.0-rc2" }
+soroban-sdk = { version = "=20.0.0" }
 
 [dev_dependencies]
-soroban-sdk = { version = "20.0.0-rc2", features = ["testutils"] }
+soroban-sdk = { version = "=20.0.0", features = ["testutils"] }
 
 [features]
 testutils = ["soroban-sdk/testutils"]
diff --git a/test-cases/insufficiently-random-values/insufficiently-random-values-1/remediated-example/Cargo.toml b/test-cases/insufficiently-random-values/insufficiently-random-values-1/remediated-example/Cargo.toml
index 99e57ca8..297b14e1 100644
--- a/test-cases/insufficiently-random-values/insufficiently-random-values-1/remediated-example/Cargo.toml
+++ b/test-cases/insufficiently-random-values/insufficiently-random-values-1/remediated-example/Cargo.toml
@@ -11,7 +11,7 @@ crate-type = ["cdylib"]
 soroban-sdk = "20.0.0-rc2"
 
 [dev_dependencies]
-soroban-sdk = { version = "20.0.0-rc2", features = ["testutils"] }
+soroban-sdk = { version = "=20.0.0", features = ["testutils"] }
 
 [features]
 testutils = ["soroban-sdk/testutils"]
diff --git a/test-cases/insufficiently-random-values/insufficiently-random-values-1/remediated-example/src/lib.rs b/test-cases/insufficiently-random-values/insufficiently-random-values-1/remediated-example/src/lib.rs
index a05d3ed3..ae21f0d1 100644
--- a/test-cases/insufficiently-random-values/insufficiently-random-values-1/remediated-example/src/lib.rs
+++ b/test-cases/insufficiently-random-values/insufficiently-random-values-1/remediated-example/src/lib.rs
@@ -18,7 +18,7 @@ impl Contract {
         if max_val == 0 {
             Err(Error::MaxValZero)
         } else {
-            let val = env.prng().u64_in_range(0..max_val);
+            let val = env.prng().gen_range(0..max_val);
             Ok(val)
         }
     }
@@ -39,16 +39,16 @@ mod test {
 
         // When
         let first_random_value = client.generate_random_value(&10);
-        let second_random_value = client.generate_random_value(&10);
-        let third_random_value = client.generate_random_value(&10);
-        let fourth_random_value = client.generate_random_value(&10);
-        let fifth_random_value = client.generate_random_value(&10);
+        let second_random_value = client.generate_random_value(&100);
+        let third_random_value = client.generate_random_value(&1000);
+        let fourth_random_value = client.generate_random_value(&10000);
+        let fifth_random_value = client.generate_random_value(&100000);
 
         // Then
-        assert_eq!(first_random_value, 6);
-        assert_eq!(second_random_value, 5);
-        assert_eq!(third_random_value, 8);
-        assert_eq!(fourth_random_value, 8);
-        assert_eq!(fifth_random_value, 4);
+        assert!(first_random_value < 10);
+        assert!(second_random_value < 100);
+        assert!(third_random_value < 1000);
+        assert!(fourth_random_value < 10000);
+        assert!(fifth_random_value < 100000);
     }
 }
diff --git a/test-cases/insufficiently-random-values/insufficiently-random-values-1/vulnerable-example/Cargo.toml b/test-cases/insufficiently-random-values/insufficiently-random-values-1/vulnerable-example/Cargo.toml
index 8d0e40bb..d018c420 100644
--- a/test-cases/insufficiently-random-values/insufficiently-random-values-1/vulnerable-example/Cargo.toml
+++ b/test-cases/insufficiently-random-values/insufficiently-random-values-1/vulnerable-example/Cargo.toml
@@ -11,7 +11,7 @@ crate-type = ["cdylib"]
 soroban-sdk = "20.0.0-rc2"
 
 [dev_dependencies]
-soroban-sdk = { version = "20.0.0-rc2", features = ["testutils"] }
+soroban-sdk = { version = "=20.0.0", features = ["testutils"] }
 
 [features]
 testutils = ["soroban-sdk/testutils"]
diff --git a/test-cases/overflow-check/overflow-check-1/remediated-example/Cargo.toml b/test-cases/overflow-check/overflow-check-1/remediated-example/Cargo.toml
index 0ef7e436..8a51c0ee 100644
--- a/test-cases/overflow-check/overflow-check-1/remediated-example/Cargo.toml
+++ b/test-cases/overflow-check/overflow-check-1/remediated-example/Cargo.toml
@@ -11,7 +11,7 @@ crate-type = ["cdylib"]
 soroban-sdk = "20.0.0-rc2"
 
 [dev_dependencies]
-soroban-sdk = { version = "20.0.0-rc2", features = ["testutils"] }
+soroban-sdk = { version = "=20.0.0", features = ["testutils"] }
 
 [features]
 testutils = ["soroban-sdk/testutils"]
diff --git a/test-cases/overflow-check/overflow-check-1/vulnerable-example/Cargo.toml b/test-cases/overflow-check/overflow-check-1/vulnerable-example/Cargo.toml
index d2b5bd67..6ac79841 100644
--- a/test-cases/overflow-check/overflow-check-1/vulnerable-example/Cargo.toml
+++ b/test-cases/overflow-check/overflow-check-1/vulnerable-example/Cargo.toml
@@ -11,7 +11,7 @@ crate-type = ["cdylib"]
 soroban-sdk = "20.0.0-rc2"
 
 [dev_dependencies]
-soroban-sdk = { version = "20.0.0-rc2", features = ["testutils"] }
+soroban-sdk = { version = "=20.0.0", features = ["testutils"] }
 
 [features]
 testutils = ["soroban-sdk/testutils"]
diff --git a/test-cases/set-contract-storage/set-contract-storage-1/remediated-example/Cargo.toml b/test-cases/set-contract-storage/set-contract-storage-1/remediated-example/Cargo.toml
index ef5fac58..011fe482 100644
--- a/test-cases/set-contract-storage/set-contract-storage-1/remediated-example/Cargo.toml
+++ b/test-cases/set-contract-storage/set-contract-storage-1/remediated-example/Cargo.toml
@@ -7,10 +7,10 @@ edition = "2021"
 crate-type = ["cdylib"]
 
 [dependencies]
-soroban-sdk = { version = "20.0.0-rc2" }
+soroban-sdk = { version = "=20.0.0" }
 
 [dev_dependencies]
-soroban-sdk = { version = "20.0.0-rc2", features = ["testutils"] }
+soroban-sdk = { version = "=20.0.0", features = ["testutils"] }
 
 [features]
 testutils = ["soroban-sdk/testutils"]
diff --git a/test-cases/set-contract-storage/set-contract-storage-1/remediated-example/src/lib.rs b/test-cases/set-contract-storage/set-contract-storage-1/remediated-example/src/lib.rs
index fee28b2c..b9dbbab7 100644
--- a/test-cases/set-contract-storage/set-contract-storage-1/remediated-example/src/lib.rs
+++ b/test-cases/set-contract-storage/set-contract-storage-1/remediated-example/src/lib.rs
@@ -15,7 +15,7 @@ impl SetContractStorage {
         let mut count: u32 = storage.get(&COUNTER).unwrap_or(0);
         count += 1;
         storage.set(&COUNTER, &count);
-        storage.bump(100, 100);
+        storage.extend_ttl(100, 100);
         count
     }
 }
@@ -33,7 +33,7 @@ mod tests {
         let contract_id = env.register_contract(None, SetContractStorage);
         let client = SetContractStorageClient::new(&env, &contract_id);
         env.mock_all_auths();
-        let user = <Address as testutils::Address>::random(&env);
+        let user = <Address as testutils::Address>::generate(&env);
 
         // When
         let first_increment = client.increment(&user);
diff --git a/test-cases/set-contract-storage/set-contract-storage-1/vulnerable-example/Cargo.toml b/test-cases/set-contract-storage/set-contract-storage-1/vulnerable-example/Cargo.toml
index 81ed2a8e..bfaf4350 100644
--- a/test-cases/set-contract-storage/set-contract-storage-1/vulnerable-example/Cargo.toml
+++ b/test-cases/set-contract-storage/set-contract-storage-1/vulnerable-example/Cargo.toml
@@ -7,10 +7,10 @@ edition = "2021"
 crate-type = ["cdylib"]
 
 [dependencies]
-soroban-sdk = { version = "20.0.0-rc2" }
+soroban-sdk = { version = "=20.0.0" }
 
 [dev_dependencies]
-soroban-sdk = { version = "20.0.0-rc2", features = ["testutils"] }
+soroban-sdk = { version = "=20.0.0", features = ["testutils"] }
 
 [features]
 testutils = ["soroban-sdk/testutils"]
diff --git a/test-cases/set-contract-storage/set-contract-storage-1/vulnerable-example/src/lib.rs b/test-cases/set-contract-storage/set-contract-storage-1/vulnerable-example/src/lib.rs
index 84c06259..4f0b1d5c 100644
--- a/test-cases/set-contract-storage/set-contract-storage-1/vulnerable-example/src/lib.rs
+++ b/test-cases/set-contract-storage/set-contract-storage-1/vulnerable-example/src/lib.rs
@@ -15,7 +15,7 @@ impl SetContractStorage {
         let mut count: u32 = storage.get(&COUNTER).unwrap_or(0);
         count += 1;
         storage.set(&COUNTER, &count);
-        storage.bump(100, 100);
+        storage.extend_ttl(100, 100);
         count
     }
 }
diff --git a/test-cases/set-contract-storage/set-contract-storage-2/remediated-example/Cargo.toml b/test-cases/set-contract-storage/set-contract-storage-2/remediated-example/Cargo.toml
index ef5fac58..011fe482 100644
--- a/test-cases/set-contract-storage/set-contract-storage-2/remediated-example/Cargo.toml
+++ b/test-cases/set-contract-storage/set-contract-storage-2/remediated-example/Cargo.toml
@@ -7,10 +7,10 @@ edition = "2021"
 crate-type = ["cdylib"]
 
 [dependencies]
-soroban-sdk = { version = "20.0.0-rc2" }
+soroban-sdk = { version = "=20.0.0" }
 
 [dev_dependencies]
-soroban-sdk = { version = "20.0.0-rc2", features = ["testutils"] }
+soroban-sdk = { version = "=20.0.0", features = ["testutils"] }
 
 [features]
 testutils = ["soroban-sdk/testutils"]
diff --git a/test-cases/set-contract-storage/set-contract-storage-2/remediated-example/src/lib.rs b/test-cases/set-contract-storage/set-contract-storage-2/remediated-example/src/lib.rs
index 60be6993..c18a5788 100644
--- a/test-cases/set-contract-storage/set-contract-storage-2/remediated-example/src/lib.rs
+++ b/test-cases/set-contract-storage/set-contract-storage-2/remediated-example/src/lib.rs
@@ -15,7 +15,7 @@ impl SetContractStorage {
         let mut count: u32 = storage.get(&COUNTER).unwrap_or(0);
         count += 1;
         storage.set(&COUNTER, &count);
-        storage.bump(&COUNTER, 100, 100);
+        storage.extend_ttl(&COUNTER, 100, 100);
         count
     }
 }
@@ -33,7 +33,7 @@ mod tests {
         let contract_id = env.register_contract(None, SetContractStorage);
         let client = SetContractStorageClient::new(&env, &contract_id);
         env.mock_all_auths();
-        let user = <Address as testutils::Address>::random(&env);
+        let user = <Address as testutils::Address>::generate(&env);
 
         // When
         let first_increment = client.increment(&user);
diff --git a/test-cases/set-contract-storage/set-contract-storage-2/vulnerable-example/Cargo.toml b/test-cases/set-contract-storage/set-contract-storage-2/vulnerable-example/Cargo.toml
index 81ed2a8e..f8433cd1 100644
--- a/test-cases/set-contract-storage/set-contract-storage-2/vulnerable-example/Cargo.toml
+++ b/test-cases/set-contract-storage/set-contract-storage-2/vulnerable-example/Cargo.toml
@@ -1,5 +1,5 @@
 [package]
-name = "set-contract-storage-vulnerable-1"
+name = "set-contract-storage-vulnerable-2"
 version = "0.1.0"
 edition = "2021"
 
@@ -7,10 +7,10 @@ edition = "2021"
 crate-type = ["cdylib"]
 
 [dependencies]
-soroban-sdk = { version = "20.0.0-rc2" }
+soroban-sdk = { version = "=20.0.0" }
 
 [dev_dependencies]
-soroban-sdk = { version = "20.0.0-rc2", features = ["testutils"] }
+soroban-sdk = { version = "=20.0.0", features = ["testutils"] }
 
 [features]
 testutils = ["soroban-sdk/testutils"]
diff --git a/test-cases/set-contract-storage/set-contract-storage-2/vulnerable-example/src/lib.rs b/test-cases/set-contract-storage/set-contract-storage-2/vulnerable-example/src/lib.rs
index d1fdf98a..6c05f424 100644
--- a/test-cases/set-contract-storage/set-contract-storage-2/vulnerable-example/src/lib.rs
+++ b/test-cases/set-contract-storage/set-contract-storage-2/vulnerable-example/src/lib.rs
@@ -15,7 +15,7 @@ impl SetContractStorage {
         let mut count: u32 = storage.get(&COUNTER).unwrap_or(0);
         count += 1;
         storage.set(&COUNTER, &count);
-        storage.bump(&COUNTER, 100, 100);
+        storage.extend_ttl(&COUNTER, 100, 100);
         count
     }
 }
diff --git a/test-cases/set-contract-storage/set-contract-storage-3/remediated-example/Cargo.toml b/test-cases/set-contract-storage/set-contract-storage-3/remediated-example/Cargo.toml
index ef5fac58..011fe482 100644
--- a/test-cases/set-contract-storage/set-contract-storage-3/remediated-example/Cargo.toml
+++ b/test-cases/set-contract-storage/set-contract-storage-3/remediated-example/Cargo.toml
@@ -7,10 +7,10 @@ edition = "2021"
 crate-type = ["cdylib"]
 
 [dependencies]
-soroban-sdk = { version = "20.0.0-rc2" }
+soroban-sdk = { version = "=20.0.0" }
 
 [dev_dependencies]
-soroban-sdk = { version = "20.0.0-rc2", features = ["testutils"] }
+soroban-sdk = { version = "=20.0.0", features = ["testutils"] }
 
 [features]
 testutils = ["soroban-sdk/testutils"]
diff --git a/test-cases/set-contract-storage/set-contract-storage-3/remediated-example/src/lib.rs b/test-cases/set-contract-storage/set-contract-storage-3/remediated-example/src/lib.rs
index 40dc7ded..1179793e 100644
--- a/test-cases/set-contract-storage/set-contract-storage-3/remediated-example/src/lib.rs
+++ b/test-cases/set-contract-storage/set-contract-storage-3/remediated-example/src/lib.rs
@@ -15,7 +15,7 @@ impl SetContractStorage {
         let mut count: u32 = storage.get(&COUNTER).unwrap_or(0);
         count += 1;
         storage.set(&COUNTER, &count);
-        storage.bump(&COUNTER, 100, 100);
+        storage.extend_ttl(&COUNTER, 100, 100);
         count
     }
 }
@@ -33,7 +33,7 @@ mod tests {
         let contract_id = env.register_contract(None, SetContractStorage);
         let client = SetContractStorageClient::new(&env, &contract_id);
         env.mock_all_auths();
-        let user = <Address as testutils::Address>::random(&env);
+        let user = <Address as testutils::Address>::generate(&env);
 
         // When
         let first_increment = client.increment(&user);
diff --git a/test-cases/set-contract-storage/set-contract-storage-3/vulnerable-example/Cargo.toml b/test-cases/set-contract-storage/set-contract-storage-3/vulnerable-example/Cargo.toml
index 81ed2a8e..b5ae6c2d 100644
--- a/test-cases/set-contract-storage/set-contract-storage-3/vulnerable-example/Cargo.toml
+++ b/test-cases/set-contract-storage/set-contract-storage-3/vulnerable-example/Cargo.toml
@@ -1,5 +1,5 @@
 [package]
-name = "set-contract-storage-vulnerable-1"
+name = "set-contract-storage-vulnerable-3"
 version = "0.1.0"
 edition = "2021"
 
@@ -7,10 +7,10 @@ edition = "2021"
 crate-type = ["cdylib"]
 
 [dependencies]
-soroban-sdk = { version = "20.0.0-rc2" }
+soroban-sdk = { version = "=20.0.0" }
 
 [dev_dependencies]
-soroban-sdk = { version = "20.0.0-rc2", features = ["testutils"] }
+soroban-sdk = { version = "=20.0.0", features = ["testutils"] }
 
 [features]
 testutils = ["soroban-sdk/testutils"]
diff --git a/test-cases/set-contract-storage/set-contract-storage-3/vulnerable-example/src/lib.rs b/test-cases/set-contract-storage/set-contract-storage-3/vulnerable-example/src/lib.rs
index dc517241..9065d80f 100644
--- a/test-cases/set-contract-storage/set-contract-storage-3/vulnerable-example/src/lib.rs
+++ b/test-cases/set-contract-storage/set-contract-storage-3/vulnerable-example/src/lib.rs
@@ -15,7 +15,7 @@ impl SetContractStorage {
         let mut count: u32 = storage.get(&COUNTER).unwrap_or(0);
         count += 1;
         storage.set(&COUNTER, &count);
-        storage.bump(&COUNTER, 100, 100);
+        storage.extend_ttl(&COUNTER, 100, 100);
         count
     }
 }
diff --git a/test-cases/unprotected-update-current-contract-wasm/unprotected-update-current-contract-wasm-1/remediated-example/Cargo.toml b/test-cases/unprotected-update-current-contract-wasm/unprotected-update-current-contract-wasm-1/remediated-example/Cargo.toml
index ac03df7c..a9a19727 100644
--- a/test-cases/unprotected-update-current-contract-wasm/unprotected-update-current-contract-wasm-1/remediated-example/Cargo.toml
+++ b/test-cases/unprotected-update-current-contract-wasm/unprotected-update-current-contract-wasm-1/remediated-example/Cargo.toml
@@ -11,7 +11,7 @@ crate-type = ["cdylib"]
 soroban-sdk = "20.0.0-rc2"
 
 [dev_dependencies]
-soroban-sdk = { version = "20.0.0-rc2", features = ["testutils"] }
+soroban-sdk = { version = "=20.0.0", features = ["testutils"] }
 
 [features]
 testutils = ["soroban-sdk/testutils"]
diff --git a/test-cases/unprotected-update-current-contract-wasm/unprotected-update-current-contract-wasm-1/vulnerable-example/Cargo.toml b/test-cases/unprotected-update-current-contract-wasm/unprotected-update-current-contract-wasm-1/vulnerable-example/Cargo.toml
index ac03df7c..a9a19727 100644
--- a/test-cases/unprotected-update-current-contract-wasm/unprotected-update-current-contract-wasm-1/vulnerable-example/Cargo.toml
+++ b/test-cases/unprotected-update-current-contract-wasm/unprotected-update-current-contract-wasm-1/vulnerable-example/Cargo.toml
@@ -11,7 +11,7 @@ crate-type = ["cdylib"]
 soroban-sdk = "20.0.0-rc2"
 
 [dev_dependencies]
-soroban-sdk = { version = "20.0.0-rc2", features = ["testutils"] }
+soroban-sdk = { version = "=20.0.0", features = ["testutils"] }
 
 [features]
 testutils = ["soroban-sdk/testutils"]
diff --git a/test-cases/unsafe-expect/unsafe-expect-1/remediated-example/Cargo.toml b/test-cases/unsafe-expect/unsafe-expect-1/remediated-example/Cargo.toml
index 40bb0ccd..7c42bb70 100644
--- a/test-cases/unsafe-expect/unsafe-expect-1/remediated-example/Cargo.toml
+++ b/test-cases/unsafe-expect/unsafe-expect-1/remediated-example/Cargo.toml
@@ -7,10 +7,10 @@ edition = "2021"
 crate-type = ["cdylib"]
 
 [dependencies]
-soroban-sdk = { version = "20.0.0-rc2" }
+soroban-sdk = { version = "=20.0.0" }
 
 [dev_dependencies]
-soroban-sdk = { version = "20.0.0-rc2", features = ["testutils"] }
+soroban-sdk = { version = "=20.0.0", features = ["testutils"] }
 
 [features]
 testutils = ["soroban-sdk/testutils"]
diff --git a/test-cases/unsafe-expect/unsafe-expect-1/vulnerable-example/Cargo.toml b/test-cases/unsafe-expect/unsafe-expect-1/vulnerable-example/Cargo.toml
index 28e0802c..ad17528b 100644
--- a/test-cases/unsafe-expect/unsafe-expect-1/vulnerable-example/Cargo.toml
+++ b/test-cases/unsafe-expect/unsafe-expect-1/vulnerable-example/Cargo.toml
@@ -7,10 +7,10 @@ edition = "2021"
 crate-type = ["cdylib"]
 
 [dependencies]
-soroban-sdk = { version = "20.0.0-rc2" }
+soroban-sdk = { version = "=20.0.0" }
 
 [dev_dependencies]
-soroban-sdk = { version = "20.0.0-rc2", features = ["testutils"] }
+soroban-sdk = { version = "=20.0.0", features = ["testutils"] }
 
 [features]
 testutils = ["soroban-sdk/testutils"]
diff --git a/test-cases/unsafe-unwrap/unsafe-unwrap-1/remediated-example/Cargo.toml b/test-cases/unsafe-unwrap/unsafe-unwrap-1/remediated-example/Cargo.toml
index f23057ec..3b44681e 100644
--- a/test-cases/unsafe-unwrap/unsafe-unwrap-1/remediated-example/Cargo.toml
+++ b/test-cases/unsafe-unwrap/unsafe-unwrap-1/remediated-example/Cargo.toml
@@ -7,10 +7,10 @@ edition = "2021"
 crate-type = ["cdylib"]
 
 [dependencies]
-soroban-sdk = { version = "20.0.0-rc2" }
+soroban-sdk = { version = "=20.0.0" }
 
 [dev_dependencies]
-soroban-sdk = { version = "20.0.0-rc2", features = ["testutils"] }
+soroban-sdk = { version = "=20.0.0", features = ["testutils"] }
 
 [features]
 testutils = ["soroban-sdk/testutils"]
diff --git a/test-cases/unsafe-unwrap/unsafe-unwrap-1/vulnerable-example/Cargo.toml b/test-cases/unsafe-unwrap/unsafe-unwrap-1/vulnerable-example/Cargo.toml
index da89a4c5..5ecabe18 100644
--- a/test-cases/unsafe-unwrap/unsafe-unwrap-1/vulnerable-example/Cargo.toml
+++ b/test-cases/unsafe-unwrap/unsafe-unwrap-1/vulnerable-example/Cargo.toml
@@ -7,10 +7,10 @@ edition = "2021"
 crate-type = ["cdylib"]
 
 [dependencies]
-soroban-sdk = { version = "20.0.0-rc2" }
+soroban-sdk = { version = "=20.0.0" }
 
 [dev_dependencies]
-soroban-sdk = { version = "20.0.0-rc2", features = ["testutils"] }
+soroban-sdk = { version = "=20.0.0", features = ["testutils"] }
 
 [features]
 testutils = ["soroban-sdk/testutils"]