019b3836-2b33-7120-abc1-76fff2769282
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 |
|---|---|---|---|---|
| 1727 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 1728 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 44860 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 44861 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 44862 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 44863 | validation.fork | complete | 1 / 3 | 2 weeks 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 0x0082 0000000a: JUMPI 0000000b: PUSH1 0xe0 0000000d: PUSH1 0x02 0000000f: EXP 00000010: PUSH1 0x00 00000012: CALLDATALOAD 00000013: DIV 00000014: PUSH4 0x3013fa18 00000019: DUP2 0000001a: EQ 0000001b: PUSH2 0x0084 0000001e: JUMPI 0000001f: DUP1 00000020: PUSH4 0x4956399f 00000025: EQ 00000026: PUSH2 0x0132 00000029: JUMPI 0000002a: DUP1 0000002b: PUSH4 0x5b321599 00000030: EQ 00000031: PUSH2 0x01b2 00000034: JUMPI 00000035: DUP1 00000036: PUSH4 0x684f4896 0000003b: EQ 0000003c: PUSH2 0x0220 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x7b53a012 00000046: EQ 00000047: PUSH2 0x028f 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x86385ee0 00000051: EQ 00000052: PUSH2 0x02b3 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x8da5cb5b 0000005c: EQ 0000005d: PUSH2 0x02db 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x96d3a9b0 00000067: EQ 00000068: PUSH2 0x02ed 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0xb679c72d 00000072: EQ 00000073: PUSH2 0x0311 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0xfe29374b 0000007d: EQ 0000007e: PUSH2 0x0382 00000081: JUMPI 00000082: JUMPDEST 00000083: STOP 00000084: JUMPDEST 00000085: PUSH2 0x039a 00000088: PUSH1 0x40 0000008a: DUP1 0000008b: MLOAD 0000008c: DUP1 0000008d: DUP3 0000008e: ADD 0000008f: DUP3 00000090: MSTORE 00000091: PUSH1 0x01 00000093: DUP1 00000094: DUP3 00000095: MSTORE 00000096: PUSH32 0x7c00000000000000000000000000000000000000000000000000000000000000 000000b7: PUSH1 0x20 000000b9: DUP4 000000ba: DUP2 000000bb: ADD 000000bc: SWAP2 000000bd: DUP3 000000be: MSTORE 000000bf: PUSH1 0x01 000000c1: PUSH1 0xa0 000000c3: PUSH1 0x02 000000c5: EXP 000000c6: SUB 000000c7: CALLER 000000c8: AND 000000c9: PUSH1 0x00 000000cb: SWAP1 000000cc: DUP2 000000cd: MSTORE 000000ce: PUSH1 0x04 000000d0: DUP3 000000d1: MSTORE 000000d2: SWAP5 000000d3: DUP6 000000d4: KECCAK256 000000d5: DUP1 000000d6: SLOAD 000000d7: SWAP5 000000d8: MLOAD 000000d9: DUP2 000000da: DUP8 000000db: MSTORE 000000dc: DUP3 000000dd: DUP8 000000de: KECCAK256 000000df: SWAP2 000000e0: SWAP6 000000e1: PUSH1 0x02 000000e3: SWAP6 000000e4: DUP2 000000e5: AND 000000e6: ISZERO 000000e7: PUSH2 0x0100 000000ea: MUL 000000eb: PUSH1 0x00 000000ed: NOT 000000ee: ADD 000000ef: AND 000000f0: SWAP5 000000f1: SWAP1 000000f2: SWAP5 000000f3: DIV 000000f4: PUSH1 0x1f 000000f6: SWAP1 000000f7: DUP2 000000f8: ADD 000000f9: SWAP3 000000fa: SWAP1 000000fb: SWAP3 000000fc: DIV 000000fd: DUP2 000000fe: ADD 000000ff: SWAP4 00000100: SWAP3 00000101: SWAP1 00000102: SWAP2 00000103: DUP4 00000104: SWAP1 00000105: LT 00000106: PUSH2 0x046a 00000109: JUMPI 0000010a: DUP1 0000010b: MLOAD 0000010c: PUSH1 0xff 0000010e: NOT 0000010f: AND 00000110: DUP4 00000111: DUP1 00000112: ADD 00000113: OR 00000114: DUP6 00000115: SSTORE 00000116: JUMPDEST 00000117: POP 00000118: PUSH2 0x049a 0000011b: SWAP3 0000011c: SWAP2 0000011d: POP 0000011e: JUMPDEST 0000011f: DUP1 00000120: DUP3 00000121: GT 00000122: ISZERO 00000123: PUSH2 0x04a3 00000126: JUMPI 00000127: PUSH1 0x00 00000129: DUP2 0000012a: SSTORE 0000012b: PUSH1 0x01 0000012d: ADD 0000012e: PUSH2 0x011e 00000131: JUMP 00000132: JUMPDEST 00000133: PUSH2 0x03ac 00000136: PUSH1 0x04 00000138: CALLDATALOAD 00000139: PUSH1 0x40 0000013b: DUP1 0000013c: MLOAD 0000013d: PUSH1 0x20 0000013f: DUP2 00000140: DUP2 00000141: ADD 00000142: DUP4 00000143: MSTORE 00000144: PUSH1 0x00 00000146: DUP1 00000147: DUP4 00000148: MSTORE 00000149: PUSH1 0x01 0000014b: PUSH1 0xa0 0000014d: PUSH1 0x02 0000014f: EXP 00000150: SUB 00000151: DUP6 00000152: AND 00000153: DUP2 00000154: MSTORE 00000155: PUSH1 0x04 00000157: DUP3 00000158: MSTORE 00000159: DUP4 0000015a: SWAP1 0000015b: KECCAK256 0000015c: DUP1 0000015d: SLOAD 0000015e: DUP5 0000015f: MLOAD 00000160: PUSH1 0x02 00000162: PUSH1 0x01 00000164: DUP4 00000165: AND 00000166: ISZERO 00000167: PUSH2 0x0100 0000016a: MUL 0000016b: PUSH1 0x00 0000016d: NOT 0000016e: ADD 0000016f: SWAP1 00000170: SWAP3 00000171: AND 00000172: SWAP2 00000173: SWAP1 00000174: SWAP2 00000175: DIV 00000176: PUSH1 0x1f 00000178: DUP2 00000179: ADD 0000017a: DUP5 0000017b: SWAP1 0000017c: DIV 0000017d: DUP5 0000017e: MUL 0000017f: DUP3 00000180: ADD 00000181: DUP5 00000182: ADD 00000183: SWAP1 00000184: SWAP6 00000185: MSTORE 00000186: DUP5 00000187: DUP2 00000188: MSTORE 00000189: SWAP3 0000018a: SWAP4 0000018b: SWAP1 0000018c: SWAP2 0000018d: DUP4 0000018e: ADD 0000018f: DUP3 00000190: DUP3 00000191: DUP1 00000192: ISZERO 00000193: PUSH2 0x06b5 00000196: JUMPI 00000197: DUP1 00000198: PUSH1 0x1f 0000019a: LT 0000019b: PUSH2 0x068a 0000019e: JUMPI 0000019f: PUSH2 0x0100 000001a2: DUP1 000001a3: DUP4 000001a4: SLOAD 000001a5: DIV 000001a6: MUL 000001a7: DUP4 000001a8: MSTORE 000001a9: SWAP2 000001aa: PUSH1 0x20 000001ac: ADD 000001ad: SWAP2 000001ae: PUSH2 0x06b5 000001b1: JUMP 000001b2: JUMPDEST 000001b3: PUSH2 0x03ac 000001b6: PUSH1 0x04 000001b8: CALLDATALOAD 000001b9: PUSH1 0x04 000001bb: PUSH1 0x20 000001bd: SWAP1 000001be: DUP2 000001bf: MSTORE 000001c0: PUSH1 0x00 000001c2: SWAP2 000001c3: DUP3 000001c4: MSTORE 000001c5: PUSH1 0x40 000001c7: SWAP2 000001c8: DUP3 000001c9: SWAP1 000001ca: KECCAK256 000001cb: DUP1 000001cc: SLOAD 000001cd: DUP4 000001ce: MLOAD 000001cf: PUSH1 0x02 000001d1: PUSH1 0x01 000001d3: DUP4 000001d4: AND 000001d5: ISZERO 000001d6: PUSH2 0x0100 000001d9: MUL 000001da: PUSH1 0x00 000001dc: NOT 000001dd: ADD 000001de: SWAP1 000001df: SWAP3 000001e0: AND 000001e1: SWAP2 000001e2: SWAP1 000001e3: SWAP2 000001e4: DIV 000001e5: PUSH1 0x1f 000001e7: DUP2 000001e8: ADD 000001e9: DUP5 000001ea: SWAP1 000001eb: DIV 000001ec: DUP5 000001ed: MUL 000001ee: DUP3 000001ef: ADD 000001f0: DUP5 000001f1: ADD 000001f2: SWAP1 000001f3: SWAP5 000001f4: MSTORE 000001f5: DUP4 000001f6: DUP2 000001f7: MSTORE 000001f8: SWAP3 000001f9: SWAP1 000001fa: SWAP2 000001fb: DUP4 000001fc: ADD 000001fd: DUP3 000001fe: DUP3 000001ff: DUP1 00000200: ISZERO 00000201: PUSH2 0x0462 00000204: JUMPI 00000205: DUP1 00000206: PUSH1 0x1f 00000208: LT 00000209: PUSH2 0x0437 0000020c: JUMPI 0000020d: PUSH2 0x0100 00000210: DUP1 00000211: DUP4 00000212: SLOAD 00000213: DIV 00000214: MUL 00000215: DUP4 00000216: MSTORE 00000217: SWAP2 00000218: PUSH1 0x20 0000021a: ADD 0000021b: SWAP2 0000021c: PUSH2 0x0462 0000021f: JUMP 00000220: JUMPDEST 00000221: PUSH2 0x039a 00000224: PUSH1 0x04 00000226: DUP1 00000227: DUP1 00000228: CALLDATALOAD 00000229: SWAP1 0000022a: PUSH1 0x20 0000022c: ADD 0000022d: SWAP1 0000022e: DUP3 0000022f: ADD 00000230: DUP1 00000231: CALLDATALOAD 00000232: SWAP1 00000233: PUSH1 0x20 00000235: ADD 00000236: SWAP2 00000237: SWAP2 00000238: SWAP1 00000239: DUP1 0000023a: DUP1 0000023b: PUSH1 0x1f 0000023d: ADD 0000023e: PUSH1 0x20 00000240: DUP1 00000241: SWAP2 00000242: DIV 00000243: MUL 00000244: PUSH1 0x20 00000246: ADD 00000247: PUSH1 0x40 00000249: MLOAD 0000024a: SWAP1 0000024b: DUP2 0000024c: ADD 0000024d: PUSH1 0x40 0000024f: MSTORE 00000250: DUP1 00000251: SWAP4 00000252: SWAP3 00000253: SWAP2 00000254: SWAP1 00000255: DUP2 00000256: DUP2 00000257: MSTORE 00000258: PUSH1 0x20 0000025a: ADD 0000025b: DUP4 0000025c: DUP4 0000025d: DUP1 0000025e: DUP3 0000025f: DUP5 00000260: CALLDATACOPY 00000261: POP 00000262: SWAP5 00000263: SWAP7 00000264: POP 00000265: POP 00000266: POP 00000267: POP 00000268: POP 00000269: POP 0000026a: POP 0000026b: PUSH1 0x01 0000026d: PUSH1 0xa0 0000026f: PUSH1 0x02 00000271: EXP 00000272: SUB 00000273: CALLER 00000274: AND 00000275: PUSH1 0x00 00000277: SWAP1 00000278: DUP2 00000279: MSTORE 0000027a: PUSH1 0x05 0000027c: PUSH1 0x20 0000027e: MSTORE 0000027f: PUSH1 0x40 00000281: DUP2 00000282: KECCAK256 00000283: SLOAD 00000284: DUP2 00000285: SWAP1 00000286: GT 00000287: PUSH2 0x051c 0000028a: JUMPI 0000028b: PUSH2 0x0517 0000028e: JUMP 0000028f: JUMPDEST 00000290: PUSH2 0x0082 00000293: PUSH1 0x04 00000295: CALLDATALOAD 00000296: PUSH1 0x00 00000298: SLOAD 00000299: PUSH1 0x01 0000029b: PUSH1 0xa0 0000029d: PUSH1 0x02 0000029f: EXP 000002a0: SUB 000002a1: SWAP1 000002a2: DUP2 000002a3: AND 000002a4: CALLER 000002a5: SWAP2 000002a6: SWAP1 000002a7: SWAP2 000002a8: AND 000002a9: EQ 000002aa: ISZERO 000002ab: PUSH2 0x02d8 000002ae: JUMPI 000002af: PUSH1 0x03 000002b1: SSTORE 000002b2: JUMP 000002b3: JUMPDEST 000002b4: PUSH2 0x0082 000002b7: PUSH1 0x04 000002b9: CALLDATALOAD 000002ba: PUSH1 0x00 000002bc: SLOAD 000002bd: PUSH1 0x01 000002bf: PUSH1 0xa0 000002c1: PUSH1 0x02 000002c3: EXP 000002c4: SUB 000002c5: SWAP1 000002c6: DUP2 000002c7: AND 000002c8: CALLER 000002c9: SWAP2 000002ca: SWAP1 000002cb: SWAP2 000002cc: AND 000002cd: EQ 000002ce: ISZERO 000002cf: PUSH2 0x02d8 000002d2: JUMPI 000002d3: PUSH1 0x01 000002d5: DUP2 000002d6: SWAP1 000002d7: SSTORE 000002d8: JUMPDEST 000002d9: POP 000002da: JUMP 000002db: JUMPDEST 000002dc: PUSH2 0x041a 000002df: PUSH1 0x00 000002e1: SLOAD 000002e2: PUSH1 0x01 000002e4: PUSH1 0xa0 000002e6: PUSH1 0x02 000002e8: EXP 000002e9: SUB 000002ea: AND 000002eb: DUP2 000002ec: JUMP 000002ed: JUMPDEST 000002ee: PUSH2 0x0082 000002f1: PUSH1 0x04 000002f3: CALLDATALOAD 000002f4: PUSH1 0x00 000002f6: SLOAD 000002f7: PUSH1 0x01 000002f9: PUSH1 0xa0 000002fb: PUSH1 0x02 000002fd: EXP 000002fe: SUB 000002ff: SWAP1 00000300: DUP2 00000301: AND 00000302: CALLER 00000303: SWAP2 00000304: SWAP1 00000305: SWAP2 00000306: AND 00000307: EQ 00000308: ISZERO 00000309: PUSH2 0x02d8 0000030c: JUMPI 0000030d: PUSH1 0x02 0000030f: SSTORE 00000310: JUMP 00000311: JUMPDEST 00000312: PUSH2 0x0082 00000315: PUSH1 0x04 00000317: DUP1 00000318: DUP1 00000319: CALLDATALOAD 0000031a: SWAP1 0000031b: PUSH1 0x20 0000031d: ADD 0000031e: SWAP1 0000031f: DUP3 00000320: ADD 00000321: DUP1 00000322: CALLDATALOAD 00000323: SWAP1 00000324: PUSH1 0x20 00000326: ADD 00000327: SWAP2 00000328: SWAP2 00000329: SWAP1 0000032a: DUP1 0000032b: DUP1 0000032c: PUSH1 0x1f 0000032e: ADD 0000032f: PUSH1 0x20 00000331: DUP1 00000332: SWAP2 00000333: DIV 00000334: MUL 00000335: PUSH1 0x20 00000337: ADD 00000338: PUSH1 0x40 0000033a: MLOAD 0000033b: SWAP1 0000033c: DUP2 0000033d: ADD 0000033e: PUSH1 0x40 00000340: MSTORE 00000341: DUP1 00000342: SWAP4 00000343: SWAP3 00000344: SWAP2 00000345: SWAP1 00000346: DUP2 00000347: DUP2 00000348: MSTORE 00000349: PUSH1 0x20 0000034b: ADD 0000034c: DUP4 0000034d: DUP4 0000034e: DUP1 0000034f: DUP3 00000350: DUP5 00000351: CALLDATACOPY 00000352: POP 00000353: SWAP5 00000354: SWAP7 00000355: POP 00000356: POP 00000357: POP 00000358: POP 00000359: POP 0000035a: POP 0000035b: POP 0000035c: PUSH1 0x01 0000035e: PUSH1 0xa0 00000360: PUSH1 0x02 00000362: EXP 00000363: SUB 00000364: CALLER 00000365: AND 00000366: PUSH1 0x00 00000368: SWAP1 00000369: DUP2 0000036a: MSTORE 0000036b: PUSH1 0x05 0000036d: PUSH1 0x20 0000036f: MSTORE 00000370: PUSH1 0x40 00000372: DUP2 00000373: KECCAK256 00000374: SLOAD 00000375: DUP2 00000376: SWAP1 00000377: DUP2 00000378: SWAP1 00000379: GT 0000037a: PUSH2 0x05c0 0000037d: JUMPI 0000037e: PUSH2 0x0667 00000381: JUMP 00000382: JUMPDEST 00000383: PUSH2 0x039a 00000386: PUSH1 0x04 00000388: CALLDATALOAD 00000389: PUSH1 0x05 0000038b: PUSH1 0x20 0000038d: MSTORE 0000038e: PUSH1 0x00 00000390: SWAP1 00000391: DUP2 00000392: MSTORE 00000393: PUSH1 0x40 00000395: SWAP1 00000396: KECCAK256 00000397: SLOAD 00000398: DUP2 00000399: JUMP 0000039a: JUMPDEST 0000039b: PUSH1 0x40 0000039d: DUP1 0000039e: MLOAD 0000039f: SWAP2 000003a0: DUP3 000003a1: MSTORE 000003a2: MLOAD 000003a3: SWAP1 000003a4: DUP2 000003a5: SWAP1 000003a6: SUB 000003a7: PUSH1 0x20 000003a9: ADD 000003aa: SWAP1 000003ab: RETURN 000003ac: JUMPDEST 000003ad: PUSH1 0x40 000003af: MLOAD 000003b0: DUP1 000003b1: DUP1 000003b2: PUSH1 0x20 000003b4: ADD 000003b5: DUP3 000003b6: DUP2 000003b7: SUB 000003b8: DUP3 000003b9: MSTORE 000003ba: DUP4 000003bb: DUP2 000003bc: DUP2 000003bd: MLOAD 000003be: DUP2 000003bf: MSTORE 000003c0: PUSH1 0x20 000003c2: ADD 000003c3: SWAP2 000003c4: POP 000003c5: DUP1 000003c6: MLOAD 000003c7: SWAP1 000003c8: PUSH1 0x20 000003ca: ADD 000003cb: SWAP1 000003cc: DUP1 000003cd: DUP4 000003ce: DUP4 000003cf: DUP3 000003d0: SWAP1 000003d1: PUSH1 0x00 000003d3: PUSH1 0x04 000003d5: PUSH1 0x20 000003d7: DUP5 000003d8: PUSH1 0x1f 000003da: ADD 000003db: DIV 000003dc: PUSH1 0x0f 000003de: MUL 000003df: PUSH1 0x03 000003e1: ADD 000003e2: CALL 000003e3: POP 000003e4: SWAP1 000003e5: POP 000003e6: SWAP1 000003e7: DUP2 000003e8: ADD 000003e9: SWAP1 000003ea: PUSH1 0x1f 000003ec: AND 000003ed: DUP1 000003ee: ISZERO 000003ef: PUSH2 0x040c 000003f2: JUMPI 000003f3: DUP1 000003f4: DUP3 000003f5: SUB 000003f6: DUP1 000003f7: MLOAD 000003f8: PUSH1 0x01 000003fa: DUP4 000003fb: PUSH1 0x20 000003fd: SUB 000003fe: PUSH2 0x0100 00000401: EXP 00000402: SUB 00000403: NOT 00000404: AND 00000405: DUP2 00000406: MSTORE 00000407: PUSH1 0x20 00000409: ADD 0000040a: SWAP2 0000040b: POP 0000040c: JUMPDEST 0000040d: POP 0000040e: SWAP3 0000040f: POP 00000410: POP 00000411: POP 00000412: PUSH1 0x40 00000414: MLOAD 00000415: DUP1 00000416: SWAP2 00000417: SUB 00000418: SWAP1 00000419: RETURN 0000041a: JUMPDEST 0000041b: PUSH1 0x40 0000041d: DUP1 0000041e: MLOAD 0000041f: PUSH1 0x01 00000421: PUSH1 0xa0 00000423: PUSH1 0x02 00000425: EXP 00000426: SUB 00000427: SWAP3 00000428: SWAP1 00000429: SWAP3 0000042a: AND 0000042b: DUP3 0000042c: MSTORE 0000042d: MLOAD 0000042e: SWAP1 0000042f: DUP2 00000430: SWAP1 00000431: SUB 00000432: PUSH1 0x20 00000434: ADD 00000435: SWAP1 00000436: RETURN 00000437: JUMPDEST 00000438: DUP3 00000439: ADD 0000043a: SWAP2 0000043b: SWAP1 0000043c: PUSH1 0x00 0000043e: MSTORE 0000043f: PUSH1 0x20 00000441: PUSH1 0x00 00000443: KECCAK256 00000444: SWAP1 00000445: JUMPDEST 00000446: DUP2 00000447: SLOAD 00000448: DUP2 00000449: MSTORE 0000044a: SWAP1 0000044b: PUSH1 0x01 0000044d: ADD 0000044e: SWAP1 0000044f: PUSH1 0x20 00000451: ADD 00000452: DUP1 00000453: DUP4 00000454: GT 00000455: PUSH2 0x0445 00000458: JUMPI 00000459: DUP3 0000045a: SWAP1 0000045b: SUB 0000045c: PUSH1 0x1f 0000045e: AND 0000045f: DUP3 00000460: ADD 00000461: SWAP2 00000462: JUMPDEST 00000463: POP 00000464: POP 00000465: POP 00000466: POP 00000467: POP 00000468: DUP2 00000469: JUMP 0000046a: JUMPDEST 0000046b: DUP3 0000046c: DUP1 0000046d: ADD 0000046e: PUSH1 0x01 00000470: ADD 00000471: DUP6 00000472: SSTORE 00000473: DUP3 00000474: ISZERO 00000475: PUSH2 0x0116 00000478: JUMPI 00000479: SWAP2 0000047a: DUP3 0000047b: ADD 0000047c: JUMPDEST 0000047d: DUP3 0000047e: DUP2 0000047f: GT 00000480: ISZERO 00000481: PUSH2 0x0116 00000484: JUMPI 00000485: DUP3 00000486: MLOAD 00000487: DUP3 00000488: PUSH1 0x00 0000048a: POP 0000048b: SSTORE 0000048c: SWAP2 0000048d: PUSH1 0x20 0000048f: ADD 00000490: SWAP2 00000491: SWAP1 00000492: PUSH1 0x01 00000494: ADD 00000495: SWAP1 00000496: PUSH2 0x047c 00000499: JUMP 0000049a: JUMPDEST 0000049b: POP 0000049c: POP 0000049d: PUSH1 0x01 0000049f: SWAP1 000004a0: POP 000004a1: SWAP1 000004a2: JUMP 000004a3: JUMPDEST 000004a4: POP 000004a5: SWAP1 000004a6: JUMP 000004a7: JUMPDEST 000004a8: POP 000004a9: POP 000004aa: DUP2 000004ab: PUSH1 0x40 000004ad: MLOAD 000004ae: DUP1 000004af: DUP3 000004b0: DUP1 000004b1: MLOAD 000004b2: SWAP1 000004b3: PUSH1 0x20 000004b5: ADD 000004b6: SWAP1 000004b7: DUP1 000004b8: DUP4 000004b9: DUP4 000004ba: DUP3 000004bb: SWAP1 000004bc: PUSH1 0x00 000004be: PUSH1 0x04 000004c0: PUSH1 0x20 000004c2: DUP5 000004c3: PUSH1 0x1f 000004c5: ADD 000004c6: DIV 000004c7: PUSH1 0x0f 000004c9: MUL 000004ca: PUSH1 0x03 000004cc: ADD 000004cd: CALL 000004ce: POP 000004cf: SWAP1 000004d0: SWAP2 000004d1: ADD 000004d2: DUP3 000004d3: SWAP1 000004d4: SUB 000004d5: DUP3 000004d6: KECCAK256 000004d7: PUSH1 0x01 000004d9: PUSH1 0xa0 000004db: PUSH1 0x02 000004dd: EXP 000004de: SUB 000004df: CALLER 000004e0: AND 000004e1: DUP4 000004e2: MSTORE 000004e3: PUSH1 0x40 000004e5: MLOAD 000004e6: SWAP1 000004e7: SWAP4 000004e8: POP 000004e9: PUSH32 0xce83b773385895d64fc569a60a124cfa89963b48d5ca3ace01401315b35e828f 0000050a: SWAP3 0000050b: DUP2 0000050c: SWAP1 0000050d: SUB 0000050e: PUSH1 0x20 00000510: ADD 00000511: SWAP2 00000512: POP 00000513: LOG2 00000514: POP 00000515: PUSH1 0x01 00000517: JUMPDEST 00000518: SWAP2 00000519: SWAP1 0000051a: POP 0000051b: JUMP 0000051c: JUMPDEST 0000051d: DUP2 0000051e: PUSH1 0x04 00000520: PUSH1 0x00 00000522: POP 00000523: PUSH1 0x00 00000525: CALLER 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: SWAP1 00000535: DUP2 00000536: MSTORE 00000537: PUSH1 0x20 00000539: ADD 0000053a: PUSH1 0x00 0000053c: KECCAK256 0000053d: PUSH1 0x00 0000053f: POP 00000540: SWAP1 00000541: DUP1 00000542: MLOAD 00000543: SWAP1 00000544: PUSH1 0x20 00000546: ADD 00000547: SWAP1 00000548: DUP3 00000549: DUP1 0000054a: SLOAD 0000054b: PUSH1 0x01 0000054d: DUP2 0000054e: PUSH1 0x01 00000550: AND 00000551: ISZERO 00000552: PUSH2 0x0100 00000555: MUL 00000556: SUB 00000557: AND 00000558: PUSH1 0x02 0000055a: SWAP1 0000055b: DIV 0000055c: SWAP1 0000055d: PUSH1 0x00 0000055f: MSTORE 00000560: PUSH1 0x20 00000562: PUSH1 0x00 00000564: KECCAK256 00000565: SWAP1 00000566: PUSH1 0x1f 00000568: ADD 00000569: PUSH1 0x20 0000056b: SWAP1 0000056c: DIV 0000056d: DUP2 0000056e: ADD 0000056f: SWAP3 00000570: DUP3 00000571: PUSH1 0x1f 00000573: LT 00000574: PUSH2 0x0590 00000577: JUMPI 00000578: DUP1 00000579: MLOAD 0000057a: PUSH1 0xff 0000057c: NOT 0000057d: AND 0000057e: DUP4 0000057f: DUP1 00000580: ADD 00000581: OR 00000582: DUP6 00000583: SSTORE 00000584: JUMPDEST 00000585: POP 00000586: PUSH2 0x04a7 00000589: SWAP3 0000058a: SWAP2 0000058b: POP 0000058c: PUSH2 0x011e 0000058f: JUMP 00000590: JUMPDEST 00000591: DUP3 00000592: DUP1 00000593: ADD 00000594: PUSH1 0x01 00000596: ADD 00000597: DUP6 00000598: SSTORE 00000599: DUP3 0000059a: ISZERO 0000059b: PUSH2 0x0584 0000059e: JUMPI 0000059f: SWAP2 000005a0: DUP3 000005a1: ADD 000005a2: JUMPDEST 000005a3: DUP3 000005a4: DUP2 000005a5: GT 000005a6: ISZERO 000005a7: PUSH2 0x0584 000005aa: JUMPI 000005ab: DUP3 000005ac: MLOAD 000005ad: DUP3 000005ae: PUSH1 0x00 000005b0: POP 000005b1: SSTORE 000005b2: SWAP2 000005b3: PUSH1 0x20 000005b5: ADD 000005b6: SWAP2 000005b7: SWAP1 000005b8: PUSH1 0x01 000005ba: ADD 000005bb: SWAP1 000005bc: PUSH2 0x05a2 000005bf: JUMP 000005c0: JUMPDEST 000005c1: POP 000005c2: POP 000005c3: PUSH1 0x01 000005c5: PUSH1 0xa0 000005c7: PUSH1 0x02 000005c9: EXP 000005ca: SUB 000005cb: CALLER 000005cc: AND 000005cd: PUSH1 0x00 000005cf: SWAP1 000005d0: DUP2 000005d1: MSTORE 000005d2: PUSH1 0x05 000005d4: PUSH1 0x20 000005d6: MSTORE 000005d7: PUSH1 0x40 000005d9: DUP2 000005da: KECCAK256 000005db: SLOAD 000005dc: PUSH1 0x03 000005de: SLOAD 000005df: SWAP1 000005e0: SWAP2 000005e1: PUSH1 0x64 000005e3: DUP4 000005e4: DIV 000005e5: SWAP1 000005e6: SWAP2 000005e7: MUL 000005e8: SWAP1 000005e9: DUP2 000005ea: GT 000005eb: ISZERO 000005ec: PUSH2 0x0610 000005ef: JUMPI 000005f0: PUSH1 0x40 000005f2: MLOAD 000005f3: PUSH1 0x01 000005f5: PUSH1 0xa0 000005f7: PUSH1 0x02 000005f9: EXP 000005fa: SUB 000005fb: CALLER 000005fc: AND 000005fd: SWAP1 000005fe: PUSH1 0x00 00000600: SWAP1 00000601: DUP4 00000602: SWAP1 00000603: DUP3 00000604: DUP2 00000605: DUP2 00000606: DUP2 00000607: DUP6 00000608: DUP9 00000609: DUP4 0000060a: CALL 0000060b: POP 0000060c: POP 0000060d: POP 0000060e: POP 0000060f: POP 00000610: JUMPDEST 00000611: PUSH1 0x01 00000613: PUSH1 0xa0 00000615: PUSH1 0x02 00000617: EXP 00000618: SUB 00000619: CALLER 0000061a: AND 0000061b: PUSH1 0x00 0000061d: SWAP1 0000061e: DUP2 0000061f: MSTORE 00000620: PUSH1 0x04 00000622: PUSH1 0x20 00000624: MSTORE 00000625: PUSH1 0x40 00000627: DUP2 00000628: KECCAK256 00000629: DUP1 0000062a: SLOAD 0000062b: SWAP2 0000062c: DUP2 0000062d: SSTORE 0000062e: SWAP1 0000062f: PUSH1 0x02 00000631: PUSH1 0x01 00000633: DUP3 00000634: AND 00000635: ISZERO 00000636: PUSH2 0x0100 00000639: MUL 0000063a: PUSH1 0x00 0000063c: NOT 0000063d: ADD 0000063e: SWAP1 0000063f: SWAP2 00000640: AND 00000641: DIV 00000642: PUSH1 0x1f 00000644: DUP2 00000645: SWAP1 00000646: LT 00000647: PUSH2 0x066c 0000064a: JUMPI 0000064b: POP 0000064c: JUMPDEST 0000064d: POP 0000064e: PUSH1 0x01 00000650: PUSH1 0xa0 00000652: PUSH1 0x02 00000654: EXP 00000655: SUB 00000656: CALLER 00000657: AND 00000658: PUSH1 0x00 0000065a: SWAP1 0000065b: DUP2 0000065c: MSTORE 0000065d: PUSH1 0x05 0000065f: PUSH1 0x20 00000661: MSTORE 00000662: PUSH1 0x40 00000664: DUP2 00000665: KECCAK256 00000666: SSTORE 00000667: JUMPDEST 00000668: POP 00000669: POP 0000066a: POP 0000066b: JUMP 0000066c: JUMPDEST 0000066d: PUSH1 0x1f 0000066f: ADD 00000670: PUSH1 0x20 00000672: SWAP1 00000673: DIV 00000674: SWAP1 00000675: PUSH1 0x00 00000677: MSTORE 00000678: PUSH1 0x20 0000067a: PUSH1 0x00 0000067c: KECCAK256 0000067d: SWAP1 0000067e: DUP2 0000067f: ADD 00000680: SWAP1 00000681: PUSH2 0x064c 00000684: SWAP2 00000685: SWAP1 00000686: PUSH2 0x011e 00000689: JUMP 0000068a: JUMPDEST 0000068b: DUP3 0000068c: ADD 0000068d: SWAP2 0000068e: SWAP1 0000068f: PUSH1 0x00 00000691: MSTORE 00000692: PUSH1 0x20 00000694: PUSH1 0x00 00000696: KECCAK256 00000697: SWAP1 00000698: JUMPDEST 00000699: DUP2 0000069a: SLOAD 0000069b: DUP2 0000069c: MSTORE 0000069d: SWAP1 0000069e: PUSH1 0x01 000006a0: ADD 000006a1: SWAP1 000006a2: PUSH1 0x20 000006a4: ADD 000006a5: DUP1 000006a6: DUP4 000006a7: GT 000006a8: PUSH2 0x0698 000006ab: JUMPI 000006ac: DUP3 000006ad: SWAP1 000006ae: SUB 000006af: PUSH1 0x1f 000006b1: AND 000006b2: DUP3 000006b3: ADD 000006b4: SWAP2 000006b5: JUMPDEST 000006b6: POP 000006b7: POP 000006b8: POP 000006b9: POP 000006ba: POP 000006bb: SWAP1 000006bc: POP 000006bd: PUSH2 0x0517 000006c0: JUMP
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: 0x8a0fd2e5bcd0bf43cd3474009cb1acc5de2eb3508cf1c2c2645a149f6f2821c1
call_targets:
0x8ee49b497d72ab403bbb4127e2fea91a5854afe5
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x8a0fd2e5bcd0bf43cd3474009cb1acc5de2eb3508cf1c2c2645a149f6f2821c1",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x8ee49b497d72ab403bbb4127e2fea91a5854afe5"
],
"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": "0x3013fa18",
"selector": "0x3013fa18",
"calldata_variants": [
"0x3013fa18",
"0x3013fa180000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4956399f",
"selector": "0x4956399f",
"calldata_variants": [
"0x4956399f",
"0x4956399f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5b321599",
"selector": "0x5b321599",
"calldata_variants": [
"0x5b321599",
"0x5b3215990000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x684f4896",
"selector": "0x684f4896",
"calldata_variants": [
"0x684f4896",
"0x684f48960000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7b53a012",
"selector": "0x7b53a012",
"calldata_variants": [
"0x7b53a012",
"0x7b53a0120000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x86385ee0",
"selector": "0x86385ee0",
"calldata_variants": [
"0x86385ee0",
"0x86385ee00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x96d3a9b0",
"selector": "0x96d3a9b0",
"calldata_variants": [
"0x96d3a9b0",
"0x96d3a9b00000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 994,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1229,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1546,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [],
"untrusted_call_count": 3
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x8a0fd2e5bcd0bf43cd3474009cb1acc5de2eb3508cf1c2c2645a149f6f2821c1
call_targets:
0x8ee49b497d72ab403bbb4127e2fea91a5854afe5
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x8a0fd2e5bcd0bf43cd3474009cb1acc5de2eb3508cf1c2c2645a149f6f2821c1",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x8ee49b497d72ab403bbb4127e2fea91a5854afe5"
],
"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": "0x3013fa18",
"selector": "0x3013fa18",
"calldata_variants": [
"0x3013fa18",
"0x3013fa180000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4956399f",
"selector": "0x4956399f",
"calldata_variants": [
"0x4956399f",
"0x4956399f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5b321599",
"selector": "0x5b321599",
"calldata_variants": [
"0x5b321599",
"0x5b3215990000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x684f4896",
"selector": "0x684f4896",
"calldata_variants": [
"0x684f4896",
"0x684f48960000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7b53a012",
"selector": "0x7b53a012",
"calldata_variants": [
"0x7b53a012",
"0x7b53a0120000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x86385ee0",
"selector": "0x86385ee0",
"calldata_variants": [
"0x86385ee0",
"0x86385ee00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x96d3a9b0",
"selector": "0x96d3a9b0",
"calldata_variants": [
"0x96d3a9b0",
"0x96d3a9b00000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 994,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1229,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1546,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": []
}
|