fix: update escrow bytecode artifacts paths#137
Merged
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;
+ uint256 public unresolved_21c03ae3;
+ bytes32 store_o;
+ bytes32 store_m;
+ bytes32 store_p;
+ bytes32 store_j;
+ bytes32 store_k;
+ bytes32 store_a;
+ uint256 public unresolved_15a5082e;
+ uint256 public unresolved_2e4594e7;
+ bytes32 store_h;
+ bytes32 store_i;
+ bytes32 store_g;
+ bytes32 store_l;
+ bytes32 store_n;
+ uint256 public unresolved_b563f3f0;
+ bytes32 store_r;
+ bool public unresolved_459977be;
- 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 CustomError_00000000();
─── Function bond (0x9940686e → 0xb56c680c) ───
@@ -1,54 +1,22 @@
- /// @custom:selector 0x9940686e
- /// @custom:signature bond(uint256 arg0) public payable
+ /// @custom:selector 0xb56c680c
+ /// @custom:signature Unresolved_b56c680c(uint256 arg0) public payable
/// @param arg0 ["uint256", "bytes32", "int256"]
- function bond(uint256 arg0) public payable {
+ function Unresolved_b56c680c(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;
- 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;
- 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;
- 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;
- var_f = 0x11;
- currentRewardAmount = currentRewardAmount + bondAmount;
- require(totalBondsDeposited > (totalBondsDeposited + bondAmount), CustomError_9cbc1de1());
- var_a = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
- var_f = 0x11;
- totalBondsDeposited = totalBondsDeposited + bondAmount;
- require(executionDeadline, CustomError_9cbc1de1());
- require(!(block.timestamp > executionDeadline), CustomError_9cbc1de1());
- var_a = 0x9cbc1de100000000000000000000000000000000000000000000000000000000;
- if (executionDeadline) {
- }
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0x20, CustomError_4e487b70());
+ require(unresolved_2e4594e7, CustomError_4e487b70());
+ require(block.timestamp > unresolved_2e4594e7, CustomError_4e487b70());
+ require(unresolved_15a5082e > (unresolved_15a5082e + store_i), CustomError_4e487b70());
+ uint256 var_a = (0xc42d7c63 ^ (0x4bf934ff ^ (0x2b7e756e ^ (0xeae24683 ^ (unresolved_15a5082e + store_i))))) << 0xe0;
+ var_b = 0x11;
+ unresolved_15a5082e = unresolved_15a5082e + store_i;
+ require(store_l > (store_l + store_i), CustomError_4e487b70());
+ var_a = (0xc42d7c63 ^ (0x4bf934ff ^ (0x2b7e756e ^ (0xeae24683 ^ (store_l + store_i))))) << 0xe0;
+ var_b = 0x11;
+ store_l = store_l + store_i;
+ require(unresolved_2e4594e7);
+ require(unresolved_2e4594e7);
}
─── Function Unresolved_ede7f6a3 (0xede7f6a3 → 0x07e5f6f7) ───
@@ -1,77 +1,14 @@
- /// @custom:selector 0xede7f6a3
- /// @custom:signature Unresolved_ede7f6a3(uint256 arg0, uint256 arg1) public view
+
+ /// @custom:selector 0x07e5f6f7
+ /// @custom:signature Unresolved_07e5f6f7(uint256 arg0, uint256 arg1) public pure
/// @param arg0 ["uint256", "bytes32", "int256"]
/// @param arg1 ["uint256", "bytes32", "int256"]
- function Unresolved_ede7f6a3(uint256 arg0, uint256 arg1) public view {
+ function Unresolved_07e5f6f7(uint256 arg0, uint256 arg1) public pure {
+ require(0xf6 == msg.data[0]);
+ require(0 == 0x01);
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;
}
─── Function resume (0x046f7da2 → 0xc7eb07c0) ───
@@ -1,10 +1,12 @@
- /// @custom:selector 0x046f7da2
- /// @custom:signature resume() public payable
- function resume() public payable {
+ /// @custom:selector 0xc7eb07c0
+ /// @custom:signature Unresolved_c7eb07c0() public payable
+ function Unresolved_c7eb07c0() 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 = uint248(unresolved_308657d7);
+ require(msg.sender - 0, CustomError_a660ba15());
+ bytes32 var_a = (0x9173648f ^ (0x041bbbdc ^ (0xf4e36286 ^ (msg.data[0] >> 0xe0)))) << 0xe0;
+ store_l = uint248(store_l);
}
─── Function requestCancellation (0x81972d00 → 0x3b728102) ───
@@ -1,10 +1,12 @@
- /// @custom:selector 0x81972d00
- /// @custom:signature requestCancellation() public payable
- function requestCancellation() public payable {
+ /// @custom:selector 0x3b728102
+ /// @custom:signature Unresolved_3b728102() public payable
+ function Unresolved_3b728102() public payable {
+ require(!store_k);
+ 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_5af93cd7());
+ bytes32 var_a = (0x9173648f ^ (0x041bbbdc ^ (0xf4e36286 ^ (msg.data[0] >> 0xe0)))) << 0xe0;
+ store_l = 0x01 | (uint248(store_l));
}
─── Function withdraw (0x3ccfd60b → 0xd486d675) ───
@@ -1,40 +1,14 @@
- /// @custom:selector 0x3ccfd60b
- /// @custom:signature withdraw() public payable
- function withdraw() public payable {
+ /// @custom:selector 0xd486d675
+ /// @custom:signature Unresolved_d486d675(uint256 arg0) public view
+ /// @param arg0 ["uint256", "bytes32", "int256"]
+ function Unresolved_d486d675(uint256 arg0) public view {
+ 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;
- var_b = 0x11;
- unresolved_308657d7 = uint248(unresolved_308657d7);
- unresolved_8bd03d0a = 0;
- currentRewardAmount = 0;
- require(!unresolved_8bd03d0a + unresolved_d415b3f9);
- var_c = 0xa9059cbb00000000000000000000000000000000000000000000000000000000;
- address var_d = msg.sender;
- uint256 var_e = unresolved_8bd03d0a + unresolved_d415b3f9;
- (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;
- 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(!(bytes1(unresolved_459977be >> 0x08)), CustomError_618bbfb9());
+ require(msg.sender - 0, CustomError_618bbfb9());
+ var_a = 0x618bbfb900000000000000000000000000000000000000000000000000000000;
+ var_a = 0xd5ef0d6200000000000000000000000000000000000000000000000000000000;
}
─── Function fund (0xa65e2cfd → 0x622c4858) ───
@@ -1,41 +1,21 @@
- /// @custom:selector 0xa65e2cfd
- /// @custom:signature fund(uint256 arg0, uint256 arg1) public payable
+ /// @custom:selector 0x622c4858
+ /// @custom:signature Unresolved_622c4858(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_622c4858(uint256 arg0, uint256 arg1) public payable {
+ require(!store_c);
+ 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;
- var_b = 0x11;
- var_c = 0x23b872dd00000000000000000000000000000000000000000000000000000000;
- address var_d = msg.sender;
- address var_e = address(this);
- uint256 var_f = unresolved_d415b3f9 + unresolved_8bd03d0a;
- (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;
- 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;
+ uint256 var_a = (0x9173648f ^ (0x041bbbdc ^ (0xf4e36286 ^ arg1))) << 0xe0;
+ require(bytes1(unresolved_459977be >> 0x08), CustomError_5adf6387());
+ var_a = (0xa9c464a5 ^ (0xf31b0722 ^ arg1)) << 0xe0;
+ require(!arg0, CustomError_93a08a7f());
+ require(!arg1, CustomError_93a08a7f());
+ unresolved_15a5082e = arg0;
+ unresolved_21c03ae3 = arg0;
+ var_a = (0x2e300ac2 + (0x65368acf + (0x39f4ee - arg1))) << 0xe0;
+ var_a = (0xc07ba554 ^ (0x3e6f3746 ^ (0x964c9417 ^ (0x824885a2 ^ arg1)))) << 0xe0;
}
─── Added: Unresolved_42be236a (0x42be236a) ───
@@ -1,0 +1,12 @@
+
+ /// @custom:selector 0x42be236a
+ /// @custom:signature Unresolved_42be236a(uint256 arg0) public view returns (uint256)
+ /// @param arg0 ["uint256", "bytes32", "int256"]
+ function Unresolved_42be236a(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_i;
+ return store_i;
+ }
─── Added: Unresolved_550a71ca (0x550a71ca) ───
@@ -1,0 +1,12 @@
+
+ /// @custom:selector 0x550a71ca
+ /// @custom:signature Unresolved_550a71ca(uint256 arg0) public pure returns (uint256)
+ /// @param arg0 ["uint256", "bytes32", "int256"]
+ function Unresolved_550a71ca(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_0b4e3f9b (0x0b4e3f9b) ───
@@ -1,0 +1,11 @@
+
+ /// @custom:selector 0x0b4e3f9b
+ /// @custom:signature Unresolved_0b4e3f9b() public view returns (uint256)
+ function Unresolved_0b4e3f9b() public view returns (uint256) {
+ require(!store_m);
+ require(0 == 0x01);
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_a = 0x0100;
+ return 0x0100;
+ }
─── Added: Unresolved_ab33c03c (0xab33c03c) ───
@@ -1,0 +1,12 @@
+
+ /// @custom:selector 0xab33c03c
+ /// @custom:signature Unresolved_ab33c03c(uint256 arg0) public view returns (address)
+ /// @param arg0 ["uint256", "bytes32", "int256"]
+ function Unresolved_ab33c03c(uint256 arg0) public view returns (address) {
+ require(0xc0 == msg.data[0]);
+ require(0 == 0x01);
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ address var_a = address(store_j);
+ return address(store_j);
+ }
─── Added: Unresolved_8f21ceab (0x8f21ceab) ───
@@ -1,0 +1,11 @@
+
+ /// @custom:selector 0x8f21ceab
+ /// @custom:signature Unresolved_8f21ceab() public view returns (uint256)
+ function Unresolved_8f21ceab() public view returns (uint256) {
+ require(!store_r);
+ require(0 == 0x01);
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ uint256 var_a = 0;
+ return 0;
+ }
─── Added: Unresolved_cbb9f546 (0xcbb9f546) ───
@@ -1,0 +1,12 @@
+
+ /// @custom:selector 0xcbb9f546
+ /// @custom:signature Unresolved_cbb9f546(uint256 arg0) public view
+ /// @param arg0 ["uint256", "bytes32", "int256"]
+ function Unresolved_cbb9f546(uint256 arg0) public view {
+ require(0xcb == msg.data[0]);
+ require(0 == 0x01);
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ if (unresolved_2e4594e7) {
+ }
+ }
─── Added: Unresolved_300fc6ea (0x300fc6ea) ───
@@ -1,0 +1,12 @@
+
+ /// @custom:selector 0x300fc6ea
+ /// @custom:signature Unresolved_300fc6ea(uint256 arg0) public view returns (bool)
+ /// @param arg0 ["uint256", "bytes32", "int256"]
+ function Unresolved_300fc6ea(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_459977be));
+ return !(!bytes1(unresolved_459977be));
+ }
─── Added: Unresolved_fe2668cb (0xfe2668cb) ───
@@ -1,0 +1,12 @@
+
+ /// @custom:selector 0xfe2668cb
+ /// @custom:signature Unresolved_fe2668cb(uint256 arg0) public view returns (uint256)
+ /// @param arg0 ["uint256", "bytes32", "int256"]
+ function Unresolved_fe2668cb(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_l;
+ return store_l;
+ }
─── Added: Unresolved_864bc0d9 (0x864bc0d9) ───
@@ -1,0 +1,11 @@
+ /// @custom:selector 0x864bc0d9
+ /// @custom:signature Unresolved_864bc0d9(uint256 arg0) public pure returns (uint256)
+ /// @param arg0 ["uint256", "bytes32", "int256"]
+ function Unresolved_864bc0d9(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;
+ }
Commit 5581413 |
ozwaldorf
approved these changes
Mar 5, 2026
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
2 participants
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.