019b3836-2634-7173-bde4-293be0fe333c
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 |
|---|---|---|---|---|
| 887 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 888 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 96238 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 96239 | capability.graph | complete | 1 / 3 | 1 week ago |
| 96240 | detector.run | complete | 1 / 3 | 1 week ago |
| 96241 | 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 0x00f0 0000000a: JUMPI 0000000b: PUSH1 0xe0 0000000d: PUSH1 0x02 0000000f: EXP 00000010: PUSH1 0x00 00000012: CALLDATALOAD 00000013: DIV 00000014: PUSH4 0x11efbf61 00000019: DUP2 0000001a: EQ 0000001b: PUSH2 0x0102 0000001e: JUMPI 0000001f: DUP1 00000020: PUSH4 0x188ec356 00000025: EQ 00000026: PUSH2 0x010c 00000029: JUMPI 0000002a: DUP1 0000002b: PUSH4 0x195984ac 00000030: EQ 00000031: PUSH2 0x0117 00000034: JUMPI 00000035: DUP1 00000036: PUSH4 0x2e1a7d4d 0000003b: EQ 0000003c: PUSH2 0x0129 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x381cb366 00000046: EQ 00000047: PUSH2 0x014c 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x4bb278f3 00000051: EQ 00000052: PUSH2 0x0157 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x4e69d560 0000005c: EQ 0000005d: PUSH2 0x016c 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x4f896d4f 00000067: EQ 00000068: PUSH2 0x0177 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x55d0ad18 00000072: EQ 00000073: PUSH2 0x018f 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x5b711102 0000007d: EQ 0000007e: PUSH2 0x019a 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x603daf9a 00000088: EQ 00000089: PUSH2 0x0235 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0x780528da 00000093: EQ 00000094: PUSH2 0x0249 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0x8f68c22f 0000009e: EQ 0000009f: PUSH2 0x0254 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0xb01e8159 000000a9: EQ 000000aa: PUSH2 0x025f 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0xb71e6c9a 000000b4: EQ 000000b5: PUSH2 0x0273 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0xced72f87 000000bf: EQ 000000c0: PUSH2 0x027e 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0xdf20f47a 000000ca: EQ 000000cb: PUSH2 0x0289 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0xe6af35f0 000000d5: EQ 000000d6: PUSH2 0x029d 000000d9: JUMPI 000000da: DUP1 000000db: PUSH4 0xea8a1af0 000000e0: EQ 000000e1: PUSH2 0x02b3 000000e4: JUMPI 000000e5: DUP1 000000e6: PUSH4 0xf240f7c3 000000eb: EQ 000000ec: PUSH2 0x02c7 000000ef: JUMPI 000000f0: JUMPDEST 000000f1: PUSH2 0x02e6 000000f4: PUSH1 0x08 000000f6: DUP1 000000f7: SLOAD 000000f8: CALLVALUE 000000f9: ADD 000000fa: SWAP1 000000fb: SSTORE 000000fc: NUMBER 000000fd: PUSH1 0x0e 000000ff: SSTORE 00000100: JUMPDEST 00000101: JUMP 00000102: JUMPDEST 00000103: PUSH2 0x02e8 00000106: PUSH1 0x05 00000108: SLOAD 00000109: JUMPDEST 0000010a: SWAP1 0000010b: JUMP 0000010c: JUMPDEST 0000010d: PUSH2 0x02e8 00000110: PUSH1 0x09 00000112: SLOAD 00000113: PUSH2 0x0109 00000116: JUMP 00000117: JUMPDEST 00000118: PUSH2 0x02e6 0000011b: PUSH1 0x07 0000011d: SLOAD 0000011e: PUSH1 0x00 00000120: EQ 00000121: PUSH2 0x04be 00000124: JUMPI 00000125: PUSH2 0x0002 00000128: JUMP 00000129: JUMPDEST 0000012a: PUSH2 0x02e6 0000012d: PUSH1 0x04 0000012f: CALLDATALOAD 00000130: PUSH1 0x00 00000132: DUP1 00000133: SLOAD 00000134: PUSH1 0x01 00000136: PUSH1 0xa0 00000138: PUSH1 0x02 0000013a: EXP 0000013b: SUB 0000013c: SWAP1 0000013d: DUP2 0000013e: AND 0000013f: CALLER 00000140: SWAP1 00000141: SWAP2 00000142: AND 00000143: EQ 00000144: PUSH2 0x03ee 00000147: JUMPI 00000148: PUSH2 0x0002 0000014b: JUMP 0000014c: JUMPDEST 0000014d: PUSH2 0x02e8 00000150: PUSH1 0x0e 00000152: SLOAD 00000153: PUSH2 0x0109 00000156: JUMP 00000157: JUMPDEST 00000158: PUSH2 0x02e6 0000015b: PUSH1 0x07 0000015d: SLOAD 0000015e: PUSH1 0x00 00000160: SWAP1 00000161: PUSH1 0x02 00000163: EQ 00000164: PUSH2 0x04f7 00000167: JUMPI 00000168: PUSH2 0x0002 0000016b: JUMP 0000016c: JUMPDEST 0000016d: PUSH2 0x02e8 00000170: PUSH1 0x07 00000172: SLOAD 00000173: PUSH2 0x0109 00000176: JUMP 00000177: JUMPDEST 00000178: PUSH2 0x02e6 0000017b: PUSH1 0x04 0000017d: CALLDATALOAD 0000017e: PUSH1 0x07 00000180: SLOAD 00000181: PUSH1 0x00 00000183: SWAP1 00000184: PUSH1 0x04 00000186: EQ 00000187: PUSH2 0x05ea 0000018a: JUMPI 0000018b: PUSH2 0x0002 0000018e: JUMP 0000018f: JUMPDEST 00000190: PUSH2 0x02e8 00000193: PUSH1 0x08 00000195: SLOAD 00000196: PUSH2 0x0109 00000199: JUMP 0000019a: JUMPDEST 0000019b: PUSH1 0x40 0000019d: DUP1 0000019e: MLOAD 0000019f: PUSH1 0x20 000001a1: PUSH1 0x04 000001a3: DUP1 000001a4: CALLDATALOAD 000001a5: DUP1 000001a6: DUP3 000001a7: ADD 000001a8: CALLDATALOAD 000001a9: PUSH1 0x1f 000001ab: DUP2 000001ac: ADD 000001ad: DUP5 000001ae: SWAP1 000001af: DIV 000001b0: DUP5 000001b1: MUL 000001b2: DUP6 000001b3: ADD 000001b4: DUP5 000001b5: ADD 000001b6: SWAP1 000001b7: SWAP6 000001b8: MSTORE 000001b9: DUP5 000001ba: DUP5 000001bb: MSTORE 000001bc: PUSH2 0x02e6 000001bf: SWAP5 000001c0: SWAP2 000001c1: SWAP4 000001c2: PUSH1 0x24 000001c4: SWAP4 000001c5: SWAP1 000001c6: SWAP3 000001c7: SWAP2 000001c8: DUP5 000001c9: ADD 000001ca: SWAP2 000001cb: SWAP1 000001cc: DUP2 000001cd: SWAP1 000001ce: DUP5 000001cf: ADD 000001d0: DUP4 000001d1: DUP3 000001d2: DUP1 000001d3: DUP3 000001d4: DUP5 000001d5: CALLDATACOPY 000001d6: POP 000001d7: SWAP5 000001d8: SWAP7 000001d9: POP 000001da: POP 000001db: POP 000001dc: POP 000001dd: POP 000001de: POP 000001df: POP 000001e0: PUSH1 0x00 000001e2: SLOAD 000001e3: PUSH1 0x01 000001e5: PUSH1 0xa0 000001e7: PUSH1 0x02 000001e9: EXP 000001ea: SUB 000001eb: SWAP1 000001ec: DUP2 000001ed: AND 000001ee: CALLER 000001ef: SWAP1 000001f0: SWAP2 000001f1: AND 000001f2: EQ 000001f3: DUP1 000001f4: ISZERO 000001f5: SWAP1 000001f6: PUSH2 0x020f 000001f9: JUMPI 000001fa: POP 000001fb: PUSH1 0x02 000001fd: SLOAD 000001fe: PUSH1 0x01 00000200: PUSH1 0xa0 00000202: PUSH1 0x02 00000204: EXP 00000205: SUB 00000206: SWAP1 00000207: DUP2 00000208: AND 00000209: CALLER 0000020a: SWAP1 0000020b: SWAP2 0000020c: AND 0000020d: EQ 0000020e: ISZERO 0000020f: JUMPDEST 00000210: DUP1 00000211: ISZERO 00000212: PUSH2 0x022b 00000215: JUMPI 00000216: POP 00000217: PUSH1 0x04 00000219: SLOAD 0000021a: PUSH1 0x01 0000021c: PUSH1 0xa0 0000021e: PUSH1 0x02 00000220: EXP 00000221: SUB 00000222: SWAP1 00000223: DUP2 00000224: AND 00000225: CALLER 00000226: SWAP1 00000227: SWAP2 00000228: AND 00000229: EQ 0000022a: ISZERO 0000022b: JUMPDEST 0000022c: ISZERO 0000022d: PUSH2 0x0317 00000230: JUMPI 00000231: PUSH2 0x0002 00000234: JUMP 00000235: JUMPDEST 00000236: PUSH2 0x02fa 00000239: PUSH1 0x00 0000023b: SLOAD 0000023c: PUSH1 0x01 0000023e: PUSH1 0xa0 00000240: PUSH1 0x02 00000242: EXP 00000243: SUB 00000244: AND 00000245: PUSH2 0x0109 00000248: JUMP 00000249: JUMPDEST 0000024a: PUSH2 0x02e8 0000024d: PUSH1 0x06 0000024f: SLOAD 00000250: PUSH2 0x0109 00000253: JUMP 00000254: JUMPDEST 00000255: PUSH2 0x02e8 00000258: PUSH1 0x0a 0000025a: SLOAD 0000025b: PUSH2 0x0109 0000025e: JUMP 0000025f: JUMPDEST 00000260: PUSH2 0x02fa 00000263: PUSH1 0x01 00000265: SLOAD 00000266: PUSH1 0x01 00000268: PUSH1 0xa0 0000026a: PUSH1 0x02 0000026c: EXP 0000026d: SUB 0000026e: AND 0000026f: PUSH2 0x0109 00000272: JUMP 00000273: JUMPDEST 00000274: PUSH2 0x02e8 00000277: PUSH1 0x0d 00000279: SLOAD 0000027a: PUSH2 0x0109 0000027d: JUMP 0000027e: JUMPDEST 0000027f: PUSH2 0x02e8 00000282: PUSH1 0x0c 00000284: SLOAD 00000285: PUSH2 0x0109 00000288: JUMP 00000289: JUMPDEST 0000028a: PUSH2 0x02fa 0000028d: PUSH1 0x03 0000028f: SLOAD 00000290: PUSH1 0x01 00000292: PUSH1 0xa0 00000294: PUSH1 0x02 00000296: EXP 00000297: SUB 00000298: AND 00000299: PUSH2 0x0109 0000029c: JUMP 0000029d: JUMPDEST 0000029e: PUSH2 0x02e8 000002a1: JUMPDEST 000002a2: PUSH1 0x05 000002a4: SLOAD 000002a5: PUSH1 0x08 000002a7: SLOAD 000002a8: PUSH1 0x64 000002aa: DUP3 000002ab: ADD 000002ac: SWAP2 000002ad: MUL 000002ae: DIV 000002af: PUSH2 0x0109 000002b2: JUMP 000002b3: JUMPDEST 000002b4: PUSH2 0x02e6 000002b7: PUSH1 0x07 000002b9: SLOAD 000002ba: PUSH1 0x00 000002bc: SWAP1 000002bd: DUP2 000002be: EQ 000002bf: PUSH2 0x040c 000002c2: JUMPI 000002c3: PUSH2 0x0002 000002c6: JUMP 000002c7: JUMPDEST 000002c8: PUSH2 0x02e6 000002cb: PUSH1 0x00 000002cd: SLOAD 000002ce: PUSH1 0x01 000002d0: PUSH1 0xa0 000002d2: PUSH1 0x02 000002d4: EXP 000002d5: SUB 000002d6: SWAP1 000002d7: DUP2 000002d8: AND 000002d9: CALLER 000002da: SWAP1 000002db: SWAP2 000002dc: AND 000002dd: EQ 000002de: PUSH2 0x05a5 000002e1: JUMPI 000002e2: PUSH2 0x0002 000002e5: JUMP 000002e6: JUMPDEST 000002e7: STOP 000002e8: JUMPDEST 000002e9: PUSH1 0x40 000002eb: DUP1 000002ec: MLOAD 000002ed: SWAP2 000002ee: DUP3 000002ef: MSTORE 000002f0: MLOAD 000002f1: SWAP1 000002f2: DUP2 000002f3: SWAP1 000002f4: SUB 000002f5: PUSH1 0x20 000002f7: ADD 000002f8: SWAP1 000002f9: RETURN 000002fa: JUMPDEST 000002fb: PUSH1 0x40 000002fd: DUP1 000002fe: MLOAD 000002ff: PUSH1 0x01 00000301: PUSH1 0xa0 00000303: PUSH1 0x02 00000305: EXP 00000306: SUB 00000307: SWAP3 00000308: SWAP1 00000309: SWAP3 0000030a: AND 0000030b: DUP3 0000030c: MSTORE 0000030d: MLOAD 0000030e: SWAP1 0000030f: DUP2 00000310: SWAP1 00000311: SUB 00000312: PUSH1 0x20 00000314: ADD 00000315: SWAP1 00000316: RETURN 00000317: JUMPDEST 00000318: CALLER 00000319: PUSH1 0x01 0000031b: PUSH1 0xa0 0000031d: PUSH1 0x02 0000031f: EXP 00000320: SUB 00000321: AND 00000322: PUSH32 0x935d94aae9382068e7d866bd9757ae81fa3c669c900ef3e1f16039fde798ed69 00000343: DUP3 00000344: PUSH1 0x40 00000346: MLOAD 00000347: DUP1 00000348: DUP1 00000349: PUSH1 0x20 0000034b: ADD 0000034c: DUP3 0000034d: DUP2 0000034e: SUB 0000034f: DUP3 00000350: MSTORE 00000351: DUP4 00000352: DUP2 00000353: DUP2 00000354: MLOAD 00000355: DUP2 00000356: MSTORE 00000357: PUSH1 0x20 00000359: ADD 0000035a: SWAP2 0000035b: POP 0000035c: DUP1 0000035d: MLOAD 0000035e: SWAP1 0000035f: PUSH1 0x20 00000361: ADD 00000362: SWAP1 00000363: DUP1 00000364: DUP4 00000365: DUP4 00000366: DUP3 00000367: SWAP1 00000368: PUSH1 0x00 0000036a: PUSH1 0x04 0000036c: PUSH1 0x20 0000036e: DUP5 0000036f: PUSH1 0x1f 00000371: ADD 00000372: DIV 00000373: PUSH1 0x03 00000375: MUL 00000376: PUSH1 0x0f 00000378: ADD 00000379: CALL 0000037a: POP 0000037b: SWAP1 0000037c: POP 0000037d: SWAP1 0000037e: DUP2 0000037f: ADD 00000380: SWAP1 00000381: PUSH1 0x1f 00000383: AND 00000384: DUP1 00000385: ISZERO 00000386: PUSH2 0x03a3 00000389: JUMPI 0000038a: DUP1 0000038b: DUP3 0000038c: SUB 0000038d: DUP1 0000038e: MLOAD 0000038f: PUSH1 0x01 00000391: DUP4 00000392: PUSH1 0x20 00000394: SUB 00000395: PUSH2 0x0100 00000398: EXP 00000399: SUB 0000039a: NOT 0000039b: AND 0000039c: DUP2 0000039d: MSTORE 0000039e: PUSH1 0x20 000003a0: ADD 000003a1: SWAP2 000003a2: POP 000003a3: JUMPDEST 000003a4: POP 000003a5: SWAP3 000003a6: POP 000003a7: POP 000003a8: POP 000003a9: PUSH1 0x40 000003ab: MLOAD 000003ac: DUP1 000003ad: SWAP2 000003ae: SUB 000003af: SWAP1 000003b0: LOG2 000003b1: JUMPDEST 000003b2: POP 000003b3: JUMP 000003b4: JUMPDEST 000003b5: PUSH1 0x40 000003b7: MLOAD 000003b8: PUSH1 0x00 000003ba: DUP1 000003bb: SLOAD 000003bc: PUSH1 0x01 000003be: PUSH1 0xa0 000003c0: PUSH1 0x02 000003c2: EXP 000003c3: SUB 000003c4: AND 000003c5: SWAP2 000003c6: DUP5 000003c7: SWAP1 000003c8: DUP3 000003c9: DUP2 000003ca: DUP2 000003cb: DUP2 000003cc: DUP6 000003cd: DUP9 000003ce: DUP4 000003cf: CALL 000003d0: SWAP4 000003d1: POP 000003d2: POP 000003d3: POP 000003d4: POP 000003d5: SWAP1 000003d6: POP 000003d7: DUP1 000003d8: ISZERO 000003d9: PUSH2 0x03ea 000003dc: JUMPI 000003dd: NUMBER 000003de: PUSH1 0x0e 000003e0: SSTORE 000003e1: PUSH1 0x08 000003e3: DUP1 000003e4: SLOAD 000003e5: DUP4 000003e6: SWAP1 000003e7: SUB 000003e8: SWAP1 000003e9: SSTORE 000003ea: JUMPDEST 000003eb: POP 000003ec: POP 000003ed: JUMP 000003ee: JUMPDEST 000003ef: PUSH1 0x07 000003f1: SLOAD 000003f2: PUSH1 0x00 000003f4: EQ 000003f5: PUSH2 0x03fd 000003f8: JUMPI 000003f9: PUSH2 0x0002 000003fc: JUMP 000003fd: JUMPDEST 000003fe: PUSH1 0x08 00000400: SLOAD 00000401: DUP3 00000402: GT 00000403: ISZERO 00000404: PUSH2 0x03b4 00000407: JUMPI 00000408: PUSH2 0x0002 0000040b: JUMP 0000040c: JUMPDEST 0000040d: PUSH1 0x00 0000040f: SLOAD 00000410: PUSH1 0x01 00000412: PUSH1 0xa0 00000414: PUSH1 0x02 00000416: EXP 00000417: SUB 00000418: SWAP1 00000419: DUP2 0000041a: AND 0000041b: CALLER 0000041c: SWAP1 0000041d: SWAP2 0000041e: AND 0000041f: EQ 00000420: DUP1 00000421: ISZERO 00000422: SWAP1 00000423: PUSH2 0x043c 00000426: JUMPI 00000427: POP 00000428: PUSH1 0x02 0000042a: SLOAD 0000042b: PUSH1 0x01 0000042d: PUSH1 0xa0 0000042f: PUSH1 0x02 00000431: EXP 00000432: SUB 00000433: SWAP1 00000434: DUP2 00000435: AND 00000436: CALLER 00000437: SWAP1 00000438: SWAP2 00000439: AND 0000043a: EQ 0000043b: ISZERO 0000043c: JUMPDEST 0000043d: ISZERO 0000043e: PUSH2 0x0446 00000441: JUMPI 00000442: PUSH2 0x0002 00000445: JUMP 00000446: JUMPDEST 00000447: PUSH1 0x40 00000449: MLOAD 0000044a: PUSH1 0x00 0000044c: DUP1 0000044d: SLOAD 0000044e: PUSH1 0x01 00000450: PUSH1 0xa0 00000452: PUSH1 0x02 00000454: EXP 00000455: SUB 00000456: SWAP1 00000457: DUP2 00000458: AND 00000459: SWAP3 0000045a: ADDRESS 0000045b: SWAP1 0000045c: SWAP2 0000045d: AND 0000045e: BALANCE 0000045f: SWAP1 00000460: DUP3 00000461: DUP2 00000462: DUP2 00000463: DUP2 00000464: DUP6 00000465: DUP9 00000466: DUP4 00000467: CALL 00000468: SWAP4 00000469: POP 0000046a: POP 0000046b: POP 0000046c: POP 0000046d: SWAP1 0000046e: POP 0000046f: DUP1 00000470: ISZERO 00000471: ISZERO 00000472: PUSH2 0x047a 00000475: JUMPI 00000476: PUSH2 0x0002 00000479: JUMP 0000047a: JUMPDEST 0000047b: PUSH2 0x03b1 0000047e: PUSH1 0x01 00000480: JUMPDEST 00000481: PUSH1 0x07 00000483: DUP2 00000484: SWAP1 00000485: SSTORE 00000486: PUSH1 0x40 00000488: MLOAD 00000489: DUP2 0000048a: SWAP1 0000048b: CALLER 0000048c: PUSH1 0x01 0000048e: PUSH1 0xa0 00000490: PUSH1 0x02 00000492: EXP 00000493: SUB 00000494: AND 00000495: SWAP1 00000496: PUSH32 0x5f66d2a93b609bc6596b75c6dbb0e4f3f7cafd4b3b617157ff304d1076e58375 000004b7: SWAP1 000004b8: PUSH1 0x00 000004ba: SWAP1 000004bb: LOG3 000004bc: POP 000004bd: JUMP 000004be: JUMPDEST 000004bf: PUSH1 0x02 000004c1: SLOAD 000004c2: PUSH1 0x01 000004c4: PUSH1 0xa0 000004c6: PUSH1 0x02 000004c8: EXP 000004c9: SUB 000004ca: SWAP1 000004cb: DUP2 000004cc: AND 000004cd: CALLER 000004ce: SWAP1 000004cf: SWAP2 000004d0: AND 000004d1: EQ 000004d2: PUSH2 0x04da 000004d5: JUMPI 000004d6: PUSH2 0x0002 000004d9: JUMP 000004da: JUMPDEST 000004db: PUSH1 0x0e 000004dd: SLOAD 000004de: NUMBER 000004df: EQ 000004e0: ISZERO 000004e1: PUSH2 0x04e9 000004e4: JUMPI 000004e5: PUSH2 0x0002 000004e8: JUMP 000004e9: JUMPDEST 000004ea: TIMESTAMP 000004eb: PUSH1 0x0a 000004ed: SSTORE 000004ee: PUSH2 0x0100 000004f1: PUSH1 0x02 000004f3: PUSH2 0x0480 000004f6: JUMP 000004f7: JUMPDEST 000004f8: PUSH1 0x00 000004fa: SLOAD 000004fb: PUSH1 0x01 000004fd: PUSH1 0xa0 000004ff: PUSH1 0x02 00000501: EXP 00000502: SUB 00000503: SWAP1 00000504: DUP2 00000505: AND 00000506: CALLER 00000507: SWAP1 00000508: SWAP2 00000509: AND 0000050a: EQ 0000050b: DUP1 0000050c: ISZERO 0000050d: SWAP1 0000050e: PUSH2 0x0527 00000511: JUMPI 00000512: POP 00000513: PUSH1 0x02 00000515: SLOAD 00000516: PUSH1 0x01 00000518: PUSH1 0xa0 0000051a: PUSH1 0x02 0000051c: EXP 0000051d: SUB 0000051e: SWAP1 0000051f: DUP2 00000520: AND 00000521: CALLER 00000522: SWAP1 00000523: SWAP2 00000524: AND 00000525: EQ 00000526: ISZERO 00000527: JUMPDEST 00000528: ISZERO 00000529: PUSH2 0x0531 0000052c: JUMPI 0000052d: PUSH2 0x0002 00000530: JUMP 00000531: JUMPDEST 00000532: PUSH1 0x02 00000534: SLOAD 00000535: PUSH1 0x01 00000537: PUSH1 0xa0 00000539: PUSH1 0x02 0000053b: EXP 0000053c: SUB 0000053d: SWAP1 0000053e: DUP2 0000053f: AND 00000540: CALLER 00000541: SWAP1 00000542: SWAP2 00000543: AND 00000544: EQ 00000545: DUP1 00000546: ISZERO 00000547: PUSH2 0x0555 0000054a: JUMPI 0000054b: POP 0000054c: PUSH1 0x06 0000054e: SLOAD 0000054f: PUSH1 0x0a 00000551: SLOAD 00000552: TIMESTAMP 00000553: SUB 00000554: LT 00000555: JUMPDEST 00000556: ISZERO 00000557: PUSH2 0x055f 0000055a: JUMPI 0000055b: PUSH2 0x0002 0000055e: JUMP 0000055f: JUMPDEST 00000560: PUSH1 0x02 00000562: SLOAD 00000563: PUSH1 0x40 00000565: MLOAD 00000566: PUSH1 0x01 00000568: PUSH1 0xa0 0000056a: PUSH1 0x02 0000056c: EXP 0000056d: SUB 0000056e: SWAP2 0000056f: DUP3 00000570: AND 00000571: SWAP2 00000572: PUSH1 0x00 00000574: SWAP2 00000575: ADDRESS 00000576: SWAP1 00000577: SWAP2 00000578: AND 00000579: BALANCE 0000057a: SWAP1 0000057b: DUP3 0000057c: DUP2 0000057d: DUP2 0000057e: DUP2 0000057f: DUP6 00000580: DUP9 00000581: DUP4 00000582: CALL 00000583: SWAP4 00000584: POP 00000585: POP 00000586: POP 00000587: POP 00000588: SWAP1 00000589: POP 0000058a: DUP1 0000058b: ISZERO 0000058c: ISZERO 0000058d: PUSH2 0x0595 00000590: JUMPI 00000591: PUSH2 0x0002 00000594: JUMP 00000595: JUMPDEST 00000596: PUSH2 0x03b1 00000599: PUSH1 0x03 0000059b: PUSH2 0x0480 0000059e: JUMP 0000059f: JUMPDEST 000005a0: TIMESTAMP 000005a1: PUSH1 0x0b 000005a3: SSTORE 000005a4: JUMP 000005a5: JUMPDEST 000005a6: PUSH1 0x07 000005a8: SLOAD 000005a9: PUSH1 0x02 000005ab: EQ 000005ac: PUSH2 0x05b4 000005af: JUMPI 000005b0: PUSH2 0x0002 000005b3: JUMP 000005b4: JUMPDEST 000005b5: PUSH1 0x06 000005b7: SLOAD 000005b8: PUSH1 0x0a 000005ba: SLOAD 000005bb: TIMESTAMP 000005bc: SUB 000005bd: GT 000005be: ISZERO 000005bf: PUSH2 0x05c7 000005c2: JUMPI 000005c3: PUSH2 0x0002 000005c6: JUMP 000005c7: JUMPDEST 000005c8: PUSH1 0x04 000005ca: SLOAD 000005cb: PUSH1 0x01 000005cd: PUSH1 0xa0 000005cf: PUSH1 0x02 000005d1: EXP 000005d2: SUB 000005d3: AND 000005d4: PUSH1 0x00 000005d6: EQ 000005d7: ISZERO 000005d8: PUSH2 0x05e0 000005db: JUMPI 000005dc: PUSH2 0x0002 000005df: JUMP 000005e0: JUMPDEST 000005e1: PUSH2 0x059f 000005e4: PUSH1 0x04 000005e6: PUSH2 0x0480 000005e9: JUMP 000005ea: JUMPDEST 000005eb: PUSH1 0x04 000005ed: SLOAD 000005ee: PUSH1 0x01 000005f0: PUSH1 0xa0 000005f2: PUSH1 0x02 000005f4: EXP 000005f5: SUB 000005f6: SWAP1 000005f7: DUP2 000005f8: AND 000005f9: CALLER 000005fa: SWAP1 000005fb: SWAP2 000005fc: AND 000005fd: EQ 000005fe: PUSH2 0x0606 00000601: JUMPI 00000602: PUSH2 0x0002 00000605: JUMP 00000606: JUMPDEST 00000607: PUSH2 0x060e 0000060a: PUSH2 0x02a1 0000060d: JUMP 0000060e: JUMPDEST 0000060f: PUSH1 0x0c 00000611: DUP2 00000612: SWAP1 00000613: SSTORE 00000614: PUSH1 0x08 00000616: SLOAD 00000617: PUSH1 0x64 00000619: SWAP1 0000061a: DUP3 0000061b: SWAP1 0000061c: SUB 0000061d: DUP1 0000061e: DUP6 0000061f: MUL 00000620: SWAP2 00000621: SWAP1 00000622: SWAP2 00000623: DIV 00000624: PUSH1 0x0d 00000626: DUP2 00000627: SWAP1 00000628: SSTORE 00000629: PUSH1 0x40 0000062b: MLOAD 0000062c: PUSH1 0x04 0000062e: SLOAD 0000062f: SWAP2 00000630: SWAP1 00000631: SWAP3 00000632: SUB 00000633: SWAP4 00000634: POP 00000635: PUSH1 0x01 00000637: PUSH1 0xa0 00000639: PUSH1 0x02 0000063b: EXP 0000063c: SUB 0000063d: AND 0000063e: SWAP2 0000063f: PUSH1 0x00 00000641: SWAP2 00000642: DUP3 00000643: DUP2 00000644: DUP2 00000645: DUP2 00000646: DUP6 00000647: DUP9 00000648: DUP4 00000649: CALL 0000064a: SWAP4 0000064b: POP 0000064c: POP 0000064d: POP 0000064e: POP 0000064f: POP 00000650: PUSH1 0x00 00000652: PUSH1 0x0d 00000654: PUSH1 0x00 00000656: POP 00000657: SLOAD 00000658: GT 00000659: ISZERO 0000065a: PUSH2 0x0682 0000065d: JUMPI 0000065e: PUSH1 0x40 00000660: MLOAD 00000661: PUSH1 0x0d 00000663: SLOAD 00000664: PUSH1 0x00 00000666: DUP1 00000667: SLOAD 00000668: PUSH1 0x01 0000066a: PUSH1 0xa0 0000066c: PUSH1 0x02 0000066e: EXP 0000066f: SUB 00000670: AND 00000671: SWAP3 00000672: SWAP1 00000673: SWAP2 00000674: SWAP1 00000675: DUP3 00000676: DUP2 00000677: DUP2 00000678: DUP2 00000679: DUP6 0000067a: DUP9 0000067b: DUP4 0000067c: CALL 0000067d: POP 0000067e: POP 0000067f: POP 00000680: POP 00000681: POP 00000682: JUMPDEST 00000683: PUSH1 0x00 00000685: DUP2 00000686: GT 00000687: ISZERO 00000688: PUSH2 0x06b1 0000068b: JUMPI 0000068c: PUSH1 0x02 0000068e: SLOAD 0000068f: PUSH1 0x40 00000691: MLOAD 00000692: PUSH1 0x01 00000694: PUSH1 0xa0 00000696: PUSH1 0x02 00000698: EXP 00000699: SUB 0000069a: SWAP2 0000069b: SWAP1 0000069c: SWAP2 0000069d: AND 0000069e: SWAP1 0000069f: PUSH1 0x00 000006a1: SWAP1 000006a2: DUP4 000006a3: SWAP1 000006a4: DUP3 000006a5: DUP2 000006a6: DUP2 000006a7: DUP2 000006a8: DUP6 000006a9: DUP9 000006aa: DUP4 000006ab: CALL 000006ac: POP 000006ad: POP 000006ae: POP 000006af: POP 000006b0: POP 000006b1: JUMPDEST 000006b2: PUSH2 0x03ea 000006b5: PUSH1 0x05 000006b7: PUSH2 0x0480 000006ba: 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: 0x8079b9f657df94409842115fcf71954e4560eccf0f765bc2c5c9750f23915295
call_targets:
0x40dad9d3d3429a56c7d651830b0ed23a2ef1af73
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x8079b9f657df94409842115fcf71954e4560eccf0f765bc2c5c9750f23915295",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x40dad9d3d3429a56c7d651830b0ed23a2ef1af73"
],
"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": "0x11efbf61",
"selector": "0x11efbf61",
"calldata_variants": [
"0x11efbf61",
"0x11efbf610000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x188ec356",
"selector": "0x188ec356",
"calldata_variants": [
"0x188ec356",
"0x188ec3560000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x195984ac",
"selector": "0x195984ac",
"calldata_variants": [
"0x195984ac",
"0x195984ac0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2e1a7d4d",
"selector": "0x2e1a7d4d",
"calldata_variants": [
"0x2e1a7d4d",
"0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x381cb366",
"selector": "0x381cb366",
"calldata_variants": [
"0x381cb366",
"0x381cb3660000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4bb278f3",
"selector": "0x4bb278f3",
"calldata_variants": [
"0x4bb278f3",
"0x4bb278f30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4e69d560",
"selector": "0x4e69d560",
"calldata_variants": [
"0x4e69d560",
"0x4e69d5600000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4f896d4f",
"selector": "0x4f896d4f",
"calldata_variants": [
"0x4f896d4f",
"0x4f896d4f0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 889,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 975,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1127,
"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: 0x8079b9f657df94409842115fcf71954e4560eccf0f765bc2c5c9750f23915295
call_targets:
0x40dad9d3d3429a56c7d651830b0ed23a2ef1af73
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x8079b9f657df94409842115fcf71954e4560eccf0f765bc2c5c9750f23915295",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x40dad9d3d3429a56c7d651830b0ed23a2ef1af73"
],
"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": "0x11efbf61",
"selector": "0x11efbf61",
"calldata_variants": [
"0x11efbf61",
"0x11efbf610000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x188ec356",
"selector": "0x188ec356",
"calldata_variants": [
"0x188ec356",
"0x188ec3560000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x195984ac",
"selector": "0x195984ac",
"calldata_variants": [
"0x195984ac",
"0x195984ac0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2e1a7d4d",
"selector": "0x2e1a7d4d",
"calldata_variants": [
"0x2e1a7d4d",
"0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x381cb366",
"selector": "0x381cb366",
"calldata_variants": [
"0x381cb366",
"0x381cb3660000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4bb278f3",
"selector": "0x4bb278f3",
"calldata_variants": [
"0x4bb278f3",
"0x4bb278f30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4e69d560",
"selector": "0x4e69d560",
"calldata_variants": [
"0x4e69d560",
"0x4e69d5600000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4f896d4f",
"selector": "0x4f896d4f",
"calldata_variants": [
"0x4f896d4f",
"0x4f896d4f0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 889,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 975,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1127,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 7,
"guards_detected": []
}
|