Draft
Conversation
Contributor
Decompile Diff AnalysisStatistics (50 iterations)
Full Diff Output─── Storage ───
@@ -1,16 +1,21 @@
- uint256 public constant tokenContract = 0;
- uint256 public constant expectedAmount = 0;
- uint256 public constant unresolved_3d2691bc = 256;
- uint256 public constant unresolved_8677ab23 = 0;
+ bytes32 store_c;
+ bytes32 store_f;
+ bytes32 store_o;
+ uint256 public unresolved_1a129dda;
+ bytes32 store_p;
+ bytes32 store_j;
+ uint256 public unresolved_15d09992;
+ uint256 store_a;
+ uint256 public unresolved_772ad988;
+ bool public unresolved_02658007;
+ bytes32 store_h;
+ bytes32 store_i;
+ uint256 public unresolved_ea987154;
+ address store_l;
+ bytes32 store_n;
+ bytes32 store_q;
+ bytes32 store_r;
+ bytes32 store_d;
- uint256 public unresolved_8bd03d0a;
- uint256 public executionDeadline;
- uint256 public bondAmount;
- bool public unresolved_308657d7;
- uint256 public totalBondsDeposited;
- uint256 public unresolved_d415b3f9;
- uint256 public currentRewardAmount;
- address public unresolved_1aa7c0ec;
-
- error InvalidRLPList();
+ error ZeroPaymentAmount();
─── Function Unresolved_ede7f6a3 (0xede7f6a3 → 0xcc0bf69e) ───
@@ -1,77 +1,21 @@
- /// @custom:selector 0xede7f6a3
- /// @custom:signature Unresolved_ede7f6a3(uint256 arg0, uint256 arg1) public view
+
+ /// @custom:selector 0xcc0bf69e
+ /// @custom:signature Unresolved_cc0bf69e(uint256 arg0, uint256 arg1) public view returns (uint256)
/// @param arg0 ["uint256", "bytes32", "int256"]
/// @param arg1 ["uint256", "bytes32", "int256"]
- function Unresolved_ede7f6a3(uint256 arg0, uint256 arg1) public view {
+ function Unresolved_cc0bf69e(uint256 arg0, uint256 arg1) public view returns (uint256) {
+ require(0xf6 == msg.data[0]);
+ require(0 == 0x01);
+ require(0 == 0x01);
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ uint256 var_a = 0;
+ return 0;
require(msg.value);
require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0x40);
require(arg0 > 0xffffffffffffffff);
require(((msg.data.length - arg0) + 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc) < 0xa0);
require(arg0 + (arg0) > 0xffffffffffffffff);
- require(!(bytes1(unresolved_308657d7 >> 0x08)), CustomError_ded7c80c());
- require(msg.sender == (address(unresolved_1aa7c0ec)), CustomError_ded7c80c());
- require(!(msg.sender == (address(unresolved_1aa7c0ec))), CustomError_ded7c80c());
- var_a = 0xded7c80c00000000000000000000000000000000000000000000000000000000;
- require(arg1 > block.number, CustomError_58968cf0());
- var_a = 0x58968cf000000000000000000000000000000000000000000000000000000000;
- require((block.number - arg1) > block.number, CustomError_c42a0185());
- var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
- var_b = 0x11;
- require((block.number - arg1) > 0x0100, CustomError_c42a0185());
- var_a = 0xc42a018500000000000000000000000000000000000000000000000000000000;
- require(!blockhash(arg1), CustomError_31aed5c2());
- require(arg0 + (arg0) > 0xffffffffffffffff, CustomError_31aed5c2());
- var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
- var_b = 0x41;
- require(((var_c + (uint248((0x20 + (0x1f + (arg0 + (arg0)))) + 0x1f))) > 0xffffffffffffffff) | ((var_c + (uint248((0x20 + (0x1f + (arg0 + (arg0)))) + 0x1f))) < var_c), CustomError_31aed5c2());
- var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
- var_b = 0x41;
- uint256 var_c = var_c + (uint248((0x20 + (0x1f + (arg0 + (arg0)))) + 0x1f));
- uint256 var_d = (arg0 + (arg0));
- var_e = msg.data[36:36];
- uint256 var_f = 0;
- require(keccak256(var_e) - blockhash(arg1), CustomError_31aed5c2());
- require(!(arg0 + (arg0)), CustomError_31aed5c2());
- require(bytes1(0x20 + (arg0 + (arg0))) < 0xc000000000000000000000000000000000000000000000000000000000000000, CustomError_31aed5c2());
- require(!(arg0 + (arg0)), CustomError_31aed5c2());
- require(bytes1(0x20 + (arg0 + (arg0))) < 0xf800000000000000000000000000000000000000000000000000000000000000, CustomError_31aed5c2());
- require(!(0 < (arg0 + (arg0))), CustomError_31aed5c2());
- require((bytes1(((0x20 + (arg0 + (arg0))) + 0) >> 0xf8) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff09) > 0xff, CustomError_31aed5c2());
- require((0x01 + (bytes1((((0x20 + (arg0 + (arg0))) + 0) >> 0xf8) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff09))) > 0xff, CustomError_31aed5c2());
- var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
- var_b = 0x11;
- require(0 > (0 + (bytes1(0x01 + ((((0x20 + (arg0 + (arg0))) + 0) >> 0xf8) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff09)))), CustomError_31aed5c2());
- var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
- var_b = 0x11;
- require(!(block.chainid == 0xa5bd), CustomError_31aed5c2());
- require(block.chainid == 0xa5bd, CustomError_31aed5c2());
- require(0 < 0x03, CustomError_31aed5c2());
- require(!((0 + (bytes1(0x01 + ((((0x20 + (arg0 + (arg0))) + 0) >> 0xf8) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff09)))) < (arg0 + (arg0))), CustomError_31aed5c2());
- require(!((0 + (bytes1(0x01 + ((((0x20 + (arg0 + (arg0))) + 0) >> 0xf8) + 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff09)))) < (arg0 + (arg0))), CustomError_31aed5c2());
- var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
- var_b = 0x32;
- var_a = 0x31aed5c200000000000000000000000000000000000000000000000000000000;
- if (0 < 0x08) {
- }
- var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
- var_b = 0x11;
- var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
- var_b = 0x32;
- if (!block.chainid == 0xa5bd) {
- if (block.chainid == 0xa5bd) {
- require(!(block.chainid == 0xa5bd), CustomError_c0098bd9());
- }
- require(block.chainid == 0xa5bd, CustomError_c0098bd9());
- }
- var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
- var_b = 0x32;
- var_a = 0xc0098bd900000000000000000000000000000000000000000000000000000000;
- var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
- var_b = 0x32;
- var_a = 0xff28378700000000000000000000000000000000000000000000000000000000;
- var_a = 0xbfc9f0d300000000000000000000000000000000000000000000000000000000;
- require(executionDeadline, CustomError_ded7c80c());
- require(!(!block.timestamp > executionDeadline), CustomError_ded7c80c());
- var_a = 0xded7c80c00000000000000000000000000000000000000000000000000000000;
- var_a = 0xd5ef09ba00000000000000000000000000000000000000000000000000000000;
+ require(!(bytes1(unresolved_02658007 >> 0x08)), CustomError_2a10f646());
+ uint256 var_b = (0x180e13a7 - (0x6d17bc6a + (0x15eddc1a + (arg0 + (arg0))))) << 0xe1;
}
─── Function bond (0x9940686e → 0x13c6685f) ───
@@ -1,54 +1,56 @@
- /// @custom:selector 0x9940686e
- /// @custom:signature bond(uint256 arg0) public payable
+ /// @custom:selector 0x13c6685f
+ /// @custom:signature Unresolved_13c6685f(uint256 arg0) public payable
/// @param arg0 ["uint256", "bytes32", "int256"]
- function bond(uint256 arg0) public payable {
+ function Unresolved_13c6685f(uint256 arg0) public payable {
+ require(0x68 == msg.data[0]);
+ require(0 == 0x01);
require(msg.value);
- require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0x20, CustomError_253ef1d2());
- require(executionDeadline, CustomError_253ef1d2());
- require(block.timestamp > executionDeadline, CustomError_253ef1d2());
- require(!(bytes1(unresolved_308657d7 >> 0x08)), CustomError_253ef1d2());
- require(bytes1(unresolved_308657d7), CustomError_253ef1d2());
- require(executionDeadline, CustomError_253ef1d2());
- require(!(block.timestamp > executionDeadline), CustomError_253ef1d2());
- var_a = 0x253ef1d200000000000000000000000000000000000000000000000000000000;
- require((currentRewardAmount >> 0x01) > arg0, CustomError_e92c469f());
- var_a = 0xe92c469f00000000000000000000000000000000000000000000000000000000;
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0x20, CustomError_25f39449());
+ require(unresolved_15d09992, CustomError_25f39449());
+ require(block.timestamp > unresolved_15d09992, CustomError_25f39449());
+ require(!(bytes1(unresolved_02658007 >> 0x08)), CustomError_25f39449());
+ require(bytes1(unresolved_02658007), CustomError_25f39449());
+ uint256 var_a = (0x24133786 + (0xbd30e0 - (0x5b096bb0 - (0x5c2c9793 + arg0)))) << 0xe0;
+ require(unresolved_15d09992, CustomError_dcf236e2());
+ require(!(block.timestamp > unresolved_15d09992), CustomError_dcf236e2());
+ var_a = (0x6decd144 - (0x57a13390 - (0xd82d7dbd + arg0))) << 0xe1;
+ require((unresolved_1a129dda >> 0x01) > arg0, CustomError_e92c4269());
+ var_a = 0xe92c426900000000000000000000000000000000000000000000000000000000;
var_b = 0x23b872dd00000000000000000000000000000000000000000000000000000000;
address var_c = msg.sender;
address var_d = address(this);
uint256 var_e = arg0;
(bool success, bytes memory ret0) = address(0).Unresolved_23b872dd(var_c); // call
- require(!0, CustomError_045c4b02());
- unresolved_1aa7c0ec = (uint96(unresolved_1aa7c0ec)) | msg.sender;
- require(block.timestamp > (block.timestamp + 0x012c), CustomError_045c4b02());
- var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ require(!0, CustomError_6af5fcbf());
+ store_l = (uint96(store_l)) | msg.sender;
+ require(block.timestamp > (block.timestamp + 0x012c), CustomError_6af5fcbf());
+ var_a = (0x596eaecb - (0x4a522971 - (0xf20953ad + (block.timestamp + 0x012c)))) << 0xe0;
var_f = 0x11;
- executionDeadline = block.timestamp + 0x012c;
- bondAmount = arg0;
- var_a = 0x045c4b0200000000000000000000000000000000000000000000000000000000;
- require(0x20 > ret0.length);
- require(((var_g + 0x20) > 0xffffffffffffffff) | ((var_g + 0x20) < var_g));
- var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ unresolved_15d09992 = block.timestamp + 0x012c;
+ store_a = arg0;
+ var_a = (0xf01f8f6a - (0x0ec5e171 + (0x015e3d17 + (0xe2299663 + arg0)))) << 0xe1;
+ require(0x20 > ret0.length, CustomError_b1b783ef());
+ require(((var_g + 0x20) > 0xffffffffffffffff) | ((var_g + 0x20) < var_g), CustomError_b1b783ef());
+ var_a = (0x7f3bf45a - (0x2dbedf3b + (0x39703437 + (0x66555c59 + (var_g + 0x20))))) << 0xe0;
var_f = 0x41;
uint256 var_g = var_g + 0x20;
require(((var_g + 0x20) - var_g) < 0x20);
- require(var_g.length - var_g.length, CustomError_045c4b02());
- require(!var_g.length, CustomError_045c4b02());
- var_a = 0x045c4b0200000000000000000000000000000000000000000000000000000000;
- var_a = 0x2479328900000000000000000000000000000000000000000000000000000000;
- var_a = 0xd5ef09ba00000000000000000000000000000000000000000000000000000000;
- require(currentRewardAmount > (currentRewardAmount + bondAmount), CustomError_9cbc1de1());
- var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ require(var_g.length - var_g.length, CustomError_fba3b4fe());
+ require(!var_g.length, CustomError_fba3b4fe());
+ var_a = (0xf01f8f6a - (0x0ec5e171 + (0x015e3d17 + (0xe2299663 + arg0)))) << 0xe1;
+ var_a = (0x180e13a7 - (0x6d17bc6a + (0x15eddc1a + unresolved_02658007))) << 0xe1;
+ require(unresolved_1a129dda > (unresolved_1a129dda + store_a), CustomError_0125d907());
+ var_a = (0x596eaecb - (0x4a522971 - (0xf20953ad + (unresolved_1a129dda + store_a)))) << 0xe0;
var_f = 0x11;
- currentRewardAmount = currentRewardAmount + bondAmount;
- require(totalBondsDeposited > (totalBondsDeposited + bondAmount), CustomError_9cbc1de1());
- var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ unresolved_1a129dda = unresolved_1a129dda + store_a;
+ require(store_p > (store_p + store_a), CustomError_0125d907());
+ var_a = (0x596eaecb - (0x4a522971 - (0xf20953ad + (store_p + store_a)))) << 0xe0;
var_f = 0x11;
- totalBondsDeposited = totalBondsDeposited + bondAmount;
- require(executionDeadline, CustomError_9cbc1de1());
- require(!(block.timestamp > executionDeadline), CustomError_9cbc1de1());
- var_a = 0x9cbc1de100000000000000000000000000000000000000000000000000000000;
- if (executionDeadline) {
+ store_p = store_p + store_a;
+ require(unresolved_15d09992, CustomError_9cbc11de());
+ require(!(block.timestamp > unresolved_15d09992), CustomError_9cbc11de());
+ var_a = 0x9cbc11de00000000000000000000000000000000000000000000000000000000;
+ if (unresolved_15d09992) {
}
}
─── Function withdraw (0x3ccfd60b → 0x5af5d627) ───
@@ -1,40 +1,43 @@
- /// @custom:selector 0x3ccfd60b
- /// @custom:signature withdraw() public payable
- function withdraw() public payable {
+ /// @custom:selector 0x5af5d627
+ /// @custom:signature Unresolved_5af5d627(uint256 arg0) public payable
+ /// @param arg0 ["uint256", "bytes32", "int256"]
+ function Unresolved_5af5d627(uint256 arg0) public payable {
+ require(0xd6 == msg.data[0]);
+ require(0 == 0x01);
require(msg.value);
require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
- require(!(bytes1(unresolved_308657d7 >> 0x08)), CustomError_618bbdd5());
- require(msg.sender - 0, CustomError_618bbdd5());
- var_a = 0x618bbdd500000000000000000000000000000000000000000000000000000000;
- require(executionDeadline, CustomError_9cbc1de1());
- require(!(block.timestamp > executionDeadline), CustomError_9cbc1de1());
- var_a = 0x9cbc1de100000000000000000000000000000000000000000000000000000000;
- unresolved_1aa7c0ec = uint96(unresolved_1aa7c0ec);
- bondAmount = 0;
- executionDeadline = 0;
- require(unresolved_8bd03d0a > (unresolved_8bd03d0a + unresolved_d415b3f9));
- var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ require(!(bytes1(unresolved_02658007 >> 0x08)), CustomError_db347924());
+ require(msg.sender - 0, CustomError_db347924());
+ var_a = 0xdb34792400000000000000000000000000000000000000000000000000000000;
+ require(unresolved_15d09992, CustomError_9cbc1f66());
+ require(!(block.timestamp > unresolved_15d09992), CustomError_9cbc1f66());
+ var_a = 0x9cbc1f6600000000000000000000000000000000000000000000000000000000;
+ store_l = uint96(store_l);
+ store_a = 0;
+ unresolved_15d09992 = 0;
+ require(unresolved_ea987154 > (unresolved_ea987154 + unresolved_772ad988), CustomError_0125d907());
+ uint256 var_a = (0x596eaecb - (0x4a522971 - (0xf20953ad + (unresolved_ea987154 + unresolved_772ad988)))) << 0xe0;
var_b = 0x11;
- unresolved_308657d7 = uint248(unresolved_308657d7);
- unresolved_8bd03d0a = 0;
- currentRewardAmount = 0;
- require(!unresolved_8bd03d0a + unresolved_d415b3f9);
+ unresolved_02658007 = uint248(unresolved_02658007);
+ unresolved_ea987154 = 0;
+ unresolved_1a129dda = 0;
+ require(!unresolved_ea987154 + unresolved_772ad988);
var_c = 0xa9059cbb00000000000000000000000000000000000000000000000000000000;
address var_d = msg.sender;
- uint256 var_e = unresolved_8bd03d0a + unresolved_d415b3f9;
+ uint256 var_e = unresolved_ea987154 + unresolved_772ad988;
(bool success, bytes memory ret0) = address(0).Unresolved_a9059cbb(var_d); // call
- require(!0, CustomError_045c4b02());
- var_a = 0x045c4b0200000000000000000000000000000000000000000000000000000000;
- require(0x20 > ret0.length);
- require(((var_f + 0x20) > 0xffffffffffffffff) | ((var_f + 0x20) < var_f));
- var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ require(!0, CustomError_45b808b0());
+ var_a = (0xf01f8f6a - (0x0ec5e171 + (0x015e3d17 + (0xe2299663 + (msg.data[0] >> 0xe0))))) << 0xe1;
+ require(0x20 > ret0.length, CustomError_b1b783ef());
+ require(((var_f + 0x20) > 0xffffffffffffffff) | ((var_f + 0x20) < var_f), CustomError_b1b783ef());
+ var_a = (0x7f3bf45a - (0x2dbedf3b + (0x39703437 + (0x66555c59 + (var_f + 0x20))))) << 0xe0;
var_b = 0x41;
uint256 var_f = var_f + 0x20;
require(((var_f + 0x20) - var_f) < 0x20);
- require(var_f.length - var_f.length, CustomError_045c4b02());
- require(!var_f.length, CustomError_045c4b02());
- var_a = 0x045c4b0200000000000000000000000000000000000000000000000000000000;
- var_a = 0x53cd7f7900000000000000000000000000000000000000000000000000000000;
- var_a = 0xd5ef09ba00000000000000000000000000000000000000000000000000000000;
+ require(var_f.length - var_f.length, CustomError_45b808b0());
+ require(!var_f.length, CustomError_45b808b0());
+ var_a = (0xf01f8f6a - (0x0ec5e171 + (0x015e3d17 + (0xe2299663 + (msg.data[0] >> 0xe0))))) << 0xe1;
+ var_a = (0x8ff87133 - (0xe211505e + (0x1df559aa - (0x1fa9f9f8 + (unresolved_ea987154 + unresolved_772ad988))))) << 0xe0;
+ var_a = 0x2a10f14800000000000000000000000000000000000000000000000000000000;
}
─── Function requestCancellation (0x81972d00 → 0xd1fd93a0) ───
@@ -1,10 +1,12 @@
- /// @custom:selector 0x81972d00
- /// @custom:signature requestCancellation() public payable
- function requestCancellation() public payable {
+ /// @custom:selector 0xd1fd93a0
+ /// @custom:signature Unresolved_d1fd93a0() public payable
+ function Unresolved_d1fd93a0() public payable {
+ require(!store_o);
+ require(0 == 0x01);
require(msg.value);
require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
- require(msg.sender - 0, CustomError_618bbdd5());
- var_a = 0x618bbdd500000000000000000000000000000000000000000000000000000000;
- unresolved_308657d7 = 0x01 | (uint248(unresolved_308657d7));
+ require(msg.sender - 0, CustomError_ad320a45());
+ uint256 var_a = (0x3cd45c68 - (0x55841003 - (0x29960556 + (0xca4e24ea + (msg.data[0] >> 0xe0))))) << 0xe0;
+ unresolved_ea987154 = 0x01 | (uint248(unresolved_ea987154));
}
─── Function resume (0x046f7da2 → 0x68d2f6d2) ───
@@ -1,10 +1,12 @@
- /// @custom:selector 0x046f7da2
- /// @custom:signature resume() public payable
- function resume() public payable {
+ /// @custom:selector 0x68d2f6d2
+ /// @custom:signature Unresolved_68d2f6d2() public payable
+ function Unresolved_68d2f6d2() public payable {
+ require(!store_f);
+ require(0 == 0x01);
require(msg.value);
require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
- require(msg.sender - 0, CustomError_618bbdd5());
- var_a = 0x618bbdd500000000000000000000000000000000000000000000000000000000;
- unresolved_308657d7 = uint248(unresolved_308657d7);
+ require(msg.sender - 0, CustomError_44076d77());
+ uint256 var_a = (0x3cd45c68 - (0x55841003 - (0x29960556 + (0xca4e24ea + (msg.data[0] >> 0xe0))))) << 0xe0;
+ unresolved_ea987154 = uint248(unresolved_ea987154);
}
─── Function fund (0xa65e2cfd → 0x7a14344a) ───
@@ -1,41 +1,43 @@
- /// @custom:selector 0xa65e2cfd
- /// @custom:signature fund(uint256 arg0, uint256 arg1) public payable
+ /// @custom:selector 0x7a14344a
+ /// @custom:signature Unresolved_7a14344a(uint256 arg0, uint256 arg1) public payable
/// @param arg0 ["uint256", "bytes32", "int256"]
/// @param arg1 ["uint256", "bytes32", "int256"]
- function fund(uint256 arg0, uint256 arg1) public payable {
+ function Unresolved_7a14344a(uint256 arg0, uint256 arg1) public payable {
+ require(!store_r);
+ require(0 == 0x01);
require(msg.value);
- require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0x40, CustomError_618bbdd5());
- require(msg.sender - 0, CustomError_618bbdd5());
- var_a = 0x618bbdd500000000000000000000000000000000000000000000000000000000;
- require(bytes1(unresolved_308657d7 >> 0x08), CustomError_5adf6387());
- var_a = 0x5adf638700000000000000000000000000000000000000000000000000000000;
- require(!arg0);
- require(!arg1);
- currentRewardAmount = arg0;
- unresolved_d415b3f9 = arg0;
- unresolved_8bd03d0a = arg1;
- require(unresolved_d415b3f9 > (unresolved_d415b3f9 + unresolved_8bd03d0a));
- var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0x40, CustomError_db3476a5());
+ require(msg.sender - 0, CustomError_db3476a5());
+ uint256 var_a = (0x3cd45c68 - (0x55841003 - (0x29960556 + (0xca4e24ea + arg1)))) << 0xe0;
+ require(bytes1(unresolved_02658007 >> 0x08), CustomError_a5209c79());
+ var_a = (0x0d1477a8 - (0x67f3db2f + arg1)) << 0xe0;
+ require(!arg0, CustomError_0125df16());
+ require(!arg1, CustomError_0125df16());
+ unresolved_1a129dda = arg0;
+ unresolved_772ad988 = arg0;
+ unresolved_ea987154 = arg1;
+ require(unresolved_772ad988 > (unresolved_772ad988 + unresolved_ea987154), CustomError_0125df16());
+ var_a = 0x0125df1600000000000000000000000000000000000000000000000000000000;
var_b = 0x11;
var_c = 0x23b872dd00000000000000000000000000000000000000000000000000000000;
address var_d = msg.sender;
address var_e = address(this);
- uint256 var_f = unresolved_d415b3f9 + unresolved_8bd03d0a;
+ uint256 var_f = unresolved_772ad988 + unresolved_ea987154;
(bool success, bytes memory ret0) = address(0).Unresolved_23b872dd(var_d); // call
- require(!0, CustomError_045c4b02());
- unresolved_308657d7 = (uint248(unresolved_308657d7)) | 0x0100;
- var_a = 0x045c4b0200000000000000000000000000000000000000000000000000000000;
- require(0x20 > ret0.length);
- require(((var_g + 0x20) > 0xffffffffffffffff) | ((var_g + 0x20) < var_g));
- var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
+ require(!0, CustomError_077b4c6a());
+ unresolved_02658007 = (uint248(unresolved_02658007)) | 0x0100;
+ var_a = (0xf01f8f6a - (0x0ec5e171 + (0x015e3d17 + (0xe2299663 + (msg.data[0] >> 0xe0))))) << 0xe1;
+ require(0x20 > ret0.length, CustomError_b1b783ef());
+ require(((var_g + 0x20) > 0xffffffffffffffff) | ((var_g + 0x20) < var_g), CustomError_b1b783ef());
+ var_a = (0x7f3bf45a - (0x2dbedf3b + (0x39703437 + (0x66555c59 + (var_g + 0x20))))) << 0xe0;
var_b = 0x41;
uint256 var_g = var_g + 0x20;
require(((var_g + 0x20) - var_g) < 0x20);
- require(var_g.length - var_g.length, CustomError_045c4b02());
- require(!var_g.length, CustomError_045c4b02());
- var_a = 0x045c4b0200000000000000000000000000000000000000000000000000000000;
- unresolved_308657d7 = (uint248(unresolved_308657d7)) | 0x0100;
- var_a = 0x932ca0a300000000000000000000000000000000000000000000000000000000;
- var_a = 0xea1083a700000000000000000000000000000000000000000000000000000000;
+ require(var_g.length - var_g.length, CustomError_077b4c6a());
+ require(!var_g.length, CustomError_077b4c6a());
+ var_a = (0xf01f8f6a - (0x0ec5e171 + (0x015e3d17 + (0xe2299663 + (msg.data[0] >> 0xe0))))) << 0xe1;
+ unresolved_02658007 = (uint248(unresolved_02658007)) | 0x0100;
+ var_a = (0xccd00226 ^ (0xe5ebb6b3 ^ (0x220f6f7d ^ (0x98187b4b ^ arg1)))) << 0xe0;
+ var_a = (0x57d4e927 + (0x2fa5c0c6 + (0x6295d9ba + arg1))) << 0xe0;
}
─── Added: Unresolved_5d46c097 (0x5d46c097) ───
@@ -1,0 +1,61 @@
+
+ /// @custom:selector 0x5d46c097
+ /// @custom:signature Unresolved_5d46c097(uint256 arg0) public payable returns (address)
+ /// @param arg0 ["uint256", "bytes32", "int256"]
+ function Unresolved_5d46c097(uint256 arg0) public payable returns (address) {
+ require(0xc0 == msg.data[0]);
+ require(0 == 0x01);
+ require(0 == 0x01);
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0x20, CustomError_25f39449());
+ require(unresolved_15d09992, CustomError_25f39449());
+ require(block.timestamp > unresolved_15d09992, CustomError_25f39449());
+ require(!(bytes1(unresolved_02658007 >> 0x08)), CustomError_25f39449());
+ require(bytes1(unresolved_02658007), CustomError_25f39449());
+ uint256 var_a = (0x24133786 + (0xbd30e0 - (0x5b096bb0 - (0x5c2c9793 + arg0)))) << 0xe0;
+ require(unresolved_15d09992, CustomError_dcf236e2());
+ require(!(block.timestamp > unresolved_15d09992), CustomError_dcf236e2());
+ var_a = (0x6decd144 - (0x57a13390 - (0xd82d7dbd + arg0))) << 0xe1;
+ require((unresolved_1a129dda >> 0x01) > arg0, CustomError_e92c4269());
+ var_a = 0xe92c426900000000000000000000000000000000000000000000000000000000;
+ var_b = 0x23b872dd00000000000000000000000000000000000000000000000000000000;
+ address var_c = msg.sender;
+ address var_d = address(this);
+ uint256 var_e = arg0;
+ (bool success, bytes memory ret0) = address(0).Unresolved_23b872dd(var_c); // call
+ require(!0, CustomError_6af5fcbf());
+ store_l = (uint96(store_l)) | msg.sender;
+ require(block.timestamp > (block.timestamp + 0x012c), CustomError_6af5fcbf());
+ var_a = (0x596eaecb - (0x4a522971 - (0xf20953ad + (block.timestamp + 0x012c)))) << 0xe0;
+ var_f = 0x11;
+ unresolved_15d09992 = block.timestamp + 0x012c;
+ store_a = arg0;
+ var_a = (0xf01f8f6a - (0x0ec5e171 + (0x015e3d17 + (0xe2299663 + arg0)))) << 0xe1;
+ require(0x20 > ret0.length, CustomError_b1b783ef());
+ require(((var_g + 0x20) > 0xffffffffffffffff) | ((var_g + 0x20) < var_g), CustomError_b1b783ef());
+ var_a = (0x7f3bf45a - (0x2dbedf3b + (0x39703437 + (0x66555c59 + (var_g + 0x20))))) << 0xe0;
+ var_f = 0x41;
+ uint256 var_g = var_g + 0x20;
+ require(((var_g + 0x20) - var_g) < 0x20);
+ require(var_g.length - var_g.length, CustomError_fba3b4fe());
+ require(!var_g.length, CustomError_fba3b4fe());
+ var_a = (0xf01f8f6a - (0x0ec5e171 + (0x015e3d17 + (0xe2299663 + arg0)))) << 0xe1;
+ var_a = (0x180e13a7 - (0x6d17bc6a + (0x15eddc1a + unresolved_02658007))) << 0xe1;
+ require(unresolved_1a129dda > (unresolved_1a129dda + store_a), CustomError_0125d907());
+ var_a = (0x596eaecb - (0x4a522971 - (0xf20953ad + (unresolved_1a129dda + store_a)))) << 0xe0;
+ var_f = 0x11;
+ unresolved_1a129dda = unresolved_1a129dda + store_a;
+ require(store_p > (store_p + store_a), CustomError_0125d907());
+ var_a = (0x596eaecb - (0x4a522971 - (0xf20953ad + (store_p + store_a)))) << 0xe0;
+ var_f = 0x11;
+ store_p = store_p + store_a;
+ require(unresolved_15d09992, CustomError_9cbc11de());
+ require(!(block.timestamp > unresolved_15d09992), CustomError_9cbc11de());
+ var_a = 0x9cbc11de00000000000000000000000000000000000000000000000000000000;
+ if (unresolved_15d09992) {
+ }
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ address var_b = address(store_l);
+ return address(store_l);
+ }
─── Added: Unresolved_86503198 (0x86503198) ───
@@ -1,0 +1,12 @@
+
+ /// @custom:selector 0x86503198
+ /// @custom:signature Unresolved_86503198(uint256 arg0) public pure returns (uint256)
+ /// @param arg0 ["uint256", "bytes32", "int256"]
+ function Unresolved_86503198(uint256 arg0) public pure returns (uint256) {
+ require(0x86 == msg.data[0]);
+ require(0 == 0x01);
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ uint256 var_a = 0;
+ return 0;
+ }
─── Added: Unresolved_7c3c3b56 (0x7c3c3b56) ───
@@ -1,0 +1,11 @@
+
+ /// @custom:selector 0x7c3c3b56
+ /// @custom:signature Unresolved_7c3c3b56() public view returns (uint256)
+ function Unresolved_7c3c3b56() public view returns (uint256) {
+ require(!store_c);
+ require(0 == 0x01);
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_a = 0x0100;
+ return 0x0100;
+ }
─── Added: Unresolved_cbb277b2 (0xcbb277b2) ───
@@ -1,0 +1,16 @@
+
+ /// @custom:selector 0xcbb277b2
+ /// @custom:signature Unresolved_cbb277b2(uint256 arg0) public view returns (bool)
+ /// @param arg0 ["uint256", "bytes32", "int256"]
+ function Unresolved_cbb277b2(uint256 arg0) public view returns (bool) {
+ require(0xcb == msg.data[0]);
+ require(0 == 0x01);
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ if (unresolved_15d09992) {
+ uint256 var_a = !(block.timestamp > unresolved_15d09992);
+ return !(block.timestamp > unresolved_15d09992);
+ var_a = unresolved_15d09992;
+ return unresolved_15d09992;
+ }
+ }
─── Added: Unresolved_301dc93f (0x301dc93f) ───
@@ -1,0 +1,12 @@
+
+ /// @custom:selector 0x301dc93f
+ /// @custom:signature Unresolved_301dc93f(uint256 arg0) public view returns (bool)
+ /// @param arg0 ["uint256", "bytes32", "int256"]
+ function Unresolved_301dc93f(uint256 arg0) public view returns (bool) {
+ require(0x30 == msg.data[0]);
+ require(0 == 0x01);
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ bytes1 var_a = !(!bytes1(unresolved_02658007));
+ return !(!bytes1(unresolved_02658007));
+ }
─── Added: Unresolved_52d523ae (0x52d523ae) ───
@@ -1,0 +1,11 @@
+ /// @custom:selector 0x52d523ae
+ /// @custom:signature Unresolved_52d523ae(uint256 arg0) public view returns (uint256)
+ /// @param arg0 ["uint256", "bytes32", "int256"]
+ function Unresolved_52d523ae(uint256 arg0) public view returns (uint256) {
+ require(0x23 == msg.data[0]);
+ require(0 == 0x01);
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_a = store_a;
+ return store_a;
+ }
─── Added: Unresolved_55d6857f (0x55d6857f) ───
@@ -1,0 +1,12 @@
+
+ /// @custom:selector 0x55d6857f
+ /// @custom:signature Unresolved_55d6857f(uint256 arg0) public pure returns (uint256)
+ /// @param arg0 ["uint256", "bytes32", "int256"]
+ function Unresolved_55d6857f(uint256 arg0) public pure returns (uint256) {
+ require(0x55 == msg.data[0]);
+ require(0 == 0x01);
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ uint256 var_a = 0;
+ return 0;
+ }
─── Added: Unresolved_261d9ed1 (0x261d9ed1) ───
@@ -1,0 +1,11 @@
+
+ /// @custom:selector 0x261d9ed1
+ /// @custom:signature Unresolved_261d9ed1() public view returns (uint256)
+ function Unresolved_261d9ed1() public view returns (uint256) {
+ require(!store_q);
+ require(0 == 0x01);
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ uint256 var_a = 0;
+ return 0;
+ }
─── Added: Unresolved_fe646b6f (0xfe646b6f) ───
@@ -1,0 +1,12 @@
+
+ /// @custom:selector 0xfe646b6f
+ /// @custom:signature Unresolved_fe646b6f(uint256 arg0) public view returns (uint256)
+ /// @param arg0 ["uint256", "bytes32", "int256"]
+ function Unresolved_fe646b6f(uint256 arg0) public view returns (uint256) {
+ require(0xfe == msg.data[0]);
+ require(0 == 0x01);
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_a = store_p;
+ return store_p;
+ }
Commit 3c7a473 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
No description provided.