019b477e-dba9-7347-b818-db0f5a2b17e4
Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?
| ID | Type | Status | Attempts | Heartbeat |
|---|---|---|---|---|
| 29671 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 29672 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 108481 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 108482 | capability.graph | complete | 1 / 3 | 1 week ago |
| 108483 | detector.run | complete | 1 / 3 | 1 week ago |
| 108484 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x007e 0000000c: JUMPI 0000000d: PUSH0 0000000e: CALLDATALOAD 0000000f: PUSH1 0xe0 00000011: SHR 00000012: DUP1 00000013: PUSH4 0xd0febe4c 00000018: GT 00000019: PUSH2 0x004d 0000001c: JUMPI 0000001d: DUP1 0000001e: PUSH4 0xd0febe4c 00000023: EQ 00000024: PUSH2 0x0125 00000027: JUMPI 00000028: DUP1 00000029: PUSH4 0xe086e5ec 0000002e: EQ 0000002f: PUSH2 0x012f 00000032: JUMPI 00000033: DUP1 00000034: PUSH4 0xf0ea4bfc 00000039: EQ 0000003a: PUSH2 0x0145 0000003d: JUMPI 0000003e: DUP1 0000003f: PUSH4 0xfc0c546a 00000044: EQ 00000045: PUSH2 0x016f 00000048: JUMPI 00000049: PUSH2 0x008d 0000004c: JUMP 0000004d: JUMPDEST 0000004e: DUP1 0000004f: PUSH4 0x02c7e7af 00000054: EQ 00000055: PUSH2 0x0091 00000058: JUMPI 00000059: DUP1 0000005a: PUSH4 0x2c4e722e 0000005f: EQ 00000060: PUSH2 0x00bb 00000063: JUMPI 00000064: DUP1 00000065: PUSH4 0x61d6d385 0000006a: EQ 0000006b: PUSH2 0x00e5 0000006e: JUMPI 0000006f: DUP1 00000070: PUSH4 0x8da5cb5b 00000075: EQ 00000076: PUSH2 0x00fb 00000079: JUMPI 0000007a: PUSH2 0x008d 0000007d: JUMP 0000007e: JUMPDEST 0000007f: CALLDATASIZE 00000080: PUSH2 0x008d 00000083: JUMPI 00000084: PUSH2 0x008b 00000087: PUSH2 0x0199 0000008a: JUMP 0000008b: JUMPDEST 0000008c: STOP 0000008d: JUMPDEST 0000008e: PUSH0 0000008f: PUSH0 00000090: REVERT 00000091: JUMPDEST 00000092: CALLVALUE 00000093: DUP1 00000094: ISZERO 00000095: PUSH2 0x009c 00000098: JUMPI 00000099: PUSH0 0000009a: PUSH0 0000009b: REVERT 0000009c: JUMPDEST 0000009d: POP 0000009e: PUSH2 0x00a5 000000a1: PUSH2 0x0397 000000a4: JUMP 000000a5: JUMPDEST 000000a6: PUSH1 0x40 000000a8: MLOAD 000000a9: PUSH2 0x00b2 000000ac: SWAP2 000000ad: SWAP1 000000ae: PUSH2 0x06e3 000000b1: JUMP 000000b2: JUMPDEST 000000b3: PUSH1 0x40 000000b5: MLOAD 000000b6: DUP1 000000b7: SWAP2 000000b8: SUB 000000b9: SWAP1 000000ba: RETURN 000000bb: JUMPDEST 000000bc: CALLVALUE 000000bd: DUP1 000000be: ISZERO 000000bf: PUSH2 0x00c6 000000c2: JUMPI 000000c3: PUSH0 000000c4: PUSH0 000000c5: REVERT 000000c6: JUMPDEST 000000c7: POP 000000c8: PUSH2 0x00cf 000000cb: PUSH2 0x039d 000000ce: JUMP 000000cf: JUMPDEST 000000d0: PUSH1 0x40 000000d2: MLOAD 000000d3: PUSH2 0x00dc 000000d6: SWAP2 000000d7: SWAP1 000000d8: PUSH2 0x06e3 000000db: JUMP 000000dc: JUMPDEST 000000dd: PUSH1 0x40 000000df: MLOAD 000000e0: DUP1 000000e1: SWAP2 000000e2: SUB 000000e3: SWAP1 000000e4: RETURN 000000e5: JUMPDEST 000000e6: CALLVALUE 000000e7: DUP1 000000e8: ISZERO 000000e9: PUSH2 0x00f0 000000ec: JUMPI 000000ed: PUSH0 000000ee: PUSH0 000000ef: REVERT 000000f0: JUMPDEST 000000f1: POP 000000f2: PUSH2 0x00f9 000000f5: PUSH2 0x03a3 000000f8: JUMP 000000f9: JUMPDEST 000000fa: STOP 000000fb: JUMPDEST 000000fc: CALLVALUE 000000fd: DUP1 000000fe: ISZERO 000000ff: PUSH2 0x0106 00000102: JUMPI 00000103: PUSH0 00000104: PUSH0 00000105: REVERT 00000106: JUMPDEST 00000107: POP 00000108: PUSH2 0x010f 0000010b: PUSH2 0x0588 0000010e: JUMP 0000010f: JUMPDEST 00000110: PUSH1 0x40 00000112: MLOAD 00000113: PUSH2 0x011c 00000116: SWAP2 00000117: SWAP1 00000118: PUSH2 0x073b 0000011b: JUMP 0000011c: JUMPDEST 0000011d: PUSH1 0x40 0000011f: MLOAD 00000120: DUP1 00000121: SWAP2 00000122: SUB 00000123: SWAP1 00000124: RETURN 00000125: JUMPDEST 00000126: PUSH2 0x012d 00000129: PUSH2 0x0199 0000012c: JUMP 0000012d: JUMPDEST 0000012e: STOP 0000012f: JUMPDEST 00000130: CALLVALUE 00000131: DUP1 00000132: ISZERO 00000133: PUSH2 0x013a 00000136: JUMPI 00000137: PUSH0 00000138: PUSH0 00000139: REVERT 0000013a: JUMPDEST 0000013b: POP 0000013c: PUSH2 0x0143 0000013f: PUSH2 0x05ac 00000142: JUMP 00000143: JUMPDEST 00000144: STOP 00000145: JUMPDEST 00000146: CALLVALUE 00000147: DUP1 00000148: ISZERO 00000149: PUSH2 0x0150 0000014c: JUMPI 0000014d: PUSH0 0000014e: PUSH0 0000014f: REVERT 00000150: JUMPDEST 00000151: POP 00000152: PUSH2 0x0159 00000155: PUSH2 0x06a0 00000158: JUMP 00000159: JUMPDEST 0000015a: PUSH1 0x40 0000015c: MLOAD 0000015d: PUSH2 0x0166 00000160: SWAP2 00000161: SWAP1 00000162: PUSH2 0x06e3 00000165: JUMP 00000166: JUMPDEST 00000167: PUSH1 0x40 00000169: MLOAD 0000016a: DUP1 0000016b: SWAP2 0000016c: SUB 0000016d: SWAP1 0000016e: RETURN 0000016f: JUMPDEST 00000170: CALLVALUE 00000171: DUP1 00000172: ISZERO 00000173: PUSH2 0x017a 00000176: JUMPI 00000177: PUSH0 00000178: PUSH0 00000179: REVERT 0000017a: JUMPDEST 0000017b: POP 0000017c: PUSH2 0x0183 0000017f: PUSH2 0x06a6 00000182: JUMP 00000183: JUMPDEST 00000184: PUSH1 0x40 00000186: MLOAD 00000187: PUSH2 0x0190 0000018a: SWAP2 0000018b: SWAP1 0000018c: PUSH2 0x07af 0000018f: JUMP 00000190: JUMPDEST 00000191: PUSH1 0x40 00000193: MLOAD 00000194: DUP1 00000195: SWAP2 00000196: SUB 00000197: SWAP1 00000198: RETURN 00000199: JUMPDEST 0000019a: PUSH0 0000019b: CALLVALUE 0000019c: GT 0000019d: PUSH2 0x01db 000001a0: JUMPI 000001a1: PUSH1 0x40 000001a3: MLOAD 000001a4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000001c5: DUP2 000001c6: MSTORE 000001c7: PUSH1 0x04 000001c9: ADD 000001ca: PUSH2 0x01d2 000001cd: SWAP1 000001ce: PUSH2 0x0822 000001d1: JUMP 000001d2: JUMPDEST 000001d3: PUSH1 0x40 000001d5: MLOAD 000001d6: DUP1 000001d7: SWAP2 000001d8: SUB 000001d9: SWAP1 000001da: REVERT 000001db: JUMPDEST 000001dc: PUSH0 000001dd: PUSH1 0x02 000001df: SLOAD 000001e0: CALLVALUE 000001e1: PUSH2 0x01ea 000001e4: SWAP2 000001e5: SWAP1 000001e6: PUSH2 0x086d 000001e9: JUMP 000001ea: JUMPDEST 000001eb: SWAP1 000001ec: POP 000001ed: DUP1 000001ee: PUSH1 0x01 000001f0: PUSH0 000001f1: SWAP1 000001f2: SLOAD 000001f3: SWAP1 000001f4: PUSH2 0x0100 000001f7: EXP 000001f8: SWAP1 000001f9: DIV 000001fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000020f: AND 00000210: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000225: AND 00000226: PUSH4 0x70a08231 0000022b: ADDRESS 0000022c: PUSH1 0x40 0000022e: MLOAD 0000022f: DUP3 00000230: PUSH4 0xffffffff 00000235: AND 00000236: PUSH1 0xe0 00000238: SHL 00000239: DUP2 0000023a: MSTORE 0000023b: PUSH1 0x04 0000023d: ADD 0000023e: PUSH2 0x0247 00000241: SWAP2 00000242: SWAP1 00000243: PUSH2 0x073b 00000246: JUMP 00000247: JUMPDEST 00000248: PUSH1 0x20 0000024a: PUSH1 0x40 0000024c: MLOAD 0000024d: DUP1 0000024e: DUP4 0000024f: SUB 00000250: DUP2 00000251: DUP7 00000252: GAS 00000253: STATICCALL 00000254: ISZERO 00000255: DUP1 00000256: ISZERO 00000257: PUSH2 0x0262 0000025a: JUMPI 0000025b: RETURNDATASIZE 0000025c: PUSH0 0000025d: PUSH0 0000025e: RETURNDATACOPY 0000025f: RETURNDATASIZE 00000260: PUSH0 00000261: REVERT 00000262: JUMPDEST 00000263: POP 00000264: POP 00000265: POP 00000266: POP 00000267: PUSH1 0x40 00000269: MLOAD 0000026a: RETURNDATASIZE 0000026b: PUSH1 0x1f 0000026d: NOT 0000026e: PUSH1 0x1f 00000270: DUP3 00000271: ADD 00000272: AND 00000273: DUP3 00000274: ADD 00000275: DUP1 00000276: PUSH1 0x40 00000278: MSTORE 00000279: POP 0000027a: DUP2 0000027b: ADD 0000027c: SWAP1 0000027d: PUSH2 0x0286 00000280: SWAP2 00000281: SWAP1 00000282: PUSH2 0x08dc 00000285: JUMP 00000286: JUMPDEST 00000287: LT 00000288: ISZERO 00000289: PUSH2 0x02c7 0000028c: JUMPI 0000028d: PUSH1 0x40 0000028f: MLOAD 00000290: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000002b1: DUP2 000002b2: MSTORE 000002b3: PUSH1 0x04 000002b5: ADD 000002b6: PUSH2 0x02be 000002b9: SWAP1 000002ba: PUSH2 0x0951 000002bd: JUMP 000002be: JUMPDEST 000002bf: PUSH1 0x40 000002c1: MLOAD 000002c2: DUP1 000002c3: SWAP2 000002c4: SUB 000002c5: SWAP1 000002c6: REVERT 000002c7: JUMPDEST 000002c8: PUSH1 0x01 000002ca: PUSH0 000002cb: SWAP1 000002cc: SLOAD 000002cd: SWAP1 000002ce: PUSH2 0x0100 000002d1: EXP 000002d2: SWAP1 000002d3: DIV 000002d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002e9: AND 000002ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002ff: AND 00000300: PUSH4 0xa9059cbb 00000305: CALLER 00000306: DUP4 00000307: PUSH1 0x40 00000309: MLOAD 0000030a: DUP4 0000030b: PUSH4 0xffffffff 00000310: AND 00000311: PUSH1 0xe0 00000313: SHL 00000314: DUP2 00000315: MSTORE 00000316: PUSH1 0x04 00000318: ADD 00000319: PUSH2 0x0323 0000031c: SWAP3 0000031d: SWAP2 0000031e: SWAP1 0000031f: PUSH2 0x096f 00000322: JUMP 00000323: JUMPDEST 00000324: PUSH1 0x20 00000326: PUSH1 0x40 00000328: MLOAD 00000329: DUP1 0000032a: DUP4 0000032b: SUB 0000032c: DUP2 0000032d: PUSH0 0000032e: DUP8 0000032f: GAS 00000330: CALL 00000331: ISZERO 00000332: DUP1 00000333: ISZERO 00000334: PUSH2 0x033f 00000337: JUMPI 00000338: RETURNDATASIZE 00000339: PUSH0 0000033a: PUSH0 0000033b: RETURNDATACOPY 0000033c: RETURNDATASIZE 0000033d: PUSH0 0000033e: REVERT 0000033f: JUMPDEST 00000340: POP 00000341: POP 00000342: POP 00000343: POP 00000344: PUSH1 0x40 00000346: MLOAD 00000347: RETURNDATASIZE 00000348: PUSH1 0x1f 0000034a: NOT 0000034b: PUSH1 0x1f 0000034d: DUP3 0000034e: ADD 0000034f: AND 00000350: DUP3 00000351: ADD 00000352: DUP1 00000353: PUSH1 0x40 00000355: MSTORE 00000356: POP 00000357: DUP2 00000358: ADD 00000359: SWAP1 0000035a: PUSH2 0x0363 0000035d: SWAP2 0000035e: SWAP1 0000035f: PUSH2 0x09cb 00000362: JUMP 00000363: JUMPDEST 00000364: POP 00000365: CALLVALUE 00000366: PUSH1 0x03 00000368: PUSH0 00000369: DUP3 0000036a: DUP3 0000036b: SLOAD 0000036c: PUSH2 0x0375 0000036f: SWAP2 00000370: SWAP1 00000371: PUSH2 0x09f6 00000374: JUMP 00000375: JUMPDEST 00000376: SWAP3 00000377: POP 00000378: POP 00000379: DUP2 0000037a: SWAP1 0000037b: SSTORE 0000037c: POP 0000037d: DUP1 0000037e: PUSH1 0x04 00000380: PUSH0 00000381: DUP3 00000382: DUP3 00000383: SLOAD 00000384: PUSH2 0x038d 00000387: SWAP2 00000388: SWAP1 00000389: PUSH2 0x09f6 0000038c: JUMP 0000038d: JUMPDEST 0000038e: SWAP3 0000038f: POP 00000390: POP 00000391: DUP2 00000392: SWAP1 00000393: SSTORE 00000394: POP 00000395: POP 00000396: JUMP 00000397: JUMPDEST 00000398: PUSH1 0x04 0000039a: SLOAD 0000039b: DUP2 0000039c: JUMP 0000039d: JUMPDEST 0000039e: PUSH1 0x02 000003a0: SLOAD 000003a1: DUP2 000003a2: JUMP 000003a3: JUMPDEST 000003a4: PUSH0 000003a5: PUSH0 000003a6: SWAP1 000003a7: SLOAD 000003a8: SWAP1 000003a9: PUSH2 0x0100 000003ac: EXP 000003ad: SWAP1 000003ae: DIV 000003af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003c4: AND 000003c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003da: AND 000003db: CALLER 000003dc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003f1: AND 000003f2: EQ 000003f3: PUSH2 0x0431 000003f6: JUMPI 000003f7: PUSH1 0x40 000003f9: MLOAD 000003fa: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000041b: DUP2 0000041c: MSTORE 0000041d: PUSH1 0x04 0000041f: ADD 00000420: PUSH2 0x0428 00000423: SWAP1 00000424: PUSH2 0x0a73 00000427: JUMP 00000428: JUMPDEST 00000429: PUSH1 0x40 0000042b: MLOAD 0000042c: DUP1 0000042d: SWAP2 0000042e: SUB 0000042f: SWAP1 00000430: REVERT 00000431: JUMPDEST 00000432: PUSH1 0x01 00000434: PUSH0 00000435: SWAP1 00000436: SLOAD 00000437: SWAP1 00000438: PUSH2 0x0100 0000043b: EXP 0000043c: SWAP1 0000043d: DIV 0000043e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000453: AND 00000454: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000469: AND 0000046a: PUSH4 0xa9059cbb 0000046f: PUSH0 00000470: PUSH0 00000471: SWAP1 00000472: SLOAD 00000473: SWAP1 00000474: PUSH2 0x0100 00000477: EXP 00000478: SWAP1 00000479: DIV 0000047a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000048f: AND 00000490: PUSH1 0x01 00000492: PUSH0 00000493: SWAP1 00000494: SLOAD 00000495: SWAP1 00000496: PUSH2 0x0100 00000499: EXP 0000049a: SWAP1 0000049b: DIV 0000049c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004b1: AND 000004b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004c7: AND 000004c8: PUSH4 0x70a08231 000004cd: ADDRESS 000004ce: PUSH1 0x40 000004d0: MLOAD 000004d1: DUP3 000004d2: PUSH4 0xffffffff 000004d7: AND 000004d8: PUSH1 0xe0 000004da: SHL 000004db: DUP2 000004dc: MSTORE 000004dd: PUSH1 0x04 000004df: ADD 000004e0: PUSH2 0x04e9 000004e3: SWAP2 000004e4: SWAP1 000004e5: PUSH2 0x073b 000004e8: JUMP 000004e9: JUMPDEST 000004ea: PUSH1 0x20 000004ec: PUSH1 0x40 000004ee: MLOAD 000004ef: DUP1 000004f0: DUP4 000004f1: SUB 000004f2: DUP2 000004f3: DUP7 000004f4: GAS 000004f5: STATICCALL 000004f6: ISZERO 000004f7: DUP1 000004f8: ISZERO 000004f9: PUSH2 0x0504 000004fc: JUMPI 000004fd: RETURNDATASIZE 000004fe: PUSH0 000004ff: PUSH0 00000500: RETURNDATACOPY 00000501: RETURNDATASIZE 00000502: PUSH0 00000503: REVERT 00000504: JUMPDEST 00000505: POP 00000506: POP 00000507: POP 00000508: POP 00000509: PUSH1 0x40 0000050b: MLOAD 0000050c: RETURNDATASIZE 0000050d: PUSH1 0x1f 0000050f: NOT 00000510: PUSH1 0x1f 00000512: DUP3 00000513: ADD 00000514: AND 00000515: DUP3 00000516: ADD 00000517: DUP1 00000518: PUSH1 0x40 0000051a: MSTORE 0000051b: POP 0000051c: DUP2 0000051d: ADD 0000051e: SWAP1 0000051f: PUSH2 0x0528 00000522: SWAP2 00000523: SWAP1 00000524: PUSH2 0x08dc 00000527: JUMP 00000528: JUMPDEST 00000529: PUSH1 0x40 0000052b: MLOAD 0000052c: DUP4 0000052d: PUSH4 0xffffffff 00000532: AND 00000533: PUSH1 0xe0 00000535: SHL 00000536: DUP2 00000537: MSTORE 00000538: PUSH1 0x04 0000053a: ADD 0000053b: PUSH2 0x0545 0000053e: SWAP3 0000053f: SWAP2 00000540: SWAP1 00000541: PUSH2 0x096f 00000544: JUMP 00000545: JUMPDEST 00000546: PUSH1 0x20 00000548: PUSH1 0x40 0000054a: MLOAD 0000054b: DUP1 0000054c: DUP4 0000054d: SUB 0000054e: DUP2 0000054f: PUSH0 00000550: DUP8 00000551: GAS 00000552: CALL 00000553: ISZERO 00000554: DUP1 00000555: ISZERO 00000556: PUSH2 0x0561 00000559: JUMPI 0000055a: RETURNDATASIZE 0000055b: PUSH0 0000055c: PUSH0 0000055d: RETURNDATACOPY 0000055e: RETURNDATASIZE 0000055f: PUSH0 00000560: REVERT 00000561: JUMPDEST 00000562: POP 00000563: POP 00000564: POP 00000565: POP 00000566: PUSH1 0x40 00000568: MLOAD 00000569: RETURNDATASIZE 0000056a: PUSH1 0x1f 0000056c: NOT 0000056d: PUSH1 0x1f 0000056f: DUP3 00000570: ADD 00000571: AND 00000572: DUP3 00000573: ADD 00000574: DUP1 00000575: PUSH1 0x40 00000577: MSTORE 00000578: POP 00000579: DUP2 0000057a: ADD 0000057b: SWAP1 0000057c: PUSH2 0x0585 0000057f: SWAP2 00000580: SWAP1 00000581: PUSH2 0x09cb 00000584: JUMP 00000585: JUMPDEST 00000586: POP 00000587: JUMP 00000588: JUMPDEST 00000589: PUSH0 0000058a: PUSH0 0000058b: SWAP1 0000058c: SLOAD 0000058d: SWAP1 0000058e: PUSH2 0x0100 00000591: EXP 00000592: SWAP1 00000593: DIV 00000594: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005a9: AND 000005aa: DUP2 000005ab: JUMP 000005ac: JUMPDEST 000005ad: PUSH0 000005ae: PUSH0 000005af: SWAP1 000005b0: SLOAD 000005b1: SWAP1 000005b2: PUSH2 0x0100 000005b5: EXP 000005b6: SWAP1 000005b7: DIV 000005b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005cd: AND 000005ce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005e3: AND 000005e4: CALLER 000005e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005fa: AND 000005fb: EQ 000005fc: PUSH2 0x063a 000005ff: JUMPI 00000600: PUSH1 0x40 00000602: MLOAD 00000603: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000624: DUP2 00000625: MSTORE 00000626: PUSH1 0x04 00000628: ADD 00000629: PUSH2 0x0631 0000062c: SWAP1 0000062d: PUSH2 0x0a73 00000630: JUMP 00000631: JUMPDEST 00000632: PUSH1 0x40 00000634: MLOAD 00000635: DUP1 00000636: SWAP2 00000637: SUB 00000638: SWAP1 00000639: REVERT 0000063a: JUMPDEST 0000063b: PUSH0 0000063c: PUSH0 0000063d: SWAP1 0000063e: SLOAD 0000063f: SWAP1 00000640: PUSH2 0x0100 00000643: EXP 00000644: SWAP1 00000645: DIV 00000646: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000065b: AND 0000065c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000671: AND 00000672: PUSH2 0x08fc 00000675: SELFBALANCE 00000676: SWAP1 00000677: DUP2 00000678: ISZERO 00000679: MUL 0000067a: SWAP1 0000067b: PUSH1 0x40 0000067d: MLOAD 0000067e: PUSH0 0000067f: PUSH1 0x40 00000681: MLOAD 00000682: DUP1 00000683: DUP4 00000684: SUB 00000685: DUP2 00000686: DUP6 00000687: DUP9 00000688: DUP9 00000689: CALL 0000068a: SWAP4 0000068b: POP 0000068c: POP 0000068d: POP 0000068e: POP 0000068f: ISZERO 00000690: DUP1 00000691: ISZERO 00000692: PUSH2 0x069d 00000695: JUMPI 00000696: RETURNDATASIZE 00000697: PUSH0 00000698: PUSH0 00000699: RETURNDATACOPY 0000069a: RETURNDATASIZE 0000069b: PUSH0 0000069c: REVERT 0000069d: JUMPDEST 0000069e: POP 0000069f: JUMP 000006a0: JUMPDEST 000006a1: PUSH1 0x03 000006a3: SLOAD 000006a4: DUP2 000006a5: JUMP 000006a6: JUMPDEST 000006a7: PUSH1 0x01 000006a9: PUSH0 000006aa: SWAP1 000006ab: SLOAD 000006ac: SWAP1 000006ad: PUSH2 0x0100 000006b0: EXP 000006b1: SWAP1 000006b2: DIV 000006b3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006c8: AND 000006c9: DUP2 000006ca: JUMP 000006cb: JUMPDEST 000006cc: PUSH0 000006cd: DUP2 000006ce: SWAP1 000006cf: POP 000006d0: SWAP2 000006d1: SWAP1 000006d2: POP 000006d3: JUMP 000006d4: JUMPDEST 000006d5: PUSH2 0x06dd 000006d8: DUP2 000006d9: PUSH2 0x06cb 000006dc: JUMP 000006dd: JUMPDEST 000006de: DUP3 000006df: MSTORE 000006e0: POP 000006e1: POP 000006e2: JUMP 000006e3: JUMPDEST 000006e4: PUSH0 000006e5: PUSH1 0x20 000006e7: DUP3 000006e8: ADD 000006e9: SWAP1 000006ea: POP 000006eb: PUSH2 0x06f6 000006ee: PUSH0 000006ef: DUP4 000006f0: ADD 000006f1: DUP5 000006f2: PUSH2 0x06d4 000006f5: JUMP 000006f6: JUMPDEST 000006f7: SWAP3 000006f8: SWAP2 000006f9: POP 000006fa: POP 000006fb: JUMP 000006fc: JUMPDEST 000006fd: PUSH0 000006fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000713: DUP3 00000714: AND 00000715: SWAP1 00000716: POP 00000717: SWAP2 00000718: SWAP1 00000719: POP 0000071a: JUMP 0000071b: JUMPDEST 0000071c: PUSH0 0000071d: PUSH2 0x0725 00000720: DUP3 00000721: PUSH2 0x06fc 00000724: JUMP 00000725: JUMPDEST 00000726: SWAP1 00000727: POP 00000728: SWAP2 00000729: SWAP1 0000072a: POP 0000072b: JUMP 0000072c: JUMPDEST 0000072d: PUSH2 0x0735 00000730: DUP2 00000731: PUSH2 0x071b 00000734: JUMP 00000735: JUMPDEST 00000736: DUP3 00000737: MSTORE 00000738: POP 00000739: POP 0000073a: JUMP 0000073b: JUMPDEST 0000073c: PUSH0 0000073d: PUSH1 0x20 0000073f: DUP3 00000740: ADD 00000741: SWAP1 00000742: POP 00000743: PUSH2 0x074e 00000746: PUSH0 00000747: DUP4 00000748: ADD 00000749: DUP5 0000074a: PUSH2 0x072c 0000074d: JUMP 0000074e: JUMPDEST 0000074f: SWAP3 00000750: SWAP2 00000751: POP 00000752: POP 00000753: JUMP 00000754: JUMPDEST 00000755: PUSH0 00000756: DUP2 00000757: SWAP1 00000758: POP 00000759: SWAP2 0000075a: SWAP1 0000075b: POP 0000075c: JUMP 0000075d: JUMPDEST 0000075e: PUSH0 0000075f: PUSH2 0x0777 00000762: PUSH2 0x0772 00000765: PUSH2 0x076d 00000768: DUP5 00000769: PUSH2 0x06fc 0000076c: JUMP 0000076d: JUMPDEST 0000076e: PUSH2 0x0754 00000771: JUMP 00000772: JUMPDEST 00000773: PUSH2 0x06fc 00000776: JUMP 00000777: JUMPDEST 00000778: SWAP1 00000779: POP 0000077a: SWAP2 0000077b: SWAP1 0000077c: POP 0000077d: JUMP 0000077e: JUMPDEST 0000077f: PUSH0 00000780: PUSH2 0x0788 00000783: DUP3 00000784: PUSH2 0x075d 00000787: JUMP 00000788: JUMPDEST 00000789: SWAP1 0000078a: POP 0000078b: SWAP2 0000078c: SWAP1 0000078d: POP 0000078e: JUMP 0000078f: JUMPDEST 00000790: PUSH0 00000791: PUSH2 0x0799 00000794: DUP3 00000795: PUSH2 0x077e 00000798: JUMP 00000799: JUMPDEST 0000079a: SWAP1 0000079b: POP 0000079c: SWAP2 0000079d: SWAP1 0000079e: POP 0000079f: JUMP 000007a0: JUMPDEST 000007a1: PUSH2 0x07a9 000007a4: DUP2 000007a5: PUSH2 0x078f 000007a8: JUMP 000007a9: JUMPDEST 000007aa: DUP3 000007ab: MSTORE 000007ac: POP 000007ad: POP 000007ae: JUMP 000007af: JUMPDEST 000007b0: PUSH0 000007b1: PUSH1 0x20 000007b3: DUP3 000007b4: ADD 000007b5: SWAP1 000007b6: POP 000007b7: PUSH2 0x07c2 000007ba: PUSH0 000007bb: DUP4 000007bc: ADD 000007bd: DUP5 000007be: PUSH2 0x07a0 000007c1: JUMP 000007c2: JUMPDEST 000007c3: SWAP3 000007c4: SWAP2 000007c5: POP 000007c6: POP 000007c7: JUMP 000007c8: JUMPDEST 000007c9: PUSH0 000007ca: DUP3 000007cb: DUP3 000007cc: MSTORE 000007cd: PUSH1 0x20 000007cf: DUP3 000007d0: ADD 000007d1: SWAP1 000007d2: POP 000007d3: SWAP3 000007d4: SWAP2 000007d5: POP 000007d6: POP 000007d7: JUMP 000007d8: JUMPDEST 000007d9: PUSH32 0x53656e642045544820746f2062757920746f6b656e7300000000000000000000 000007fa: PUSH0 000007fb: DUP3 000007fc: ADD 000007fd: MSTORE 000007fe: POP 000007ff: JUMP 00000800: JUMPDEST 00000801: PUSH0 00000802: PUSH2 0x080c 00000805: PUSH1 0x16 00000807: DUP4 00000808: PUSH2 0x07c8 0000080b: JUMP 0000080c: JUMPDEST 0000080d: SWAP2 0000080e: POP 0000080f: PUSH2 0x0817 00000812: DUP3 00000813: PUSH2 0x07d8 00000816: JUMP 00000817: JUMPDEST 00000818: PUSH1 0x20 0000081a: DUP3 0000081b: ADD 0000081c: SWAP1 0000081d: POP 0000081e: SWAP2 0000081f: SWAP1 00000820: POP 00000821: JUMP 00000822: JUMPDEST 00000823: PUSH0 00000824: PUSH1 0x20 00000826: DUP3 00000827: ADD 00000828: SWAP1 00000829: POP 0000082a: DUP2 0000082b: DUP2 0000082c: SUB 0000082d: PUSH0 0000082e: DUP4 0000082f: ADD 00000830: MSTORE 00000831: PUSH2 0x0839 00000834: DUP2 00000835: PUSH2 0x0800 00000838: JUMP 00000839: JUMPDEST 0000083a: SWAP1 0000083b: POP 0000083c: SWAP2 0000083d: SWAP1 0000083e: POP 0000083f: JUMP 00000840: JUMPDEST 00000841: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00000862: PUSH0 00000863: MSTORE 00000864: PUSH1 0x11 00000866: PUSH1 0x04 00000868: MSTORE 00000869: PUSH1 0x24 0000086b: PUSH0 0000086c: REVERT 0000086d: JUMPDEST 0000086e: PUSH0 0000086f: PUSH2 0x0877 00000872: DUP3 00000873: PUSH2 0x06cb 00000876: JUMP 00000877: JUMPDEST 00000878: SWAP2 00000879: POP 0000087a: PUSH2 0x0882 0000087d: DUP4 0000087e: PUSH2 0x06cb 00000881: JUMP 00000882: JUMPDEST 00000883: SWAP3 00000884: POP 00000885: DUP3 00000886: DUP3 00000887: MUL 00000888: PUSH2 0x0890 0000088b: DUP2 0000088c: PUSH2 0x06cb 0000088f: JUMP 00000890: JUMPDEST 00000891: SWAP2 00000892: POP 00000893: DUP3 00000894: DUP3 00000895: DIV 00000896: DUP5 00000897: EQ 00000898: DUP4 00000899: ISZERO 0000089a: OR 0000089b: PUSH2 0x08a7 0000089e: JUMPI 0000089f: PUSH2 0x08a6 000008a2: PUSH2 0x0840 000008a5: JUMP 000008a6: JUMPDEST 000008a7: JUMPDEST 000008a8: POP 000008a9: SWAP3 000008aa: SWAP2 000008ab: POP 000008ac: POP 000008ad: JUMP 000008ae: JUMPDEST 000008af: PUSH0 000008b0: PUSH0 000008b1: REVERT 000008b2: JUMPDEST 000008b3: PUSH2 0x08bb 000008b6: DUP2 000008b7: PUSH2 0x06cb 000008ba: JUMP 000008bb: JUMPDEST 000008bc: DUP2 000008bd: EQ 000008be: PUSH2 0x08c5 000008c1: JUMPI 000008c2: PUSH0 000008c3: PUSH0 000008c4: REVERT 000008c5: JUMPDEST 000008c6: POP 000008c7: JUMP 000008c8: JUMPDEST 000008c9: PUSH0 000008ca: DUP2 000008cb: MLOAD 000008cc: SWAP1 000008cd: POP 000008ce: PUSH2 0x08d6 000008d1: DUP2 000008d2: PUSH2 0x08b2 000008d5: JUMP 000008d6: JUMPDEST 000008d7: SWAP3 000008d8: SWAP2 000008d9: POP 000008da: POP 000008db: JUMP 000008dc: JUMPDEST 000008dd: PUSH0 000008de: PUSH1 0x20 000008e0: DUP3 000008e1: DUP5 000008e2: SUB 000008e3: SLT 000008e4: ISZERO 000008e5: PUSH2 0x08f1 000008e8: JUMPI 000008e9: PUSH2 0x08f0 000008ec: PUSH2 0x08ae 000008ef: JUMP 000008f0: JUMPDEST 000008f1: JUMPDEST 000008f2: PUSH0 000008f3: PUSH2 0x08fe 000008f6: DUP5 000008f7: DUP3 000008f8: DUP6 000008f9: ADD 000008fa: PUSH2 0x08c8 000008fd: JUMP 000008fe: JUMPDEST 000008ff: SWAP2 00000900: POP 00000901: POP 00000902: SWAP3 00000903: SWAP2 00000904: POP 00000905: POP 00000906: JUMP 00000907: JUMPDEST 00000908: PUSH32 0x4e6f7420656e6f75676820746f6b656e7320696e2049434f0000000000000000 00000929: PUSH0 0000092a: DUP3 0000092b: ADD 0000092c: MSTORE 0000092d: POP 0000092e: JUMP 0000092f: JUMPDEST 00000930: PUSH0 00000931: PUSH2 0x093b 00000934: PUSH1 0x18 00000936: DUP4 00000937: PUSH2 0x07c8 0000093a: JUMP 0000093b: JUMPDEST 0000093c: SWAP2 0000093d: POP 0000093e: PUSH2 0x0946 00000941: DUP3 00000942: PUSH2 0x0907 00000945: JUMP 00000946: JUMPDEST 00000947: PUSH1 0x20 00000949: DUP3 0000094a: ADD 0000094b: SWAP1 0000094c: POP 0000094d: SWAP2 0000094e: SWAP1 0000094f: POP 00000950: JUMP 00000951: JUMPDEST 00000952: PUSH0 00000953: PUSH1 0x20 00000955: DUP3 00000956: ADD 00000957: SWAP1 00000958: POP 00000959: DUP2 0000095a: DUP2 0000095b: SUB 0000095c: PUSH0 0000095d: DUP4 0000095e: ADD 0000095f: MSTORE 00000960: PUSH2 0x0968 00000963: DUP2 00000964: PUSH2 0x092f 00000967: JUMP 00000968: JUMPDEST 00000969: SWAP1 0000096a: POP 0000096b: SWAP2 0000096c: SWAP1 0000096d: POP 0000096e: JUMP 0000096f: JUMPDEST 00000970: PUSH0 00000971: PUSH1 0x40 00000973: DUP3 00000974: ADD 00000975: SWAP1 00000976: POP 00000977: PUSH2 0x0982 0000097a: PUSH0 0000097b: DUP4 0000097c: ADD 0000097d: DUP6 0000097e: PUSH2 0x072c 00000981: JUMP 00000982: JUMPDEST 00000983: PUSH2 0x098f 00000986: PUSH1 0x20 00000988: DUP4 00000989: ADD 0000098a: DUP5 0000098b: PUSH2 0x06d4 0000098e: JUMP 0000098f: JUMPDEST 00000990: SWAP4 00000991: SWAP3 00000992: POP 00000993: POP 00000994: POP 00000995: JUMP 00000996: JUMPDEST 00000997: PUSH0 00000998: DUP2 00000999: ISZERO 0000099a: ISZERO 0000099b: SWAP1 0000099c: POP 0000099d: SWAP2 0000099e: SWAP1 0000099f: POP 000009a0: JUMP 000009a1: JUMPDEST 000009a2: PUSH2 0x09aa 000009a5: DUP2 000009a6: PUSH2 0x0996 000009a9: JUMP 000009aa: JUMPDEST 000009ab: DUP2 000009ac: EQ 000009ad: PUSH2 0x09b4 000009b0: JUMPI 000009b1: PUSH0 000009b2: PUSH0 000009b3: REVERT 000009b4: JUMPDEST 000009b5: POP 000009b6: JUMP 000009b7: JUMPDEST 000009b8: PUSH0 000009b9: DUP2 000009ba: MLOAD 000009bb: SWAP1 000009bc: POP 000009bd: PUSH2 0x09c5 000009c0: DUP2 000009c1: PUSH2 0x09a1 000009c4: JUMP 000009c5: JUMPDEST 000009c6: SWAP3 000009c7: SWAP2 000009c8: POP 000009c9: POP 000009ca: JUMP 000009cb: JUMPDEST 000009cc: PUSH0 000009cd: PUSH1 0x20 000009cf: DUP3 000009d0: DUP5 000009d1: SUB 000009d2: SLT 000009d3: ISZERO 000009d4: PUSH2 0x09e0 000009d7: JUMPI 000009d8: PUSH2 0x09df 000009db: PUSH2 0x08ae 000009de: JUMP 000009df: JUMPDEST 000009e0: JUMPDEST 000009e1: PUSH0 000009e2: PUSH2 0x09ed 000009e5: DUP5 000009e6: DUP3 000009e7: DUP6 000009e8: ADD 000009e9: PUSH2 0x09b7 000009ec: JUMP 000009ed: JUMPDEST 000009ee: SWAP2 000009ef: POP 000009f0: POP 000009f1: SWAP3 000009f2: SWAP2 000009f3: POP 000009f4: POP 000009f5: JUMP 000009f6: JUMPDEST 000009f7: PUSH0 000009f8: PUSH2 0x0a00 000009fb: DUP3 000009fc: PUSH2 0x06cb 000009ff: JUMP 00000a00: JUMPDEST 00000a01: SWAP2 00000a02: POP 00000a03: PUSH2 0x0a0b 00000a06: DUP4 00000a07: PUSH2 0x06cb 00000a0a: JUMP 00000a0b: JUMPDEST 00000a0c: SWAP3 00000a0d: POP 00000a0e: DUP3 00000a0f: DUP3 00000a10: ADD 00000a11: SWAP1 00000a12: POP 00000a13: DUP1 00000a14: DUP3 00000a15: GT 00000a16: ISZERO 00000a17: PUSH2 0x0a23 00000a1a: JUMPI 00000a1b: PUSH2 0x0a22 00000a1e: PUSH2 0x0840 00000a21: JUMP 00000a22: JUMPDEST 00000a23: JUMPDEST 00000a24: SWAP3 00000a25: SWAP2 00000a26: POP 00000a27: POP 00000a28: JUMP 00000a29: JUMPDEST 00000a2a: PUSH32 0x4f6e6c79206f776e657200000000000000000000000000000000000000000000 00000a4b: PUSH0 00000a4c: DUP3 00000a4d: ADD 00000a4e: MSTORE 00000a4f: POP 00000a50: JUMP 00000a51: JUMPDEST 00000a52: PUSH0 00000a53: PUSH2 0x0a5d 00000a56: PUSH1 0x0a 00000a58: DUP4 00000a59: PUSH2 0x07c8 00000a5c: JUMP 00000a5d: JUMPDEST 00000a5e: SWAP2 00000a5f: POP 00000a60: PUSH2 0x0a68 00000a63: DUP3 00000a64: PUSH2 0x0a29 00000a67: JUMP 00000a68: JUMPDEST 00000a69: PUSH1 0x20 00000a6b: DUP3 00000a6c: ADD 00000a6d: SWAP1 00000a6e: POP 00000a6f: SWAP2 00000a70: SWAP1 00000a71: POP 00000a72: JUMP 00000a73: JUMPDEST 00000a74: PUSH0 00000a75: PUSH1 0x20 00000a77: DUP3 00000a78: ADD 00000a79: SWAP1 00000a7a: POP 00000a7b: DUP2 00000a7c: DUP2 00000a7d: SUB 00000a7e: PUSH0 00000a7f: DUP4 00000a80: ADD 00000a81: MSTORE 00000a82: PUSH2 0x0a8a 00000a85: DUP2 00000a86: PUSH2 0x0a51 00000a89: JUMP 00000a8a: JUMPDEST 00000a8b: SWAP1 00000a8c: POP 00000a8d: SWAP2 00000a8e: SWAP1 00000a8f: POP 00000a90: JUMP 00000a91: INVALID 00000a92: LOG2 00000a93: PUSH5 0x6970667358 00000a99: UNKNOWN(0x22) 00000a9a: SLT 00000a9b: KECCAK256 00000a9c: BLOBHASH 00000a9d: UNKNOWN(0xAA) 00000a9e: SWAP7 00000a9f: SDIV 00000aa0: SWAP6 00000aa1: PUSH18 0xc119bb291bdb3ae1a01d685667957193273f 00000ab4: DUP16 00000ab5: DUP14 00000ab6: NOT 00000ab7: SIGNEXTEND 00000ab8: OR 00000ab9: UNKNOWN(0xFC) 00000aba: UNKNOWN(0xD9) 00000abb: BLOBHASH 00000abc: PUSH5 0x736f6c6343 00000ac2: STOP 00000ac3: ADDMOD 00000ac4: CLZ 00000ac5: STOP 00000ac6: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x327a35b916ac96187bc682e6534f4c9ca21f57929d5ebfa4abd2a26de94dd61a
call_targets:
0x37c6897d6e64efb62a3fd71472bd16f27d9f3f1b
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x327a35b916ac96187bc682e6534f4c9ca21f57929d5ebfa4abd2a26de94dd61a",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x37c6897d6e64efb62a3fd71472bd16f27d9f3f1b"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xd0febe4c",
"selector": "0xd0febe4c",
"calldata_variants": [
"0xd0febe4c",
"0xd0febe4c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe086e5ec",
"selector": "0xe086e5ec",
"calldata_variants": [
"0xe086e5ec",
"0xe086e5ec0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf0ea4bfc",
"selector": "0xf0ea4bfc",
"calldata_variants": [
"0xf0ea4bfc",
"0xf0ea4bfc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfc0c546a",
"selector": "0xfc0c546a",
"calldata_variants": [
"0xfc0c546a",
"0xfc0c546a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x02c7e7af",
"selector": "0x02c7e7af",
"calldata_variants": [
"0x02c7e7af",
"0x02c7e7af0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2c4e722e",
"selector": "0x2c4e722e",
"calldata_variants": [
"0x2c4e722e",
"0x2c4e722e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x61d6d385",
"selector": "0x61d6d385",
"calldata_variants": [
"0x61d6d385",
"0x61d6d3850000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 816,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1362,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1673,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [
{
"pc": 987,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1508,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 3
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x327a35b916ac96187bc682e6534f4c9ca21f57929d5ebfa4abd2a26de94dd61a
call_targets:
0x37c6897d6e64efb62a3fd71472bd16f27d9f3f1b
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x327a35b916ac96187bc682e6534f4c9ca21f57929d5ebfa4abd2a26de94dd61a",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x37c6897d6e64efb62a3fd71472bd16f27d9f3f1b"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xd0febe4c",
"selector": "0xd0febe4c",
"calldata_variants": [
"0xd0febe4c",
"0xd0febe4c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe086e5ec",
"selector": "0xe086e5ec",
"calldata_variants": [
"0xe086e5ec",
"0xe086e5ec0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf0ea4bfc",
"selector": "0xf0ea4bfc",
"calldata_variants": [
"0xf0ea4bfc",
"0xf0ea4bfc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfc0c546a",
"selector": "0xfc0c546a",
"calldata_variants": [
"0xfc0c546a",
"0xfc0c546a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x02c7e7af",
"selector": "0x02c7e7af",
"calldata_variants": [
"0x02c7e7af",
"0x02c7e7af0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2c4e722e",
"selector": "0x2c4e722e",
"calldata_variants": [
"0x2c4e722e",
"0x2c4e722e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x61d6d385",
"selector": "0x61d6d385",
"calldata_variants": [
"0x61d6d385",
"0x61d6d3850000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 816,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1362,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1673,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": [
{
"pc": 987,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1508,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|