019b477e-c66b-71c7-b9a9-e7cab264096f
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 |
|---|---|---|---|---|
| 25771 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 25772 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 69138 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 69139 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 69140 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 69141 | 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 0x004e 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x13af4035 00000019: EQ 0000001a: PUSH2 0x005a 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x24d7806c 00000024: EQ 00000025: PUSH2 0x0083 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0x4b0bddd2 0000002f: EQ 00000030: PUSH2 0x00c0 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0x5c9b7125 0000003a: EQ 0000003b: PUSH2 0x00e9 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0x8da5cb5b 00000045: EQ 00000046: PUSH2 0x0112 00000049: JUMPI 0000004a: PUSH2 0x0055 0000004d: JUMP 0000004e: JUMPDEST 0000004f: CALLDATASIZE 00000050: PUSH2 0x0055 00000053: JUMPI 00000054: STOP 00000055: JUMPDEST 00000056: PUSH1 0x00 00000058: DUP1 00000059: REVERT 0000005a: JUMPDEST 0000005b: CALLVALUE 0000005c: DUP1 0000005d: ISZERO 0000005e: PUSH2 0x0066 00000061: JUMPI 00000062: PUSH1 0x00 00000064: DUP1 00000065: REVERT 00000066: JUMPDEST 00000067: POP 00000068: PUSH2 0x0081 0000006b: PUSH1 0x04 0000006d: DUP1 0000006e: CALLDATASIZE 0000006f: SUB 00000070: DUP2 00000071: ADD 00000072: SWAP1 00000073: PUSH2 0x007c 00000076: SWAP2 00000077: SWAP1 00000078: PUSH2 0x05ef 0000007b: JUMP 0000007c: JUMPDEST 0000007d: PUSH2 0x013d 00000080: JUMP 00000081: JUMPDEST 00000082: STOP 00000083: JUMPDEST 00000084: CALLVALUE 00000085: DUP1 00000086: ISZERO 00000087: PUSH2 0x008f 0000008a: JUMPI 0000008b: PUSH1 0x00 0000008d: DUP1 0000008e: REVERT 0000008f: JUMPDEST 00000090: POP 00000091: PUSH2 0x00aa 00000094: PUSH1 0x04 00000096: DUP1 00000097: CALLDATASIZE 00000098: SUB 00000099: DUP2 0000009a: ADD 0000009b: SWAP1 0000009c: PUSH2 0x00a5 0000009f: SWAP2 000000a0: SWAP1 000000a1: PUSH2 0x05ef 000000a4: JUMP 000000a5: JUMPDEST 000000a6: PUSH2 0x01c8 000000a9: JUMP 000000aa: JUMPDEST 000000ab: PUSH1 0x40 000000ad: MLOAD 000000ae: PUSH2 0x00b7 000000b1: SWAP2 000000b2: SWAP1 000000b3: PUSH2 0x0637 000000b6: JUMP 000000b7: JUMPDEST 000000b8: PUSH1 0x40 000000ba: MLOAD 000000bb: DUP1 000000bc: SWAP2 000000bd: SUB 000000be: SWAP1 000000bf: RETURN 000000c0: JUMPDEST 000000c1: CALLVALUE 000000c2: DUP1 000000c3: ISZERO 000000c4: PUSH2 0x00cc 000000c7: JUMPI 000000c8: PUSH1 0x00 000000ca: DUP1 000000cb: REVERT 000000cc: JUMPDEST 000000cd: POP 000000ce: PUSH2 0x00e7 000000d1: PUSH1 0x04 000000d3: DUP1 000000d4: CALLDATASIZE 000000d5: SUB 000000d6: DUP2 000000d7: ADD 000000d8: SWAP1 000000d9: PUSH2 0x00e2 000000dc: SWAP2 000000dd: SWAP1 000000de: PUSH2 0x067e 000000e1: JUMP 000000e2: JUMPDEST 000000e3: PUSH2 0x0225 000000e6: JUMP 000000e7: JUMPDEST 000000e8: STOP 000000e9: JUMPDEST 000000ea: CALLVALUE 000000eb: DUP1 000000ec: ISZERO 000000ed: PUSH2 0x00f5 000000f0: JUMPI 000000f1: PUSH1 0x00 000000f3: DUP1 000000f4: REVERT 000000f5: JUMPDEST 000000f6: POP 000000f7: PUSH2 0x0110 000000fa: PUSH1 0x04 000000fc: DUP1 000000fd: CALLDATASIZE 000000fe: SUB 000000ff: DUP2 00000100: ADD 00000101: SWAP1 00000102: PUSH2 0x010b 00000105: SWAP2 00000106: SWAP1 00000107: PUSH2 0x06f4 0000010a: JUMP 0000010b: JUMPDEST 0000010c: PUSH2 0x0323 0000010f: JUMP 00000110: JUMPDEST 00000111: STOP 00000112: JUMPDEST 00000113: CALLVALUE 00000114: DUP1 00000115: ISZERO 00000116: PUSH2 0x011e 00000119: JUMPI 0000011a: PUSH1 0x00 0000011c: DUP1 0000011d: REVERT 0000011e: JUMPDEST 0000011f: POP 00000120: PUSH2 0x0127 00000123: PUSH2 0x0563 00000126: JUMP 00000127: JUMPDEST 00000128: PUSH1 0x40 0000012a: MLOAD 0000012b: PUSH2 0x0134 0000012e: SWAP2 0000012f: SWAP1 00000130: PUSH2 0x0756 00000133: JUMP 00000134: JUMPDEST 00000135: PUSH1 0x40 00000137: MLOAD 00000138: DUP1 00000139: SWAP2 0000013a: SUB 0000013b: SWAP1 0000013c: RETURN 0000013d: JUMPDEST 0000013e: PUSH2 0x0146 00000141: CALLER 00000142: PUSH2 0x01c8 00000145: JUMP 00000146: JUMPDEST 00000147: PUSH2 0x0185 0000014a: JUMPI 0000014b: PUSH1 0x40 0000014d: MLOAD 0000014e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000016f: DUP2 00000170: MSTORE 00000171: PUSH1 0x04 00000173: ADD 00000174: PUSH2 0x017c 00000177: SWAP1 00000178: PUSH2 0x07ce 0000017b: JUMP 0000017c: JUMPDEST 0000017d: PUSH1 0x40 0000017f: MLOAD 00000180: DUP1 00000181: SWAP2 00000182: SUB 00000183: SWAP1 00000184: REVERT 00000185: JUMPDEST 00000186: DUP1 00000187: PUSH1 0x00 00000189: DUP1 0000018a: PUSH2 0x0100 0000018d: EXP 0000018e: DUP2 0000018f: SLOAD 00000190: DUP2 00000191: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001a6: MUL 000001a7: NOT 000001a8: AND 000001a9: SWAP1 000001aa: DUP4 000001ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001c0: AND 000001c1: MUL 000001c2: OR 000001c3: SWAP1 000001c4: SSTORE 000001c5: POP 000001c6: POP 000001c7: JUMP 000001c8: JUMPDEST 000001c9: PUSH1 0x00 000001cb: PUSH1 0x01 000001cd: PUSH1 0x00 000001cf: DUP4 000001d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001e5: AND 000001e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001fb: AND 000001fc: DUP2 000001fd: MSTORE 000001fe: PUSH1 0x20 00000200: ADD 00000201: SWAP1 00000202: DUP2 00000203: MSTORE 00000204: PUSH1 0x20 00000206: ADD 00000207: PUSH1 0x00 00000209: KECCAK256 0000020a: PUSH1 0x00 0000020c: SWAP1 0000020d: SLOAD 0000020e: SWAP1 0000020f: PUSH2 0x0100 00000212: EXP 00000213: SWAP1 00000214: DIV 00000215: PUSH1 0xff 00000217: AND 00000218: ISZERO 00000219: ISZERO 0000021a: PUSH1 0x01 0000021c: ISZERO 0000021d: ISZERO 0000021e: EQ 0000021f: SWAP1 00000220: POP 00000221: SWAP2 00000222: SWAP1 00000223: POP 00000224: JUMP 00000225: JUMPDEST 00000226: PUSH2 0x022e 00000229: CALLER 0000022a: PUSH2 0x01c8 0000022d: JUMP 0000022e: JUMPDEST 0000022f: PUSH2 0x026d 00000232: JUMPI 00000233: PUSH1 0x40 00000235: MLOAD 00000236: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000257: DUP2 00000258: MSTORE 00000259: PUSH1 0x04 0000025b: ADD 0000025c: PUSH2 0x0264 0000025f: SWAP1 00000260: PUSH2 0x07ce 00000263: JUMP 00000264: JUMPDEST 00000265: PUSH1 0x40 00000267: MLOAD 00000268: DUP1 00000269: SWAP2 0000026a: SUB 0000026b: SWAP1 0000026c: REVERT 0000026d: JUMPDEST 0000026e: DUP1 0000026f: ISZERO 00000270: PUSH2 0x02cf 00000273: JUMPI 00000274: PUSH1 0x01 00000276: DUP1 00000277: PUSH1 0x00 00000279: DUP5 0000027a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000028f: AND 00000290: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002a5: AND 000002a6: DUP2 000002a7: MSTORE 000002a8: PUSH1 0x20 000002aa: ADD 000002ab: SWAP1 000002ac: DUP2 000002ad: MSTORE 000002ae: PUSH1 0x20 000002b0: ADD 000002b1: PUSH1 0x00 000002b3: KECCAK256 000002b4: PUSH1 0x00 000002b6: PUSH2 0x0100 000002b9: EXP 000002ba: DUP2 000002bb: SLOAD 000002bc: DUP2 000002bd: PUSH1 0xff 000002bf: MUL 000002c0: NOT 000002c1: AND 000002c2: SWAP1 000002c3: DUP4 000002c4: ISZERO 000002c5: ISZERO 000002c6: MUL 000002c7: OR 000002c8: SWAP1 000002c9: SSTORE 000002ca: POP 000002cb: PUSH2 0x031f 000002ce: JUMP 000002cf: JUMPDEST 000002d0: PUSH1 0x01 000002d2: PUSH1 0x00 000002d4: DUP4 000002d5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002ea: AND 000002eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000300: AND 00000301: DUP2 00000302: MSTORE 00000303: PUSH1 0x20 00000305: ADD 00000306: SWAP1 00000307: DUP2 00000308: MSTORE 00000309: PUSH1 0x20 0000030b: ADD 0000030c: PUSH1 0x00 0000030e: KECCAK256 0000030f: PUSH1 0x00 00000311: PUSH2 0x0100 00000314: EXP 00000315: DUP2 00000316: SLOAD 00000317: SWAP1 00000318: PUSH1 0xff 0000031a: MUL 0000031b: NOT 0000031c: AND 0000031d: SWAP1 0000031e: SSTORE 0000031f: JUMPDEST 00000320: POP 00000321: POP 00000322: JUMP 00000323: JUMPDEST 00000324: PUSH2 0x032c 00000327: CALLER 00000328: PUSH2 0x01c8 0000032b: JUMP 0000032c: JUMPDEST 0000032d: PUSH2 0x036b 00000330: JUMPI 00000331: PUSH1 0x40 00000333: MLOAD 00000334: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000355: DUP2 00000356: MSTORE 00000357: PUSH1 0x04 00000359: ADD 0000035a: PUSH2 0x0362 0000035d: SWAP1 0000035e: PUSH2 0x07ce 00000361: JUMP 00000362: JUMPDEST 00000363: PUSH1 0x40 00000365: MLOAD 00000366: DUP1 00000367: SWAP2 00000368: SUB 00000369: SWAP1 0000036a: REVERT 0000036b: JUMPDEST 0000036c: PUSH1 0x00 0000036e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000383: AND 00000384: DUP4 00000385: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000039a: AND 0000039b: EQ 0000039c: ISZERO 0000039d: PUSH2 0x04a0 000003a0: JUMPI 000003a1: PUSH1 0x00 000003a3: DUP2 000003a4: EQ 000003a5: DUP1 000003a6: PUSH2 0x03af 000003a9: JUMPI 000003aa: POP 000003ab: DUP1 000003ac: SELFBALANCE 000003ad: LT 000003ae: ISZERO 000003af: JUMPDEST 000003b0: PUSH2 0x03ee 000003b3: JUMPI 000003b4: PUSH1 0x40 000003b6: MLOAD 000003b7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000003d8: DUP2 000003d9: MSTORE 000003da: PUSH1 0x04 000003dc: ADD 000003dd: PUSH2 0x03e5 000003e0: SWAP1 000003e1: PUSH2 0x083a 000003e4: JUMP 000003e5: JUMPDEST 000003e6: PUSH1 0x40 000003e8: MLOAD 000003e9: DUP1 000003ea: SWAP2 000003eb: SUB 000003ec: SWAP1 000003ed: REVERT 000003ee: JUMPDEST 000003ef: PUSH1 0x00 000003f1: DUP3 000003f2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000407: AND 00000408: DUP3 00000409: PUSH1 0x40 0000040b: MLOAD 0000040c: PUSH2 0x0414 0000040f: SWAP1 00000410: PUSH2 0x088b 00000413: JUMP 00000414: JUMPDEST 00000415: PUSH1 0x00 00000417: PUSH1 0x40 00000419: MLOAD 0000041a: DUP1 0000041b: DUP4 0000041c: SUB 0000041d: DUP2 0000041e: DUP6 0000041f: DUP8 00000420: GAS 00000421: CALL 00000422: SWAP3 00000423: POP 00000424: POP 00000425: POP 00000426: RETURNDATASIZE 00000427: DUP1 00000428: PUSH1 0x00 0000042a: DUP2 0000042b: EQ 0000042c: PUSH2 0x0451 0000042f: JUMPI 00000430: PUSH1 0x40 00000432: MLOAD 00000433: SWAP2 00000434: POP 00000435: PUSH1 0x1f 00000437: NOT 00000438: PUSH1 0x3f 0000043a: RETURNDATASIZE 0000043b: ADD 0000043c: AND 0000043d: DUP3 0000043e: ADD 0000043f: PUSH1 0x40 00000441: MSTORE 00000442: RETURNDATASIZE 00000443: DUP3 00000444: MSTORE 00000445: RETURNDATASIZE 00000446: PUSH1 0x00 00000448: PUSH1 0x20 0000044a: DUP5 0000044b: ADD 0000044c: RETURNDATACOPY 0000044d: PUSH2 0x0456 00000450: JUMP 00000451: JUMPDEST 00000452: PUSH1 0x60 00000454: SWAP2 00000455: POP 00000456: JUMPDEST 00000457: POP 00000458: POP 00000459: SWAP1 0000045a: POP 0000045b: DUP1 0000045c: PUSH2 0x049a 0000045f: JUMPI 00000460: PUSH1 0x40 00000462: MLOAD 00000463: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000484: DUP2 00000485: MSTORE 00000486: PUSH1 0x04 00000488: ADD 00000489: PUSH2 0x0491 0000048c: SWAP1 0000048d: PUSH2 0x08ec 00000490: JUMP 00000491: JUMPDEST 00000492: PUSH1 0x40 00000494: MLOAD 00000495: DUP1 00000496: SWAP2 00000497: SUB 00000498: SWAP1 00000499: REVERT 0000049a: JUMPDEST 0000049b: POP 0000049c: PUSH2 0x055e 0000049f: JUMP 000004a0: JUMPDEST 000004a1: DUP3 000004a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004b7: AND 000004b8: PUSH4 0xa9059cbb 000004bd: DUP4 000004be: DUP4 000004bf: PUSH1 0x40 000004c1: MLOAD 000004c2: DUP4 000004c3: PUSH4 0xffffffff 000004c8: AND 000004c9: PUSH1 0xe0 000004cb: SHL 000004cc: DUP2 000004cd: MSTORE 000004ce: PUSH1 0x04 000004d0: ADD 000004d1: PUSH2 0x04db 000004d4: SWAP3 000004d5: SWAP2 000004d6: SWAP1 000004d7: PUSH2 0x091b 000004da: JUMP 000004db: JUMPDEST 000004dc: PUSH1 0x20 000004de: PUSH1 0x40 000004e0: MLOAD 000004e1: DUP1 000004e2: DUP4 000004e3: SUB 000004e4: DUP2 000004e5: PUSH1 0x00 000004e7: DUP8 000004e8: GAS 000004e9: CALL 000004ea: ISZERO 000004eb: DUP1 000004ec: ISZERO 000004ed: PUSH2 0x04fa 000004f0: JUMPI 000004f1: RETURNDATASIZE 000004f2: PUSH1 0x00 000004f4: DUP1 000004f5: RETURNDATACOPY 000004f6: RETURNDATASIZE 000004f7: PUSH1 0x00 000004f9: REVERT 000004fa: JUMPDEST 000004fb: POP 000004fc: POP 000004fd: POP 000004fe: POP 000004ff: PUSH1 0x40 00000501: MLOAD 00000502: RETURNDATASIZE 00000503: PUSH1 0x1f 00000505: NOT 00000506: PUSH1 0x1f 00000508: DUP3 00000509: ADD 0000050a: AND 0000050b: DUP3 0000050c: ADD 0000050d: DUP1 0000050e: PUSH1 0x40 00000510: MSTORE 00000511: POP 00000512: DUP2 00000513: ADD 00000514: SWAP1 00000515: PUSH2 0x051e 00000518: SWAP2 00000519: SWAP1 0000051a: PUSH2 0x0959 0000051d: JUMP 0000051e: JUMPDEST 0000051f: PUSH2 0x055d 00000522: JUMPI 00000523: PUSH1 0x40 00000525: MLOAD 00000526: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000547: DUP2 00000548: MSTORE 00000549: PUSH1 0x04 0000054b: ADD 0000054c: PUSH2 0x0554 0000054f: SWAP1 00000550: PUSH2 0x08ec 00000553: JUMP 00000554: JUMPDEST 00000555: PUSH1 0x40 00000557: MLOAD 00000558: DUP1 00000559: SWAP2 0000055a: SUB 0000055b: SWAP1 0000055c: REVERT 0000055d: JUMPDEST 0000055e: JUMPDEST 0000055f: POP 00000560: POP 00000561: POP 00000562: JUMP 00000563: JUMPDEST 00000564: PUSH1 0x00 00000566: DUP1 00000567: PUSH1 0x00 00000569: SWAP1 0000056a: SLOAD 0000056b: SWAP1 0000056c: PUSH2 0x0100 0000056f: EXP 00000570: SWAP1 00000571: DIV 00000572: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000587: AND 00000588: SWAP1 00000589: POP 0000058a: SWAP1 0000058b: JUMP 0000058c: JUMPDEST 0000058d: PUSH1 0x00 0000058f: DUP1 00000590: REVERT 00000591: JUMPDEST 00000592: PUSH1 0x00 00000594: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005a9: DUP3 000005aa: AND 000005ab: SWAP1 000005ac: POP 000005ad: SWAP2 000005ae: SWAP1 000005af: POP 000005b0: JUMP 000005b1: JUMPDEST 000005b2: PUSH1 0x00 000005b4: PUSH2 0x05bc 000005b7: DUP3 000005b8: PUSH2 0x0591 000005bb: JUMP 000005bc: JUMPDEST 000005bd: SWAP1 000005be: POP 000005bf: SWAP2 000005c0: SWAP1 000005c1: POP 000005c2: JUMP 000005c3: JUMPDEST 000005c4: PUSH2 0x05cc 000005c7: DUP2 000005c8: PUSH2 0x05b1 000005cb: JUMP 000005cc: JUMPDEST 000005cd: DUP2 000005ce: EQ 000005cf: PUSH2 0x05d7 000005d2: JUMPI 000005d3: PUSH1 0x00 000005d5: DUP1 000005d6: REVERT 000005d7: JUMPDEST 000005d8: POP 000005d9: JUMP 000005da: JUMPDEST 000005db: PUSH1 0x00 000005dd: DUP2 000005de: CALLDATALOAD 000005df: SWAP1 000005e0: POP 000005e1: PUSH2 0x05e9 000005e4: DUP2 000005e5: PUSH2 0x05c3 000005e8: JUMP 000005e9: JUMPDEST 000005ea: SWAP3 000005eb: SWAP2 000005ec: POP 000005ed: POP 000005ee: JUMP 000005ef: JUMPDEST 000005f0: PUSH1 0x00 000005f2: PUSH1 0x20 000005f4: DUP3 000005f5: DUP5 000005f6: SUB 000005f7: SLT 000005f8: ISZERO 000005f9: PUSH2 0x0605 000005fc: JUMPI 000005fd: PUSH2 0x0604 00000600: PUSH2 0x058c 00000603: JUMP 00000604: JUMPDEST 00000605: JUMPDEST 00000606: PUSH1 0x00 00000608: PUSH2 0x0613 0000060b: DUP5 0000060c: DUP3 0000060d: DUP6 0000060e: ADD 0000060f: PUSH2 0x05da 00000612: JUMP 00000613: JUMPDEST 00000614: SWAP2 00000615: POP 00000616: POP 00000617: SWAP3 00000618: SWAP2 00000619: POP 0000061a: POP 0000061b: JUMP 0000061c: JUMPDEST 0000061d: PUSH1 0x00 0000061f: DUP2 00000620: ISZERO 00000621: ISZERO 00000622: SWAP1 00000623: POP 00000624: SWAP2 00000625: SWAP1 00000626: POP 00000627: JUMP 00000628: JUMPDEST 00000629: PUSH2 0x0631 0000062c: DUP2 0000062d: PUSH2 0x061c 00000630: JUMP 00000631: JUMPDEST 00000632: DUP3 00000633: MSTORE 00000634: POP 00000635: POP 00000636: JUMP 00000637: JUMPDEST 00000638: PUSH1 0x00 0000063a: PUSH1 0x20 0000063c: DUP3 0000063d: ADD 0000063e: SWAP1 0000063f: POP 00000640: PUSH2 0x064c 00000643: PUSH1 0x00 00000645: DUP4 00000646: ADD 00000647: DUP5 00000648: PUSH2 0x0628 0000064b: JUMP 0000064c: JUMPDEST 0000064d: SWAP3 0000064e: SWAP2 0000064f: POP 00000650: POP 00000651: JUMP 00000652: JUMPDEST 00000653: PUSH2 0x065b 00000656: DUP2 00000657: PUSH2 0x061c 0000065a: JUMP 0000065b: JUMPDEST 0000065c: DUP2 0000065d: EQ 0000065e: PUSH2 0x0666 00000661: JUMPI 00000662: PUSH1 0x00 00000664: DUP1 00000665: REVERT 00000666: JUMPDEST 00000667: POP 00000668: JUMP 00000669: JUMPDEST 0000066a: PUSH1 0x00 0000066c: DUP2 0000066d: CALLDATALOAD 0000066e: SWAP1 0000066f: POP 00000670: PUSH2 0x0678 00000673: DUP2 00000674: PUSH2 0x0652 00000677: JUMP 00000678: JUMPDEST 00000679: SWAP3 0000067a: SWAP2 0000067b: POP 0000067c: POP 0000067d: JUMP 0000067e: JUMPDEST 0000067f: PUSH1 0x00 00000681: DUP1 00000682: PUSH1 0x40 00000684: DUP4 00000685: DUP6 00000686: SUB 00000687: SLT 00000688: ISZERO 00000689: PUSH2 0x0695 0000068c: JUMPI 0000068d: PUSH2 0x0694 00000690: PUSH2 0x058c 00000693: JUMP 00000694: JUMPDEST 00000695: JUMPDEST 00000696: PUSH1 0x00 00000698: PUSH2 0x06a3 0000069b: DUP6 0000069c: DUP3 0000069d: DUP7 0000069e: ADD 0000069f: PUSH2 0x05da 000006a2: JUMP 000006a3: JUMPDEST 000006a4: SWAP3 000006a5: POP 000006a6: POP 000006a7: PUSH1 0x20 000006a9: PUSH2 0x06b4 000006ac: DUP6 000006ad: DUP3 000006ae: DUP7 000006af: ADD 000006b0: PUSH2 0x0669 000006b3: JUMP 000006b4: JUMPDEST 000006b5: SWAP2 000006b6: POP 000006b7: POP 000006b8: SWAP3 000006b9: POP 000006ba: SWAP3 000006bb: SWAP1 000006bc: POP 000006bd: JUMP 000006be: JUMPDEST 000006bf: PUSH1 0x00 000006c1: DUP2 000006c2: SWAP1 000006c3: POP 000006c4: SWAP2 000006c5: SWAP1 000006c6: POP 000006c7: JUMP 000006c8: JUMPDEST 000006c9: PUSH2 0x06d1 000006cc: DUP2 000006cd: PUSH2 0x06be 000006d0: JUMP 000006d1: JUMPDEST 000006d2: DUP2 000006d3: EQ 000006d4: PUSH2 0x06dc 000006d7: JUMPI 000006d8: PUSH1 0x00 000006da: DUP1 000006db: REVERT 000006dc: JUMPDEST 000006dd: POP 000006de: JUMP 000006df: JUMPDEST 000006e0: PUSH1 0x00 000006e2: DUP2 000006e3: CALLDATALOAD 000006e4: SWAP1 000006e5: POP 000006e6: PUSH2 0x06ee 000006e9: DUP2 000006ea: PUSH2 0x06c8 000006ed: JUMP 000006ee: JUMPDEST 000006ef: SWAP3 000006f0: SWAP2 000006f1: POP 000006f2: POP 000006f3: JUMP 000006f4: JUMPDEST 000006f5: PUSH1 0x00 000006f7: DUP1 000006f8: PUSH1 0x00 000006fa: PUSH1 0x60 000006fc: DUP5 000006fd: DUP7 000006fe: SUB 000006ff: SLT 00000700: ISZERO 00000701: PUSH2 0x070d 00000704: JUMPI 00000705: PUSH2 0x070c 00000708: PUSH2 0x058c 0000070b: JUMP 0000070c: JUMPDEST 0000070d: JUMPDEST 0000070e: PUSH1 0x00 00000710: PUSH2 0x071b 00000713: DUP7 00000714: DUP3 00000715: DUP8 00000716: ADD 00000717: PUSH2 0x05da 0000071a: JUMP 0000071b: JUMPDEST 0000071c: SWAP4 0000071d: POP 0000071e: POP 0000071f: PUSH1 0x20 00000721: PUSH2 0x072c 00000724: DUP7 00000725: DUP3 00000726: DUP8 00000727: ADD 00000728: PUSH2 0x05da 0000072b: JUMP 0000072c: JUMPDEST 0000072d: SWAP3 0000072e: POP 0000072f: POP 00000730: PUSH1 0x40 00000732: PUSH2 0x073d 00000735: DUP7 00000736: DUP3 00000737: DUP8 00000738: ADD 00000739: PUSH2 0x06df 0000073c: JUMP 0000073d: JUMPDEST 0000073e: SWAP2 0000073f: POP 00000740: POP 00000741: SWAP3 00000742: POP 00000743: SWAP3 00000744: POP 00000745: SWAP3 00000746: JUMP 00000747: JUMPDEST 00000748: PUSH2 0x0750 0000074b: DUP2 0000074c: PUSH2 0x05b1 0000074f: JUMP 00000750: JUMPDEST 00000751: DUP3 00000752: MSTORE 00000753: POP 00000754: POP 00000755: JUMP 00000756: JUMPDEST 00000757: PUSH1 0x00 00000759: PUSH1 0x20 0000075b: DUP3 0000075c: ADD 0000075d: SWAP1 0000075e: POP 0000075f: PUSH2 0x076b 00000762: PUSH1 0x00 00000764: DUP4 00000765: ADD 00000766: DUP5 00000767: PUSH2 0x0747 0000076a: JUMP 0000076b: JUMPDEST 0000076c: SWAP3 0000076d: SWAP2 0000076e: POP 0000076f: POP 00000770: JUMP 00000771: JUMPDEST 00000772: PUSH1 0x00 00000774: DUP3 00000775: DUP3 00000776: MSTORE 00000777: PUSH1 0x20 00000779: DUP3 0000077a: ADD 0000077b: SWAP1 0000077c: POP 0000077d: SWAP3 0000077e: SWAP2 0000077f: POP 00000780: POP 00000781: JUMP 00000782: JUMPDEST 00000783: PUSH32 0x41646d696e3a2063616c6c6572206973206e6f7420616e2061646d696e000000 000007a4: PUSH1 0x00 000007a6: DUP3 000007a7: ADD 000007a8: MSTORE 000007a9: POP 000007aa: JUMP 000007ab: JUMPDEST 000007ac: PUSH1 0x00 000007ae: PUSH2 0x07b8 000007b1: PUSH1 0x1d 000007b3: DUP4 000007b4: PUSH2 0x0771 000007b7: JUMP 000007b8: JUMPDEST 000007b9: SWAP2 000007ba: POP 000007bb: PUSH2 0x07c3 000007be: DUP3 000007bf: PUSH2 0x0782 000007c2: JUMP 000007c3: JUMPDEST 000007c4: PUSH1 0x20 000007c6: DUP3 000007c7: ADD 000007c8: SWAP1 000007c9: POP 000007ca: SWAP2 000007cb: SWAP1 000007cc: POP 000007cd: JUMP 000007ce: JUMPDEST 000007cf: PUSH1 0x00 000007d1: PUSH1 0x20 000007d3: DUP3 000007d4: ADD 000007d5: SWAP1 000007d6: POP 000007d7: DUP2 000007d8: DUP2 000007d9: SUB 000007da: PUSH1 0x00 000007dc: DUP4 000007dd: ADD 000007de: MSTORE 000007df: PUSH2 0x07e7 000007e2: DUP2 000007e3: PUSH2 0x07ab 000007e6: JUMP 000007e7: JUMPDEST 000007e8: SWAP1 000007e9: POP 000007ea: SWAP2 000007eb: SWAP1 000007ec: POP 000007ed: JUMP 000007ee: JUMPDEST 000007ef: PUSH32 0x696e76616c696420616d6f756e742076616c7565000000000000000000000000 00000810: PUSH1 0x00 00000812: DUP3 00000813: ADD 00000814: MSTORE 00000815: POP 00000816: JUMP 00000817: JUMPDEST 00000818: PUSH1 0x00 0000081a: PUSH2 0x0824 0000081d: PUSH1 0x14 0000081f: DUP4 00000820: PUSH2 0x0771 00000823: JUMP 00000824: JUMPDEST 00000825: SWAP2 00000826: POP 00000827: PUSH2 0x082f 0000082a: DUP3 0000082b: PUSH2 0x07ee 0000082e: JUMP 0000082f: JUMPDEST 00000830: PUSH1 0x20 00000832: DUP3 00000833: ADD 00000834: SWAP1 00000835: POP 00000836: SWAP2 00000837: SWAP1 00000838: POP 00000839: JUMP 0000083a: JUMPDEST 0000083b: PUSH1 0x00 0000083d: PUSH1 0x20 0000083f: DUP3 00000840: ADD 00000841: SWAP1 00000842: POP 00000843: DUP2 00000844: DUP2 00000845: SUB 00000846: PUSH1 0x00 00000848: DUP4 00000849: ADD 0000084a: MSTORE 0000084b: PUSH2 0x0853 0000084e: DUP2 0000084f: PUSH2 0x0817 00000852: JUMP 00000853: JUMPDEST 00000854: SWAP1 00000855: POP 00000856: SWAP2 00000857: SWAP1 00000858: POP 00000859: JUMP 0000085a: JUMPDEST 0000085b: PUSH1 0x00 0000085d: DUP2 0000085e: SWAP1 0000085f: POP 00000860: SWAP3 00000861: SWAP2 00000862: POP 00000863: POP 00000864: JUMP 00000865: JUMPDEST 00000866: POP 00000867: JUMP 00000868: JUMPDEST 00000869: PUSH1 0x00 0000086b: PUSH2 0x0875 0000086e: PUSH1 0x00 00000870: DUP4 00000871: PUSH2 0x085a 00000874: JUMP 00000875: JUMPDEST 00000876: SWAP2 00000877: POP 00000878: PUSH2 0x0880 0000087b: DUP3 0000087c: PUSH2 0x0865 0000087f: JUMP 00000880: JUMPDEST 00000881: PUSH1 0x00 00000883: DUP3 00000884: ADD 00000885: SWAP1 00000886: POP 00000887: SWAP2 00000888: SWAP1 00000889: POP 0000088a: JUMP 0000088b: JUMPDEST 0000088c: PUSH1 0x00 0000088e: PUSH2 0x0896 00000891: DUP3 00000892: PUSH2 0x0868 00000895: JUMP 00000896: JUMPDEST 00000897: SWAP2 00000898: POP 00000899: DUP2 0000089a: SWAP1 0000089b: POP 0000089c: SWAP2 0000089d: SWAP1 0000089e: POP 0000089f: JUMP 000008a0: JUMPDEST 000008a1: PUSH32 0x616d6f756e74207472616e73666572206661696c656400000000000000000000 000008c2: PUSH1 0x00 000008c4: DUP3 000008c5: ADD 000008c6: MSTORE 000008c7: POP 000008c8: JUMP 000008c9: JUMPDEST 000008ca: PUSH1 0x00 000008cc: PUSH2 0x08d6 000008cf: PUSH1 0x16 000008d1: DUP4 000008d2: PUSH2 0x0771 000008d5: JUMP 000008d6: JUMPDEST 000008d7: SWAP2 000008d8: POP 000008d9: PUSH2 0x08e1 000008dc: DUP3 000008dd: PUSH2 0x08a0 000008e0: JUMP 000008e1: JUMPDEST 000008e2: PUSH1 0x20 000008e4: DUP3 000008e5: ADD 000008e6: SWAP1 000008e7: POP 000008e8: SWAP2 000008e9: SWAP1 000008ea: POP 000008eb: JUMP 000008ec: JUMPDEST 000008ed: PUSH1 0x00 000008ef: PUSH1 0x20 000008f1: DUP3 000008f2: ADD 000008f3: SWAP1 000008f4: POP 000008f5: DUP2 000008f6: DUP2 000008f7: SUB 000008f8: PUSH1 0x00 000008fa: DUP4 000008fb: ADD 000008fc: MSTORE 000008fd: PUSH2 0x0905 00000900: DUP2 00000901: PUSH2 0x08c9 00000904: JUMP 00000905: JUMPDEST 00000906: SWAP1 00000907: POP 00000908: SWAP2 00000909: SWAP1 0000090a: POP 0000090b: JUMP 0000090c: JUMPDEST 0000090d: PUSH2 0x0915 00000910: DUP2 00000911: PUSH2 0x06be 00000914: JUMP 00000915: JUMPDEST 00000916: DUP3 00000917: MSTORE 00000918: POP 00000919: POP 0000091a: JUMP 0000091b: JUMPDEST 0000091c: PUSH1 0x00 0000091e: PUSH1 0x40 00000920: DUP3 00000921: ADD 00000922: SWAP1 00000923: POP 00000924: PUSH2 0x0930 00000927: PUSH1 0x00 00000929: DUP4 0000092a: ADD 0000092b: DUP6 0000092c: PUSH2 0x0747 0000092f: JUMP 00000930: JUMPDEST 00000931: PUSH2 0x093d 00000934: PUSH1 0x20 00000936: DUP4 00000937: ADD 00000938: DUP5 00000939: PUSH2 0x090c 0000093c: JUMP 0000093d: JUMPDEST 0000093e: SWAP4 0000093f: SWAP3 00000940: POP 00000941: POP 00000942: POP 00000943: JUMP 00000944: JUMPDEST 00000945: PUSH1 0x00 00000947: DUP2 00000948: MLOAD 00000949: SWAP1 0000094a: POP 0000094b: PUSH2 0x0953 0000094e: DUP2 0000094f: PUSH2 0x0652 00000952: JUMP 00000953: JUMPDEST 00000954: SWAP3 00000955: SWAP2 00000956: POP 00000957: POP 00000958: JUMP 00000959: JUMPDEST 0000095a: PUSH1 0x00 0000095c: PUSH1 0x20 0000095e: DUP3 0000095f: DUP5 00000960: SUB 00000961: SLT 00000962: ISZERO 00000963: PUSH2 0x096f 00000966: JUMPI 00000967: PUSH2 0x096e 0000096a: PUSH2 0x058c 0000096d: JUMP 0000096e: JUMPDEST 0000096f: JUMPDEST 00000970: PUSH1 0x00 00000972: PUSH2 0x097d 00000975: DUP5 00000976: DUP3 00000977: DUP6 00000978: ADD 00000979: PUSH2 0x0944 0000097c: JUMP 0000097d: JUMPDEST 0000097e: SWAP2 0000097f: POP 00000980: POP 00000981: SWAP3 00000982: SWAP2 00000983: POP 00000984: POP 00000985: JUMP 00000986: INVALID 00000987: LOG2 00000988: PUSH5 0x6970667358 0000098e: UNKNOWN(0x22) 0000098f: SLT 00000990: KECCAK256 00000991: UNKNOWN(0x2F) 00000992: UNKNOWN(0xD3) 00000993: JUMP 00000994: CALLDATACOPY 00000995: UNKNOWN(0xBD) 00000996: STOP 00000997: PUSH12 0x9651c0d4af2803d0dc80bc73 000009a4: PUSH1 0x47 000009a6: DIFFICULTY 000009a7: DUP3 000009a8: GAS 000009a9: BLOBBASEFEE 000009aa: UNKNOWN(0x0D) 000009ab: UNKNOWN(0xAB) 000009ac: UNKNOWN(0x25) 000009ad: ORIGIN 000009ae: PUSH20
| 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": "0x13af4035",
"selector": "0x13af4035",
"calldata_variants": [
"0x13af4035",
"0x13af40350000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x24d7806c",
"selector": "0x24d7806c",
"calldata_variants": [
"0x24d7806c",
"0x24d7806c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4b0bddd2",
"selector": "0x4b0bddd2",
"calldata_variants": [
"0x4b0bddd2",
"0x4b0bddd20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c9b7125",
"selector": "0x5c9b7125",
"calldata_variants": [
"0x5c9b7125",
"0x5c9b71250000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 2477,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x4fbb11d84c110ccc89e7cd4d591ba4dc7e965b0f7f611acf04736eb7e8bd0ef5
call_targets:
0xb4a351b25eca90a4bbfbe8e92f9e5fcfa550876f
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x4fbb11d84c110ccc89e7cd4d591ba4dc7e965b0f7f611acf04736eb7e8bd0ef5",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xb4a351b25eca90a4bbfbe8e92f9e5fcfa550876f"
],
"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": "0x13af4035",
"selector": "0x13af4035",
"calldata_variants": [
"0x13af4035",
"0x13af40350000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x24d7806c",
"selector": "0x24d7806c",
"calldata_variants": [
"0x24d7806c",
"0x24d7806c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4b0bddd2",
"selector": "0x4b0bddd2",
"calldata_variants": [
"0x4b0bddd2",
"0x4b0bddd20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c9b7125",
"selector": "0x5c9b7125",
"calldata_variants": [
"0x5c9b7125",
"0x5c9b71250000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1057,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1257,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [
{
"pc": 2477,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 2
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x4fbb11d84c110ccc89e7cd4d591ba4dc7e965b0f7f611acf04736eb7e8bd0ef5
call_targets:
0xb4a351b25eca90a4bbfbe8e92f9e5fcfa550876f
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x4fbb11d84c110ccc89e7cd4d591ba4dc7e965b0f7f611acf04736eb7e8bd0ef5",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xb4a351b25eca90a4bbfbe8e92f9e5fcfa550876f"
],
"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": "0x13af4035",
"selector": "0x13af4035",
"calldata_variants": [
"0x13af4035",
"0x13af40350000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x24d7806c",
"selector": "0x24d7806c",
"calldata_variants": [
"0x24d7806c",
"0x24d7806c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4b0bddd2",
"selector": "0x4b0bddd2",
"calldata_variants": [
"0x4b0bddd2",
"0x4b0bddd20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c9b7125",
"selector": "0x5c9b7125",
"calldata_variants": [
"0x5c9b7125",
"0x5c9b71250000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1057,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1257,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": [
{
"pc": 2477,
"type": "tx_origin_used"
}
]
}
|