019b3844-b452-72c3-b7a4-127221d38f1a
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 |
|---|---|---|---|---|
| 18893 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 18894 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 62174 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 62175 | capability.graph | complete | 1 / 3 | 1 week ago |
| 62176 | detector.run | complete | 1 / 3 | 1 week ago |
| 62177 | 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 0x00ca 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x56fd678a 00000019: GT 0000001a: PUSH2 0x0074 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xa6f9dae1 00000024: GT 00000025: PUSH2 0x004e 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xa6f9dae1 0000002f: EQ 00000030: PUSH2 0x0204 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xc25cf1d0 0000003a: EQ 0000003b: PUSH2 0x0224 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xf83e9a20 00000045: EQ 00000046: PUSH2 0x0244 00000049: JUMPI 0000004a: PUSH1 0x00 0000004c: DUP1 0000004d: REVERT 0000004e: JUMPDEST 0000004f: DUP1 00000050: PUSH4 0x56fd678a 00000055: EQ 00000056: PUSH2 0x01a4 00000059: JUMPI 0000005a: DUP1 0000005b: PUSH4 0x8da5cb5b 00000060: EQ 00000061: PUSH2 0x01c4 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0xa3fbbaae 0000006b: EQ 0000006c: PUSH2 0x01e4 0000006f: JUMPI 00000070: PUSH1 0x00 00000072: DUP1 00000073: REVERT 00000074: JUMPDEST 00000075: DUP1 00000076: PUSH4 0x258898b3 0000007b: GT 0000007c: PUSH2 0x00a5 0000007f: JUMPI 00000080: DUP1 00000081: PUSH4 0x258898b3 00000086: EQ 00000087: PUSH2 0x0136 0000008a: JUMPI 0000008b: DUP1 0000008c: PUSH4 0x481c6a75 00000091: EQ 00000092: PUSH2 0x0156 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0x534844a2 0000009c: EQ 0000009d: PUSH2 0x018e 000000a0: JUMPI 000000a1: PUSH1 0x00 000000a3: DUP1 000000a4: REVERT 000000a5: JUMPDEST 000000a6: DUP1 000000a7: PUSH3 0xf714ce 000000ab: EQ 000000ac: PUSH2 0x00d6 000000af: JUMPI 000000b0: DUP1 000000b1: PUSH4 0x066de3e3 000000b6: EQ 000000b7: PUSH2 0x00f8 000000ba: JUMPI 000000bb: DUP1 000000bc: PUSH4 0x251c1aa3 000000c1: EQ 000000c2: PUSH2 0x010d 000000c5: JUMPI 000000c6: PUSH1 0x00 000000c8: DUP1 000000c9: REVERT 000000ca: JUMPDEST 000000cb: CALLDATASIZE 000000cc: PUSH2 0x00d1 000000cf: JUMPI 000000d0: STOP 000000d1: JUMPDEST 000000d2: PUSH1 0x00 000000d4: DUP1 000000d5: REVERT 000000d6: JUMPDEST 000000d7: CALLVALUE 000000d8: DUP1 000000d9: ISZERO 000000da: PUSH2 0x00e2 000000dd: JUMPI 000000de: PUSH1 0x00 000000e0: DUP1 000000e1: REVERT 000000e2: JUMPDEST 000000e3: POP 000000e4: PUSH2 0x00f6 000000e7: PUSH2 0x00f1 000000ea: CALLDATASIZE 000000eb: PUSH1 0x04 000000ed: PUSH2 0x068f 000000f0: JUMP 000000f1: JUMPDEST 000000f2: PUSH2 0x025a 000000f5: JUMP 000000f6: JUMPDEST 000000f7: STOP 000000f8: JUMPDEST 000000f9: CALLVALUE 000000fa: DUP1 000000fb: ISZERO 000000fc: PUSH2 0x0104 000000ff: JUMPI 00000100: PUSH1 0x00 00000102: DUP1 00000103: REVERT 00000104: JUMPDEST 00000105: POP 00000106: PUSH2 0x00f6 00000109: PUSH2 0x02c8 0000010c: JUMP 0000010d: JUMPDEST 0000010e: CALLVALUE 0000010f: DUP1 00000110: ISZERO 00000111: PUSH2 0x0119 00000114: JUMPI 00000115: PUSH1 0x00 00000117: DUP1 00000118: REVERT 00000119: JUMPDEST 0000011a: POP 0000011b: PUSH2 0x0123 0000011e: PUSH1 0x02 00000120: SLOAD 00000121: DUP2 00000122: JUMP 00000123: JUMPDEST 00000124: PUSH1 0x40 00000126: MLOAD 00000127: SWAP1 00000128: DUP2 00000129: MSTORE 0000012a: PUSH1 0x20 0000012c: ADD 0000012d: JUMPDEST 0000012e: PUSH1 0x40 00000130: MLOAD 00000131: DUP1 00000132: SWAP2 00000133: SUB 00000134: SWAP1 00000135: RETURN 00000136: JUMPDEST 00000137: CALLVALUE 00000138: DUP1 00000139: ISZERO 0000013a: PUSH2 0x0142 0000013d: JUMPI 0000013e: PUSH1 0x00 00000140: DUP1 00000141: REVERT 00000142: JUMPDEST 00000143: POP 00000144: PUSH2 0x00f6 00000147: PUSH2 0x0151 0000014a: CALLDATASIZE 0000014b: PUSH1 0x04 0000014d: PUSH2 0x06bf 00000150: JUMP 00000151: JUMPDEST 00000152: PUSH2 0x040e 00000155: JUMP 00000156: JUMPDEST 00000157: CALLVALUE 00000158: DUP1 00000159: ISZERO 0000015a: PUSH2 0x0162 0000015d: JUMPI 0000015e: PUSH1 0x00 00000160: DUP1 00000161: REVERT 00000162: JUMPDEST 00000163: POP 00000164: PUSH1 0x01 00000166: SLOAD 00000167: PUSH2 0x0176 0000016a: SWAP1 0000016b: PUSH1 0x01 0000016d: PUSH1 0x01 0000016f: PUSH1 0xa0 00000171: SHL 00000172: SUB 00000173: AND 00000174: DUP2 00000175: JUMP 00000176: JUMPDEST 00000177: PUSH1 0x40 00000179: MLOAD 0000017a: PUSH1 0x01 0000017c: PUSH1 0x01 0000017e: PUSH1 0xa0 00000180: SHL 00000181: SUB 00000182: SWAP1 00000183: SWAP2 00000184: AND 00000185: DUP2 00000186: MSTORE 00000187: PUSH1 0x20 00000189: ADD 0000018a: PUSH2 0x012d 0000018d: JUMP 0000018e: JUMPDEST 0000018f: CALLVALUE 00000190: DUP1 00000191: ISZERO 00000192: PUSH2 0x019a 00000195: JUMPI 00000196: PUSH1 0x00 00000198: DUP1 00000199: REVERT 0000019a: JUMPDEST 0000019b: POP 0000019c: PUSH2 0x0123 0000019f: PUSH1 0x04 000001a1: SLOAD 000001a2: DUP2 000001a3: JUMP 000001a4: JUMPDEST 000001a5: CALLVALUE 000001a6: DUP1 000001a7: ISZERO 000001a8: PUSH2 0x01b0 000001ab: JUMPI 000001ac: PUSH1 0x00 000001ae: DUP1 000001af: REVERT 000001b0: JUMPDEST 000001b1: POP 000001b2: PUSH2 0x00f6 000001b5: PUSH2 0x01bf 000001b8: CALLDATASIZE 000001b9: PUSH1 0x04 000001bb: PUSH2 0x0701 000001be: JUMP 000001bf: JUMPDEST 000001c0: PUSH2 0x04b1 000001c3: JUMP 000001c4: JUMPDEST 000001c5: CALLVALUE 000001c6: DUP1 000001c7: ISZERO 000001c8: PUSH2 0x01d0 000001cb: JUMPI 000001cc: PUSH1 0x00 000001ce: DUP1 000001cf: REVERT 000001d0: JUMPDEST 000001d1: POP 000001d2: PUSH1 0x00 000001d4: SLOAD 000001d5: PUSH2 0x0176 000001d8: SWAP1 000001d9: PUSH1 0x01 000001db: PUSH1 0x01 000001dd: PUSH1 0xa0 000001df: SHL 000001e0: SUB 000001e1: AND 000001e2: DUP2 000001e3: JUMP 000001e4: JUMPDEST 000001e5: CALLVALUE 000001e6: DUP1 000001e7: ISZERO 000001e8: PUSH2 0x01f0 000001eb: JUMPI 000001ec: PUSH1 0x00 000001ee: DUP1 000001ef: REVERT 000001f0: JUMPDEST 000001f1: POP 000001f2: PUSH2 0x00f6 000001f5: PUSH2 0x01ff 000001f8: CALLDATASIZE 000001f9: PUSH1 0x04 000001fb: PUSH2 0x071a 000001fe: JUMP 000001ff: JUMPDEST 00000200: PUSH2 0x04e0 00000203: JUMP 00000204: JUMPDEST 00000205: CALLVALUE 00000206: DUP1 00000207: ISZERO 00000208: PUSH2 0x0210 0000020b: JUMPI 0000020c: PUSH1 0x00 0000020e: DUP1 0000020f: REVERT 00000210: JUMPDEST 00000211: POP 00000212: PUSH2 0x00f6 00000215: PUSH2 0x021f 00000218: CALLDATASIZE 00000219: PUSH1 0x04 0000021b: PUSH2 0x071a 0000021e: JUMP 0000021f: JUMPDEST 00000220: PUSH2 0x058f 00000223: JUMP 00000224: JUMPDEST 00000225: CALLVALUE 00000226: DUP1 00000227: ISZERO 00000228: PUSH2 0x0230 0000022b: JUMPI 0000022c: PUSH1 0x00 0000022e: DUP1 0000022f: REVERT 00000230: JUMPDEST 00000231: POP 00000232: PUSH2 0x00f6 00000235: PUSH2 0x023f 00000238: CALLDATASIZE 00000239: PUSH1 0x04 0000023b: PUSH2 0x0701 0000023e: JUMP 0000023f: JUMPDEST 00000240: PUSH2 0x063e 00000243: JUMP 00000244: JUMPDEST 00000245: CALLVALUE 00000246: DUP1 00000247: ISZERO 00000248: PUSH2 0x0250 0000024b: JUMPI 0000024c: PUSH1 0x00 0000024e: DUP1 0000024f: REVERT 00000250: JUMPDEST 00000251: POP 00000252: PUSH2 0x0123 00000255: PUSH1 0x03 00000257: SLOAD 00000258: DUP2 00000259: JUMP 0000025a: JUMPDEST 0000025b: PUSH1 0x00 0000025d: SLOAD 0000025e: PUSH1 0x01 00000260: PUSH1 0x01 00000262: PUSH1 0xa0 00000264: SHL 00000265: SUB 00000266: AND 00000267: CALLER 00000268: EQ 00000269: PUSH2 0x028d 0000026c: JUMPI 0000026d: PUSH1 0x40 0000026f: MLOAD 00000270: PUSH3 0x461bcd 00000274: PUSH1 0xe5 00000276: SHL 00000277: DUP2 00000278: MSTORE 00000279: PUSH1 0x04 0000027b: ADD 0000027c: PUSH2 0x0284 0000027f: SWAP1 00000280: PUSH2 0x073e 00000283: JUMP 00000284: JUMPDEST 00000285: PUSH1 0x40 00000287: MLOAD 00000288: DUP1 00000289: SWAP2 0000028a: SUB 0000028b: SWAP1 0000028c: REVERT 0000028d: JUMPDEST 0000028e: PUSH1 0x40 00000290: MLOAD 00000291: PUSH1 0x01 00000293: PUSH1 0x01 00000295: PUSH1 0xa0 00000297: SHL 00000298: SUB 00000299: DUP3 0000029a: AND 0000029b: SWAP1 0000029c: DUP4 0000029d: ISZERO 0000029e: PUSH2 0x08fc 000002a1: MUL 000002a2: SWAP1 000002a3: DUP5 000002a4: SWAP1 000002a5: PUSH1 0x00 000002a7: DUP2 000002a8: DUP2 000002a9: DUP2 000002aa: DUP6 000002ab: DUP9 000002ac: DUP9 000002ad: CALL 000002ae: SWAP4 000002af: POP 000002b0: POP 000002b1: POP 000002b2: POP 000002b3: ISZERO 000002b4: DUP1 000002b5: ISZERO 000002b6: PUSH2 0x02c3 000002b9: JUMPI 000002ba: RETURNDATASIZE 000002bb: PUSH1 0x00 000002bd: DUP1 000002be: RETURNDATACOPY 000002bf: RETURNDATASIZE 000002c0: PUSH1 0x00 000002c2: REVERT 000002c3: JUMPDEST 000002c4: POP 000002c5: POP 000002c6: POP 000002c7: JUMP 000002c8: JUMPDEST 000002c9: PUSH1 0x01 000002cb: SLOAD 000002cc: PUSH1 0x01 000002ce: PUSH1 0x01 000002d0: PUSH1 0xa0 000002d2: SHL 000002d3: SUB 000002d4: AND 000002d5: CALLER 000002d6: EQ 000002d7: PUSH2 0x032e 000002da: JUMPI 000002db: PUSH1 0x40 000002dd: MLOAD 000002de: PUSH3 0x461bcd 000002e2: PUSH1 0xe5 000002e4: SHL 000002e5: DUP2 000002e6: MSTORE 000002e7: PUSH1 0x20 000002e9: PUSH1 0x04 000002eb: DUP3 000002ec: ADD 000002ed: MSTORE 000002ee: PUSH1 0x24 000002f0: DUP1 000002f1: DUP3 000002f2: ADD 000002f3: MSTORE 000002f4: PUSH32 0x4f6e6c79206d616e616765722063616e2063616c6c20746869732066756e6374 00000315: PUSH1 0x44 00000317: DUP3 00000318: ADD 00000319: MSTORE 0000031a: PUSH4 0x34b7b717 0000031f: PUSH1 0xe1 00000321: SHL 00000322: PUSH1 0x64 00000324: DUP3 00000325: ADD 00000326: MSTORE 00000327: PUSH1 0x84 00000329: ADD 0000032a: PUSH2 0x0284 0000032d: JUMP 0000032e: JUMPDEST 0000032f: PUSH1 0x02 00000331: SLOAD 00000332: TIMESTAMP 00000333: GT 00000334: PUSH2 0x0368 00000337: JUMPI 00000338: PUSH1 0x40 0000033a: MLOAD 0000033b: PUSH3 0x461bcd 0000033f: PUSH1 0xe5 00000341: SHL 00000342: DUP2 00000343: MSTORE 00000344: PUSH1 0x20 00000346: PUSH1 0x04 00000348: DUP3 00000349: ADD 0000034a: MSTORE 0000034b: PUSH1 0x06 0000034d: PUSH1 0x24 0000034f: DUP3 00000350: ADD 00000351: MSTORE 00000352: PUSH6 0x1b1bd8dad959 00000359: PUSH1 0xd2 0000035b: SHL 0000035c: PUSH1 0x44 0000035e: DUP3 0000035f: ADD 00000360: MSTORE 00000361: PUSH1 0x64 00000363: ADD 00000364: PUSH2 0x0284 00000367: JUMP 00000368: JUMPDEST 00000369: PUSH1 0x01 0000036b: SLOAD 0000036c: PUSH1 0x01 0000036e: PUSH1 0x01 00000370: PUSH1 0xa0 00000372: SHL 00000373: SUB 00000374: AND 00000375: PUSH2 0x03aa 00000378: JUMPI 00000379: PUSH1 0x40 0000037b: MLOAD 0000037c: PUSH3 0x461bcd 00000380: PUSH1 0xe5 00000382: SHL 00000383: DUP2 00000384: MSTORE 00000385: PUSH1 0x20 00000387: PUSH1 0x04 00000389: DUP3 0000038a: ADD 0000038b: MSTORE 0000038c: PUSH1 0x07 0000038e: PUSH1 0x24 00000390: DUP3 00000391: ADD 00000392: MSTORE 00000393: PUSH7 0x1a5b9d985b1a59 0000039b: PUSH1 0xca 0000039d: SHL 0000039e: PUSH1 0x44 000003a0: DUP3 000003a1: ADD 000003a2: MSTORE 000003a3: PUSH1 0x64 000003a5: ADD 000003a6: PUSH2 0x0284 000003a9: JUMP 000003aa: JUMPDEST 000003ab: PUSH1 0x00 000003ad: PUSH1 0x04 000003af: SLOAD 000003b0: SELFBALANCE 000003b1: GT 000003b2: PUSH2 0x03bb 000003b5: JUMPI 000003b6: SELFBALANCE 000003b7: PUSH2 0x03bf 000003ba: JUMP 000003bb: JUMPDEST 000003bc: PUSH1 0x04 000003be: SLOAD 000003bf: JUMPDEST 000003c0: PUSH1 0x01 000003c2: SLOAD 000003c3: PUSH1 0x40 000003c5: MLOAD 000003c6: SWAP2 000003c7: SWAP3 000003c8: POP 000003c9: PUSH1 0x01 000003cb: PUSH1 0x01 000003cd: PUSH1 0xa0 000003cf: SHL 000003d0: SUB 000003d1: AND 000003d2: SWAP1 000003d3: DUP3 000003d4: ISZERO 000003d5: PUSH2 0x08fc 000003d8: MUL 000003d9: SWAP1 000003da: DUP4 000003db: SWAP1 000003dc: PUSH1 0x00 000003de: DUP2 000003df: DUP2 000003e0: DUP2 000003e1: DUP6 000003e2: DUP9 000003e3: DUP9 000003e4: CALL 000003e5: SWAP4 000003e6: POP 000003e7: POP 000003e8: POP 000003e9: POP 000003ea: ISZERO 000003eb: DUP1 000003ec: ISZERO 000003ed: PUSH2 0x03fa 000003f0: JUMPI 000003f1: RETURNDATASIZE 000003f2: PUSH1 0x00 000003f4: DUP1 000003f5: RETURNDATACOPY 000003f6: RETURNDATASIZE 000003f7: PUSH1 0x00 000003f9: REVERT 000003fa: JUMPDEST 000003fb: POP 000003fc: PUSH1 0x03 000003fe: SLOAD 000003ff: PUSH2 0x0408 00000402: SWAP1 00000403: TIMESTAMP 00000404: PUSH2 0x0780 00000407: JUMP 00000408: JUMPDEST 00000409: PUSH1 0x02 0000040b: SSTORE 0000040c: POP 0000040d: JUMP 0000040e: JUMPDEST 0000040f: PUSH1 0x00 00000411: SLOAD 00000412: PUSH1 0x01 00000414: PUSH1 0x01 00000416: PUSH1 0xa0 00000418: SHL 00000419: SUB 0000041a: AND 0000041b: CALLER 0000041c: EQ 0000041d: PUSH2 0x0438 00000420: JUMPI 00000421: PUSH1 0x40 00000423: MLOAD 00000424: PUSH3 0x461bcd 00000428: PUSH1 0xe5 0000042a: SHL 0000042b: DUP2 0000042c: MSTORE 0000042d: PUSH1 0x04 0000042f: ADD 00000430: PUSH2 0x0284 00000433: SWAP1 00000434: PUSH2 0x073e 00000437: JUMP 00000438: JUMPDEST 00000439: PUSH1 0x40 0000043b: MLOAD 0000043c: PUSH4 0xa9059cbb 00000441: PUSH1 0xe0 00000443: SHL 00000444: DUP2 00000445: MSTORE 00000446: PUSH1 0x01 00000448: PUSH1 0x01 0000044a: PUSH1 0xa0 0000044c: SHL 0000044d: SUB 0000044e: DUP4 0000044f: DUP2 00000450: AND 00000451: PUSH1 0x04 00000453: DUP4 00000454: ADD 00000455: MSTORE 00000456: PUSH1 0x24 00000458: DUP3 00000459: ADD 0000045a: DUP6 0000045b: SWAP1 0000045c: MSTORE 0000045d: DUP3 0000045e: AND 0000045f: SWAP1 00000460: PUSH4 0xa9059cbb 00000465: SWAP1 00000466: PUSH1 0x44 00000468: ADD 00000469: PUSH1 0x20 0000046b: PUSH1 0x40 0000046d: MLOAD 0000046e: DUP1 0000046f: DUP4 00000470: SUB 00000471: DUP2 00000472: PUSH1 0x00 00000474: DUP8 00000475: GAS 00000476: CALL 00000477: ISZERO 00000478: DUP1 00000479: ISZERO 0000047a: PUSH2 0x0487 0000047d: JUMPI 0000047e: RETURNDATASIZE 0000047f: PUSH1 0x00 00000481: DUP1 00000482: RETURNDATACOPY 00000483: RETURNDATASIZE 00000484: PUSH1 0x00 00000486: REVERT 00000487: JUMPDEST 00000488: POP 00000489: POP 0000048a: POP 0000048b: POP 0000048c: PUSH1 0x40 0000048e: MLOAD 0000048f: RETURNDATASIZE 00000490: PUSH1 0x1f 00000492: NOT 00000493: PUSH1 0x1f 00000495: DUP3 00000496: ADD 00000497: AND 00000498: DUP3 00000499: ADD 0000049a: DUP1 0000049b: PUSH1 0x40 0000049d: MSTORE 0000049e: POP 0000049f: DUP2 000004a0: ADD 000004a1: SWAP1 000004a2: PUSH2 0x04ab 000004a5: SWAP2 000004a6: SWAP1 000004a7: PUSH2 0x07a7 000004aa: JUMP 000004ab: JUMPDEST 000004ac: POP 000004ad: POP 000004ae: POP 000004af: POP 000004b0: JUMP 000004b1: JUMPDEST 000004b2: PUSH1 0x00 000004b4: SLOAD 000004b5: PUSH1 0x01 000004b7: PUSH1 0x01 000004b9: PUSH1 0xa0 000004bb: SHL 000004bc: SUB 000004bd: AND 000004be: CALLER 000004bf: EQ 000004c0: PUSH2 0x04db 000004c3: JUMPI 000004c4: PUSH1 0x40 000004c6: MLOAD 000004c7: PUSH3 0x461bcd 000004cb: PUSH1 0xe5 000004cd: SHL 000004ce: DUP2 000004cf: MSTORE 000004d0: PUSH1 0x04 000004d2: ADD 000004d3: PUSH2 0x0284 000004d6: SWAP1 000004d7: PUSH2 0x073e 000004da: JUMP 000004db: JUMPDEST 000004dc: PUSH1 0x04 000004de: SSTORE 000004df: JUMP 000004e0: JUMPDEST 000004e1: PUSH1 0x00 000004e3: SLOAD 000004e4: PUSH1 0x01 000004e6: PUSH1 0x01 000004e8: PUSH1 0xa0 000004ea: SHL 000004eb: SUB 000004ec: AND 000004ed: CALLER 000004ee: EQ 000004ef: PUSH2 0x050a 000004f2: JUMPI 000004f3: PUSH1 0x40 000004f5: MLOAD 000004f6: PUSH3 0x461bcd 000004fa: PUSH1 0xe5 000004fc: SHL 000004fd: DUP2 000004fe: MSTORE 000004ff: PUSH1 0x04 00000501: ADD 00000502: PUSH2 0x0284 00000505: SWAP1 00000506: PUSH2 0x073e 00000509: JUMP 0000050a: JUMPDEST 0000050b: PUSH1 0x01 0000050d: PUSH1 0x01 0000050f: PUSH1 0xa0 00000511: SHL 00000512: SUB 00000513: DUP2 00000514: AND 00000515: PUSH2 0x0560 00000518: JUMPI 00000519: PUSH1 0x40 0000051b: MLOAD 0000051c: PUSH3 0x461bcd 00000520: PUSH1 0xe5 00000522: SHL 00000523: DUP2 00000524: MSTORE 00000525: PUSH1 0x20 00000527: PUSH1 0x04 00000529: DUP3 0000052a: ADD 0000052b: MSTORE 0000052c: PUSH1 0x1b 0000052e: PUSH1 0x24 00000530: DUP3 00000531: ADD 00000532: MSTORE 00000533: PUSH32 0x3020616464726573732063616e742062652061206d616e616765720000000000 00000554: PUSH1 0x44 00000556: DUP3 00000557: ADD 00000558: MSTORE 00000559: PUSH1 0x64 0000055b: ADD 0000055c: PUSH2 0x0284 0000055f: JUMP 00000560: JUMPDEST 00000561: PUSH1 0x01 00000563: DUP1 00000564: SLOAD 00000565: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000057a: NOT 0000057b: AND 0000057c: PUSH1 0x01 0000057e: PUSH1 0x01 00000580: PUSH1 0xa0 00000582: SHL 00000583: SUB 00000584: SWAP3 00000585: SWAP1 00000586: SWAP3 00000587: AND 00000588: SWAP2 00000589: SWAP1 0000058a: SWAP2 0000058b: OR 0000058c: SWAP1 0000058d: SSTORE 0000058e: JUMP 0000058f: JUMPDEST 00000590: PUSH1 0x00 00000592: SLOAD 00000593: PUSH1 0x01 00000595: PUSH1 0x01 00000597: PUSH1 0xa0 00000599: SHL 0000059a: SUB 0000059b: AND 0000059c: CALLER 0000059d: EQ 0000059e: PUSH2 0x05b9 000005a1: JUMPI 000005a2: PUSH1 0x40 000005a4: MLOAD 000005a5: PUSH3 0x461bcd 000005a9: PUSH1 0xe5 000005ab: SHL 000005ac: DUP2 000005ad: MSTORE 000005ae: PUSH1 0x04 000005b0: ADD 000005b1: PUSH2 0x0284 000005b4: SWAP1 000005b5: PUSH2 0x073e 000005b8: JUMP 000005b9: JUMPDEST 000005ba: PUSH1 0x01 000005bc: PUSH1 0x01 000005be: PUSH1 0xa0 000005c0: SHL 000005c1: SUB 000005c2: DUP2 000005c3: AND 000005c4: PUSH2 0x060f 000005c7: JUMPI 000005c8: PUSH1 0x40 000005ca: MLOAD 000005cb: PUSH3 0x461bcd 000005cf: PUSH1 0xe5 000005d1: SHL 000005d2: DUP2 000005d3: MSTORE 000005d4: PUSH1 0x20 000005d6: PUSH1 0x04 000005d8: DUP3 000005d9: ADD 000005da: MSTORE 000005db: PUSH1 0x1a 000005dd: PUSH1 0x24 000005df: DUP3 000005e0: ADD 000005e1: MSTORE 000005e2: PUSH32 0x3020616464726573732063616e7420626520616e206f776e6572000000000000 00000603: PUSH1 0x44 00000605: DUP3 00000606: ADD 00000607: MSTORE 00000608: PUSH1 0x64 0000060a: ADD 0000060b: PUSH2 0x0284 0000060e: JUMP 0000060f: JUMPDEST 00000610: PUSH1 0x00 00000612: DUP1 00000613: SLOAD 00000614: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000629: NOT 0000062a: AND 0000062b: PUSH1 0x01 0000062d: PUSH1 0x01 0000062f: PUSH1 0xa0 00000631: SHL 00000632: SUB 00000633: SWAP3 00000634: SWAP1 00000635: SWAP3 00000636: AND 00000637: SWAP2 00000638: SWAP1 00000639: SWAP2 0000063a: OR 0000063b: SWAP1 0000063c: SSTORE 0000063d: JUMP 0000063e: JUMPDEST 0000063f: PUSH1 0x00 00000641: SLOAD 00000642: PUSH1 0x01 00000644: PUSH1 0x01 00000646: PUSH1 0xa0 00000648: SHL 00000649: SUB 0000064a: AND 0000064b: CALLER 0000064c: EQ 0000064d: PUSH2 0x0668 00000650: JUMPI 00000651: PUSH1 0x40 00000653: MLOAD 00000654: PUSH3 0x461bcd 00000658: PUSH1 0xe5 0000065a: SHL 0000065b: DUP2 0000065c: MSTORE 0000065d: PUSH1 0x04 0000065f: ADD 00000660: PUSH2 0x0284 00000663: SWAP1 00000664: PUSH2 0x073e 00000667: JUMP 00000668: JUMPDEST 00000669: PUSH1 0x03 0000066b: DUP2 0000066c: SWAP1 0000066d: SSTORE 0000066e: PUSH2 0x0408 00000671: DUP2 00000672: TIMESTAMP 00000673: PUSH2 0x0780 00000676: JUMP 00000677: JUMPDEST 00000678: PUSH1 0x01 0000067a: PUSH1 0x01 0000067c: PUSH1 0xa0 0000067e: SHL 0000067f: SUB 00000680: DUP2 00000681: AND 00000682: DUP2 00000683: EQ 00000684: PUSH2 0x068c 00000687: JUMPI 00000688: PUSH1 0x00 0000068a: DUP1 0000068b: REVERT 0000068c: JUMPDEST 0000068d: POP 0000068e: JUMP 0000068f: JUMPDEST 00000690: PUSH1 0x00 00000692: DUP1 00000693: PUSH1 0x40 00000695: DUP4 00000696: DUP6 00000697: SUB 00000698: SLT 00000699: ISZERO 0000069a: PUSH2 0x06a2 0000069d: JUMPI 0000069e: PUSH1 0x00 000006a0: DUP1 000006a1: REVERT 000006a2: JUMPDEST 000006a3: DUP3 000006a4: CALLDATALOAD 000006a5: SWAP2 000006a6: POP 000006a7: PUSH1 0x20 000006a9: DUP4 000006aa: ADD 000006ab: CALLDATALOAD 000006ac: PUSH2 0x06b4 000006af: DUP2 000006b0: PUSH2 0x0677 000006b3: JUMP 000006b4: JUMPDEST 000006b5: DUP1 000006b6: SWAP2 000006b7: POP 000006b8: POP 000006b9: SWAP3 000006ba: POP 000006bb: SWAP3 000006bc: SWAP1 000006bd: POP 000006be: JUMP 000006bf: JUMPDEST 000006c0: PUSH1 0x00 000006c2: DUP1 000006c3: PUSH1 0x00 000006c5: PUSH1 0x60 000006c7: DUP5 000006c8: DUP7 000006c9: SUB 000006ca: SLT 000006cb: ISZERO 000006cc: PUSH2 0x06d4 000006cf: JUMPI 000006d0: PUSH1 0x00 000006d2: DUP1 000006d3: REVERT 000006d4: JUMPDEST 000006d5: DUP4 000006d6: CALLDATALOAD 000006d7: SWAP3 000006d8: POP 000006d9: PUSH1 0x20 000006db: DUP5 000006dc: ADD 000006dd: CALLDATALOAD 000006de: PUSH2 0x06e6 000006e1: DUP2 000006e2: PUSH2 0x0677 000006e5: JUMP 000006e6: JUMPDEST 000006e7: SWAP2 000006e8: POP 000006e9: PUSH1 0x40 000006eb: DUP5 000006ec: ADD 000006ed: CALLDATALOAD 000006ee: PUSH2 0x06f6 000006f1: DUP2 000006f2: PUSH2 0x0677 000006f5: JUMP 000006f6: JUMPDEST 000006f7: DUP1 000006f8: SWAP2 000006f9: POP 000006fa: POP 000006fb: SWAP3 000006fc: POP 000006fd: SWAP3 000006fe: POP 000006ff: SWAP3 00000700: JUMP 00000701: JUMPDEST 00000702: PUSH1 0x00 00000704: PUSH1 0x20 00000706: DUP3 00000707: DUP5 00000708: SUB 00000709: SLT 0000070a: ISZERO 0000070b: PUSH2 0x0713 0000070e: JUMPI 0000070f: PUSH1 0x00 00000711: DUP1 00000712: REVERT 00000713: JUMPDEST 00000714: POP 00000715: CALLDATALOAD 00000716: SWAP2 00000717: SWAP1 00000718: POP 00000719: JUMP 0000071a: JUMPDEST 0000071b: PUSH1 0x00 0000071d: PUSH1 0x20 0000071f: DUP3 00000720: DUP5 00000721: SUB 00000722: SLT 00000723: ISZERO 00000724: PUSH2 0x072c 00000727: JUMPI 00000728: PUSH1 0x00 0000072a: DUP1 0000072b: REVERT 0000072c: JUMPDEST 0000072d: DUP2 0000072e: CALLDATALOAD 0000072f: PUSH2 0x0737 00000732: DUP2 00000733: PUSH2 0x0677 00000736: JUMP 00000737: JUMPDEST 00000738: SWAP4 00000739: SWAP3 0000073a: POP 0000073b: POP 0000073c: POP 0000073d: JUMP 0000073e: JUMPDEST 0000073f: PUSH1 0x20 00000741: DUP1 00000742: DUP3 00000743: MSTORE 00000744: PUSH1 0x22 00000746: SWAP1 00000747: DUP3 00000748: ADD 00000749: MSTORE 0000074a: PUSH32 0x4f6e6c79206f776e65722063616e2063616c6c20746869732066756e6374696f 0000076b: PUSH1 0x40 0000076d: DUP3 0000076e: ADD 0000076f: MSTORE 00000770: PUSH2 0x3717 00000773: PUSH1 0xf1 00000775: SHL 00000776: PUSH1 0x60 00000778: DUP3 00000779: ADD 0000077a: MSTORE 0000077b: PUSH1 0x80 0000077d: ADD 0000077e: SWAP1 0000077f: JUMP 00000780: JUMPDEST 00000781: DUP1 00000782: DUP3 00000783: ADD 00000784: DUP1 00000785: DUP3 00000786: GT 00000787: ISZERO 00000788: PUSH2 0x07a1 0000078b: JUMPI 0000078c: PUSH4 0x4e487b71 00000791: PUSH1 0xe0 00000793: SHL 00000794: PUSH1 0x00 00000796: MSTORE 00000797: PUSH1 0x11 00000799: PUSH1 0x04 0000079b: MSTORE 0000079c: PUSH1 0x24 0000079e: PUSH1 0x00 000007a0: REVERT 000007a1: JUMPDEST 000007a2: SWAP3 000007a3: SWAP2 000007a4: POP 000007a5: POP 000007a6: JUMP 000007a7: JUMPDEST 000007a8: PUSH1 0x00 000007aa: PUSH1 0x20 000007ac: DUP3 000007ad: DUP5 000007ae: SUB 000007af: SLT 000007b0: ISZERO 000007b1: PUSH2 0x07b9 000007b4: JUMPI 000007b5: PUSH1 0x00 000007b7: DUP1 000007b8: REVERT 000007b9: JUMPDEST 000007ba: DUP2 000007bb: MLOAD 000007bc: DUP1 000007bd: ISZERO 000007be: ISZERO 000007bf: DUP2 000007c0: EQ 000007c1: PUSH2 0x0737 000007c4: JUMPI 000007c5: PUSH1 0x00 000007c7: DUP1 000007c8: REVERT 000007c9: INVALID 000007ca: LOG2 000007cb: PUSH5 0x6970667358 000007d1: UNKNOWN(0x22) 000007d2: SLT 000007d3: KECCAK256 000007d4: DUP5 000007d5: UNKNOWN(0x2B) 000007d6: DUP15 000007d7: LOG1 000007d8: TIMESTAMP 000007d9: MULMOD 000007da: PUSH18 0xd646403ea3c27a9cc4d4960b7a8385f5c66d 000007ed: ORIGIN 000007ee: UNKNOWN(0xC1) 000007ef: SWAP12 000007f0: BASEFEE 000007f1: UNKNOWN(0xCD) 000007f2: MSTORE 000007f3: UNKNOWN(0x25) 000007f4: PUSH5 0x736f6c6343 000007fa: STOP 000007fb: ADDMOD 000007fc: SLT 000007fd: STOP 000007fe: CALLER
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.
| 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": "0xa6f9dae1",
"selector": "0xa6f9dae1",
"calldata_variants": [
"0xa6f9dae1",
"0xa6f9dae10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc25cf1d0",
"selector": "0xc25cf1d0",
"calldata_variants": [
"0xc25cf1d0",
"0xc25cf1d00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf83e9a20",
"selector": "0xf83e9a20",
"calldata_variants": [
"0xf83e9a20",
"0xf83e9a200000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x56fd678a",
"selector": "0x56fd678a",
"calldata_variants": [
"0x56fd678a",
"0x56fd678a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa3fbbaae",
"selector": "0xa3fbbaae",
"calldata_variants": [
"0xa3fbbaae",
"0xa3fbbaae0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x258898b3",
"selector": "0x258898b3",
"calldata_variants": [
"0x258898b3",
"0x258898b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x481c6a75",
"selector": "0x481c6a75",
"calldata_variants": [
"0x481c6a75",
"0x481c6a750000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 2029,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x9c5467bb49a2898e67b29c276559c55222e1318883f829deb5bb8e8c49cd5dab
call_targets:
0x89c5ff143691e0909a616d169489f8a387f49a62
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x9c5467bb49a2898e67b29c276559c55222e1318883f829deb5bb8e8c49cd5dab",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x89c5ff143691e0909a616d169489f8a387f49a62"
],
"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": "0xa6f9dae1",
"selector": "0xa6f9dae1",
"calldata_variants": [
"0xa6f9dae1",
"0xa6f9dae10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc25cf1d0",
"selector": "0xc25cf1d0",
"calldata_variants": [
"0xc25cf1d0",
"0xc25cf1d00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf83e9a20",
"selector": "0xf83e9a20",
"calldata_variants": [
"0xf83e9a20",
"0xf83e9a200000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x56fd678a",
"selector": "0x56fd678a",
"calldata_variants": [
"0x56fd678a",
"0x56fd678a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa3fbbaae",
"selector": "0xa3fbbaae",
"calldata_variants": [
"0xa3fbbaae",
"0xa3fbbaae0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x258898b3",
"selector": "0x258898b3",
"calldata_variants": [
"0x258898b3",
"0x258898b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x481c6a75",
"selector": "0x481c6a75",
"calldata_variants": [
"0x481c6a75",
"0x481c6a750000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 685,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 996,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1142,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [
{
"pc": 2029,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 3
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x9c5467bb49a2898e67b29c276559c55222e1318883f829deb5bb8e8c49cd5dab
call_targets:
0x89c5ff143691e0909a616d169489f8a387f49a62
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x9c5467bb49a2898e67b29c276559c55222e1318883f829deb5bb8e8c49cd5dab",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x89c5ff143691e0909a616d169489f8a387f49a62"
],
"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": "0xa6f9dae1",
"selector": "0xa6f9dae1",
"calldata_variants": [
"0xa6f9dae1",
"0xa6f9dae10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc25cf1d0",
"selector": "0xc25cf1d0",
"calldata_variants": [
"0xc25cf1d0",
"0xc25cf1d00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf83e9a20",
"selector": "0xf83e9a20",
"calldata_variants": [
"0xf83e9a20",
"0xf83e9a200000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x56fd678a",
"selector": "0x56fd678a",
"calldata_variants": [
"0x56fd678a",
"0x56fd678a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa3fbbaae",
"selector": "0xa3fbbaae",
"calldata_variants": [
"0xa3fbbaae",
"0xa3fbbaae0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x258898b3",
"selector": "0x258898b3",
"calldata_variants": [
"0x258898b3",
"0x258898b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x481c6a75",
"selector": "0x481c6a75",
"calldata_variants": [
"0x481c6a75",
"0x481c6a750000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 685,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 996,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1142,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": [
{
"pc": 2029,
"type": "tx_origin_used"
}
]
}
|