Skip to content

test: fuzz grant_role with boundary addresses #857

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
p3ris0n merged 7 commits into from
Aug 31, 2026
Merged

test: fuzz grant_role with boundary addresses #857

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
7 commits
Select commit Hold shift + click to select a range
f4b317d
test: fuzz grant_role with boundary addresses
0dillon Aug 28, 2026
1e1bc76
Merge remote-tracking branch 'origin/main' into pr-857
p3ris0n Aug 28, 2026
e334f9a
fix: merge main and keep grant_role boundary fuzz compiling under clippy
p3ris0n Aug 28, 2026
9e49c1e
fix: use std::vec in no_std grant_role boundary fuzz tests
p3ris0n Aug 28, 2026
b33f4a7
chore: merge origin/main to refresh CI
p3ris0n Aug 28, 2026
fdc64ee
fix: commit missing test snapshots for fuzz_grant_role tests
ENuel20 Aug 30, 2026
b80acdb
Merge origin/main and take current test snapshots.
p3ris0n Aug 31, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
The diff you're trying to view is too large. We only load the first 3000 changed files.
71 changes: 68 additions & 3 deletions contracts/admin/src/tests/proptest.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -3,9 +3,8 @@
extern crate std;

use proptest::prelude::*;
use soroban_sdk::testutils::Address as _;
use soroban_sdk::testutils::{Events, Ledger};
use soroban_sdk::{vec, Address, BytesN, Env, Map, String, TryIntoVal, Vec};
use soroban_sdk::testutils::{Address as _, Events, Ledger};
use soroban_sdk::{vec, Address, BytesN, Env, IntoVal, Map, String, TryIntoVal, Vec};

use super::{AdminContract, AdminContractClient, Role};
use crate::{AdminError, AdminKey, ProposalStatus, UpgradeProposal};
Expand Down Expand Up @@ -511,6 +510,72 @@ proptest! {
prop_assert_eq!(stored_a.proposer, proposer_a);
prop_assert_eq!(stored_b.proposer, proposer_b);
}

/// Fuzz: grant_role with boundary addresses (empty bytes and strings)
#[test]
fn fuzz_grant_role_boundary_addresses(invalid_bytes in prop::collection::vec(any::<u8>(), 0..256)) {
let env = Env::default();
let (client, admin) = setup(&env);
let contract_id = client.address.clone();

let bytes_val = soroban_sdk::Bytes::from_slice(&env, &invalid_bytes);

let args_bytes = soroban_sdk::vec![
&env,
admin.to_val(),
Role::Minter.into_val(&env),
bytes_val.to_val()
];

let res_bytes = env.try_invoke_contract::<soroban_sdk::Val, soroban_sdk::Error>(
&contract_id,
&soroban_sdk::Symbol::new(&env, "grant_role"),
args_bytes
);
prop_assert!(res_bytes.is_err(), "grant_role should fail decoding invalid bytes");

if let Ok(s) = std::str::from_utf8(&invalid_bytes) {
let string_val = soroban_sdk::String::from_str(&env, s);
let args_str = soroban_sdk::vec![
&env,
admin.to_val(),
Role::Minter.into_val(&env),
string_val.to_val()
];
let res_str = env.try_invoke_contract::<soroban_sdk::Val, soroban_sdk::Error>(
&contract_id,
&soroban_sdk::Symbol::new(&env, "grant_role"),
args_str
);
prop_assert!(res_str.is_err(), "grant_role should fail decoding invalid string");
}
}

/// Fuzz: grant_role with explicitly empty and extremely long strings
#[test]
fn fuzz_grant_role_empty_and_max_length(length in prop::sample::select(std::vec![0usize, 10000usize])) {
let env = Env::default();
let (client, admin) = setup(&env);
let contract_id = client.address.clone();

// Generate a string of 'A's of the given length.
// For length=0, it's empty bytes/string. For 10000, it's max-length.
let s = std::string::String::from_utf8(std::vec![b'A'; length]).unwrap();

let string_val = soroban_sdk::String::from_str(&env, &s);
let args_str = soroban_sdk::vec![
&env,
admin.to_val(),
Role::Minter.into_val(&env),
string_val.to_val()
];
let res_str = env.try_invoke_contract::<soroban_sdk::Val, soroban_sdk::Error>(
&contract_id,
&soroban_sdk::Symbol::new(&env, "grant_role"),
args_str
);
prop_assert!(res_str.is_err(), "grant_role should fail decoding empty/max-length string");
}
}

/// Deterministic boundary case: exhausting the `u64` proposal-ID space must
Expand Down
3 changes: 1 addition & 2 deletions contracts/admin/test_snapshots/tests/proptest/fuzz_admin_implicitly_has_all_roles.101.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,6 @@
"nonce": 0
},
"auth": [
[],
[],
[],
[
Expand Down Expand Up @@ -260,7 +259,7 @@
{
"vec": [
{
"symbol": "Minter"
"symbol": "Admin"
}
]
},
Expand Down
2 changes: 1 addition & 1 deletion contracts/admin/test_snapshots/tests/proptest/fuzz_admin_implicitly_has_all_roles.17.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -260,7 +260,7 @@
{
"vec": [
{
"symbol": "SuperAdmin"
"symbol": "Minter"
}
]
},
Expand Down
3 changes: 1 addition & 2 deletions contracts/admin/test_snapshots/tests/proptest/fuzz_admin_implicitly_has_all_roles.2.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,6 @@
"nonce": 0
},
"auth": [
[],
[],
[],
[
Expand Down Expand Up @@ -260,7 +259,7 @@
{
"vec": [
{
"symbol": "SuperAdmin"
"symbol": "Admin"
}
]
},
Expand Down
2 changes: 1 addition & 1 deletion contracts/admin/test_snapshots/tests/proptest/fuzz_admin_implicitly_has_all_roles.22.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -260,7 +260,7 @@
{
"vec": [
{
"symbol": "Minter"
"symbol": "Pauser"
}
]
},
Expand Down
2 changes: 1 addition & 1 deletion contracts/admin/test_snapshots/tests/proptest/fuzz_admin_implicitly_has_all_roles.23.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -260,7 +260,7 @@
{
"vec": [
{
"symbol": "SuperAdmin"
"symbol": "Pauser"
}
]
},
Expand Down
2 changes: 1 addition & 1 deletion contracts/admin/test_snapshots/tests/proptest/fuzz_admin_implicitly_has_all_roles.28.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -260,7 +260,7 @@
{
"vec": [
{
"symbol": "SuperAdmin"
"symbol": "Pauser"
}
]
},
Expand Down
3 changes: 1 addition & 2 deletions contracts/admin/test_snapshots/tests/proptest/fuzz_admin_implicitly_has_all_roles.29.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,6 @@
"nonce": 0
},
"auth": [
[],
[],
[],
[
Expand Down Expand Up @@ -260,7 +259,7 @@
{
"vec": [
{
"symbol": "Minter"
"symbol": "Admin"
}
]
},
Expand Down
3 changes: 1 addition & 2 deletions contracts/admin/test_snapshots/tests/proptest/fuzz_admin_implicitly_has_all_roles.30.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,6 @@
"nonce": 0
},
"auth": [
[],
[],
[],
[
Expand Down Expand Up @@ -260,7 +259,7 @@
{
"vec": [
{
"symbol": "SuperAdmin"
"symbol": "Admin"
}
]
},
Expand Down
2 changes: 1 addition & 1 deletion contracts/admin/test_snapshots/tests/proptest/fuzz_admin_implicitly_has_all_roles.31.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -260,7 +260,7 @@
{
"vec": [
{
"symbol": "SuperAdmin"
"symbol": "Minter"
}
]
},
Expand Down
2 changes: 1 addition & 1 deletion contracts/admin/test_snapshots/tests/proptest/fuzz_admin_implicitly_has_all_roles.33.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -260,7 +260,7 @@
{
"vec": [
{
"symbol": "SuperAdmin"
"symbol": "Pauser"
}
]
},
Expand Down
2 changes: 1 addition & 1 deletion contracts/admin/test_snapshots/tests/proptest/fuzz_admin_implicitly_has_all_roles.36.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -260,7 +260,7 @@
{
"vec": [
{
"symbol": "Minter"
"symbol": "Pauser"
}
]
},
Expand Down
2 changes: 1 addition & 1 deletion contracts/admin/test_snapshots/tests/proptest/fuzz_admin_implicitly_has_all_roles.37.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -260,7 +260,7 @@
{
"vec": [
{
"symbol": "SuperAdmin"
"symbol": "Pauser"
}
]
},
Expand Down
3 changes: 1 addition & 2 deletions contracts/admin/test_snapshots/tests/proptest/fuzz_admin_implicitly_has_all_roles.40.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,6 @@
"nonce": 0
},
"auth": [
[],
[],
[],
[
Expand Down Expand Up @@ -260,7 +259,7 @@
{
"vec": [
{
"symbol": "SuperAdmin"
"symbol": "Admin"
}
]
},
Expand Down
2 changes: 1 addition & 1 deletion contracts/admin/test_snapshots/tests/proptest/fuzz_admin_implicitly_has_all_roles.41.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -260,7 +260,7 @@
{
"vec": [
{
"symbol": "Minter"
"symbol": "SuperAdmin"
}
]
},
Expand Down
3 changes: 2 additions & 1 deletion contracts/admin/test_snapshots/tests/proptest/fuzz_admin_implicitly_has_all_roles.42.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,6 +4,7 @@
"nonce": 0
},
"auth": [
[],
[],
[],
[
Expand Down Expand Up @@ -259,7 +260,7 @@
{
"vec": [
{
"symbol": "Admin"
"symbol": "SuperAdmin"
}
]
},
Expand Down
3 changes: 1 addition & 2 deletions contracts/admin/test_snapshots/tests/proptest/fuzz_admin_implicitly_has_all_roles.44.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,6 @@
"nonce": 0
},
"auth": [
[],
[],
[],
[
Expand Down Expand Up @@ -260,7 +259,7 @@
{
"vec": [
{
"symbol": "SuperAdmin"
"symbol": "Admin"
}
]
},
Expand Down
3 changes: 2 additions & 1 deletion contracts/admin/test_snapshots/tests/proptest/fuzz_admin_implicitly_has_all_roles.46.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,6 +4,7 @@
"nonce": 0
},
"auth": [
[],
[],
[],
[
Expand Down Expand Up @@ -259,7 +260,7 @@
{
"vec": [
{
"symbol": "Admin"
"symbol": "Pauser"
}
]
},
Expand Down
3 changes: 1 addition & 2 deletions contracts/admin/test_snapshots/tests/proptest/fuzz_admin_implicitly_has_all_roles.47.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,6 @@
"nonce": 0
},
"auth": [
[],
[],
[],
[
Expand Down Expand Up @@ -260,7 +259,7 @@
{
"vec": [
{
"symbol": "Minter"
"symbol": "Admin"
}
]
},
Expand Down
1 change: 1 addition & 0 deletions contracts/admin/test_snapshots/tests/proptest/fuzz_admin_implicitly_has_all_roles.49.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,6 +4,7 @@
"nonce": 0
},
"auth": [
[],
[],
[],
[
Expand Down
2 changes: 1 addition & 1 deletion contracts/admin/test_snapshots/tests/proptest/fuzz_admin_implicitly_has_all_roles.50.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -260,7 +260,7 @@
{
"vec": [
{
"symbol": "SuperAdmin"
"symbol": "Minter"
}
]
},
Expand Down
2 changes: 1 addition & 1 deletion contracts/admin/test_snapshots/tests/proptest/fuzz_admin_implicitly_has_all_roles.51.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -260,7 +260,7 @@
{
"vec": [
{
"symbol": "Minter"
"symbol": "Pauser"
}
]
},
Expand Down
3 changes: 1 addition & 2 deletions contracts/admin/test_snapshots/tests/proptest/fuzz_admin_implicitly_has_all_roles.52.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,6 @@
"nonce": 0
},
"auth": [
[],
[],
[],
[
Expand Down Expand Up @@ -260,7 +259,7 @@
{
"vec": [
{
"symbol": "Minter"
"symbol": "Admin"
}
]
},
Expand Down
2 changes: 1 addition & 1 deletion contracts/admin/test_snapshots/tests/proptest/fuzz_admin_implicitly_has_all_roles.53.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -260,7 +260,7 @@
{
"vec": [
{
"symbol": "SuperAdmin"
"symbol": "Pauser"
}
]
},
Expand Down
3 changes: 1 addition & 2 deletions contracts/admin/test_snapshots/tests/proptest/fuzz_admin_implicitly_has_all_roles.55.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,6 @@
"nonce": 0
},
"auth": [
[],
[],
[],
[
Expand Down Expand Up @@ -260,7 +259,7 @@
{
"vec": [
{
"symbol": "SuperAdmin"
"symbol": "Admin"
}
]
},
Expand Down
Loading
Loading