019b3836-5727-71f4-a3f6-3bad0b6752d6
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 |
|---|---|---|---|---|
| 8475 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 8476 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 98734 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 98735 | capability.graph | complete | 1 / 3 | 1 week ago |
| 98736 | detector.run | complete | 1 / 3 | 1 week ago |
| 98737 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLDATASIZE 00000006: ISZERO 00000007: PUSH2 0x0077 0000000a: JUMPI 0000000b: PUSH1 0xe0 0000000d: PUSH1 0x02 0000000f: EXP 00000010: PUSH1 0x00 00000012: CALLDATALOAD 00000013: DIV 00000014: PUSH4 0x2079fb9a 00000019: DUP2 0000001a: EQ 0000001b: PUSH2 0x00f1 0000001e: JUMPI 0000001f: DUP1 00000020: PUSH4 0x39125215 00000025: EQ 00000026: PUSH2 0x0136 00000029: JUMPI 0000002a: DUP1 0000002b: PUSH4 0x45550a51 00000030: EQ 00000031: PUSH2 0x01d6 00000034: JUMPI 00000035: DUP1 00000036: PUSH4 0x7df73e27 0000003b: EQ 0000003c: PUSH2 0x0238 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x979f1976 00000046: EQ 00000047: PUSH2 0x02a4 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0xa0b7967b 00000051: EQ 00000052: PUSH2 0x02ba 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0xa68a76cc 0000005c: EQ 0000005d: PUSH2 0x02f9 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0xabe3219c 00000067: EQ 00000068: PUSH2 0x0307 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0xfc0f392d 00000072: EQ 00000073: PUSH2 0x0313 00000076: JUMPI 00000077: JUMPDEST 00000078: PUSH2 0x031f 0000007b: PUSH1 0x00 0000007d: CALLVALUE 0000007e: GT 0000007f: ISZERO 00000080: PUSH2 0x00ef 00000083: JUMPI 00000084: PUSH32 0x6e89d517057028190560dd200cf6bf792842861353d1173761dfa362e1c133f0 000000a5: CALLER 000000a6: CALLVALUE 000000a7: PUSH1 0x00 000000a9: CALLDATASIZE 000000aa: PUSH1 0x40 000000ac: MLOAD 000000ad: DUP1 000000ae: DUP6 000000af: PUSH1 0x01 000000b1: PUSH1 0xa0 000000b3: PUSH1 0x02 000000b5: EXP 000000b6: SUB 000000b7: AND 000000b8: DUP2 000000b9: MSTORE 000000ba: PUSH1 0x20 000000bc: ADD 000000bd: DUP5 000000be: DUP2 000000bf: MSTORE 000000c0: PUSH1 0x20 000000c2: ADD 000000c3: DUP1 000000c4: PUSH1 0x20 000000c6: ADD 000000c7: DUP3 000000c8: DUP2 000000c9: SUB 000000ca: DUP3 000000cb: MSTORE 000000cc: DUP5 000000cd: DUP5 000000ce: DUP3 000000cf: DUP2 000000d0: DUP2 000000d1: MSTORE 000000d2: PUSH1 0x20 000000d4: ADD 000000d5: SWAP3 000000d6: POP 000000d7: DUP1 000000d8: DUP3 000000d9: DUP5 000000da: CALLDATACOPY 000000db: DUP3 000000dc: ADD 000000dd: SWAP2 000000de: POP 000000df: POP 000000e0: SWAP6 000000e1: POP 000000e2: POP 000000e3: POP 000000e4: POP 000000e5: POP 000000e6: POP 000000e7: PUSH1 0x40 000000e9: MLOAD 000000ea: DUP1 000000eb: SWAP2 000000ec: SUB 000000ed: SWAP1 000000ee: LOG1 000000ef: JUMPDEST 000000f0: JUMP 000000f1: JUMPDEST 000000f2: PUSH2 0x0321 000000f5: PUSH1 0x04 000000f7: CALLDATALOAD 000000f8: PUSH1 0x00 000000fa: DUP1 000000fb: SLOAD 000000fc: DUP3 000000fd: SWAP1 000000fe: DUP2 000000ff: LT 00000100: ISZERO 00000101: PUSH2 0x0002 00000104: JUMPI 00000105: POP 00000106: DUP1 00000107: MSTORE 00000108: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e563 00000129: ADD 0000012a: SLOAD 0000012b: PUSH1 0x01 0000012d: PUSH1 0xa0 0000012f: PUSH1 0x02 00000131: EXP 00000132: SUB 00000133: AND 00000134: DUP2 00000135: JUMP 00000136: JUMPDEST 00000137: PUSH1 0x40 00000139: DUP1 0000013a: MLOAD 0000013b: PUSH1 0x20 0000013d: PUSH1 0x44 0000013f: CALLDATALOAD 00000140: PUSH1 0x04 00000142: DUP2 00000143: DUP2 00000144: ADD 00000145: CALLDATALOAD 00000146: PUSH1 0x1f 00000148: DUP2 00000149: ADD 0000014a: DUP5 0000014b: SWAP1 0000014c: DIV 0000014d: DUP5 0000014e: MUL 0000014f: DUP6 00000150: ADD 00000151: DUP5 00000152: ADD 00000153: SWAP1 00000154: SWAP6 00000155: MSTORE 00000156: DUP5 00000157: DUP5 00000158: MSTORE 00000159: PUSH2 0x031f 0000015c: SWAP5 0000015d: DUP2 0000015e: CALLDATALOAD 0000015f: SWAP5 00000160: PUSH1 0x24 00000162: DUP1 00000163: CALLDATALOAD 00000164: SWAP6 00000165: SWAP4 00000166: SWAP5 00000167: PUSH1 0x64 00000169: SWAP5 0000016a: SWAP3 0000016b: SWAP4 0000016c: SWAP2 0000016d: ADD 0000016e: SWAP2 0000016f: DUP2 00000170: SWAP1 00000171: DUP5 00000172: ADD 00000173: DUP4 00000174: DUP3 00000175: DUP1 00000176: DUP3 00000177: DUP5 00000178: CALLDATACOPY 00000179: POP 0000017a: POP 0000017b: PUSH1 0x40 0000017d: DUP1 0000017e: MLOAD 0000017f: PUSH1 0x20 00000181: PUSH1 0xa4 00000183: CALLDATALOAD 00000184: DUP1 00000185: DUP12 00000186: ADD 00000187: CALLDATALOAD 00000188: PUSH1 0x1f 0000018a: DUP2 0000018b: ADD 0000018c: DUP4 0000018d: SWAP1 0000018e: DIV 0000018f: DUP4 00000190: MUL 00000191: DUP5 00000192: ADD 00000193: DUP4 00000194: ADD 00000195: SWAP1 00000196: SWAP5 00000197: MSTORE 00000198: DUP4 00000199: DUP4 0000019a: MSTORE 0000019b: SWAP8 0000019c: SWAP10 0000019d: SWAP9 0000019e: CALLDATALOAD 0000019f: SWAP9 000001a0: PUSH1 0x84 000001a2: CALLDATALOAD 000001a3: SWAP9 000001a4: SWAP1 000001a5: SWAP8 000001a6: POP 000001a7: PUSH1 0xc4 000001a9: SWAP7 000001aa: POP 000001ab: SWAP2 000001ac: SWAP5 000001ad: POP 000001ae: PUSH1 0x24 000001b0: SWAP2 000001b1: SWAP1 000001b2: SWAP2 000001b3: ADD 000001b4: SWAP3 000001b5: POP 000001b6: DUP2 000001b7: SWAP1 000001b8: DUP5 000001b9: ADD 000001ba: DUP4 000001bb: DUP3 000001bc: DUP1 000001bd: DUP3 000001be: DUP5 000001bf: CALLDATACOPY 000001c0: POP 000001c1: SWAP5 000001c2: SWAP7 000001c3: POP 000001c4: POP 000001c5: POP 000001c6: POP 000001c7: POP 000001c8: POP 000001c9: POP 000001ca: PUSH1 0x00 000001cc: PUSH1 0x00 000001ce: PUSH2 0x0364 000001d1: CALLER 000001d2: PUSH2 0x023f 000001d5: JUMP 000001d6: JUMPDEST 000001d7: PUSH1 0x40 000001d9: DUP1 000001da: MLOAD 000001db: PUSH1 0x20 000001dd: PUSH1 0x24 000001df: DUP1 000001e0: CALLDATALOAD 000001e1: PUSH1 0x04 000001e3: DUP2 000001e4: DUP2 000001e5: ADD 000001e6: CALLDATALOAD 000001e7: PUSH1 0x1f 000001e9: DUP2 000001ea: ADD 000001eb: DUP6 000001ec: SWAP1 000001ed: DIV 000001ee: DUP6 000001ef: MUL 000001f0: DUP7 000001f1: ADD 000001f2: DUP6 000001f3: ADD 000001f4: SWAP1 000001f5: SWAP7 000001f6: MSTORE 000001f7: DUP6 000001f8: DUP6 000001f9: MSTORE 000001fa: PUSH2 0x0321 000001fd: SWAP6 000001fe: DUP2 000001ff: CALLDATALOAD 00000200: SWAP6 00000201: SWAP2 00000202: SWAP5 00000203: PUSH1 0x44 00000205: SWAP5 00000206: SWAP3 00000207: SWAP4 00000208: SWAP1 00000209: SWAP3 0000020a: ADD 0000020b: SWAP2 0000020c: DUP2 0000020d: SWAP1 0000020e: DUP5 0000020f: ADD 00000210: DUP4 00000211: DUP3 00000212: DUP1 00000213: DUP3 00000214: DUP5 00000215: CALLDATACOPY 00000216: POP 00000217: SWAP5 00000218: SWAP7 00000219: POP 0000021a: POP 0000021b: POP 0000021c: POP 0000021d: POP 0000021e: POP 0000021f: POP 00000220: JUMPDEST 00000221: PUSH1 0x00 00000223: PUSH1 0x00 00000225: PUSH1 0x00 00000227: PUSH1 0x00 00000229: DUP5 0000022a: MLOAD 0000022b: PUSH1 0x41 0000022d: EQ 0000022e: ISZERO 0000022f: ISZERO 00000230: PUSH2 0x05b1 00000233: JUMPI 00000234: PUSH2 0x0002 00000237: JUMP 00000238: JUMPDEST 00000239: PUSH2 0x033e 0000023c: PUSH1 0x04 0000023e: CALLDATALOAD 0000023f: JUMPDEST 00000240: PUSH1 0x00 00000242: DUP1 00000243: JUMPDEST 00000244: PUSH1 0x00 00000246: SLOAD 00000247: DUP2 00000248: LT 00000249: ISZERO 0000024a: PUSH2 0x0614 0000024d: JUMPI 0000024e: DUP3 0000024f: PUSH1 0x01 00000251: PUSH1 0xa0 00000253: PUSH1 0x02 00000255: EXP 00000256: SUB 00000257: AND 00000258: PUSH1 0x00 0000025a: PUSH1 0x00 0000025c: POP 0000025d: DUP3 0000025e: DUP2 0000025f: SLOAD 00000260: DUP2 00000261: LT 00000262: ISZERO 00000263: PUSH2 0x0002 00000266: JUMPI 00000267: SWAP1 00000268: DUP1 00000269: MSTORE 0000026a: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e563 0000028b: ADD 0000028c: SLOAD 0000028d: PUSH1 0x01 0000028f: PUSH1 0xa0 00000291: PUSH1 0x02 00000293: EXP 00000294: SUB 00000295: AND 00000296: EQ 00000297: ISZERO 00000298: PUSH2 0x061f 0000029b: JUMPI 0000029c: PUSH1 0x01 0000029e: SWAP2 0000029f: POP 000002a0: PUSH2 0x0619 000002a3: JUMP 000002a4: JUMPDEST 000002a5: PUSH2 0x0352 000002a8: PUSH1 0x04 000002aa: CALLDATALOAD 000002ab: JUMPDEST 000002ac: PUSH1 0x00 000002ae: PUSH1 0x00 000002b0: PUSH1 0x00 000002b2: PUSH2 0x0627 000002b5: CALLER 000002b6: PUSH2 0x023f 000002b9: JUMP 000002ba: JUMPDEST 000002bb: PUSH2 0x0352 000002be: PUSH1 0x00 000002c0: DUP1 000002c1: DUP1 000002c2: JUMPDEST 000002c3: PUSH1 0x0a 000002c5: DUP2 000002c6: LT 000002c7: ISZERO 000002c8: PUSH2 0x06cf 000002cb: JUMPI 000002cc: DUP2 000002cd: PUSH1 0x02 000002cf: DUP3 000002d0: PUSH1 0x0a 000002d2: DUP2 000002d3: LT 000002d4: ISZERO 000002d5: PUSH2 0x0002 000002d8: JUMPI 000002d9: ADD 000002da: SLOAD 000002db: GT 000002dc: ISZERO 000002dd: PUSH2 0x02f1 000002e0: JUMPI 000002e1: PUSH1 0x02 000002e3: DUP2 000002e4: PUSH1 0x0a 000002e6: DUP2 000002e7: LT 000002e8: ISZERO 000002e9: PUSH2 0x0002 000002ec: JUMPI 000002ed: ADD 000002ee: SLOAD 000002ef: SWAP2 000002f0: POP 000002f1: JUMPDEST 000002f2: PUSH1 0x01 000002f4: ADD 000002f5: PUSH2 0x02c2 000002f8: JUMP 000002f9: JUMPDEST 000002fa: PUSH2 0x0321 000002fd: PUSH1 0x00 000002ff: PUSH2 0x06d8 00000302: CALLER 00000303: PUSH2 0x023f 00000306: JUMP 00000307: JUMPDEST 00000308: PUSH2 0x033e 0000030b: PUSH1 0x01 0000030d: SLOAD 0000030e: PUSH1 0xff 00000310: AND 00000311: DUP2 00000312: JUMP 00000313: JUMPDEST 00000314: PUSH2 0x031f 00000317: PUSH2 0x0701 0000031a: CALLER 0000031b: PUSH2 0x023f 0000031e: JUMP 0000031f: JUMPDEST 00000320: STOP 00000321: JUMPDEST 00000322: PUSH1 0x40 00000324: DUP1 00000325: MLOAD 00000326: PUSH1 0x01 00000328: PUSH1 0xa0 0000032a: PUSH1 0x02 0000032c: EXP 0000032d: SUB 0000032e: SWAP3 0000032f: SWAP1 00000330: SWAP3 00000331: AND 00000332: DUP3 00000333: MSTORE 00000334: MLOAD 00000335: SWAP1 00000336: DUP2 00000337: SWAP1 00000338: SUB 00000339: PUSH1 0x20 0000033b: ADD 0000033c: SWAP1 0000033d: RETURN 0000033e: JUMPDEST 0000033f: PUSH1 0x40 00000341: DUP1 00000342: MLOAD 00000343: SWAP2 00000344: ISZERO 00000345: ISZERO 00000346: DUP3 00000347: MSTORE 00000348: MLOAD 00000349: SWAP1 0000034a: DUP2 0000034b: SWAP1 0000034c: SUB 0000034d: PUSH1 0x20 0000034f: ADD 00000350: SWAP1 00000351: RETURN 00000352: JUMPDEST 00000353: PUSH1 0x40 00000355: DUP1 00000356: MLOAD 00000357: SWAP2 00000358: DUP3 00000359: MSTORE 0000035a: MLOAD 0000035b: SWAP1 0000035c: DUP2 0000035d: SWAP1 0000035e: SUB 0000035f: PUSH1 0x20 00000361: ADD 00000362: SWAP1 00000363: RETURN 00000364: JUMPDEST 00000365: ISZERO 00000366: ISZERO 00000367: PUSH2 0x036f 0000036a: JUMPI 0000036b: PUSH2 0x0002 0000036e: JUMP 0000036f: JUMPDEST 00000370: PUSH1 0x01 00000372: SLOAD 00000373: PUSH1 0xff 00000375: AND 00000376: DUP1 00000377: ISZERO 00000378: PUSH2 0x0387 0000037b: JUMPI 0000037c: POP 0000037d: PUSH2 0x0385 00000380: DUP9 00000381: PUSH2 0x023f 00000384: JUMP 00000385: JUMPDEST 00000386: ISZERO 00000387: JUMPDEST 00000388: ISZERO 00000389: PUSH2 0x0391 0000038c: JUMPI 0000038d: PUSH2 0x0002 00000390: JUMP 00000391: JUMPDEST 00000392: TIMESTAMP 00000393: DUP6 00000394: LT 00000395: ISZERO 00000396: PUSH2 0x039e 00000399: JUMPI 0000039a: PUSH2 0x0002 0000039d: JUMP 0000039e: JUMPDEST 0000039f: PUSH2 0x03a7 000003a2: DUP5 000003a3: PUSH2 0x02ab 000003a6: JUMP 000003a7: JUMPDEST 000003a8: POP 000003a9: DUP8 000003aa: DUP8 000003ab: DUP8 000003ac: DUP8 000003ad: DUP8 000003ae: PUSH1 0x40 000003b0: MLOAD 000003b1: DUP1 000003b2: DUP7 000003b3: PUSH1 0x01 000003b5: PUSH1 0xa0 000003b7: PUSH1 0x02 000003b9: EXP 000003ba: SUB 000003bb: AND 000003bc: PUSH13 0x01000000000000000000000000 000003ca: MUL 000003cb: DUP2 000003cc: MSTORE 000003cd: PUSH1 0x14 000003cf: ADD 000003d0: DUP6 000003d1: DUP2 000003d2: MSTORE 000003d3: PUSH1 0x20 000003d5: ADD 000003d6: DUP5 000003d7: DUP1 000003d8: MLOAD 000003d9: SWAP1 000003da: PUSH1 0x20 000003dc: ADD 000003dd: SWAP1 000003de: DUP1 000003df: DUP4 000003e0: DUP4 000003e1: DUP3 000003e2: SWAP1 000003e3: PUSH1 0x00 000003e5: PUSH1 0x04 000003e7: PUSH1 0x20 000003e9: DUP5 000003ea: PUSH1 0x1f 000003ec: ADD 000003ed: DIV 000003ee: PUSH1 0x0f 000003f0: MUL 000003f1: PUSH1 0x03 000003f3: ADD 000003f4: CALL 000003f5: POP 000003f6: SWAP1 000003f7: POP 000003f8: ADD 000003f9: DUP4 000003fa: DUP2 000003fb: MSTORE 000003fc: PUSH1 0x20 000003fe: ADD 000003ff: DUP3 00000400: DUP2 00000401: MSTORE 00000402: PUSH1 0x20 00000404: ADD 00000405: SWAP6 00000406: POP 00000407: POP 00000408: POP 00000409: POP 0000040a: POP 0000040b: POP 0000040c: PUSH1 0x40 0000040e: MLOAD 0000040f: DUP1 00000410: SWAP2 00000411: SUB 00000412: SWAP1 00000413: KECCAK256 00000414: SWAP2 00000415: POP 00000416: PUSH2 0x041f 00000419: DUP3 0000041a: DUP5 0000041b: PUSH2 0x0220 0000041e: JUMP 0000041f: JUMPDEST 00000420: SWAP1 00000421: POP 00000422: PUSH2 0x042a 00000425: DUP2 00000426: PUSH2 0x023f 00000429: JUMP 0000042a: JUMPDEST 0000042b: ISZERO 0000042c: ISZERO 0000042d: PUSH2 0x0435 00000430: JUMPI 00000431: PUSH2 0x0002 00000434: JUMP 00000435: JUMPDEST 00000436: CALLER 00000437: PUSH1 0x01 00000439: PUSH1 0xa0 0000043b: PUSH1 0x02 0000043d: EXP 0000043e: SUB 0000043f: AND 00000440: DUP2 00000441: PUSH1 0x01 00000443: PUSH1 0xa0 00000445: PUSH1 0x02 00000447: EXP 00000448: SUB 00000449: AND 0000044a: EQ 0000044b: ISZERO 0000044c: PUSH2 0x0454 0000044f: JUMPI 00000450: PUSH2 0x0002 00000453: JUMP 00000454: JUMPDEST 00000455: DUP8 00000456: PUSH1 0x01 00000458: PUSH1 0xa0 0000045a: PUSH1 0x02 0000045c: EXP 0000045d: SUB 0000045e: AND 0000045f: DUP8 00000460: DUP8 00000461: PUSH1 0x40 00000463: MLOAD 00000464: DUP1 00000465: DUP3 00000466: DUP1 00000467: MLOAD 00000468: SWAP1 00000469: PUSH1 0x20 0000046b: ADD 0000046c: SWAP1 0000046d: DUP1 0000046e: DUP4 0000046f: DUP4 00000470: DUP3 00000471: SWAP1 00000472: PUSH1 0x00 00000474: PUSH1 0x04 00000476: PUSH1 0x20 00000478: DUP5 00000479: PUSH1 0x1f 0000047b: ADD 0000047c: DIV 0000047d: PUSH1 0x0f 0000047f: MUL 00000480: PUSH1 0x03 00000482: ADD 00000483: CALL 00000484: POP 00000485: SWAP1 00000486: POP 00000487: SWAP1 00000488: DUP2 00000489: ADD 0000048a: SWAP1 0000048b: PUSH1 0x1f 0000048d: AND 0000048e: DUP1 0000048f: ISZERO 00000490: PUSH2 0x04ad 00000493: JUMPI 00000494: DUP1 00000495: DUP3 00000496: SUB 00000497: DUP1 00000498: MLOAD 00000499: PUSH1 0x01 0000049b: DUP4 0000049c: PUSH1 0x20 0000049e: SUB 0000049f: PUSH2 0x0100 000004a2: EXP 000004a3: SUB 000004a4: NOT 000004a5: AND 000004a6: DUP2 000004a7: MSTORE 000004a8: PUSH1 0x20 000004aa: ADD 000004ab: SWAP2 000004ac: POP 000004ad: JUMPDEST 000004ae: POP 000004af: SWAP2 000004b0: POP 000004b1: POP 000004b2: PUSH1 0x00 000004b4: PUSH1 0x40 000004b6: MLOAD 000004b7: DUP1 000004b8: DUP4 000004b9: SUB 000004ba: DUP2 000004bb: DUP6 000004bc: DUP8 000004bd: PUSH2 0x8502 000004c0: GAS 000004c1: SUB 000004c2: CALL 000004c3: SWAP3 000004c4: POP 000004c5: POP 000004c6: POP 000004c7: ISZERO 000004c8: ISZERO 000004c9: PUSH2 0x04d1 000004cc: JUMPI 000004cd: PUSH2 0x0002 000004d0: JUMP 000004d1: JUMPDEST 000004d2: PUSH32 0x59bed9ab5d78073465dd642a9e3e76dfdb7d53bcae9d09df7d0b8f5234d5a806 000004f3: CALLER 000004f4: DUP3 000004f5: DUP5 000004f6: DUP12 000004f7: DUP12 000004f8: DUP12 000004f9: PUSH1 0x40 000004fb: MLOAD 000004fc: DUP1 000004fd: DUP8 000004fe: PUSH1 0x01 00000500: PUSH1 0xa0 00000502: PUSH1 0x02 00000504: EXP 00000505: SUB 00000506: AND 00000507: DUP2 00000508: MSTORE 00000509: PUSH1 0x20 0000050b: ADD 0000050c: DUP7 0000050d: PUSH1 0x01 0000050f: PUSH1 0xa0 00000511: PUSH1 0x02 00000513: EXP 00000514: SUB 00000515: AND 00000516: DUP2 00000517: MSTORE 00000518: PUSH1 0x20 0000051a: ADD 0000051b: DUP6 0000051c: PUSH1 0x00 0000051e: NOT 0000051f: AND 00000520: DUP2 00000521: MSTORE 00000522: PUSH1 0x20 00000524: ADD 00000525: DUP5 00000526: PUSH1 0x01 00000528: PUSH1 0xa0 0000052a: PUSH1 0x02 0000052c: EXP 0000052d: SUB 0000052e: AND 0000052f: DUP2 00000530: MSTORE 00000531: PUSH1 0x20 00000533: ADD 00000534: DUP4 00000535: DUP2 00000536: MSTORE 00000537: PUSH1 0x20 00000539: ADD 0000053a: DUP1 0000053b: PUSH1 0x20 0000053d: ADD 0000053e: DUP3 0000053f: DUP2 00000540: SUB 00000541: DUP3 00000542: MSTORE 00000543: DUP4 00000544: DUP2 00000545: DUP2 00000546: MLOAD 00000547: DUP2 00000548: MSTORE 00000549: PUSH1 0x20 0000054b: ADD 0000054c: SWAP2 0000054d: POP 0000054e: DUP1 0000054f: MLOAD 00000550: SWAP1 00000551: PUSH1 0x20 00000553: ADD 00000554: SWAP1 00000555: DUP1 00000556: DUP4 00000557: DUP4 00000558: DUP3 00000559: SWAP1 0000055a: PUSH1 0x00 0000055c: PUSH1 0x04 0000055e: PUSH1 0x20 00000560: DUP5 00000561: PUSH1 0x1f 00000563: ADD 00000564: DIV 00000565: PUSH1 0x0f 00000567: MUL 00000568: PUSH1 0x03 0000056a: ADD 0000056b: CALL 0000056c: POP 0000056d: SWAP1 0000056e: POP 0000056f: SWAP1 00000570: DUP2 00000571: ADD 00000572: SWAP1 00000573: PUSH1 0x1f 00000575: AND 00000576: DUP1 00000577: ISZERO 00000578: PUSH2 0x0595 0000057b: JUMPI 0000057c: DUP1 0000057d: DUP3 0000057e: SUB 0000057f: DUP1 00000580: MLOAD 00000581: PUSH1 0x01 00000583: DUP4 00000584: PUSH1 0x20 00000586: SUB 00000587: PUSH2 0x0100 0000058a: EXP 0000058b: SUB 0000058c: NOT 0000058d: AND 0000058e: DUP2 0000058f: MSTORE 00000590: PUSH1 0x20 00000592: ADD 00000593: SWAP2 00000594: POP 00000595: JUMPDEST 00000596: POP 00000597: SWAP8 00000598: POP 00000599: POP 0000059a: POP 0000059b: POP 0000059c: POP 0000059d: POP 0000059e: POP 0000059f: POP 000005a0: PUSH1 0x40 000005a2: MLOAD 000005a3: DUP1 000005a4: SWAP2 000005a5: SUB 000005a6: SWAP1 000005a7: LOG1 000005a8: POP 000005a9: POP 000005aa: POP 000005ab: POP 000005ac: POP 000005ad: POP 000005ae: POP 000005af: POP 000005b0: JUMP 000005b1: JUMPDEST 000005b2: POP 000005b3: POP 000005b4: PUSH1 0x40 000005b6: DUP1 000005b7: MLOAD 000005b8: PUSH1 0x20 000005ba: DUP6 000005bb: DUP2 000005bc: ADD 000005bd: MLOAD 000005be: DUP7 000005bf: DUP5 000005c0: ADD 000005c1: MLOAD 000005c2: PUSH1 0x41 000005c4: DUP9 000005c5: ADD 000005c6: MLOAD 000005c7: DUP10 000005c8: DUP6 000005c9: MSTORE 000005ca: PUSH1 0xff 000005cc: AND 000005cd: DUP5 000005ce: DUP5 000005cf: ADD 000005d0: DUP2 000005d1: SWAP1 000005d2: MSTORE 000005d3: DUP5 000005d4: DUP7 000005d5: ADD 000005d6: DUP4 000005d7: SWAP1 000005d8: MSTORE 000005d9: PUSH1 0x60 000005db: DUP6 000005dc: ADD 000005dd: DUP3 000005de: SWAP1 000005df: MSTORE 000005e0: SWAP5 000005e1: MLOAD 000005e2: SWAP2 000005e3: SWAP6 000005e4: POP 000005e5: SWAP4 000005e6: SWAP3 000005e7: PUSH1 0x01 000005e9: SWAP3 000005ea: PUSH1 0x80 000005ec: DUP3 000005ed: DUP2 000005ee: ADD 000005ef: SWAP4 000005f0: SWAP2 000005f1: SWAP3 000005f2: DUP3 000005f3: SWAP1 000005f4: SUB 000005f5: ADD 000005f6: DUP2 000005f7: PUSH1 0x00 000005f9: DUP7 000005fa: PUSH2 0x61da 000005fd: GAS 000005fe: SUB 000005ff: CALL 00000600: ISZERO 00000601: PUSH2 0x0002 00000604: JUMPI 00000605: POP 00000606: POP 00000607: PUSH1 0x40 00000609: MLOAD 0000060a: MLOAD 0000060b: SWAP7 0000060c: SWAP6 0000060d: POP 0000060e: POP 0000060f: POP 00000610: POP 00000611: POP 00000612: POP 00000613: JUMP 00000614: JUMPDEST 00000615: PUSH1 0x00 00000617: SWAP2 00000618: POP 00000619: JUMPDEST 0000061a: POP 0000061b: SWAP2 0000061c: SWAP1 0000061d: POP 0000061e: JUMP 0000061f: JUMPDEST 00000620: PUSH1 0x01 00000622: ADD 00000623: PUSH2 0x0243 00000626: JUMP 00000627: JUMPDEST 00000628: ISZERO 00000629: ISZERO 0000062a: PUSH2 0x0632 0000062d: JUMPI 0000062e: PUSH2 0x0002 00000631: JUMP 00000632: JUMPDEST 00000633: POP 00000634: PUSH1 0x00 00000636: SWAP1 00000637: POP 00000638: DUP1 00000639: JUMPDEST 0000063a: PUSH1 0x0a 0000063c: DUP2 0000063d: PUSH1 0xff 0000063f: AND 00000640: LT 00000641: ISZERO 00000642: PUSH2 0x0662 00000645: JUMPI 00000646: DUP4 00000647: PUSH1 0x02 00000649: PUSH1 0xff 0000064b: DUP4 0000064c: AND 0000064d: PUSH1 0x0a 0000064f: DUP2 00000650: LT 00000651: ISZERO 00000652: PUSH2 0x0002 00000655: JUMPI 00000656: ADD 00000657: SLOAD 00000658: EQ 00000659: ISZERO 0000065a: PUSH2 0x067e 0000065d: JUMPI 0000065e: PUSH2 0x0002 00000661: JUMP 00000662: JUMPDEST 00000663: PUSH1 0x02 00000665: DUP3 00000666: PUSH1 0x0a 00000668: DUP2 00000669: LT 0000066a: ISZERO 0000066b: PUSH2 0x0002 0000066e: JUMPI 0000066f: POP 00000670: DUP3 00000671: ADD 00000672: SLOAD 00000673: DUP5 00000674: LT 00000675: ISZERO 00000676: PUSH2 0x06b4 00000679: JUMPI 0000067a: PUSH2 0x0002 0000067d: JUMP 0000067e: JUMPDEST 0000067f: PUSH1 0x02 00000681: DUP3 00000682: PUSH1 0x0a 00000684: DUP2 00000685: LT 00000686: ISZERO 00000687: PUSH2 0x0002 0000068a: JUMPI 0000068b: POP 0000068c: DUP1 0000068d: DUP4 0000068e: ADD 0000068f: SLOAD 00000690: SWAP1 00000691: PUSH1 0xff 00000693: DUP4 00000694: AND 00000695: PUSH1 0x0a 00000697: DUP2 00000698: LT 00000699: ISZERO 0000069a: PUSH2 0x0002 0000069d: JUMPI 0000069e: ADD 0000069f: SLOAD 000006a0: LT 000006a1: ISZERO 000006a2: PUSH2 0x06ac 000006a5: JUMPI 000006a6: PUSH1 0xff 000006a8: DUP2 000006a9: AND 000006aa: SWAP2 000006ab: POP 000006ac: JUMPDEST 000006ad: PUSH1 0x01 000006af: ADD 000006b0: PUSH2 0x0639 000006b3: JUMP 000006b4: JUMPDEST 000006b5: DUP4 000006b6: PUSH1 0x02 000006b8: DUP4 000006b9: PUSH1 0x0a 000006bb: DUP2 000006bc: LT 000006bd: ISZERO 000006be: PUSH2 0x0002 000006c1: JUMPI 000006c2: SWAP1 000006c3: SWAP1 000006c4: ADD 000006c5: PUSH1 0x00 000006c7: POP 000006c8: SSTORE 000006c9: POP 000006ca: POP 000006cb: SWAP2 000006cc: SWAP1 000006cd: POP 000006ce: JUMP 000006cf: JUMPDEST 000006d0: POP 000006d1: PUSH1 0x01 000006d3: ADD 000006d4: SWAP2 000006d5: SWAP1 000006d6: POP 000006d7: JUMP 000006d8: JUMPDEST 000006d9: ISZERO 000006da: ISZERO 000006db: PUSH2 0x06e3 000006de: JUMPI 000006df: PUSH2 0x0002 000006e2: JUMP 000006e3: JUMPDEST 000006e4: PUSH1 0x40 000006e6: MLOAD 000006e7: PUSH1 0xaf 000006e9: DUP1 000006ea: PUSH2 0x0756 000006ed: DUP4 000006ee: CODECOPY 000006ef: ADD 000006f0: DUP1 000006f1: SWAP1 000006f2: POP 000006f3: PUSH1 0x40 000006f5: MLOAD 000006f6: DUP1 000006f7: SWAP2 000006f8: SUB 000006f9: SWAP1 000006fa: PUSH1 0x00 000006fc: CREATE 000006fd: SWAP1 000006fe: POP 000006ff: SWAP1 00000700: JUMP 00000701: JUMPDEST 00000702: ISZERO 00000703: ISZERO 00000704: PUSH2 0x070c 00000707: JUMPI 00000708: PUSH2 0x0002 0000070b: JUMP 0000070c: JUMPDEST 0000070d: PUSH1 0x01 0000070f: DUP1 00000710: SLOAD 00000711: PUSH1 0xff 00000713: NOT 00000714: AND 00000715: DUP2 00000716: OR 00000717: SWAP1 00000718: SSTORE 00000719: PUSH1 0x40 0000071b: DUP1 0000071c: MLOAD 0000071d: PUSH1 0x01 0000071f: PUSH1 0xa0 00000721: PUSH1 0x02 00000723: EXP 00000724: SUB 00000725: CALLER 00000726: AND 00000727: DUP2 00000728: MSTORE 00000729: SWAP1 0000072a: MLOAD 0000072b: PUSH32 0x0909e8f76a4fd3e970f2eaef56c0ee6dfaf8b87c5b8d3f56ffce78e825a91157 0000074c: SWAP2 0000074d: DUP2 0000074e: SWAP1 0000074f: SUB 00000750: PUSH1 0x20 00000752: ADD 00000753: SWAP1 00000754: LOG1 00000755: JUMP 00000756: PUSH1 0x60 00000758: PUSH1 0x40 0000075a: MSTORE 0000075b: PUSH1 0x00 0000075d: DUP1 0000075e: SLOAD 0000075f: PUSH1 0x01 00000761: PUSH1 0xa0 00000763: PUSH1 0x02 00000765: EXP 00000766: SUB 00000767: NOT 00000768: AND 00000769: CALLER 0000076a: OR 0000076b: SWAP1 0000076c: SSTORE 0000076d: PUSH1 0x8d 0000076f: DUP1 00000770: PUSH1 0x22 00000772: PUSH1 0x00 00000774: CODECOPY 00000775: PUSH1 0x00 00000777: RETURN 00000778: PUSH1 0x60 0000077a: PUSH1 0x40 0000077c: MSTORE 0000077d: CALLDATASIZE 0000077e: ISZERO 0000077f: PUSH1 0x27 00000781: JUMPI 00000782: PUSH1 0xe0 00000784: PUSH1 0x02 00000786: EXP 00000787: PUSH1 0x00 00000789: CALLDATALOAD 0000078a: DIV 0000078b: PUSH4 0x6b9f96ea 00000790: DUP2 00000791: EQ 00000792: PUSH1 0x49 00000794: JUMPI 00000795: DUP1 00000796: PUSH4 0xca325469 0000079b: EQ 0000079c: PUSH1 0x70 0000079e: JUMPI 0000079f: JUMPDEST 000007a0: PUSH1 0x81 000007a2: PUSH1 0x00 000007a4: DUP1 000007a5: SLOAD 000007a6: PUSH1 0x01 000007a8: PUSH1 0xa0 000007aa: PUSH1 0x02 000007ac: EXP 000007ad: SUB 000007ae: AND 000007af: SWAP1 000007b0: CALLVALUE 000007b1: PUSH1 0x60 000007b3: DUP3 000007b4: DUP2 000007b5: DUP2 000007b6: DUP2 000007b7: DUP6 000007b8: DUP9 000007b9: DUP4 000007ba: CALL 000007bb: POP 000007bc: POP 000007bd: POP 000007be: POP 000007bf: POP 000007c0: JUMP 000007c1: JUMPDEST 000007c2: PUSH1 0x81 000007c4: PUSH1 0x00 000007c6: DUP1 000007c7: SLOAD 000007c8: PUSH1 0x01 000007ca: PUSH1 0xa0 000007cc: PUSH1 0x02 000007ce: EXP 000007cf: SUB 000007d0: SWAP1 000007d1: DUP2 000007d2: AND 000007d3: SWAP2 000007d4: SWAP1 000007d5: ADDRESS 000007d6: AND 000007d7: BALANCE 000007d8: PUSH1 0x60 000007da: DUP3 000007db: DUP2 000007dc: DUP2 000007dd: DUP2 000007de: DUP6 000007df: DUP9 000007e0: DUP4 000007e1: CALL 000007e2: POP 000007e3: POP 000007e4: POP 000007e5: POP 000007e6: POP 000007e7: JUMP 000007e8: JUMPDEST 000007e9: PUSH1 0x83 000007eb: PUSH1 0x00 000007ed: SLOAD 000007ee: PUSH1 0x01 000007f0: PUSH1 0xa0 000007f2: PUSH1 0x02 000007f4: EXP 000007f5: SUB 000007f6: AND 000007f7: DUP2 000007f8: JUMP 000007f9: JUMPDEST 000007fa: STOP 000007fb: JUMPDEST 000007fc: PUSH1 0x60 000007fe: SWAP1 000007ff: DUP2 00000800: MSTORE 00000801: PUSH1 0x20 00000803: SWAP1 00000804: RETURN
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 | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x0819f789807a8f998795ccb5dd5f1dc0bc38a0bcb33452cfb39941701cbfc56d
call_targets:
0x093960aa05af1312cbff8ae34966da6f98525f88
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x0819f789807a8f998795ccb5dd5f1dc0bc38a0bcb33452cfb39941701cbfc56d",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x093960aa05af1312cbff8ae34966da6f98525f88"
],
"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": "0x2079fb9a",
"selector": "0x2079fb9a",
"calldata_variants": [
"0x2079fb9a",
"0x2079fb9a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x39125215",
"selector": "0x39125215",
"calldata_variants": [
"0x39125215",
"0x391252150000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x45550a51",
"selector": "0x45550a51",
"calldata_variants": [
"0x45550a51",
"0x45550a510000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7df73e27",
"selector": "0x7df73e27",
"calldata_variants": [
"0x7df73e27",
"0x7df73e270000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x979f1976",
"selector": "0x979f1976",
"calldata_variants": [
"0x979f1976",
"0x979f19760000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa0b7967b",
"selector": "0xa0b7967b",
"calldata_variants": [
"0xa0b7967b",
"0xa0b7967b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa68a76cc",
"selector": "0xa68a76cc",
"calldata_variants": [
"0xa68a76cc",
"0xa68a76cc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xabe3219c",
"selector": "0xabe3219c",
"calldata_variants": [
"0xabe3219c",
"0xabe3219c0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1012,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1155,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1218,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 7,
"guards_detected": [],
"untrusted_call_count": 7
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x0819f789807a8f998795ccb5dd5f1dc0bc38a0bcb33452cfb39941701cbfc56d
call_targets:
0x093960aa05af1312cbff8ae34966da6f98525f88
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x0819f789807a8f998795ccb5dd5f1dc0bc38a0bcb33452cfb39941701cbfc56d",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x093960aa05af1312cbff8ae34966da6f98525f88"
],
"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": "0x2079fb9a",
"selector": "0x2079fb9a",
"calldata_variants": [
"0x2079fb9a",
"0x2079fb9a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x39125215",
"selector": "0x39125215",
"calldata_variants": [
"0x39125215",
"0x391252150000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x45550a51",
"selector": "0x45550a51",
"calldata_variants": [
"0x45550a51",
"0x45550a510000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7df73e27",
"selector": "0x7df73e27",
"calldata_variants": [
"0x7df73e27",
"0x7df73e270000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x979f1976",
"selector": "0x979f1976",
"calldata_variants": [
"0x979f1976",
"0x979f19760000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa0b7967b",
"selector": "0xa0b7967b",
"calldata_variants": [
"0xa0b7967b",
"0xa0b7967b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa68a76cc",
"selector": "0xa68a76cc",
"calldata_variants": [
"0xa68a76cc",
"0xa68a76cc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xabe3219c",
"selector": "0xabe3219c",
"calldata_variants": [
"0xabe3219c",
"0xabe3219c0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1012,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1155,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1218,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 7,
"guards_detected": []
}
|
| medium | other | detector | CREATE/CREATE2 reachable | 45 | no | no |
viewtrace_id: 0x74d0b5ec91a42f914b1a70dbd9817ba418cb7d4beb2068c4592b70d376254fab
validation_json{
"sink": "CREATE",
"errors": 0,
"status": "unknown",
"attempts": 22,
"trace_id": "0x74d0b5ec91a42f914b1a70dbd9817ba418cb7d4beb2068c4592b70d376254fab",
"confirmed": false,
"trace_mode": "structLogs",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x2079fb9a",
"selector": "0x2079fb9a",
"calldata_variants": [
"0x2079fb9a",
"0x2079fb9a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x39125215",
"selector": "0x39125215",
"calldata_variants": [
"0x39125215",
"0x391252150000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x45550a51",
"selector": "0x45550a51",
"calldata_variants": [
"0x45550a51",
"0x45550a510000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7df73e27",
"selector": "0x7df73e27",
"calldata_variants": [
"0x7df73e27",
"0x7df73e270000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x979f1976",
"selector": "0x979f1976",
"calldata_variants": [
"0x979f1976",
"0x979f19760000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa0b7967b",
"selector": "0xa0b7967b",
"calldata_variants": [
"0xa0b7967b",
"0xa0b7967b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa68a76cc",
"selector": "0xa68a76cc",
"calldata_variants": [
"0xa68a76cc",
"0xa68a76cc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xabe3219c",
"selector": "0xabe3219c",
"calldata_variants": [
"0xabe3219c",
"0xabe3219c0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"create_count": 1,
"create2_count": 0
}
|