019b477e-ba46-71bb-a106-24db9f24458b
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 |
|---|---|---|---|---|
| 23717 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 23718 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 90225 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 90226 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 90227 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 90228 | validation.fork | complete | 1 / 3 | 2 weeks 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 0x0086 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x9b6bdf39 00000019: GT 0000001a: PUSH2 0x0059 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x9b6bdf39 00000024: EQ 00000025: PUSH2 0x017f 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xdb006a75 0000002f: EQ 00000030: PUSH2 0x01ce 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xea4a294f 0000003a: EQ 0000003b: PUSH2 0x01fc 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xf2fde38b 00000045: EQ 00000046: PUSH2 0x0241 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf57df33e 00000050: EQ 00000051: PUSH2 0x0292 00000054: JUMPI 00000055: PUSH2 0x0086 00000058: JUMP 00000059: JUMPDEST 0000005a: DUP1 0000005b: PUSH4 0x715018a6 00000060: EQ 00000061: PUSH2 0x008b 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0x8a2661ad 0000006b: EQ 0000006c: PUSH2 0x00a2 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x8da5cb5b 00000076: EQ 00000077: PUSH2 0x00f9 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x8f32d59b 00000081: EQ 00000082: PUSH2 0x0150 00000085: JUMPI 00000086: JUMPDEST 00000087: PUSH1 0x00 00000089: DUP1 0000008a: REVERT 0000008b: JUMPDEST 0000008c: CALLVALUE 0000008d: DUP1 0000008e: ISZERO 0000008f: PUSH2 0x0097 00000092: JUMPI 00000093: PUSH1 0x00 00000095: DUP1 00000096: REVERT 00000097: JUMPDEST 00000098: POP 00000099: PUSH2 0x00a0 0000009c: PUSH2 0x02e3 0000009f: JUMP 000000a0: JUMPDEST 000000a1: STOP 000000a2: JUMPDEST 000000a3: CALLVALUE 000000a4: DUP1 000000a5: ISZERO 000000a6: PUSH2 0x00ae 000000a9: JUMPI 000000aa: PUSH1 0x00 000000ac: DUP1 000000ad: REVERT 000000ae: JUMPDEST 000000af: POP 000000b0: PUSH2 0x00b7 000000b3: PUSH2 0x041c 000000b6: JUMP 000000b7: JUMPDEST 000000b8: PUSH1 0x40 000000ba: MLOAD 000000bb: DUP1 000000bc: DUP3 000000bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000d2: AND 000000d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000e8: AND 000000e9: DUP2 000000ea: MSTORE 000000eb: PUSH1 0x20 000000ed: ADD 000000ee: SWAP2 000000ef: POP 000000f0: POP 000000f1: PUSH1 0x40 000000f3: MLOAD 000000f4: DUP1 000000f5: SWAP2 000000f6: SUB 000000f7: SWAP1 000000f8: RETURN 000000f9: JUMPDEST 000000fa: CALLVALUE 000000fb: DUP1 000000fc: ISZERO 000000fd: PUSH2 0x0105 00000100: JUMPI 00000101: PUSH1 0x00 00000103: DUP1 00000104: REVERT 00000105: JUMPDEST 00000106: POP 00000107: PUSH2 0x010e 0000010a: PUSH2 0x0442 0000010d: JUMP 0000010e: JUMPDEST 0000010f: PUSH1 0x40 00000111: MLOAD 00000112: DUP1 00000113: DUP3 00000114: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000129: AND 0000012a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000013f: AND 00000140: DUP2 00000141: MSTORE 00000142: PUSH1 0x20 00000144: ADD 00000145: SWAP2 00000146: POP 00000147: POP 00000148: PUSH1 0x40 0000014a: MLOAD 0000014b: DUP1 0000014c: SWAP2 0000014d: SUB 0000014e: SWAP1 0000014f: RETURN 00000150: JUMPDEST 00000151: CALLVALUE 00000152: DUP1 00000153: ISZERO 00000154: PUSH2 0x015c 00000157: JUMPI 00000158: PUSH1 0x00 0000015a: DUP1 0000015b: REVERT 0000015c: JUMPDEST 0000015d: POP 0000015e: PUSH2 0x0165 00000161: PUSH2 0x046b 00000164: JUMP 00000165: JUMPDEST 00000166: PUSH1 0x40 00000168: MLOAD 00000169: DUP1 0000016a: DUP3 0000016b: ISZERO 0000016c: ISZERO 0000016d: ISZERO 0000016e: ISZERO 0000016f: DUP2 00000170: MSTORE 00000171: PUSH1 0x20 00000173: ADD 00000174: SWAP2 00000175: POP 00000176: POP 00000177: PUSH1 0x40 00000179: MLOAD 0000017a: DUP1 0000017b: SWAP2 0000017c: SUB 0000017d: SWAP1 0000017e: RETURN 0000017f: JUMPDEST 00000180: CALLVALUE 00000181: DUP1 00000182: ISZERO 00000183: PUSH2 0x018b 00000186: JUMPI 00000187: PUSH1 0x00 00000189: DUP1 0000018a: REVERT 0000018b: JUMPDEST 0000018c: POP 0000018d: PUSH2 0x01b8 00000190: PUSH1 0x04 00000192: DUP1 00000193: CALLDATASIZE 00000194: SUB 00000195: PUSH1 0x20 00000197: DUP2 00000198: LT 00000199: ISZERO 0000019a: PUSH2 0x01a2 0000019d: JUMPI 0000019e: PUSH1 0x00 000001a0: DUP1 000001a1: REVERT 000001a2: JUMPDEST 000001a3: DUP2 000001a4: ADD 000001a5: SWAP1 000001a6: DUP1 000001a7: DUP1 000001a8: CALLDATALOAD 000001a9: SWAP1 000001aa: PUSH1 0x20 000001ac: ADD 000001ad: SWAP1 000001ae: SWAP3 000001af: SWAP2 000001b0: SWAP1 000001b1: POP 000001b2: POP 000001b3: POP 000001b4: PUSH2 0x04c9 000001b7: JUMP 000001b8: JUMPDEST 000001b9: PUSH1 0x40 000001bb: MLOAD 000001bc: DUP1 000001bd: DUP3 000001be: DUP2 000001bf: MSTORE 000001c0: PUSH1 0x20 000001c2: ADD 000001c3: SWAP2 000001c4: POP 000001c5: POP 000001c6: PUSH1 0x40 000001c8: MLOAD 000001c9: DUP1 000001ca: SWAP2 000001cb: SUB 000001cc: SWAP1 000001cd: RETURN 000001ce: JUMPDEST 000001cf: PUSH2 0x01fa 000001d2: PUSH1 0x04 000001d4: DUP1 000001d5: CALLDATASIZE 000001d6: SUB 000001d7: PUSH1 0x20 000001d9: DUP2 000001da: LT 000001db: ISZERO 000001dc: PUSH2 0x01e4 000001df: JUMPI 000001e0: PUSH1 0x00 000001e2: DUP1 000001e3: REVERT 000001e4: JUMPDEST 000001e5: DUP2 000001e6: ADD 000001e7: SWAP1 000001e8: DUP1 000001e9: DUP1 000001ea: CALLDATALOAD 000001eb: SWAP1 000001ec: PUSH1 0x20 000001ee: ADD 000001ef: SWAP1 000001f0: SWAP3 000001f1: SWAP2 000001f2: SWAP1 000001f3: POP 000001f4: POP 000001f5: POP 000001f6: PUSH2 0x04e1 000001f9: JUMP 000001fa: JUMPDEST 000001fb: STOP 000001fc: JUMPDEST 000001fd: CALLVALUE 000001fe: DUP1 000001ff: ISZERO 00000200: PUSH2 0x0208 00000203: JUMPI 00000204: PUSH1 0x00 00000206: DUP1 00000207: REVERT 00000208: JUMPDEST 00000209: POP 0000020a: PUSH2 0x023f 0000020d: PUSH1 0x04 0000020f: DUP1 00000210: CALLDATASIZE 00000211: SUB 00000212: PUSH1 0x40 00000214: DUP2 00000215: LT 00000216: ISZERO 00000217: PUSH2 0x021f 0000021a: JUMPI 0000021b: PUSH1 0x00 0000021d: DUP1 0000021e: REVERT 0000021f: JUMPDEST 00000220: DUP2 00000221: ADD 00000222: SWAP1 00000223: DUP1 00000224: DUP1 00000225: CALLDATALOAD 00000226: SWAP1 00000227: PUSH1 0x20 00000229: ADD 0000022a: SWAP1 0000022b: SWAP3 0000022c: SWAP2 0000022d: SWAP1 0000022e: DUP1 0000022f: CALLDATALOAD 00000230: SWAP1 00000231: PUSH1 0x20 00000233: ADD 00000234: SWAP1 00000235: SWAP3 00000236: SWAP2 00000237: SWAP1 00000238: POP 00000239: POP 0000023a: POP 0000023b: PUSH2 0x089b 0000023e: JUMP 0000023f: JUMPDEST 00000240: STOP 00000241: JUMPDEST 00000242: CALLVALUE 00000243: DUP1 00000244: ISZERO 00000245: PUSH2 0x024d 00000248: JUMPI 00000249: PUSH1 0x00 0000024b: DUP1 0000024c: REVERT 0000024d: JUMPDEST 0000024e: POP 0000024f: PUSH2 0x0290 00000252: PUSH1 0x04 00000254: DUP1 00000255: CALLDATASIZE 00000256: SUB 00000257: PUSH1 0x20 00000259: DUP2 0000025a: LT 0000025b: ISZERO 0000025c: PUSH2 0x0264 0000025f: JUMPI 00000260: PUSH1 0x00 00000262: DUP1 00000263: REVERT 00000264: JUMPDEST 00000265: DUP2 00000266: ADD 00000267: SWAP1 00000268: DUP1 00000269: DUP1 0000026a: CALLDATALOAD 0000026b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000280: AND 00000281: SWAP1 00000282: PUSH1 0x20 00000284: ADD 00000285: SWAP1 00000286: SWAP3 00000287: SWAP2 00000288: SWAP1 00000289: POP 0000028a: POP 0000028b: POP 0000028c: PUSH2 0x0970 0000028f: JUMP 00000290: JUMPDEST 00000291: STOP 00000292: JUMPDEST 00000293: CALLVALUE 00000294: DUP1 00000295: ISZERO 00000296: PUSH2 0x029e 00000299: JUMPI 0000029a: PUSH1 0x00 0000029c: DUP1 0000029d: REVERT 0000029e: JUMPDEST 0000029f: POP 000002a0: PUSH2 0x02e1 000002a3: PUSH1 0x04 000002a5: DUP1 000002a6: CALLDATASIZE 000002a7: SUB 000002a8: PUSH1 0x20 000002aa: DUP2 000002ab: LT 000002ac: ISZERO 000002ad: PUSH2 0x02b5 000002b0: JUMPI 000002b1: PUSH1 0x00 000002b3: DUP1 000002b4: REVERT 000002b5: JUMPDEST 000002b6: DUP2 000002b7: ADD 000002b8: SWAP1 000002b9: DUP1 000002ba: DUP1 000002bb: CALLDATALOAD 000002bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002d1: AND 000002d2: SWAP1 000002d3: PUSH1 0x20 000002d5: ADD 000002d6: SWAP1 000002d7: SWAP3 000002d8: SWAP2 000002d9: SWAP1 000002da: POP 000002db: POP 000002dc: POP 000002dd: PUSH2 0x09f6 000002e0: JUMP 000002e1: JUMPDEST 000002e2: STOP 000002e3: JUMPDEST 000002e4: PUSH2 0x02eb 000002e7: PUSH2 0x046b 000002ea: JUMP 000002eb: JUMPDEST 000002ec: PUSH2 0x035d 000002ef: JUMPI 000002f0: PUSH1 0x40 000002f2: MLOAD 000002f3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000314: DUP2 00000315: MSTORE 00000316: PUSH1 0x04 00000318: ADD 00000319: DUP1 0000031a: DUP1 0000031b: PUSH1 0x20 0000031d: ADD 0000031e: DUP3 0000031f: DUP2 00000320: SUB 00000321: DUP3 00000322: MSTORE 00000323: PUSH1 0x20 00000325: DUP2 00000326: MSTORE 00000327: PUSH1 0x20 00000329: ADD 0000032a: DUP1 0000032b: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 0000034c: DUP2 0000034d: MSTORE 0000034e: POP 0000034f: PUSH1 0x20 00000351: ADD 00000352: SWAP2 00000353: POP 00000354: POP 00000355: PUSH1 0x40 00000357: MLOAD 00000358: DUP1 00000359: SWAP2 0000035a: SUB 0000035b: SWAP1 0000035c: REVERT 0000035d: JUMPDEST 0000035e: PUSH1 0x00 00000360: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000375: AND 00000376: PUSH1 0x00 00000378: DUP1 00000379: SWAP1 0000037a: SLOAD 0000037b: SWAP1 0000037c: PUSH2 0x0100 0000037f: EXP 00000380: SWAP1 00000381: DIV 00000382: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000397: AND 00000398: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003ad: AND 000003ae: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 000003cf: PUSH1 0x40 000003d1: MLOAD 000003d2: PUSH1 0x40 000003d4: MLOAD 000003d5: DUP1 000003d6: SWAP2 000003d7: SUB 000003d8: SWAP1 000003d9: LOG3 000003da: PUSH1 0x00 000003dc: DUP1 000003dd: PUSH1 0x00 000003df: PUSH2 0x0100 000003e2: EXP 000003e3: DUP2 000003e4: SLOAD 000003e5: DUP2 000003e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003fb: MUL 000003fc: NOT 000003fd: AND 000003fe: SWAP1 000003ff: DUP4 00000400: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000415: AND 00000416: MUL 00000417: OR 00000418: SWAP1 00000419: SSTORE 0000041a: POP 0000041b: JUMP 0000041c: JUMPDEST 0000041d: PUSH1 0x01 0000041f: PUSH1 0x00 00000421: SWAP1 00000422: SLOAD 00000423: SWAP1 00000424: PUSH2 0x0100 00000427: EXP 00000428: SWAP1 00000429: DIV 0000042a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000043f: AND 00000440: DUP2 00000441: JUMP 00000442: JUMPDEST 00000443: PUSH1 0x00 00000445: DUP1 00000446: PUSH1 0x00 00000448: SWAP1 00000449: SLOAD 0000044a: SWAP1 0000044b: PUSH2 0x0100 0000044e: EXP 0000044f: SWAP1 00000450: DIV 00000451: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000466: AND 00000467: SWAP1 00000468: POP 00000469: SWAP1 0000046a: JUMP 0000046b: JUMPDEST 0000046c: PUSH1 0x00 0000046e: DUP1 0000046f: PUSH1 0x00 00000471: SWAP1 00000472: SLOAD 00000473: SWAP1 00000474: PUSH2 0x0100 00000477: EXP 00000478: SWAP1 00000479: DIV 0000047a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000048f: AND 00000490: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004a5: AND 000004a6: PUSH2 0x04ad 000004a9: PUSH2 0x0aba 000004ac: JUMP 000004ad: JUMPDEST 000004ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004c3: AND 000004c4: EQ 000004c5: SWAP1 000004c6: POP 000004c7: SWAP1 000004c8: JUMP 000004c9: JUMPDEST 000004ca: PUSH1 0x02 000004cc: PUSH1 0x20 000004ce: MSTORE 000004cf: DUP1 000004d0: PUSH1 0x00 000004d2: MSTORE 000004d3: PUSH1 0x40 000004d5: PUSH1 0x00 000004d7: KECCAK256 000004d8: PUSH1 0x00 000004da: SWAP2 000004db: POP 000004dc: SWAP1 000004dd: POP 000004de: SLOAD 000004df: DUP2 000004e0: JUMP 000004e1: JUMPDEST 000004e2: PUSH1 0x00 000004e4: PUSH1 0x02 000004e6: PUSH1 0x00 000004e8: DUP4 000004e9: DUP2 000004ea: MSTORE 000004eb: PUSH1 0x20 000004ed: ADD 000004ee: SWAP1 000004ef: DUP2 000004f0: MSTORE 000004f1: PUSH1 0x20 000004f3: ADD 000004f4: PUSH1 0x00 000004f6: KECCAK256 000004f7: SLOAD 000004f8: EQ 000004f9: ISZERO 000004fa: PUSH2 0x056b 000004fd: JUMPI 000004fe: PUSH1 0x40 00000500: MLOAD 00000501: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000522: DUP2 00000523: MSTORE 00000524: PUSH1 0x04 00000526: ADD 00000527: DUP1 00000528: DUP1 00000529: PUSH1 0x20 0000052b: ADD 0000052c: DUP3 0000052d: DUP2 0000052e: SUB 0000052f: DUP3 00000530: MSTORE 00000531: PUSH1 0x0e 00000533: DUP2 00000534: MSTORE 00000535: PUSH1 0x20 00000537: ADD 00000538: DUP1 00000539: PUSH32 0x43617264206e6f7420666f756e64000000000000000000000000000000000000 0000055a: DUP2 0000055b: MSTORE 0000055c: POP 0000055d: PUSH1 0x20 0000055f: ADD 00000560: SWAP2 00000561: POP 00000562: POP 00000563: PUSH1 0x40 00000565: MLOAD 00000566: DUP1 00000567: SWAP2 00000568: SUB 00000569: SWAP1 0000056a: REVERT 0000056b: JUMPDEST 0000056c: PUSH1 0x01 0000056e: PUSH1 0x00 00000570: SWAP1 00000571: SLOAD 00000572: SWAP1 00000573: PUSH2 0x0100 00000576: EXP 00000577: SWAP1 00000578: DIV 00000579: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000058e: AND 0000058f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005a4: AND 000005a5: PUSH4 0x869f7594 000005aa: DUP3 000005ab: PUSH1 0x40 000005ad: MLOAD 000005ae: DUP3 000005af: PUSH4 0xffffffff 000005b4: AND 000005b5: PUSH1 0xe0 000005b7: SHL 000005b8: DUP2 000005b9: MSTORE 000005ba: PUSH1 0x04 000005bc: ADD 000005bd: DUP1 000005be: DUP3 000005bf: DUP2 000005c0: MSTORE 000005c1: PUSH1 0x20 000005c3: ADD 000005c4: SWAP2 000005c5: POP 000005c6: POP 000005c7: PUSH1 0x20 000005c9: PUSH1 0x40 000005cb: MLOAD 000005cc: DUP1 000005cd: DUP4 000005ce: SUB 000005cf: DUP2 000005d0: DUP7 000005d1: DUP1 000005d2: EXTCODESIZE 000005d3: ISZERO 000005d4: DUP1 000005d5: ISZERO 000005d6: PUSH2 0x05de 000005d9: JUMPI 000005da: PUSH1 0x00 000005dc: DUP1 000005dd: REVERT 000005de: JUMPDEST 000005df: POP 000005e0: GAS 000005e1: STATICCALL 000005e2: ISZERO 000005e3: DUP1 000005e4: ISZERO 000005e5: PUSH2 0x05f2 000005e8: JUMPI 000005e9: RETURNDATASIZE 000005ea: PUSH1 0x00 000005ec: DUP1 000005ed: RETURNDATACOPY 000005ee: RETURNDATASIZE 000005ef: PUSH1 0x00 000005f1: REVERT 000005f2: JUMPDEST 000005f3: POP 000005f4: POP 000005f5: POP 000005f6: POP 000005f7: PUSH1 0x40 000005f9: MLOAD 000005fa: RETURNDATASIZE 000005fb: PUSH1 0x20 000005fd: DUP2 000005fe: LT 000005ff: ISZERO 00000600: PUSH2 0x0608 00000603: JUMPI 00000604: PUSH1 0x00 00000606: DUP1 00000607: REVERT 00000608: JUMPDEST 00000609: DUP2 0000060a: ADD 0000060b: SWAP1 0000060c: DUP1 0000060d: DUP1 0000060e: MLOAD 0000060f: SWAP1 00000610: PUSH1 0x20 00000612: ADD 00000613: SWAP1 00000614: SWAP3 00000615: SWAP2 00000616: SWAP1 00000617: POP 00000618: POP 00000619: POP 0000061a: PUSH1 0x01 0000061c: PUSH1 0x00 0000061e: SWAP1 0000061f: SLOAD 00000620: SWAP1 00000621: PUSH2 0x0100 00000624: EXP 00000625: SWAP1 00000626: DIV 00000627: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000063c: AND 0000063d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000652: AND 00000653: PUSH4 0xbd85b039 00000658: DUP4 00000659: PUSH1 0x40 0000065b: MLOAD 0000065c: DUP3 0000065d: PUSH4 0xffffffff 00000662: AND 00000663: PUSH1 0xe0 00000665: SHL 00000666: DUP2 00000667: MSTORE 00000668: PUSH1 0x04 0000066a: ADD 0000066b: DUP1 0000066c: DUP3 0000066d: DUP2 0000066e: MSTORE 0000066f: PUSH1 0x20 00000671: ADD 00000672: SWAP2 00000673: POP 00000674: POP 00000675: PUSH1 0x20 00000677: PUSH1 0x40 00000679: MLOAD 0000067a: DUP1 0000067b: DUP4 0000067c: SUB 0000067d: DUP2 0000067e: DUP7 0000067f: DUP1 00000680: EXTCODESIZE 00000681: ISZERO 00000682: DUP1 00000683: ISZERO 00000684: PUSH2 0x068c 00000687: JUMPI 00000688: PUSH1 0x00 0000068a: DUP1 0000068b: REVERT 0000068c: JUMPDEST 0000068d: POP 0000068e: GAS 0000068f: STATICCALL 00000690: ISZERO 00000691: DUP1 00000692: ISZERO 00000693: PUSH2 0x06a0 00000696: JUMPI 00000697: RETURNDATASIZE 00000698: PUSH1 0x00 0000069a: DUP1 0000069b: RETURNDATACOPY 0000069c: RETURNDATASIZE 0000069d: PUSH1 0x00 0000069f: REVERT 000006a0: JUMPDEST 000006a1: POP 000006a2: POP 000006a3: POP 000006a4: POP 000006a5: PUSH1 0x40 000006a7: MLOAD 000006a8: RETURNDATASIZE 000006a9: PUSH1 0x20 000006ab: DUP2 000006ac: LT 000006ad: ISZERO 000006ae: PUSH2 0x06b6 000006b1: JUMPI 000006b2: PUSH1 0x00 000006b4: DUP1 000006b5: REVERT 000006b6: JUMPDEST 000006b7: DUP2 000006b8: ADD 000006b9: SWAP1 000006ba: DUP1 000006bb: DUP1 000006bc: MLOAD 000006bd: SWAP1 000006be: PUSH1 0x20 000006c0: ADD 000006c1: SWAP1 000006c2: SWAP3 000006c3: SWAP2 000006c4: SWAP1 000006c5: POP 000006c6: POP 000006c7: POP 000006c8: LT 000006c9: PUSH2 0x073a 000006cc: JUMPI 000006cd: PUSH1 0x40 000006cf: MLOAD 000006d0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000006f1: DUP2 000006f2: MSTORE 000006f3: PUSH1 0x04 000006f5: ADD 000006f6: DUP1 000006f7: DUP1 000006f8: PUSH1 0x20 000006fa: ADD 000006fb: DUP3 000006fc: DUP2 000006fd: SUB 000006fe: DUP3 000006ff: MSTORE 00000700: PUSH1 0x10 00000702: DUP2 00000703: MSTORE 00000704: PUSH1 0x20 00000706: ADD 00000707: DUP1 00000708: PUSH32 0x4d6178206361726473206d696e74656400000000000000000000000000000000 00000729: DUP2 0000072a: MSTORE 0000072b: POP 0000072c: PUSH1 0x20 0000072e: ADD 0000072f: SWAP2 00000730: POP 00000731: POP 00000732: PUSH1 0x40 00000734: MLOAD 00000735: DUP1 00000736: SWAP2 00000737: SUB 00000738: SWAP1 00000739: REVERT 0000073a: JUMPDEST 0000073b: PUSH1 0x02 0000073d: PUSH1 0x00 0000073f: DUP3 00000740: DUP2 00000741: MSTORE 00000742: PUSH1 0x20 00000744: ADD 00000745: SWAP1 00000746: DUP2 00000747: MSTORE 00000748: PUSH1 0x20 0000074a: ADD 0000074b: PUSH1 0x00 0000074d: KECCAK256 0000074e: SLOAD 0000074f: CALLVALUE 00000750: EQ 00000751: PUSH2 0x0759 00000754: JUMPI 00000755: PUSH1 0x00 00000757: DUP1 00000758: REVERT 00000759: JUMPDEST 0000075a: PUSH1 0x01 0000075c: PUSH1 0x00 0000075e: SWAP1 0000075f: SLOAD 00000760: SWAP1 00000761: PUSH2 0x0100 00000764: EXP 00000765: SWAP1 00000766: DIV 00000767: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000077c: AND 0000077d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000792: AND 00000793: PUSH4 0x731133e9 00000798: CALLER 00000799: DUP4 0000079a: PUSH1 0x01 0000079c: PUSH1 0x40 0000079e: MLOAD 0000079f: DUP5 000007a0: PUSH4 0xffffffff 000007a5: AND 000007a6: PUSH1 0xe0 000007a8: SHL 000007a9: DUP2 000007aa: MSTORE 000007ab: PUSH1 0x04 000007ad: ADD 000007ae: DUP1 000007af: DUP5 000007b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007c5: AND 000007c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007db: AND 000007dc: DUP2 000007dd: MSTORE 000007de: PUSH1 0x20 000007e0: ADD 000007e1: DUP4 000007e2: DUP2 000007e3: MSTORE 000007e4: PUSH1 0x20 000007e6: ADD 000007e7: DUP3 000007e8: DUP2 000007e9: MSTORE 000007ea: PUSH1 0x20 000007ec: ADD 000007ed: DUP1 000007ee: PUSH1 0x20 000007f0: ADD 000007f1: DUP3 000007f2: DUP2 000007f3: SUB 000007f4: DUP3 000007f5: MSTORE 000007f6: PUSH1 0x00 000007f8: DUP2 000007f9: MSTORE 000007fa: PUSH1 0x20 000007fc: ADD 000007fd: PUSH1 0x20 000007ff: ADD 00000800: SWAP5 00000801: POP 00000802: POP 00000803: POP 00000804: POP 00000805: POP 00000806: PUSH1 0x00 00000808: PUSH1 0x40 0000080a: MLOAD 0000080b: DUP1 0000080c: DUP4 0000080d: SUB 0000080e: DUP2 0000080f: PUSH1 0x00 00000811: DUP8 00000812: DUP1 00000813: EXTCODESIZE 00000814: ISZERO 00000815: DUP1 00000816: ISZERO 00000817: PUSH2 0x081f 0000081a: JUMPI 0000081b: PUSH1 0x00 0000081d: DUP1 0000081e: REVERT 0000081f: JUMPDEST 00000820: POP 00000821: GAS 00000822: CALL 00000823: ISZERO 00000824: DUP1 00000825: ISZERO 00000826: PUSH2 0x0833 00000829: JUMPI 0000082a: RETURNDATASIZE 0000082b: PUSH1 0x00 0000082d: DUP1 0000082e: RETURNDATACOPY 0000082f: RETURNDATASIZE 00000830: PUSH1 0x00 00000832: REVERT 00000833: JUMPDEST 00000834: POP 00000835: POP 00000836: POP 00000837: POP 00000838: CALLER 00000839: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000084e: AND 0000084f: PUSH32 0x4896181ff8f4543cc00db9fe9b6fb7e6f032b7eb772c72ab1ec1b4d2e03b9369 00000870: PUSH1 0x02 00000872: PUSH1 0x00 00000874: DUP5 00000875: DUP2 00000876: MSTORE 00000877: PUSH1 0x20 00000879: ADD 0000087a: SWAP1 0000087b: DUP2 0000087c: MSTORE 0000087d: PUSH1 0x20 0000087f: ADD 00000880: PUSH1 0x00 00000882: KECCAK256 00000883: SLOAD 00000884: PUSH1 0x40 00000886: MLOAD 00000887: DUP1 00000888: DUP3 00000889: DUP2 0000088a: MSTORE 0000088b: PUSH1 0x20 0000088d: ADD 0000088e: SWAP2 0000088f: POP 00000890: POP 00000891: PUSH1 0x40 00000893: MLOAD 00000894: DUP1 00000895: SWAP2 00000896: SUB 00000897: SWAP1 00000898: LOG2 00000899: POP 0000089a: JUMP 0000089b: JUMPDEST 0000089c: PUSH2 0x08a3 0000089f: PUSH2 0x046b 000008a2: JUMP 000008a3: JUMPDEST 000008a4: PUSH2 0x0915 000008a7: JUMPI 000008a8: PUSH1 0x40 000008aa: MLOAD 000008ab: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000008cc: DUP2 000008cd: MSTORE 000008ce: PUSH1 0x04 000008d0: ADD 000008d1: DUP1 000008d2: DUP1 000008d3: PUSH1 0x20 000008d5: ADD 000008d6: DUP3 000008d7: DUP2 000008d8: SUB 000008d9: DUP3 000008da: MSTORE 000008db: PUSH1 0x20 000008dd: DUP2 000008de: MSTORE 000008df: PUSH1 0x20 000008e1: ADD 000008e2: DUP1 000008e3: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000904: DUP2 00000905: MSTORE 00000906: POP 00000907: PUSH1 0x20 00000909: ADD 0000090a: SWAP2 0000090b: POP 0000090c: POP 0000090d: PUSH1 0x40 0000090f: MLOAD 00000910: DUP1 00000911: SWAP2 00000912: SUB 00000913: SWAP1 00000914: REVERT 00000915: JUMPDEST 00000916: DUP1 00000917: PUSH1 0x02 00000919: PUSH1 0x00 0000091b: DUP5 0000091c: DUP2 0000091d: MSTORE 0000091e: PUSH1 0x20 00000920: ADD 00000921: SWAP1 00000922: DUP2 00000923: MSTORE 00000924: PUSH1 0x20 00000926: ADD 00000927: PUSH1 0x00 00000929: KECCAK256 0000092a: DUP2 0000092b: SWAP1 0000092c: SSTORE 0000092d: POP 0000092e: PUSH32 0x62399d91d89d6e694d41e47f3e6010c0e0b4ec78ecdddb1c02d0e321780859b0 0000094f: DUP3 00000950: DUP3 00000951: PUSH1 0x40 00000953: MLOAD 00000954: DUP1 00000955: DUP4 00000956: DUP2 00000957: MSTORE 00000958: PUSH1 0x20 0000095a: ADD 0000095b: DUP3 0000095c: DUP2 0000095d: MSTORE 0000095e: PUSH1 0x20 00000960: ADD 00000961: SWAP3 00000962: POP 00000963: POP 00000964: POP 00000965: PUSH1 0x40 00000967: MLOAD 00000968: DUP1 00000969: SWAP2 0000096a: SUB 0000096b: SWAP1 0000096c: LOG1 0000096d: POP 0000096e: POP 0000096f: JUMP 00000970: JUMPDEST 00000971: PUSH2 0x0978 00000974: PUSH2 0x046b 00000977: JUMP 00000978: JUMPDEST 00000979: PUSH2 0x09ea 0000097c: JUMPI 0000097d: PUSH1 0x40 0000097f: MLOAD 00000980: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000009a1: DUP2 000009a2: MSTORE 000009a3: PUSH1 0x04 000009a5: ADD 000009a6: DUP1 000009a7: DUP1 000009a8: PUSH1 0x20 000009aa: ADD 000009ab: DUP3 000009ac: DUP2 000009ad: SUB 000009ae: DUP3 000009af: MSTORE 000009b0: PUSH1 0x20 000009b2: DUP2 000009b3: MSTORE 000009b4: PUSH1 0x20 000009b6: ADD 000009b7: DUP1 000009b8: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 000009d9: DUP2 000009da: MSTORE 000009db: POP 000009dc: PUSH1 0x20 000009de: ADD 000009df: SWAP2 000009e0: POP 000009e1: POP 000009e2: PUSH1 0x40 000009e4: MLOAD 000009e5: DUP1 000009e6: SWAP2 000009e7: SUB 000009e8: SWAP1 000009e9: REVERT 000009ea: JUMPDEST 000009eb: PUSH2 0x09f3 000009ee: DUP2 000009ef: PUSH2 0x0ac2 000009f2: JUMP 000009f3: JUMPDEST 000009f4: POP 000009f5: JUMP 000009f6: JUMPDEST 000009f7: PUSH2 0x09fe 000009fa: PUSH2 0x046b 000009fd: JUMP 000009fe: JUMPDEST 000009ff: PUSH2 0x0a70 00000a02: JUMPI 00000a03: PUSH1 0x40 00000a05: MLOAD 00000a06: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000a27: DUP2 00000a28: MSTORE 00000a29: PUSH1 0x04 00000a2b: ADD 00000a2c: DUP1 00000a2d: DUP1 00000a2e: PUSH1 0x20 00000a30: ADD 00000a31: DUP3 00000a32: DUP2 00000a33: SUB 00000a34: DUP3 00000a35: MSTORE 00000a36: PUSH1 0x20 00000a38: DUP2 00000a39: MSTORE 00000a3a: PUSH1 0x20 00000a3c: ADD 00000a3d: DUP1 00000a3e: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000a5f: DUP2 00000a60: MSTORE 00000a61: POP 00000a62: PUSH1 0x20 00000a64: ADD 00000a65: SWAP2 00000a66: POP 00000a67: POP 00000a68: PUSH1 0x40 00000a6a: MLOAD 00000a6b: DUP1 00000a6c: SWAP2 00000a6d: SUB 00000a6e: SWAP1 00000a6f: REVERT 00000a70: JUMPDEST 00000a71: DUP1 00000a72: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a87: AND 00000a88: PUSH2 0x08fc 00000a8b: SELFBALANCE 00000a8c: SWAP1 00000a8d: DUP2 00000a8e: ISZERO 00000a8f: MUL 00000a90: SWAP1 00000a91: PUSH1 0x40 00000a93: MLOAD 00000a94: PUSH1 0x00 00000a96: PUSH1 0x40 00000a98: MLOAD 00000a99: DUP1 00000a9a: DUP4 00000a9b: SUB 00000a9c: DUP2 00000a9d: DUP6 00000a9e: DUP9 00000a9f: DUP9 00000aa0: CALL 00000aa1: SWAP4 00000aa2: POP 00000aa3: POP 00000aa4: POP 00000aa5: POP 00000aa6: ISZERO 00000aa7: DUP1 00000aa8: ISZERO 00000aa9: PUSH2 0x0ab6 00000aac: JUMPI 00000aad: RETURNDATASIZE 00000aae: PUSH1 0x00 00000ab0: DUP1 00000ab1: RETURNDATACOPY 00000ab2: RETURNDATASIZE 00000ab3: PUSH1 0x00 00000ab5: REVERT 00000ab6: JUMPDEST 00000ab7: POP 00000ab8: POP 00000ab9: JUMP 00000aba: JUMPDEST 00000abb: PUSH1 0x00 00000abd: CALLER 00000abe: SWAP1 00000abf: POP 00000ac0: SWAP1 00000ac1: JUMP 00000ac2: JUMPDEST 00000ac3: PUSH1 0x00 00000ac5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ada: AND 00000adb: DUP2 00000adc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000af1: AND 00000af2: EQ 00000af3: ISZERO 00000af4: PUSH2 0x0b48 00000af7: JUMPI 00000af8: PUSH1 0x40 00000afa: MLOAD 00000afb: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000b1c: DUP2 00000b1d: MSTORE 00000b1e: PUSH1 0x04 00000b20: ADD 00000b21: DUP1 00000b22: DUP1 00000b23: PUSH1 0x20 00000b25: ADD 00000b26: DUP3 00000b27: DUP2 00000b28: SUB 00000b29: DUP3 00000b2a: MSTORE 00000b2b: PUSH1 0x26 00000b2d: DUP2 00000b2e: MSTORE 00000b2f: PUSH1 0x20 00000b31: ADD 00000b32: DUP1 00000b33: PUSH2 0x0c07 00000b36: PUSH1 0x26 00000b38: SWAP2 00000b39: CODECOPY 00000b3a: PUSH1 0x40 00000b3c: ADD 00000b3d: SWAP2 00000b3e: POP 00000b3f: POP 00000b40: PUSH1 0x40 00000b42: MLOAD 00000b43: DUP1 00000b44: SWAP2 00000b45: SUB 00000b46: SWAP1 00000b47: REVERT 00000b48: JUMPDEST 00000b49: DUP1 00000b4a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b5f: AND 00000b60: PUSH1 0x00 00000b62: DUP1 00000b63: SWAP1 00000b64: SLOAD 00000b65: SWAP1 00000b66: PUSH2 0x0100 00000b69: EXP 00000b6a: SWAP1 00000b6b: DIV 00000b6c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b81: AND 00000b82: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b97: AND 00000b98: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000bb9: PUSH1 0x40 00000bbb: MLOAD 00000bbc: PUSH1 0x40 00000bbe: MLOAD 00000bbf: DUP1 00000bc0: SWAP2 00000bc1: SUB 00000bc2: SWAP1 00000bc3: LOG3 00000bc4: DUP1 00000bc5: PUSH1 0x00 00000bc7: DUP1 00000bc8: PUSH2 0x0100 00000bcb: EXP 00000bcc: DUP2 00000bcd: SLOAD 00000bce: DUP2 00000bcf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000be4: MUL 00000be5: NOT 00000be6: AND 00000be7: SWAP1 00000be8: DUP4 00000be9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bfe: AND 00000bff: MUL 00000c00: OR 00000c01: SWAP1 00000c02: SSTORE 00000c03: POP 00000c04: POP 00000c05: JUMP 00000c06: INVALID 00000c07: UNKNOWN(0x4F) 00000c08: PUSH24 0x6e61626c653a206e6577206f776e65722069732074686520 00000c21: PUSH27 0x65726f2061646472657373a265627a7a72315820dfd8a6d7f72477 00000c3d: LT 00000c3e: DUP8 00000c3f: UNKNOWN(0x2B) 00000c40: UNKNOWN(0xD2) 00000c41: DUP11 00000c42: UNKNOWN(0xEB) 00000c43: KECCAK256 00000c44: ISZERO 00000c45: DUP3 00000c46: SWAP6 00000c47: CALLCODE 00000c48: DUP14 00000c49: UNKNOWN(0xFB) 00000c4a: UNKNOWN(0xE6) 00000c4b: PUSH9 0x4b71e25665e008d0ac 00000c55: UNKNOWN(0xE6) 00000c56: PUSH5 0x736f6c6343 00000c5c: STOP 00000c5d: SDIV 00000c5e: GT 00000c5f: STOP 00000c60: ORIGIN
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | auth | detector | Authorization based on tx.origin | 70 | no | — |
viewvalidation_json{
"reason": "missing sink mapping",
"status": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x9b6bdf39",
"selector": "0x9b6bdf39",
"calldata_variants": [
"0x9b6bdf39",
"0x9b6bdf390000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdb006a75",
"selector": "0xdb006a75",
"calldata_variants": [
"0xdb006a75",
"0xdb006a750000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xea4a294f",
"selector": "0xea4a294f",
"calldata_variants": [
"0xea4a294f",
"0xea4a294f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf57df33e",
"selector": "0xf57df33e",
"calldata_variants": [
"0xf57df33e",
"0xf57df33e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8a2661ad",
"selector": "0x8a2661ad",
"calldata_variants": [
"0x8a2661ad",
"0x8a2661ad0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 3168,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x887ed5c2d6b0c05ff122aa5adefac12583e2742d0e2201a14ab2eaa34d1794c8
call_targets:
0xe7a91c6f8f2f8404a302e67d03ae575a1db6e1ba
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x887ed5c2d6b0c05ff122aa5adefac12583e2742d0e2201a14ab2eaa34d1794c8",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xe7a91c6f8f2f8404a302e67d03ae575a1db6e1ba"
],
"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": "0x9b6bdf39",
"selector": "0x9b6bdf39",
"calldata_variants": [
"0x9b6bdf39",
"0x9b6bdf390000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdb006a75",
"selector": "0xdb006a75",
"calldata_variants": [
"0xdb006a75",
"0xdb006a750000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xea4a294f",
"selector": "0xea4a294f",
"calldata_variants": [
"0xea4a294f",
"0xea4a294f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf57df33e",
"selector": "0xf57df33e",
"calldata_variants": [
"0xf57df33e",
"0xf57df33e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8a2661ad",
"selector": "0x8a2661ad",
"calldata_variants": [
"0x8a2661ad",
"0x8a2661ad0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2082,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2720,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3143,
"opcode": "CALLCODE",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [
{
"pc": 3168,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 3
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x887ed5c2d6b0c05ff122aa5adefac12583e2742d0e2201a14ab2eaa34d1794c8
call_targets:
0xe7a91c6f8f2f8404a302e67d03ae575a1db6e1ba
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x887ed5c2d6b0c05ff122aa5adefac12583e2742d0e2201a14ab2eaa34d1794c8",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xe7a91c6f8f2f8404a302e67d03ae575a1db6e1ba"
],
"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": "0x9b6bdf39",
"selector": "0x9b6bdf39",
"calldata_variants": [
"0x9b6bdf39",
"0x9b6bdf390000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdb006a75",
"selector": "0xdb006a75",
"calldata_variants": [
"0xdb006a75",
"0xdb006a750000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xea4a294f",
"selector": "0xea4a294f",
"calldata_variants": [
"0xea4a294f",
"0xea4a294f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf57df33e",
"selector": "0xf57df33e",
"calldata_variants": [
"0xf57df33e",
"0xf57df33e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8a2661ad",
"selector": "0x8a2661ad",
"calldata_variants": [
"0x8a2661ad",
"0x8a2661ad0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2082,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2720,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3143,
"opcode": "CALLCODE",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": [
{
"pc": 3168,
"type": "tx_origin_used"
}
]
}
|