019b3836-5917-7277-8bb9-c1f320e68c53
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 |
|---|---|---|---|---|
| 8733 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 8734 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 52068 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 52069 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 52070 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 52071 | 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: PUSH1 0xe0 00000007: PUSH1 0x02 00000009: EXP 0000000a: PUSH1 0x00 0000000c: CALLDATALOAD 0000000d: DIV 0000000e: PUSH4 0x2526d960 00000013: DUP2 00000014: EQ 00000015: PUSH2 0x003c 00000018: JUMPI 00000019: DUP1 0000001a: PUSH4 0x51cff8d9 0000001f: EQ 00000020: PUSH2 0x0068 00000023: JUMPI 00000024: DUP1 00000025: PUSH4 0x770c6cbb 0000002a: EQ 0000002b: PUSH2 0x01a1 0000002e: JUMPI 0000002f: DUP1 00000030: PUSH4 0xa5de811f 00000035: EQ 00000036: PUSH2 0x0704 00000039: JUMPI 0000003a: JUMPDEST 0000003b: STOP 0000003c: JUMPDEST 0000003d: PUSH2 0x003a 00000040: PUSH20 0xda4a4626d3e16e094de3225a751aab7128e96526 00000055: CALLER 00000056: PUSH1 0x01 00000058: PUSH1 0xa0 0000005a: PUSH1 0x02 0000005c: EXP 0000005d: SUB 0000005e: AND 0000005f: EQ 00000060: PUSH2 0x07c3 00000063: JUMPI 00000064: PUSH2 0x0002 00000067: JUMP 00000068: JUMPDEST 00000069: PUSH2 0x003a 0000006c: PUSH1 0x04 0000006e: CALLDATALOAD 0000006f: PUSH1 0x00 00000071: PUSH1 0x00 00000073: DUP3 00000074: PUSH1 0x01 00000076: PUSH1 0xa0 00000078: PUSH1 0x02 0000007a: EXP 0000007b: SUB 0000007c: AND 0000007d: PUSH4 0x70a08231 00000082: CALLER 00000083: PUSH1 0x40 00000085: MLOAD 00000086: DUP3 00000087: PUSH1 0xe0 00000089: PUSH1 0x02 0000008b: EXP 0000008c: MUL 0000008d: DUP2 0000008e: MSTORE 0000008f: PUSH1 0x04 00000091: ADD 00000092: DUP1 00000093: DUP3 00000094: PUSH1 0x01 00000096: PUSH1 0xa0 00000098: PUSH1 0x02 0000009a: EXP 0000009b: SUB 0000009c: AND 0000009d: DUP2 0000009e: MSTORE 0000009f: PUSH1 0x20 000000a1: ADD 000000a2: SWAP2 000000a3: POP 000000a4: POP 000000a5: PUSH1 0x20 000000a7: PUSH1 0x40 000000a9: MLOAD 000000aa: DUP1 000000ab: DUP4 000000ac: SUB 000000ad: DUP2 000000ae: PUSH1 0x00 000000b0: DUP8 000000b1: PUSH2 0x61da 000000b4: GAS 000000b5: SUB 000000b6: CALL 000000b7: ISZERO 000000b8: PUSH2 0x0002 000000bb: JUMPI 000000bc: POP 000000bd: POP 000000be: PUSH1 0x40 000000c0: DUP1 000000c1: MLOAD 000000c2: DUP1 000000c3: MLOAD 000000c4: PUSH1 0x01 000000c6: PUSH1 0xa0 000000c8: PUSH1 0x02 000000ca: EXP 000000cb: SUB 000000cc: DUP8 000000cd: DUP2 000000ce: AND 000000cf: PUSH1 0x00 000000d1: DUP2 000000d2: DUP2 000000d3: MSTORE 000000d4: PUSH1 0x20 000000d6: DUP2 000000d7: DUP2 000000d8: MSTORE 000000d9: DUP7 000000da: DUP3 000000db: KECCAK256 000000dc: SLOAD 000000dd: PUSH32 0x23b872dd00000000000000000000000000000000000000000000000000000000 000000fe: DUP8 000000ff: MSTORE 00000100: CALLER 00000101: DUP6 00000102: AND 00000103: PUSH1 0x04 00000105: DUP9 00000106: ADD 00000107: MSTORE 00000108: ADDRESS 00000109: SWAP1 0000010a: SWAP5 0000010b: AND 0000010c: PUSH1 0x24 0000010e: DUP8 0000010f: ADD 00000110: MSTORE 00000111: PUSH1 0x44 00000113: DUP7 00000114: ADD 00000115: DUP6 00000116: SWAP1 00000117: MSTORE 00000118: SWAP6 00000119: MLOAD 0000011a: SWAP4 0000011b: SWAP9 0000011c: POP 0000011d: PUSH16 0xffffffffffffffffffffffffffffffff 0000012e: DUP4 0000012f: DUP2 00000130: AND 00000131: PUSH1 0x80 00000133: PUSH1 0x02 00000135: EXP 00000136: SWAP1 00000137: SWAP5 00000138: DIV 00000139: AND 0000013a: DUP10 0000013b: MUL 0000013c: SWAP3 0000013d: SWAP1 0000013e: SWAP3 0000013f: DIV 00000140: SWAP7 00000141: POP 00000142: SWAP5 00000143: POP 00000144: PUSH4 0x23b872dd 00000149: SWAP4 0000014a: PUSH1 0x64 0000014c: DUP5 0000014d: DUP2 0000014e: ADD 0000014f: SWAP5 00000150: SWAP2 00000151: SWAP4 00000152: SWAP3 00000153: SWAP2 00000154: DUP4 00000155: SWAP1 00000156: SUB 00000157: ADD 00000158: SWAP1 00000159: DUP3 0000015a: SWAP1 0000015b: DUP8 0000015c: PUSH2 0x61da 0000015f: GAS 00000160: SUB 00000161: CALL 00000162: ISZERO 00000163: PUSH2 0x0002 00000166: JUMPI 00000167: POP 00000168: POP 00000169: PUSH1 0x40 0000016b: MLOAD 0000016c: MLOAD 0000016d: ISZERO 0000016e: SWAP1 0000016f: POP 00000170: DUP1 00000171: PUSH2 0x0197 00000174: JUMPI 00000175: POP 00000176: PUSH1 0x40 00000178: MLOAD 00000179: CALLER 0000017a: PUSH1 0x01 0000017c: PUSH1 0xa0 0000017e: PUSH1 0x02 00000180: EXP 00000181: SUB 00000182: AND 00000183: SWAP1 00000184: PUSH1 0x00 00000186: SWAP1 00000187: DUP4 00000188: SWAP1 00000189: DUP3 0000018a: DUP2 0000018b: DUP2 0000018c: DUP2 0000018d: DUP6 0000018e: DUP9 0000018f: DUP4 00000190: CALL 00000191: SWAP4 00000192: POP 00000193: POP 00000194: POP 00000195: POP 00000196: ISZERO 00000197: JUMPDEST 00000198: ISZERO 00000199: PUSH2 0x0803 0000019c: JUMPI 0000019d: PUSH2 0x0002 000001a0: JUMP 000001a1: JUMPDEST 000001a2: PUSH2 0x003a 000001a5: PUSH1 0x40 000001a7: DUP1 000001a8: MLOAD 000001a9: DUP1 000001aa: DUP3 000001ab: ADD 000001ac: DUP3 000001ad: MSTORE 000001ae: PUSH11 0x068bbb2400cb0cda972a18 000001ba: DUP2 000001bb: MSTORE 000001bc: PUSH11 0x098bc1190773638eb38e72 000001c8: PUSH1 0x20 000001ca: DUP3 000001cb: DUP2 000001cc: ADD 000001cd: SWAP2 000001ce: DUP3 000001cf: MSTORE 000001d0: PUSH20 0x9c15b54878ba618f494b38f0ae7443db6af648ba 000001e5: PUSH1 0x00 000001e7: SWAP1 000001e8: DUP2 000001e9: MSTORE 000001ea: DUP1 000001eb: DUP3 000001ec: MSTORE 000001ed: PUSH32 0x7224d7fe78108c0fca0e26af1d606a4ea3171d23ccc3e490108c2fcc65820e31 0000020e: DUP1 0000020f: SLOAD 00000210: SWAP5 00000211: MLOAD 00000212: SWAP4 00000213: MLOAD 00000214: PUSH1 0x80 00000216: PUSH1 0x02 00000218: EXP 00000219: SWAP1 0000021a: DUP2 0000021b: MUL 0000021c: PUSH16 0xffffffffffffffffffffffffffffffff 0000022d: NOT 0000022e: SWAP7 0000022f: DUP8 00000230: AND 00000231: SWAP6 00000232: SWAP1 00000233: SWAP6 00000234: OR 00000235: PUSH16 0xffffffffffffffffffffffffffffffff 00000246: SWAP1 00000247: DUP2 00000248: AND 00000249: SWAP6 0000024a: SWAP1 0000024b: SWAP6 0000024c: OR 0000024d: SWAP1 0000024e: SWAP2 0000024f: SSTORE 00000250: DUP6 00000251: MLOAD 00000252: DUP1 00000253: DUP8 00000254: ADD 00000255: DUP8 00000256: MSTORE 00000257: PUSH11 0x068bbb24623d655b0a9071 00000263: DUP2 00000264: MSTORE 00000265: PUSH11 0x098bc119958f2d4db78e72 00000271: DUP2 00000272: DUP6 00000273: ADD 00000274: SWAP1 00000275: DUP2 00000276: MSTORE 00000277: PUSH20 0x21c7fdb9ed8d291d79ffd82eb2c4356ec0d81241 0000028c: DUP5 0000028d: MSTORE 0000028e: DUP4 0000028f: DUP6 00000290: MSTORE 00000291: SWAP1 00000292: MLOAD 00000293: PUSH32 0xea35b78b738bfc4dcd61b1c194752c561aead01604a5758ba67a9819221d9ef3 000002b4: DUP1 000002b5: SLOAD 000002b6: SWAP3 000002b7: MLOAD 000002b8: DUP5 000002b9: MUL 000002ba: SWAP3 000002bb: DUP9 000002bc: AND 000002bd: SWAP1 000002be: SWAP2 000002bf: OR 000002c0: DUP7 000002c1: AND 000002c2: SWAP2 000002c3: SWAP1 000002c4: SWAP2 000002c5: OR 000002c6: SWAP1 000002c7: SSTORE 000002c8: DUP6 000002c9: MLOAD 000002ca: DUP1 000002cb: DUP8 000002cc: ADD 000002cd: DUP8 000002ce: MSTORE 000002cf: PUSH11 0x06da81b861a5dedd826813 000002db: DUP2 000002dc: MSTORE 000002dd: PUSH11 0x0997e3c92fd289d708b82a 000002e9: DUP2 000002ea: DUP6 000002eb: ADD 000002ec: SWAP1 000002ed: DUP2 000002ee: MSTORE 000002ef: PUSH20 0x0737a6b837f97f46ebade41b9bc3e1c509c85c53 00000304: DUP5 00000305: MSTORE 00000306: DUP4 00000307: DUP6 00000308: MSTORE 00000309: SWAP1 0000030a: MLOAD 0000030b: PUSH32 0x603d2fe33c9eadce203f207da2464803ddae84bf136f52af5dc4b61d2b1e04fa 0000032c: DUP1 0000032d: SLOAD 0000032e: SWAP3 0000032f: MLOAD 00000330: DUP5 00000331: MUL 00000332: SWAP3 00000333: DUP9 00000334: AND 00000335: SWAP1 00000336: SWAP2 00000337: OR 00000338: DUP7 00000339: AND 0000033a: SWAP2 0000033b: SWAP1 0000033c: SWAP2 0000033d: OR 0000033e: SWAP1 0000033f: SSTORE 00000340: DUP6 00000341: MLOAD 00000342: DUP1 00000343: DUP8 00000344: ADD 00000345: DUP8 00000346: MSTORE 00000347: PUSH11 0x068f641113f9b7b2ec8015 00000353: DUP2 00000354: MSTORE 00000355: PUSH11 0x09908adee7a62085e2582a 00000361: DUP2 00000362: DUP6 00000363: ADD 00000364: SWAP1 00000365: DUP2 00000366: MSTORE 00000367: PUSH20 0x9da397b9e80755301a3b32173283a91c0ef6c87e 0000037c: DUP5 0000037d: MSTORE 0000037e: DUP4 0000037f: DUP6 00000380: MSTORE 00000381: SWAP1 00000382: MLOAD 00000383: PUSH32 0x1e2e5ae48ae07be41eb62ab5c959852342d492ad525ed1aea218344f5cfd87e0 000003a4: DUP1 000003a5: SLOAD 000003a6: SWAP3 000003a7: MLOAD 000003a8: DUP5 000003a9: MUL 000003aa: SWAP3 000003ab: DUP9 000003ac: AND 000003ad: SWAP1 000003ae: SWAP2 000003af: OR 000003b0: DUP7 000003b1: AND 000003b2: SWAP2 000003b3: SWAP1 000003b4: SWAP2 000003b5: OR 000003b6: SWAP1 000003b7: SSTORE 000003b8: DUP6 000003b9: MLOAD 000003ba: DUP1 000003bb: DUP8 000003bc: ADD 000003bd: DUP8 000003be: MSTORE 000003bf: PUSH11 0x068f0c3478cafafc91b7e2 000003cb: DUP2 000003cc: MSTORE 000003cd: PUSH11 0x09900ac4cfc4e0307c182a 000003d9: DUP2 000003da: DUP6 000003db: ADD 000003dc: SWAP1 000003dd: DUP2 000003de: MSTORE 000003df: PUSH20 0x1cba23d343a983e9b5cfd19496b9a9701ada385f 000003f4: DUP5 000003f5: MSTORE 000003f6: DUP4 000003f7: DUP6 000003f8: MSTORE 000003f9: SWAP1 000003fa: MLOAD 000003fb: PUSH32 0x374716464bfb4cc6be37d0b6ad94a098113df781e9d937fc87e2a98e49ca0bcc 0000041c: DUP1 0000041d: SLOAD 0000041e: SWAP3 0000041f: MLOAD 00000420: DUP5 00000421: MUL 00000422: SWAP3 00000423: DUP9 00000424: AND 00000425: SWAP1 00000426: SWAP2 00000427: OR 00000428: DUP7 00000429: AND 0000042a: SWAP2 0000042b: SWAP1 0000042c: SWAP2 0000042d: OR 0000042e: SWAP1 0000042f: SSTORE 00000430: DUP6 00000431: MLOAD 00000432: DUP1 00000433: DUP8 00000434: ADD 00000435: DUP8 00000436: MSTORE 00000437: PUSH11 0x085d7f1aeb7ee6c13a015c 00000443: DUP2 00000444: MSTORE 00000445: PUSH11 0x0998404b58764e4912fe29 00000451: DUP2 00000452: DUP6 00000453: ADD 00000454: SWAP1 00000455: DUP2 00000456: MSTORE 00000457: PUSH20 0x9fcd2deaff372a39cc679d5c5e4de7bafb0b1339 0000046c: DUP5 0000046d: MSTORE 0000046e: DUP4 0000046f: DUP6 00000470: MSTORE 00000471: SWAP1 00000472: MLOAD 00000473: PUSH32 0xc49e452614068e0264ee4fb4f3dc738e487201ab7977585a54ac7920b6998ef9 00000494: DUP1 00000495: SLOAD 00000496: SWAP3 00000497: MLOAD 00000498: DUP5 00000499: MUL 0000049a: SWAP3 0000049b: DUP9 0000049c: AND 0000049d: SWAP1 0000049e: SWAP2 0000049f: OR 000004a0: DUP7 000004a1: AND 000004a2: SWAP2 000004a3: SWAP1 000004a4: SWAP2 000004a5: OR 000004a6: SWAP1 000004a7: SSTORE 000004a8: DUP6 000004a9: MLOAD 000004aa: DUP1 000004ab: DUP8 000004ac: ADD 000004ad: DUP8 000004ae: MSTORE 000004af: PUSH11 0x068fc0df075638ddb31701 000004bb: DUP2 000004bc: MSTORE 000004bd: PUSH11 0x0991122ddcfdc094e2582a 000004c9: DUP2 000004ca: DUP6 000004cb: ADD 000004cc: SWAP1 000004cd: DUP2 000004ce: MSTORE 000004cf: PUSH20 0xbc07118b9ac290e4622f5e77a0853539789effbe 000004e4: DUP5 000004e5: MSTORE 000004e6: DUP4 000004e7: DUP6 000004e8: MSTORE 000004e9: SWAP1 000004ea: MLOAD 000004eb: PUSH32 0xeb3a9d6855f7f102c00af22f07b64e7df0aef862edc6fb7e8128f917e9afd3f5 0000050c: DUP1 0000050d: SLOAD 0000050e: SWAP3 0000050f: MLOAD 00000510: DUP5 00000511: MUL 00000512: SWAP3 00000513: DUP9 00000514: AND 00000515: SWAP1 00000516: SWAP2 00000517: OR 00000518: DUP7 00000519: AND 0000051a: SWAP2 0000051b: SWAP1 0000051c: SWAP2 0000051d: OR 0000051e: SWAP1 0000051f: SSTORE 00000520: DUP6 00000521: MLOAD 00000522: DUP1 00000523: DUP8 00000524: ADD 00000525: DUP8 00000526: MSTORE 00000527: PUSH11 0x068bbb0397b02ffa5bfc4e 00000533: DUP2 00000534: MSTORE 00000535: PUSH11 0x098bc0ea63e014b017db72 00000541: DUP2 00000542: DUP6 00000543: ADD 00000544: SWAP1 00000545: DUP2 00000546: MSTORE 00000547: PUSH20 0xacd87e28b0c9d1254e868b81cba4cc20d9a32225 0000055c: DUP5 0000055d: MSTORE 0000055e: DUP4 0000055f: DUP6 00000560: MSTORE 00000561: SWAP1 00000562: MLOAD 00000563: PUSH32 0x1564a5d866b6896d7b52444af230f28190db97e158b2c8e956f6ce8967b72fc3 00000584: DUP1 00000585: SLOAD 00000586: SWAP3 00000587: MLOAD 00000588: DUP5 00000589: MUL 0000058a: SWAP3 0000058b: DUP9 0000058c: AND 0000058d: SWAP1 0000058e: SWAP2 0000058f: OR 00000590: DUP7 00000591: AND 00000592: SWAP2 00000593: SWAP1 00000594: SWAP2 00000595: OR 00000596: SWAP1 00000597: SSTORE 00000598: DUP6 00000599: MLOAD 0000059a: DUP1 0000059b: DUP8 0000059c: ADD 0000059d: DUP8 0000059e: MSTORE 0000059f: PUSH11 0x068d37ad94796bb5f6085a 000005ab: DUP2 000005ac: MSTORE 000005ad: PUSH11 0x098de5e3ef11fc4e252472 000005b9: DUP2 000005ba: DUP6 000005bb: ADD 000005bc: SWAP1 000005bd: DUP2 000005be: MSTORE 000005bf: PUSH20 0x5524c55fb03cf21f549444ccbecb664d0acad706 000005d4: DUP5 000005d5: MSTORE 000005d6: DUP4 000005d7: DUP6 000005d8: MSTORE 000005d9: SWAP1 000005da: MLOAD 000005db: PUSH32 0xe2e28c8d62fdbe62bef7c3e65f6e72a35f58d2eca322cbf20bacdfb1ca9c5f2a 000005fc: DUP1 000005fd: SLOAD 000005fe: SWAP3 000005ff: MLOAD 00000600: DUP5 00000601: MUL 00000602: SWAP3 00000603: DUP9 00000604: AND 00000605: SWAP1 00000606: SWAP2 00000607: OR 00000608: DUP7 00000609: AND 0000060a: SWAP2 0000060b: SWAP1 0000060c: SWAP2 0000060d: OR 0000060e: SWAP1 0000060f: SSTORE 00000610: DUP6 00000611: MLOAD 00000612: DUP1 00000613: DUP8 00000614: ADD 00000615: DUP8 00000616: MSTORE 00000617: PUSH11 0x068bad50ad419456d9b665 00000623: DUP2 00000624: MSTORE 00000625: PUSH11 0x098bb02047e372c1fef572 00000631: DUP2 00000632: DUP6 00000633: ADD 00000634: SWAP1 00000635: DUP2 00000636: MSTORE 00000637: PUSH20 0x253488078a4edf4d6f42f113d1e62836a942cf1a 0000064c: DUP5 0000064d: MSTORE 0000064e: DUP4 0000064f: DUP6 00000650: MSTORE 00000651: SWAP1 00000652: MLOAD 00000653: PUSH32 0x7f358d89ebd0b3d970e445299ebf3342995368dd61ca0e6d0bb7dbceb6b3fe69 00000674: DUP1 00000675: SLOAD 00000676: SWAP3 00000677: MLOAD 00000678: DUP5 00000679: MUL 0000067a: SWAP3 0000067b: DUP9 0000067c: AND 0000067d: SWAP1 0000067e: SWAP2 0000067f: OR 00000680: DUP7 00000681: AND 00000682: SWAP2 00000683: SWAP1 00000684: SWAP2 00000685: OR 00000686: SWAP1 00000687: SSTORE 00000688: DUP6 00000689: MLOAD 0000068a: DUP1 0000068b: DUP8 0000068c: ADD 0000068d: SWAP1 0000068e: SWAP7 0000068f: MSTORE 00000690: PUSH11 0x068b9e00a44ff9f55dc286 0000069c: DUP7 0000069d: MSTORE 0000069e: PUSH11 0x098bae2e1fd0f71b5862bd 000006aa: DUP7 000006ab: DUP5 000006ac: ADD 000006ad: SWAP1 000006ae: DUP2 000006af: MSTORE 000006b0: PUSH20 0x6d87578288b6cb5549d5076a207456a1f6a63dc0 000006c5: DUP4 000006c6: MSTORE 000006c7: SWAP2 000006c8: SWAP1 000006c9: SWAP3 000006ca: MSTORE 000006cb: SWAP4 000006cc: MLOAD 000006cd: PUSH32 0xf9ee44d29a1d5782fc3fb4e277af3fe6423ec9fdddd21934ede2b332242307aa 000006ee: DUP1 000006ef: SLOAD 000006f0: SWAP6 000006f1: MLOAD 000006f2: SWAP1 000006f3: SWAP3 000006f4: MUL 000006f5: SWAP5 000006f6: SWAP1 000006f7: SWAP4 000006f8: AND 000006f9: SWAP1 000006fa: SWAP3 000006fb: OR 000006fc: AND 000006fd: SWAP2 000006fe: SWAP1 000006ff: SWAP2 00000700: OR 00000701: SWAP1 00000702: SSTORE 00000703: JUMP 00000704: JUMPDEST 00000705: PUSH2 0x07af 00000708: PUSH1 0x04 0000070a: CALLDATALOAD 0000070b: PUSH1 0x24 0000070d: CALLDATALOAD 0000070e: PUSH1 0x01 00000710: PUSH1 0xa0 00000712: PUSH1 0x02 00000714: EXP 00000715: SUB 00000716: DUP3 00000717: DUP2 00000718: AND 00000719: PUSH1 0x00 0000071b: DUP2 0000071c: DUP2 0000071d: MSTORE 0000071e: PUSH1 0x20 00000720: DUP2 00000721: DUP2 00000722: MSTORE 00000723: PUSH1 0x40 00000725: DUP1 00000726: DUP4 00000727: KECCAK256 00000728: SLOAD 00000729: DUP2 0000072a: MLOAD 0000072b: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000 0000074c: DUP2 0000074d: MSTORE 0000074e: SWAP6 0000074f: DUP8 00000750: AND 00000751: PUSH1 0x04 00000753: DUP8 00000754: ADD 00000755: MSTORE 00000756: SWAP1 00000757: MLOAD 00000758: SWAP3 00000759: SWAP5 0000075a: PUSH16 0xffffffffffffffffffffffffffffffff 0000076b: DUP1 0000076c: DUP4 0000076d: AND 0000076e: SWAP6 0000076f: PUSH1 0x80 00000771: PUSH1 0x02 00000773: EXP 00000774: SWAP1 00000775: SWAP4 00000776: DIV 00000777: AND 00000778: SWAP4 00000779: SWAP2 0000077a: SWAP3 0000077b: PUSH4 0x70a08231 00000780: SWAP3 00000781: PUSH1 0x24 00000783: DUP4 00000784: DUP2 00000785: ADD 00000786: SWAP4 00000787: DUP3 00000788: SWAP1 00000789: SUB 0000078a: ADD 0000078b: DUP2 0000078c: DUP10 0000078d: DUP8 0000078e: PUSH2 0x61da 00000791: GAS 00000792: SUB 00000793: CALL 00000794: ISZERO 00000795: PUSH2 0x0002 00000798: JUMPI 00000799: POP 0000079a: POP 0000079b: POP 0000079c: PUSH1 0x40 0000079e: MLOAD 0000079f: DUP1 000007a0: MLOAD 000007a1: SWAP1 000007a2: PUSH1 0x20 000007a4: ADD 000007a5: POP 000007a6: MUL 000007a7: DIV 000007a8: SWAP1 000007a9: POP 000007aa: SWAP3 000007ab: SWAP2 000007ac: POP 000007ad: POP 000007ae: JUMP 000007af: JUMPDEST 000007b0: PUSH1 0x40 000007b2: DUP1 000007b3: MLOAD 000007b4: SWAP2 000007b5: DUP3 000007b6: MSTORE 000007b7: MLOAD 000007b8: SWAP1 000007b9: DUP2 000007ba: SWAP1 000007bb: SUB 000007bc: PUSH1 0x20 000007be: ADD 000007bf: SWAP1 000007c0: RETURN 000007c1: JUMPDEST 000007c2: JUMP 000007c3: JUMPDEST 000007c4: PUSH1 0x40 000007c6: MLOAD 000007c7: PUSH20 0xda4a4626d3e16e094de3225a751aab7128e96526 000007dc: SWAP1 000007dd: PUSH1 0x00 000007df: SWAP1 000007e0: ADDRESS 000007e1: PUSH1 0x01 000007e3: PUSH1 0xa0 000007e5: PUSH1 0x02 000007e7: EXP 000007e8: SUB 000007e9: AND 000007ea: BALANCE 000007eb: SWAP1 000007ec: DUP3 000007ed: DUP2 000007ee: DUP2 000007ef: DUP2 000007f0: DUP6 000007f1: DUP9 000007f2: DUP4 000007f3: CALL 000007f4: SWAP4 000007f5: POP 000007f6: POP 000007f7: POP 000007f8: POP 000007f9: ISZERO 000007fa: ISZERO 000007fb: PUSH2 0x07c1 000007fe: JUMPI 000007ff: PUSH2 0x0002 00000802: JUMP 00000803: JUMPDEST 00000804: POP 00000805: POP 00000806: POP 00000807: 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: 0x973fa426497cb76b828876eef7ff11e159f4d0f9da1b63680795ec11089bacf7
call_targets:
0x3da71558a40f63b960196cc0679847ff50fad22b
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x973fa426497cb76b828876eef7ff11e159f4d0f9da1b63680795ec11089bacf7",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x3da71558a40f63b960196cc0679847ff50fad22b"
],
"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": "0x2526d960",
"selector": "0x2526d960",
"calldata_variants": [
"0x2526d960",
"0x2526d9600000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x51cff8d9",
"selector": "0x51cff8d9",
"calldata_variants": [
"0x51cff8d9",
"0x51cff8d90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x770c6cbb",
"selector": "0x770c6cbb",
"calldata_variants": [
"0x770c6cbb",
"0x770c6cbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa5de811f",
"selector": "0xa5de811f",
"calldata_variants": [
"0xa5de811f",
"0xa5de811f0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 182,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "constant",
"target_expression_category": "computed"
},
{
"pc": 353,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 400,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 5,
"guards_detected": [],
"untrusted_call_count": 5
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x973fa426497cb76b828876eef7ff11e159f4d0f9da1b63680795ec11089bacf7
call_targets:
0x3da71558a40f63b960196cc0679847ff50fad22b
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x973fa426497cb76b828876eef7ff11e159f4d0f9da1b63680795ec11089bacf7",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x3da71558a40f63b960196cc0679847ff50fad22b"
],
"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": "0x2526d960",
"selector": "0x2526d960",
"calldata_variants": [
"0x2526d960",
"0x2526d9600000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x51cff8d9",
"selector": "0x51cff8d9",
"calldata_variants": [
"0x51cff8d9",
"0x51cff8d90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x770c6cbb",
"selector": "0x770c6cbb",
"calldata_variants": [
"0x770c6cbb",
"0x770c6cbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa5de811f",
"selector": "0xa5de811f",
"calldata_variants": [
"0xa5de811f",
"0xa5de811f0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 182,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "constant",
"target_expression_category": "computed"
},
{
"pc": 353,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 400,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 5,
"guards_detected": []
}
|