forked from crytic/building-secure-contracts
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathTestDepositWithPermit.sol
92 lines (85 loc) · 2.93 KB
/
TestDepositWithPermit.sol
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
pragma solidity ^0.8.0;
import "./MockERC20Permit.sol";
interface iHevm {
//signs digest with private key sk
function sign(uint256 sk, bytes32 digest)
external
returns (
uint8 v,
bytes32 r,
bytes32 s
);
}
contract TestDepositWithPermit {
MockERC20Permit asset;
iHevm hevm;
event AssertionFailed(string reason);
event LogBalance(uint256 balanceOwner, uint256 balanceCaller);
address constant OWNER = 0x2B5AD5c4795c026514f8317c7a215E218DcCD6cF; //address corresponding to private key 0x2
constructor() {
hevm = iHevm(0x7109709ECfa91a80626fF3989D68f67F5b1DD12D);
asset = new MockERC20Permit("Permit Token", "PMT", 18);
}
//helper method to get signature, signs with private key 2
function getSignature(
address owner,
address spender,
uint256 assetAmount
)
internal
returns (
uint8 v,
bytes32 r,
bytes32 s
)
{
bytes32 digest = keccak256(
abi.encodePacked(
"\x19\x01",
asset.DOMAIN_SEPARATOR(),
keccak256(
abi.encode(
keccak256(
"Permit(address owner,address spender,uint256 value,uint256 nonce,uint256 deadline)"
),
owner,
spender,
assetAmount,
asset.nonces(owner),
block.timestamp
)
)
)
);
(v, r, s) = hevm.sign(2, digest); //this gives us OWNER's signature
}
function testERC20PermitDeposit(uint256 amount) public {
amount = 1 + (amount % 1000000e18); // we'll only consider transfers of up to 1M tokens
asset.mint(OWNER, amount);
uint256 previousOwnerBalance = asset.balanceOf(OWNER);
uint256 previousCallerBalance = asset.balanceOf(address(this));
emit LogBalance(previousOwnerBalance, previousCallerBalance);
(uint8 v, bytes32 r, bytes32 s) = getSignature(
OWNER,
address(this),
amount
);
try
asset.permit(OWNER, address(this), amount, block.timestamp, v, r, s)
{} catch {
emit AssertionFailed("signature is invalid");
}
try asset.transferFrom(OWNER, address(this), amount) {} catch {
emit AssertionFailed("transferFrom reverted");
}
uint256 currentOwnerBalance = asset.balanceOf(OWNER);
uint256 currentCallerBalance = asset.balanceOf(address(this));
emit LogBalance(currentOwnerBalance, currentCallerBalance);
if (
currentCallerBalance != previousCallerBalance + amount &&
currentOwnerBalance != 0
) {
emit AssertionFailed("incorrect amount transferred");
}
}
}