docs: add comprehensive getting started guide to README#125
Open
EmperorOrokuSaki wants to merge 1 commit intomasterfrom
Open
docs: add comprehensive getting started guide to README#125EmperorOrokuSaki wants to merge 1 commit intomasterfrom
EmperorOrokuSaki wants to merge 1 commit intomasterfrom
Conversation
Added a detailed Getting Started section to the main README covering: - Installation instructions - Basic usage for all CLI commands (decode, strip, cfg, obfuscate, analyze) - Comprehensive TUI usage guide with both methods (--tui flag and --emit-debug + azoth tui) - Overview of available CLI commands with examples - Link to detailed CLI documentation The guide provides clear examples and explanations for users to quickly understand how to use Azoth's core functionality. Co-authored-by: Nima Rasooli <EmperorOrokuSaki@users.noreply.github.com>
| ``` | ||
|
|
||
| ### Using the TUI (Terminal User Interface) | ||
|
|
Member
Author
There was a problem hiding this comment.
would be nice to have a .gif of the tui here cc @ozwaldorf
Contributor
Decompile Diff AnalysisStatistics (50 iterations)
Full Diff Output─── Storage ───
@@ -1,14 +1,20 @@
- uint256 public constant unresolved_d4899a62 = 0;
- uint256 public constant expectedAmount = 0;
- uint256 public constant unresolved_8677ab23 = 0;
-
- uint256 public bondAmount;
- address public unresolved_1aa7c0ec;
- uint256 public executionDeadline;
- uint256 public currentRewardAmount;
- uint256 public unresolved_fe03a460;
- uint256 public unresolved_8bd03d0a;
- uint256 public unresolved_d415b3f9;
- bool public unresolved_308657d7;
+ bytes32 store_c;
+ bytes32 store_f;
+ uint256 public unresolved_83abfd0a;
+ bytes32 store_m;
+ bytes32 store_p;
+ uint256 public unresolved_b6814150;
+ bytes32 store_k;
+ bytes32 store_a;
+ bytes32 store_e;
+ uint256 public unresolved_bd0b30c2;
+ bytes32 store_h;
+ bytes32 store_i;
+ uint256 public unresolved_11745426;
+ uint256 public unresolved_5e6cdbd4;
+ bytes32 store_n;
+ bytes32 store_q;
+ bytes32 store_r;
+ bytes32 store_d;
─── Function bond (0x9940686e → 0x9979e031) ───
@@ -1,60 +1,62 @@
- /// @custom:selector 0x9940686e
- /// @custom:signature bond(uint256 arg0) public payable
+ /// @custom:selector 0x9979e031
+ /// @custom:signature Unresolved_9979e031(uint256 arg0) public payable
/// @param arg0 ["uint256", "bytes32", "int256"]
- function bond(uint256 arg0) public payable {
+ function Unresolved_9979e031(uint256 arg0) public payable {
+ require(0x99 == msg.data[0]);
+ require(0 == 0x01);
require(msg.value);
- require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0x20, "Bond must be at least half of reward amount");
- require(!(bytes1(unresolved_308657d7 >> 0x08)), "Bond must be at least half of reward amount");
- require(!(!bytes1(unresolved_308657d7)), "Bond must be at least half of reward amount");
- require(!(!arg0 < (currentRewardAmount >> 0x01)), "Bond must be at least half of reward amount");
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0x20, "Cancellation requested");
+ require(!(bytes1(store_d >> 0x08)), "Cancellation requested");
+ require(!(!bytes1(store_d)), "Cancellation requested");
+ var_a = 0x08c379a000000000000000000000000000000000000000000000000000000000;
+ var_b = 0x20;
+ var_c = 0x16;
+ var_d = 0x43616e63656c6c6174696f6e2072657175657374656400000000000000000000;
+ require(!(!arg0 < (unresolved_5e6cdbd4 >> 0x01)), "Bond must be at least half of reward amount");
var_a = 0x08c379a000000000000000000000000000000000000000000000000000000000;
var_b = 0x20;
var_c = 0x2b;
var_d = 0x426f6e64206d757374206265206174206c656173742068616c66206f66207265;
var_e = 0x7761726420616d6f756e74000000000000000000000000000000000000000000;
- require(executionDeadline, "Another executor is already bonded");
- require(block.timestamp > executionDeadline, "Another executor is already bonded");
- require(executionDeadline, "Another executor is already bonded");
- require(!(block.timestamp > executionDeadline), "Another executor is already bonded");
+ require(unresolved_11745426, "Another executor is already bonded");
+ require(block.timestamp > unresolved_11745426, "Another executor is already bonded");
+ require(unresolved_11745426, "Another executor is already bonded");
+ require(!(block.timestamp > unresolved_11745426), "Another executor is already bonded");
var_a = 0x08c379a000000000000000000000000000000000000000000000000000000000;
var_b = 0x20;
var_c = 0x22;
var_d = 0x416e6f74686572206578656375746f7220697320616c726561647920626f6e64;
var_e = 0x6564000000000000000000000000000000000000000000000000000000000000;
var_a = 0x23b872dd00000000000000000000000000000000000000000000000000000000;
address var_b = msg.sender;
address var_c = address(this);
uint256 var_d = arg0;
(bool success, bytes memory ret0) = address(0).Unresolved_23b872dd(var_b); // call
- unresolved_1aa7c0ec = var_b | (uint96(unresolved_1aa7c0ec));
+ store_f = var_b | (uint96(store_f));
require(block.timestamp > (block.timestamp + 0x012c));
var_f = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
var_g = 0x11;
- executionDeadline = block.timestamp + 0x012c;
- bondAmount = arg0;
+ unresolved_11745426 = block.timestamp + 0x012c;
+ store_h = arg0;
require(0x20 > ret0.length);
require(((var_h + 0x20) > 0xffffffffffffffff) | ((var_h + 0x20) < var_h));
var_f = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
var_g = 0x41;
uint256 var_h = var_h + 0x20;
require(((var_h + 0x20) - var_h) < 0x20);
require(var_h.length - var_h.length);
- if (currentRewardAmount > (currentRewardAmount + bondAmount)) {
+ if (unresolved_5e6cdbd4 > (unresolved_5e6cdbd4 + store_h)) {
var_f = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
var_g = 0x11;
- currentRewardAmount = currentRewardAmount + bondAmount;
- require(currentRewardAmount > (currentRewardAmount + bondAmount), "Cancellation requested");
+ unresolved_5e6cdbd4 = unresolved_5e6cdbd4 + store_h;
+ require(unresolved_5e6cdbd4 > (unresolved_5e6cdbd4 + store_h), "Contract not funded");
var_f = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
var_g = 0x11;
- require(unresolved_fe03a460 > (unresolved_fe03a460 + bondAmount), "Cancellation requested");
+ require(unresolved_83abfd0a > (unresolved_83abfd0a + store_h), "Contract not funded");
}
var_a = 0x08c379a000000000000000000000000000000000000000000000000000000000;
var_b = 0x20;
- var_c = 0x16;
- var_d = 0x43616e63656c6c6174696f6e2072657175657374656400000000000000000000;
- var_a = 0x08c379a000000000000000000000000000000000000000000000000000000000;
- var_b = 0x20;
var_c = 0x13;
var_d = 0x436f6e7472616374206e6f742066756e64656400000000000000000000000000;
}
─── Function Unresolved_ede7f6a3 (0xede7f6a3 → 0xf844b1be) ───
@@ -1,61 +1,64 @@
- /// @custom:selector 0xede7f6a3
- /// @custom:signature Unresolved_ede7f6a3(uint256 arg0, uint256 arg1) public view
+
+ /// @custom:selector 0xf844b1be
+ /// @custom:signature Unresolved_f844b1be(uint256 arg0, uint256 arg1) public view
/// @param arg0 ["uint256", "bytes32", "int256"]
/// @param arg1 ["uint256", "bytes32", "int256"]
- function Unresolved_ede7f6a3(uint256 arg0, uint256 arg1) public view {
+ function Unresolved_f844b1be(uint256 arg0, uint256 arg1) public view {
+ require(!store_e);
+ require(0 == 0x01);
require(msg.value);
require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0x40);
require(arg0 > 0xffffffffffffffff);
require(((msg.data.length - arg0) + 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc) < 0xa0, "Only bonded executor can collect");
- require(!(bytes1(unresolved_308657d7 >> 0x08)), "Only bonded executor can collect");
- require(address(unresolved_1aa7c0ec) == msg.sender, "Only bonded executor can collect");
- require(!(address(unresolved_1aa7c0ec) == msg.sender), "Only bonded executor can collect");
+ require(!(bytes1(store_d >> 0x08)), "Only bonded executor can collect");
+ require(address(store_f) == msg.sender, "Only bonded executor can collect");
+ require(!(address(store_f) == msg.sender), "Only bonded executor can collect");
var_a = 0x08c379a000000000000000000000000000000000000000000000000000000000;
var_b = 0x20;
var_c = 0x20;
var_d = 0x4f6e6c7920626f6e646564206578656375746f722063616e20636f6c6c656374;
require(!(!arg1 > block.number), "Target block is in the future");
var_a = 0x08c379a000000000000000000000000000000000000000000000000000000000;
var_b = 0x20;
var_c = 0x1d;
var_d = 0x54617267657420626c6f636b20697320696e2074686520667574757265000000;
require((block.number - arg1) > block.number);
var_e = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
var_f = 0x11;
require(0 < (block.number - arg1));
require(!blockhash(arg1));
require(arg0 + (arg0) > 0xffffffffffffffff);
require(arg0 + (arg0) > 0xffffffffffffffff, "Block header hash mismatch");
var_e = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
var_f = 0x41;
require(((var_g + (uint248((0x20 + (0x1f + (arg0 + (arg0)))) + 0x1f))) > 0xffffffffffffffff) | ((var_g + (uint248((0x20 + (0x1f + (arg0 + (arg0)))) + 0x1f))) < var_g), "Block header hash mismatch");
var_e = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
var_f = 0x41;
uint256 var_g = var_g + (uint248((0x20 + (0x1f + (arg0 + (arg0)))) + 0x1f));
uint256 var_a = (arg0 + (arg0));
var_h = msg.data[36:36];
uint256 var_i = 0;
require(!(keccak256(var_h) == blockhash(arg1)), "Block header hash mismatch");
var_i = 0x08c379a000000000000000000000000000000000000000000000000000000000;
var_c = 0x20;
var_d = 0x1a;
var_j = 0x426c6f636b206865616465722068617368206d69736d61746368000000000000;
var_a = 0x08c379a000000000000000000000000000000000000000000000000000000000;
var_b = 0x20;
var_c = 0x1d;
var_d = 0x556e61626c6520746f20726574726965766520626c6f636b2068617368000000;
var_a = 0x08c379a000000000000000000000000000000000000000000000000000000000;
var_b = 0x20;
var_c = 0x14;
var_d = 0x54617267657420626c6f636b20746f6f206f6c64000000000000000000000000;
- require(executionDeadline, "Only bonded executor can collect");
- require(!(!block.timestamp > executionDeadline), "Only bonded executor can collect");
+ require(unresolved_11745426, "Only bonded executor can collect");
+ require(!(!block.timestamp > unresolved_11745426), "Only bonded executor can collect");
var_a = 0x08c379a000000000000000000000000000000000000000000000000000000000;
var_b = 0x20;
var_c = 0x20;
var_d = 0x4f6e6c7920626f6e646564206578656375746f722063616e20636f6c6c656374;
var_a = 0x08c379a000000000000000000000000000000000000000000000000000000000;
var_b = 0x20;
var_c = 0x13;
var_d = 0x436f6e7472616374206e6f742066756e64656400000000000000000000000000;
}
─── Function resume (0x046f7da2 → 0xf74161b0) ───
@@ -1,13 +1,15 @@
- /// @custom:selector 0x046f7da2
- /// @custom:signature resume() public payable
- function resume() public payable {
+ /// @custom:selector 0xf74161b0
+ /// @custom:signature Unresolved_f74161b0() public payable
+ function Unresolved_f74161b0() public payable {
+ require(!store_m);
+ require(0 == 0x01);
require(msg.value);
require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
require(!(0 == msg.sender), "Only callable by the deployer");
var_a = 0x08c379a000000000000000000000000000000000000000000000000000000000;
var_b = 0x20;
var_c = 0x1d;
var_d = 0x4f6e6c792063616c6c61626c6520627920746865206465706c6f796572000000;
- unresolved_308657d7 = uint248(unresolved_308657d7);
+ store_d = uint248(store_d);
}
─── Function requestCancellation (0x81972d00 → 0x5d0e0f1b) ───
@@ -1,13 +1,14 @@
-
- /// @custom:selector 0x81972d00
- /// @custom:signature requestCancellation() public payable
- function requestCancellation() public payable {
+ /// @custom:selector 0x5d0e0f1b
+ /// @custom:signature Unresolved_5d0e0f1b() public payable
+ function Unresolved_5d0e0f1b() public payable {
+ require(!store_c);
+ require(0 == 0x01);
require(msg.value);
require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
require(!(0 == msg.sender), "Only callable by the deployer");
var_a = 0x08c379a000000000000000000000000000000000000000000000000000000000;
var_b = 0x20;
var_c = 0x1d;
var_d = 0x4f6e6c792063616c6c61626c6520627920746865206465706c6f796572000000;
- unresolved_308657d7 = 0x01 | (uint248(unresolved_308657d7));
+ store_d = 0x01 | (uint248(store_d));
}
─── Function withdraw (0x3ccfd60b → 0x96a9d663) ───
@@ -1,55 +1,58 @@
- /// @custom:selector 0x3ccfd60b
- /// @custom:signature withdraw() public payable
- function withdraw() public payable {
+ /// @custom:selector 0x96a9d663
+ /// @custom:signature Unresolved_96a9d663(uint256 arg0) public payable
+ /// @param arg0 ["uint256", "bytes32", "int256"]
+ function Unresolved_96a9d663(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)), "Only callable by the deployer");
+ require(!(bytes1(store_d >> 0x08)), "Only callable by the deployer");
require(!(msg.sender == 0), "Only callable by the deployer");
var_a = 0x08c379a000000000000000000000000000000000000000000000000000000000;
var_b = 0x20;
var_c = 0x1d;
var_d = 0x4f6e6c792063616c6c61626c6520627920746865206465706c6f796572000000;
- require(!((bytes1(unresolved_308657d7 >> 0x08)) == 0x01), "Cannot reset while bond is active");
- require(executionDeadline, "Cannot reset while bond is active");
- require(!(block.timestamp > executionDeadline), "Cannot reset while bond is active");
+ require(!((bytes1(store_d >> 0x08)) == 0x01), "Cannot reset while bond is active");
+ require(unresolved_11745426, "Cannot reset while bond is active");
+ require(!(block.timestamp > unresolved_11745426), "Cannot reset while bond is active");
var_a = 0x08c379a000000000000000000000000000000000000000000000000000000000;
var_b = 0x20;
var_c = 0x21;
var_d = 0x43616e6e6f74207265736574207768696c6520626f6e64206973206163746976;
var_e = 0x6500000000000000000000000000000000000000000000000000000000000000;
- unresolved_1aa7c0ec = uint96(unresolved_1aa7c0ec);
- bondAmount = 0;
- executionDeadline = 0;
- require(unresolved_8bd03d0a > (unresolved_8bd03d0a + unresolved_d415b3f9));
+ store_f = uint96(store_f);
+ store_h = 0;
+ unresolved_11745426 = 0;
+ require(unresolved_b6814150 > (unresolved_b6814150 + unresolved_bd0b30c2));
var_f = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
var_g = 0x11;
- unresolved_308657d7 = uint248(unresolved_308657d7);
- unresolved_8bd03d0a = 0;
- currentRewardAmount = 0;
- require(!unresolved_8bd03d0a + unresolved_d415b3f9);
+ store_d = uint248(store_d);
+ unresolved_b6814150 = 0;
+ unresolved_5e6cdbd4 = 0;
+ require(!unresolved_b6814150 + unresolved_bd0b30c2);
var_a = 0xa9059cbb00000000000000000000000000000000000000000000000000000000;
address var_b = msg.sender;
- uint256 var_c = unresolved_8bd03d0a + unresolved_d415b3f9;
+ uint256 var_c = unresolved_b6814150 + unresolved_bd0b30c2;
(bool success, bytes memory ret0) = address(0).Unresolved_a9059cbb(var_b); // call
require(0x20 > ret0.length);
require(((var_h + 0x20) > 0xffffffffffffffff) | ((var_h + 0x20) < var_h));
var_f = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
var_g = 0x41;
uint256 var_h = var_h + 0x20;
require(((var_h + 0x20) - var_h) < 0x20);
require(var_h.length - var_h.length);
var_a = 0x08c379a000000000000000000000000000000000000000000000000000000000;
var_b = 0x20;
var_c = 0x15;
var_d = 0x4e6f20776974686472617761626c652066756e64730000000000000000000000;
var_a = 0x08c379a000000000000000000000000000000000000000000000000000000000;
var_b = 0x20;
var_c = 0x37;
var_d = 0x54686520636f6e747261637420776173206e6f742066756e646564206f722068;
var_e = 0x6173206265656e20647261696e656420616c7265616479000000000000000000;
var_a = 0x08c379a000000000000000000000000000000000000000000000000000000000;
var_b = 0x20;
var_c = 0x13;
var_d = 0x436f6e7472616374206e6f742066756e64656400000000000000000000000000;
}
─── Function fund (0xa65e2cfd → 0xed289ebc) ───
@@ -1,49 +1,51 @@
- /// @custom:selector 0xa65e2cfd
- /// @custom:signature fund(uint256 arg0, uint256 arg1) public payable
+ /// @custom:selector 0xed289ebc
+ /// @custom:signature Unresolved_ed289ebc(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_ed289ebc(uint256 arg0, uint256 arg1) public payable {
+ require(!store_k);
+ require(0 == 0x01);
require(msg.value);
require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0x40, "Only callable by the deployer");
require(!(msg.sender == 0), "Only callable by the deployer");
var_a = 0x08c379a000000000000000000000000000000000000000000000000000000000;
var_b = 0x20;
var_c = 0x1d;
var_d = 0x4f6e6c792063616c6c61626c6520627920746865206465706c6f796572000000;
- require(!(!bytes1(unresolved_308657d7 >> 0x08)), "Contract already funded");
+ require(!(!bytes1(store_d >> 0x08)), "Contract already funded");
var_a = 0x08c379a000000000000000000000000000000000000000000000000000000000;
var_b = 0x20;
var_c = 0x17;
var_d = 0x436f6e747261637420616c72656164792066756e646564000000000000000000;
require(!arg0);
require(!arg1);
- currentRewardAmount = arg0;
- unresolved_d415b3f9 = arg0;
- unresolved_8bd03d0a = arg1;
- require(unresolved_d415b3f9 > (unresolved_d415b3f9 + unresolved_8bd03d0a));
+ unresolved_5e6cdbd4 = arg0;
+ unresolved_bd0b30c2 = arg0;
+ unresolved_b6814150 = arg1;
+ require(unresolved_bd0b30c2 > (unresolved_bd0b30c2 + unresolved_b6814150));
var_e = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
var_f = 0x11;
var_a = 0x23b872dd00000000000000000000000000000000000000000000000000000000;
address var_b = msg.sender;
address var_c = address(this);
- uint256 var_d = unresolved_d415b3f9 + unresolved_8bd03d0a;
+ uint256 var_d = unresolved_bd0b30c2 + unresolved_b6814150;
(bool success, bytes memory ret0) = address(0).Unresolved_23b872dd(var_b); // call
- unresolved_308657d7 = (uint248(unresolved_308657d7)) | 0x0100;
+ store_d = (uint248(store_d)) | 0x0100;
require(0x20 > ret0.length);
require(((var_g + 0x20) > 0xffffffffffffffff) | ((var_g + 0x20) < var_g));
var_e = 0x4e487b7100000000000000000000000000000000000000000000000000000000;
var_f = 0x41;
uint256 var_g = var_g + 0x20;
require(((var_g + 0x20) - var_g) < 0x20);
require(var_g.length - var_g.length);
- unresolved_308657d7 = (uint248(unresolved_308657d7)) | 0x0100;
+ store_d = (uint248(store_d)) | 0x0100;
var_a = 0x08c379a000000000000000000000000000000000000000000000000000000000;
var_b = 0x20;
var_c = 0x1f;
var_d = 0x5061796d656e7420616d6f756e74206d757374206265206e6f6e2d7a65726f00;
var_a = 0x08c379a000000000000000000000000000000000000000000000000000000000;
var_b = 0x20;
var_c = 0x1e;
var_d = 0x52657761726420616d6f756e74206d757374206265206e6f6e2d7a65726f0000;
}
─── Added: Unresolved_d4ef42fb (0xd4ef42fb) ───
@@ -1,0 +1,12 @@
+
+ /// @custom:selector 0xd4ef42fb
+ /// @custom:signature Unresolved_d4ef42fb(uint256 arg0) public pure returns (uint256)
+ /// @param arg0 ["uint256", "bytes32", "int256"]
+ function Unresolved_d4ef42fb(uint256 arg0) public pure returns (uint256) {
+ require(0xd4 == msg.data[0]);
+ require(0 == 0x01);
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ uint256 var_a = 0;
+ return 0;
+ }
─── Added: Unresolved_302d200d (0x302d200d) ───
@@ -1,0 +1,12 @@
+
+ /// @custom:selector 0x302d200d
+ /// @custom:signature Unresolved_302d200d(uint256 arg0) public view returns (bool)
+ /// @param arg0 ["uint256", "bytes32", "int256"]
+ function Unresolved_302d200d(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(store_d));
+ return !(!bytes1(store_d));
+ }
─── Added: Unresolved_a4ff0475 (0xa4ff0475) ───
@@ -1,0 +1,12 @@
+
+ /// @custom:selector 0xa4ff0475
+ /// @custom:signature Unresolved_a4ff0475(uint256 arg0) public view returns (bool)
+ /// @param arg0 ["uint256", "bytes32", "int256"]
+ function Unresolved_a4ff0475(uint256 arg0) public view returns (bool) {
+ require(0x04 == msg.data[0]);
+ require(0 == 0x01);
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ bytes1 var_a = !(!bytes1(store_d >> 0x08));
+ return !(!bytes1(store_d >> 0x08));
+ }
─── Added: Unresolved_4bdbab74 (0x4bdbab74) ───
@@ -1,0 +1,12 @@
+
+ /// @custom:selector 0x4bdbab74
+ /// @custom:signature Unresolved_4bdbab74(uint256 arg0) public pure returns (uint256)
+ /// @param arg0 ["uint256", "bytes32", "int256"]
+ function Unresolved_4bdbab74(uint256 arg0) public pure returns (uint256) {
+ require(0xab == msg.data[0]);
+ require(0 == 0x01);
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ uint256 var_a = 0;
+ return 0;
+ }
─── Added: Unresolved_0804d195 (0x0804d195) ───
@@ -1,0 +1,11 @@
+
+ /// @custom:selector 0x0804d195
+ /// @custom:signature Unresolved_0804d195() public view returns (uint256)
+ function Unresolved_0804d195() 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_7e81c04e (0x7e81c04e) ───
@@ -1,0 +1,12 @@
+
+ /// @custom:selector 0x7e81c04e
+ /// @custom:signature Unresolved_7e81c04e(uint256 arg0) public view returns (address)
+ /// @param arg0 ["uint256", "bytes32", "int256"]
+ function Unresolved_7e81c04e(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_f);
+ return address(store_f);
+ }
─── Added: Unresolved_16d16a9e (0x16d16a9e) ───
@@ -1,0 +1,16 @@
+
+ /// @custom:selector 0x16d16a9e
+ /// @custom:signature Unresolved_16d16a9e(uint256 arg0) public view returns (bool)
+ /// @param arg0 ["uint256", "bytes32", "int256"]
+ function Unresolved_16d16a9e(uint256 arg0) public view returns (bool) {
+ require(0x6a == msg.data[0]);
+ require(0 == 0x01);
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ if (unresolved_11745426) {
+ uint256 var_a = !(block.timestamp > unresolved_11745426);
+ return !(block.timestamp > unresolved_11745426);
+ var_a = unresolved_11745426;
+ return unresolved_11745426;
+ }
+ }
─── Added: Unresolved_8001dc0d (0x8001dc0d) ───
@@ -1,0 +1,12 @@
+
+ /// @custom:selector 0x8001dc0d
+ /// @custom:signature Unresolved_8001dc0d(uint256 arg0) public view returns (uint256)
+ /// @param arg0 ["uint256", "bytes32", "int256"]
+ function Unresolved_8001dc0d(uint256 arg0) public view returns (uint256) {
+ require(0x80 == msg.data[0]);
+ require(0 == 0x01);
+ require(msg.value);
+ require((0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc + msg.data.length) < 0);
+ var_a = store_h;
+ return store_h;
+ }
Commit b4a9623 |
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.
This PR adds a detailed Getting Started section to the main README covering:
Closes #123
Generated with Claude Code