| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546 |
- // SPDX-License-Identifier: Apache-2.0
- use crate::{account_new, build_solidity, AccountMeta, AccountState, BorshToken, Pubkey};
- use anchor_syn::idl::IdlInstruction;
- use num_bigint::BigInt;
- #[test]
- fn get_balance() {
- let mut vm = build_solidity(
- r#"
- contract c {
- function test(address addr) public view returns (uint64) {
- return addr.balance;
- }
- }"#,
- );
- let data_account = vm.initialize_data_account();
- vm.function("new")
- .accounts(vec![("dataAccount", data_account)])
- .call();
- let new = account_new();
- vm.account_data.insert(
- new,
- AccountState {
- data: Vec::new(),
- owner: None,
- lamports: 102,
- },
- );
- let returns = vm
- .function("test")
- .arguments(&[BorshToken::Address(new)])
- .accounts(vec![("dataAccount", data_account)])
- .remaining_accounts(&[AccountMeta {
- pubkey: Pubkey(new),
- is_signer: false,
- is_writable: false,
- }])
- .call()
- .unwrap();
- assert_eq!(
- returns,
- BorshToken::Uint {
- width: 64,
- value: BigInt::from(102u8),
- }
- );
- }
- #[test]
- fn send_fails() {
- let mut vm = build_solidity(
- r#"
- contract c {
- function send(address payable addr, uint64 amount) public returns (bool) {
- return addr.send(amount);
- }
- }"#,
- );
- let data_account = vm.initialize_data_account();
- vm.function("new")
- .accounts(vec![("dataAccount", data_account)])
- .call();
- let new = account_new();
- vm.account_data.insert(
- new,
- AccountState {
- data: Vec::new(),
- owner: None,
- lamports: 0,
- },
- );
- let returns = vm
- .function("send")
- .arguments(&[
- BorshToken::Address(new),
- BorshToken::Uint {
- width: 64,
- value: BigInt::from(102u8),
- },
- ])
- .accounts(vec![("dataAccount", data_account)])
- .remaining_accounts(&[AccountMeta {
- pubkey: Pubkey(new),
- is_signer: false,
- is_writable: true,
- }])
- .call()
- .unwrap();
- assert_eq!(returns, BorshToken::Bool(false));
- }
- #[test]
- fn send_succeeds() {
- let mut vm = build_solidity(
- r#"
- contract c {
- constructor() payable {}
- function send(address payable addr, uint64 amount) public returns (bool) {
- return addr.send(amount);
- }
- }"#,
- );
- let data_account = vm.initialize_data_account();
- vm.account_data.get_mut(&data_account).unwrap().lamports = 103;
- vm.function("new")
- .accounts(vec![("dataAccount", data_account)])
- .call();
- let new = account_new();
- vm.account_data.insert(
- new,
- AccountState {
- data: Vec::new(),
- owner: None,
- lamports: 5,
- },
- );
- let returns = vm
- .function("send")
- .arguments(&[
- BorshToken::FixedBytes(new.to_vec()),
- BorshToken::Uint {
- width: 64,
- value: BigInt::from(102u8),
- },
- ])
- .accounts(vec![("dataAccount", data_account)])
- .remaining_accounts(&[AccountMeta {
- pubkey: Pubkey(new),
- is_signer: false,
- is_writable: true,
- }])
- .call()
- .unwrap();
- assert_eq!(returns, BorshToken::Bool(true));
- assert_eq!(vm.account_data.get_mut(&new).unwrap().lamports, 107);
- assert_eq!(vm.account_data.get_mut(&data_account).unwrap().lamports, 1);
- }
- #[test]
- fn send_overflows() {
- let mut vm = build_solidity(
- r#"
- contract c {
- function send(address payable addr, uint64 amount) public returns (bool) {
- return addr.send(amount);
- }
- }"#,
- );
- let data_account = vm.initialize_data_account();
- vm.account_data.get_mut(&data_account).unwrap().lamports = 103;
- vm.function("new")
- .accounts(vec![("dataAccount", data_account)])
- .call();
- let new = account_new();
- vm.account_data.insert(
- new,
- AccountState {
- data: Vec::new(),
- owner: None,
- lamports: u64::MAX - 101,
- },
- );
- let returns = vm
- .function("send")
- .arguments(&[
- BorshToken::Address(new),
- BorshToken::Uint {
- width: 64,
- value: BigInt::from(102u8),
- },
- ])
- .accounts(vec![("dataAccount", data_account)])
- .remaining_accounts(&[AccountMeta {
- pubkey: Pubkey(new),
- is_signer: false,
- is_writable: true,
- }])
- .call()
- .unwrap();
- assert_eq!(returns, BorshToken::Bool(false));
- assert_eq!(
- vm.account_data.get_mut(&new).unwrap().lamports,
- u64::MAX - 101
- );
- assert_eq!(
- vm.account_data.get_mut(&data_account).unwrap().lamports,
- 103
- );
- }
- #[test]
- fn transfer_succeeds() {
- let mut vm = build_solidity(
- r#"
- contract c {
- function transfer(address payable addr, uint64 amount) public {
- addr.transfer(amount);
- }
- }"#,
- );
- let data_account = vm.initialize_data_account();
- vm.account_data.get_mut(&data_account).unwrap().lamports = 103;
- vm.function("new")
- .accounts(vec![("dataAccount", data_account)])
- .call();
- let new = account_new();
- vm.account_data.insert(
- new,
- AccountState {
- data: Vec::new(),
- owner: None,
- lamports: 5,
- },
- );
- vm.function("transfer")
- .arguments(&[
- BorshToken::Address(new),
- BorshToken::Uint {
- width: 64,
- value: BigInt::from(102u8),
- },
- ])
- .accounts(vec![("dataAccount", data_account)])
- .remaining_accounts(&[AccountMeta {
- pubkey: Pubkey(new),
- is_signer: false,
- is_writable: true,
- }])
- .call();
- assert_eq!(vm.account_data.get_mut(&new).unwrap().lamports, 107);
- assert_eq!(vm.account_data.get_mut(&data_account).unwrap().lamports, 1);
- }
- #[test]
- fn transfer_fails_not_enough() {
- let mut vm = build_solidity(
- r#"
- contract c {
- function transfer(address payable addr, uint64 amount) public {
- addr.transfer(amount);
- }
- }"#,
- );
- let data_account = vm.initialize_data_account();
- vm.account_data.get_mut(&data_account).unwrap().lamports = 103;
- vm.function("new")
- .accounts(vec![("dataAccount", data_account)])
- .call();
- let new = account_new();
- vm.account_data.insert(
- new,
- AccountState {
- data: Vec::new(),
- owner: None,
- lamports: 5,
- },
- );
- let res = vm
- .function("transfer")
- .arguments(&[
- BorshToken::Address(new),
- BorshToken::Uint {
- width: 64,
- value: BigInt::from(104u8),
- },
- ])
- .accounts(vec![("dataAccount", data_account)])
- .remaining_accounts(&[AccountMeta {
- pubkey: Pubkey(new),
- is_signer: false,
- is_writable: true,
- }])
- .must_fail();
- assert!(res.is_err());
- // Ensure the balance in the account has not overflowed
- assert_eq!(vm.account_data[&data_account].lamports, 103);
- assert_eq!(vm.account_data[&new].lamports, 5);
- vm.function("transfer")
- .arguments(&[
- BorshToken::Address(new),
- BorshToken::Uint {
- width: 64,
- value: BigInt::from(103u8),
- },
- ])
- .accounts(vec![("dataAccount", data_account)])
- .remaining_accounts(&[AccountMeta {
- pubkey: Pubkey(new),
- is_signer: false,
- is_writable: true,
- }])
- .call();
- assert_eq!(vm.account_data[&data_account].lamports, 0);
- assert_eq!(vm.account_data[&new].lamports, 108);
- }
- #[test]
- fn transfer_fails_overflow() {
- let mut vm = build_solidity(
- r#"
- contract c {
- constructor() payable {}
- function transfer(address payable addr, uint64 amount) public {
- addr.transfer(amount);
- }
- }"#,
- );
- let data_account = vm.initialize_data_account();
- vm.account_data.get_mut(&data_account).unwrap().lamports = 104;
- vm.function("new")
- .accounts(vec![("dataAccount", data_account)])
- .call();
- let new = account_new();
- vm.account_data.insert(
- new,
- AccountState {
- data: Vec::new(),
- owner: None,
- lamports: u64::MAX - 100,
- },
- );
- let res = vm
- .function("transfer")
- .arguments(&[
- BorshToken::FixedBytes(new.to_vec()),
- BorshToken::Uint {
- width: 64,
- value: BigInt::from(104u8),
- },
- ])
- .accounts(vec![("dataAccount", data_account)])
- .remaining_accounts(&[AccountMeta {
- pubkey: Pubkey(new),
- is_writable: false,
- is_signer: true,
- }])
- .must_fail();
- assert!(res.is_err());
- // Ensure no change in the values
- assert_eq!(vm.account_data[&new].lamports, u64::MAX - 100);
- assert_eq!(vm.account_data[&data_account].lamports, 104);
- vm.function("transfer")
- .arguments(&[
- BorshToken::FixedBytes(new.to_vec()),
- BorshToken::Uint {
- width: 64,
- value: BigInt::from(100u8),
- },
- ])
- .accounts(vec![("dataAccount", data_account)])
- .remaining_accounts(&[AccountMeta {
- pubkey: Pubkey(new),
- is_writable: false,
- is_signer: true,
- }])
- .call();
- assert_eq!(vm.account_data[&new].lamports, u64::MAX);
- assert_eq!(vm.account_data[&data_account].lamports, 4);
- }
- #[test]
- fn fallback() {
- let mut vm = build_solidity(
- r#"
- contract c {
- fallback() external {
- print("fallback");
- }
- }"#,
- );
- let data_account = vm.initialize_data_account();
- vm.function("new")
- .accounts(vec![("dataAccount", data_account)])
- .call();
- if let Some(idl) = &vm.stack[0].idl {
- let mut idl = idl.clone();
- idl.instructions.push(IdlInstruction {
- name: "extinct".to_string(),
- docs: None,
- accounts: vec![],
- args: vec![],
- returns: None,
- });
- vm.stack[0].idl = Some(idl);
- }
- vm.function("extinct").call();
- assert_eq!(vm.logs, "fallback");
- }
- #[test]
- fn value_overflows() {
- let mut vm = build_solidity(
- r#"
- contract c {
- constructor() payable {}
- function send(address payable addr, uint128 amount) public returns (bool) {
- return addr.send(amount);
- }
- }"#,
- );
- let data_account = vm.initialize_data_account();
- vm.account_data.get_mut(&data_account).unwrap().lamports = 103;
- vm.function("new")
- .accounts(vec![("dataAccount", data_account)])
- .call();
- let new = account_new();
- vm.account_data.insert(
- new,
- AccountState {
- data: Vec::new(),
- owner: None,
- lamports: u64::MAX - 101,
- },
- );
- let res = vm
- .function("send")
- .arguments(&[
- BorshToken::Address(new),
- BorshToken::Uint {
- width: 128,
- value: BigInt::from(u64::MAX as u128 + 1),
- },
- ])
- .accounts(vec![("dataAccount", data_account)])
- .remaining_accounts(&[AccountMeta {
- pubkey: Pubkey(new),
- is_signer: false,
- is_writable: true,
- }])
- .must_fail();
- assert_eq!(res.unwrap(), 4294967296);
- let res = vm
- .function("send")
- .arguments(&[
- BorshToken::Address(new),
- BorshToken::Uint {
- width: 128,
- value: BigInt::from(u128::MAX),
- },
- ])
- .accounts(vec![("dataAccount", data_account)])
- .remaining_accounts(&[AccountMeta {
- pubkey: Pubkey(new),
- is_signer: false,
- is_writable: true,
- }])
- .must_fail();
- assert_eq!(res.unwrap(), 4294967296);
- let returns = vm
- .function("send")
- .arguments(&[
- BorshToken::Address(new),
- BorshToken::Uint {
- width: 128,
- value: BigInt::from(102u8),
- },
- ])
- .accounts(vec![("dataAccount", data_account)])
- .remaining_accounts(&[AccountMeta {
- pubkey: Pubkey(new),
- is_signer: false,
- is_writable: true,
- }])
- .call()
- .unwrap();
- assert_eq!(returns, BorshToken::Bool(false));
- assert_eq!(
- vm.account_data.get_mut(&new).unwrap().lamports,
- u64::MAX - 101
- );
- assert_eq!(
- vm.account_data.get_mut(&data_account).unwrap().lamports,
- 103
- );
- }
|