019b3836-46dd-73b8-8288-336f9a27665d
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 |
|---|---|---|---|---|
| 6215 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 6216 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 81147 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 81148 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 81149 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 81150 | 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 0x63bd1d4a 00000013: DUP2 00000014: EQ 00000015: PUSH2 0x0026 00000018: JUMPI 00000019: DUP1 0000001a: PUSH4 0xd7bb99ba 0000001f: EQ 00000020: PUSH2 0x006c 00000023: JUMPI 00000024: JUMPDEST 00000025: STOP 00000026: JUMPDEST 00000027: PUSH2 0x00cd 0000002a: PUSH1 0x00 0000002c: PUSH1 0x00 0000002e: CALLER 0000002f: PUSH1 0x01 00000031: PUSH1 0xa0 00000033: PUSH1 0x02 00000035: EXP 00000036: SUB 00000037: AND 00000038: PUSH20 0xb894388f6cf2e8c3c30c124d267f5ea9ba31ae22 0000004d: EQ 0000004e: ISZERO 0000004f: DUP1 00000050: ISZERO 00000051: PUSH2 0x005e 00000054: JUMPI 00000055: POP 00000056: PUSH1 0x01 00000058: SLOAD 00000059: PUSH1 0x78 0000005b: ADD 0000005c: TIMESTAMP 0000005d: GT 0000005e: JUMPDEST 0000005f: ISZERO 00000060: PUSH2 0x010d 00000063: JUMPI 00000064: PUSH1 0x00 00000066: SWAP2 00000067: POP 00000068: PUSH2 0x052f 0000006b: JUMP 0000006c: JUMPDEST 0000006d: PUSH2 0x0024 00000070: PUSH1 0x00 00000072: DUP1 00000073: JUMPDEST 00000074: PUSH1 0x03 00000076: DUP2 00000077: LT 00000078: ISZERO 00000079: PUSH2 0x00df 0000007c: JUMPI 0000007d: PUSH1 0x00 0000007f: DUP2 00000080: DUP2 00000081: MSTORE 00000082: PUSH1 0x20 00000084: DUP2 00000085: SWAP1 00000086: MSTORE 00000087: PUSH1 0x40 00000089: SWAP1 0000008a: KECCAK256 0000008b: SLOAD 0000008c: PUSH1 0x01 0000008e: PUSH1 0xa0 00000090: PUSH1 0x02 00000092: EXP 00000093: SUB 00000094: SWAP1 00000095: DUP2 00000096: AND 00000097: CALLER 00000098: SWAP1 00000099: SWAP2 0000009a: AND 0000009b: EQ 0000009c: ISZERO 0000009d: PUSH2 0x00c5 000000a0: JUMPI 000000a1: PUSH1 0x40 000000a3: PUSH1 0x00 000000a5: SWAP1 000000a6: DUP2 000000a7: KECCAK256 000000a8: SWAP1 000000a9: DUP3 000000aa: SWAP1 000000ab: MSTORE 000000ac: PUSH1 0x01 000000ae: DUP2 000000af: DUP2 000000b0: ADD 000000b1: DUP1 000000b2: SLOAD 000000b3: CALLVALUE 000000b4: ADD 000000b5: SWAP1 000000b6: SSTORE 000000b7: PUSH1 0x02 000000b9: SWAP2 000000ba: SWAP1 000000bb: SWAP2 000000bc: ADD 000000bd: DUP1 000000be: SLOAD 000000bf: DUP3 000000c0: ADD 000000c1: SWAP1 000000c2: SSTORE 000000c3: SWAP2 000000c4: POP 000000c5: JUMPDEST 000000c6: PUSH1 0x01 000000c8: ADD 000000c9: PUSH2 0x0073 000000cc: JUMP 000000cd: JUMPDEST 000000ce: PUSH1 0x40 000000d0: DUP1 000000d1: MLOAD 000000d2: SWAP2 000000d3: DUP3 000000d4: MSTORE 000000d5: MLOAD 000000d6: SWAP1 000000d7: DUP2 000000d8: SWAP1 000000d9: SUB 000000da: PUSH1 0x20 000000dc: ADD 000000dd: SWAP1 000000de: RETURN 000000df: JUMPDEST 000000e0: DUP2 000000e1: PUSH1 0x00 000000e3: EQ 000000e4: ISZERO 000000e5: PUSH2 0x0109 000000e8: JUMPI 000000e9: PUSH1 0x40 000000eb: MLOAD 000000ec: PUSH1 0x01 000000ee: PUSH1 0xa0 000000f0: PUSH1 0x02 000000f2: EXP 000000f3: SUB 000000f4: CALLER 000000f5: AND 000000f6: SWAP1 000000f7: PUSH1 0x00 000000f9: SWAP1 000000fa: CALLVALUE 000000fb: SWAP1 000000fc: DUP3 000000fd: DUP2 000000fe: DUP2 000000ff: DUP2 00000100: DUP6 00000101: DUP9 00000102: DUP4 00000103: CALL 00000104: POP 00000105: POP 00000106: POP 00000107: POP 00000108: POP 00000109: JUMPDEST 0000010a: POP 0000010b: POP 0000010c: JUMP 0000010d: JUMPDEST 0000010e: POP 0000010f: PUSH1 0x00 00000111: PUSH1 0x20 00000113: DUP2 00000114: SWAP1 00000115: MSTORE 00000116: PUSH32 0xada5013122d395ba3c54772283fb069b10426056ef8ca54750cb9bb552a59e7f 00000137: SLOAD 00000138: DUP2 00000139: DUP1 0000013a: MSTORE 0000013b: PUSH32 0xad3228b676f7d3cd4284a5443f17f1962b36e491b30a40b2405849e597ba5fb7 0000015c: SLOAD 0000015d: LT 0000015e: ISZERO 0000015f: PUSH2 0x0167 00000162: JUMPI 00000163: PUSH2 0x016b 00000166: JUMP 00000167: JUMPDEST 00000168: POP 00000169: PUSH1 0x01 0000016b: JUMPDEST 0000016c: PUSH1 0x00 0000016e: DUP2 0000016f: DUP2 00000170: MSTORE 00000171: PUSH1 0x20 00000173: DUP2 00000174: SWAP1 00000175: MSTORE 00000176: PUSH1 0x40 00000178: DUP2 00000179: KECCAK256 0000017a: PUSH1 0x02 0000017c: SWAP1 0000017d: DUP2 0000017e: ADD 0000017f: SLOAD 00000180: SWAP2 00000181: MSTORE 00000182: PUSH32 0xabbb5caa7dda850e60932de0934eb1f9d0f59695050f761dc64e443e5030a56b 000001a3: SLOAD 000001a4: LT 000001a5: ISZERO 000001a6: PUSH2 0x01ad 000001a9: JUMPI 000001aa: POP 000001ab: PUSH1 0x02 000001ad: JUMPDEST 000001ae: PUSH1 0x00 000001b0: DUP2 000001b1: DUP2 000001b2: MSTORE 000001b3: PUSH1 0x20 000001b5: DUP2 000001b6: SWAP1 000001b7: MSTORE 000001b8: PUSH1 0x40 000001ba: DUP1 000001bb: DUP3 000001bc: KECCAK256 000001bd: SLOAD 000001be: SWAP1 000001bf: MLOAD 000001c0: PUSH1 0x01 000001c2: PUSH1 0xa0 000001c4: PUSH1 0x02 000001c6: EXP 000001c7: SUB 000001c8: SWAP2 000001c9: DUP3 000001ca: AND 000001cb: SWAP3 000001cc: SWAP2 000001cd: ADDRESS 000001ce: AND 000001cf: BALANCE 000001d0: SWAP1 000001d1: DUP3 000001d2: DUP2 000001d3: DUP2 000001d4: DUP2 000001d5: DUP6 000001d6: DUP9 000001d7: DUP4 000001d8: CALL 000001d9: POP 000001da: PUSH1 0x80 000001dc: DUP2 000001dd: ADD 000001de: PUSH1 0x40 000001e0: SWAP1 000001e1: DUP2 000001e2: MSTORE 000001e3: PUSH20 0xb894388f6cf2e8c3c30c124d267f5ea9ba31ae22 000001f8: DUP3 000001f9: MSTORE 000001fa: PUSH1 0x20 000001fc: DUP3 000001fd: DUP2 000001fe: ADD 000001ff: DUP6 00000200: DUP2 00000201: MSTORE 00000202: DUP4 00000203: DUP4 00000204: ADD 00000205: DUP7 00000206: DUP2 00000207: MSTORE 00000208: DUP4 00000209: MLOAD 0000020a: DUP1 0000020b: DUP6 0000020c: ADD 0000020d: SWAP1 0000020e: SWAP5 0000020f: MSTORE 00000210: PUSH1 0x03 00000212: DUP5 00000213: MSTORE 00000214: PUSH32 0x546f6d0000000000000000000000000000000000000000000000000000000000 00000235: DUP5 00000236: DUP5 00000237: ADD 00000238: MSTORE 00000239: PUSH1 0x60 0000023b: DUP6 0000023c: ADD 0000023d: SWAP4 0000023e: DUP5 0000023f: MSTORE 00000240: DUP7 00000241: DUP1 00000242: MSTORE 00000243: DUP7 00000244: DUP4 00000245: MSTORE 00000246: DUP5 00000247: MLOAD 00000248: PUSH32 0xad3228b676f7d3cd4284a5443f17f1962b36e491b30a40b2405849e597ba5fb5 00000269: DUP1 0000026a: SLOAD 0000026b: PUSH1 0x01 0000026d: PUSH1 0xa0 0000026f: PUSH1 0x02 00000271: EXP 00000272: SUB 00000273: NOT 00000274: AND 00000275: SWAP1 00000276: SWAP2 00000277: OR 00000278: DUP2 00000279: SSTORE 0000027a: SWAP2 0000027b: MLOAD 0000027c: PUSH32 0xad3228b676f7d3cd4284a5443f17f1962b36e491b30a40b2405849e597ba5fb6 0000029d: SSTORE 0000029e: MLOAD 0000029f: PUSH32 0xad3228b676f7d3cd4284a5443f17f1962b36e491b30a40b2405849e597ba5fb7 000002c0: SSTORE 000002c1: SWAP2 000002c2: MLOAD 000002c3: DUP1 000002c4: MLOAD 000002c5: PUSH32 0xad3228b676f7d3cd4284a5443f17f1962b36e491b30a40b2405849e597ba5fb8 000002e6: DUP1 000002e7: SLOAD 000002e8: SWAP8 000002e9: DUP2 000002ea: SWAP1 000002eb: MSTORE 000002ec: SWAP5 000002ed: SWAP8 000002ee: POP 000002ef: SWAP3 000002f0: SWAP6 000002f1: SWAP4 000002f2: SWAP5 000002f3: POP 000002f4: PUSH1 0x02 000002f6: PUSH1 0x01 000002f8: DUP6 000002f9: AND 000002fa: ISZERO 000002fb: PUSH2 0x0100 000002fe: MUL 000002ff: PUSH1 0x00 00000301: NOT 00000302: ADD 00000303: SWAP1 00000304: SWAP5 00000305: AND 00000306: SWAP4 00000307: SWAP1 00000308: SWAP4 00000309: DIV 0000030a: PUSH1 0x1f 0000030c: SWAP1 0000030d: DUP2 0000030e: ADD 0000030f: DUP3 00000310: SWAP1 00000311: DIV 00000312: PUSH32 0x8a107e2e11f1633ec3dc0663cba36f78e8d26ee24f582d8099ef95ff9b04e630 00000333: SWAP1 00000334: DUP2 00000335: ADD 00000336: SWAP5 00000337: SWAP1 00000338: SWAP3 00000339: ADD 0000033a: SWAP1 0000033b: DUP4 0000033c: SWAP1 0000033d: LT 0000033e: PUSH2 0x036a 00000341: JUMPI 00000342: DUP1 00000343: MLOAD 00000344: PUSH1 0xff 00000346: NOT 00000347: AND 00000348: DUP4 00000349: DUP1 0000034a: ADD 0000034b: OR 0000034c: DUP6 0000034d: SSTORE 0000034e: JUMPDEST 0000034f: POP 00000350: PUSH2 0x039a 00000353: SWAP3 00000354: SWAP2 00000355: POP 00000356: JUMPDEST 00000357: DUP1 00000358: DUP3 00000359: GT 0000035a: ISZERO 0000035b: PUSH2 0x052f 0000035e: JUMPI 0000035f: PUSH1 0x00 00000361: DUP2 00000362: SSTORE 00000363: PUSH1 0x01 00000365: ADD 00000366: PUSH2 0x0356 00000369: JUMP 0000036a: JUMPDEST 0000036b: DUP3 0000036c: DUP1 0000036d: ADD 0000036e: PUSH1 0x01 00000370: ADD 00000371: DUP6 00000372: SSTORE 00000373: DUP3 00000374: ISZERO 00000375: PUSH2 0x034e 00000378: JUMPI 00000379: SWAP2 0000037a: DUP3 0000037b: ADD 0000037c: JUMPDEST 0000037d: DUP3 0000037e: DUP2 0000037f: GT 00000380: ISZERO 00000381: PUSH2 0x034e 00000384: JUMPI 00000385: DUP3 00000386: MLOAD 00000387: DUP3 00000388: PUSH1 0x00 0000038a: POP 0000038b: SSTORE 0000038c: SWAP2 0000038d: PUSH1 0x20 0000038f: ADD 00000390: SWAP2 00000391: SWAP1 00000392: PUSH1 0x01 00000394: ADD 00000395: SWAP1 00000396: PUSH2 0x037c 00000399: JUMP 0000039a: JUMPDEST 0000039b: POP 0000039c: POP 0000039d: PUSH1 0x40 0000039f: DUP1 000003a0: MLOAD 000003a1: PUSH1 0x80 000003a3: DUP2 000003a4: ADD 000003a5: DUP3 000003a6: MSTORE 000003a7: PUSH20 0x80f7cba22a899261abac5c91df3163cd146373f5 000003bc: DUP2 000003bd: MSTORE 000003be: PUSH1 0x00 000003c0: PUSH1 0x20 000003c2: DUP3 000003c3: DUP2 000003c4: ADD 000003c5: DUP3 000003c6: DUP2 000003c7: MSTORE 000003c8: DUP4 000003c9: DUP6 000003ca: ADD 000003cb: DUP4 000003cc: DUP2 000003cd: MSTORE 000003ce: DUP6 000003cf: MLOAD 000003d0: DUP1 000003d1: DUP8 000003d2: ADD 000003d3: SWAP1 000003d4: SWAP7 000003d5: MSTORE 000003d6: PUSH1 0x04 000003d8: DUP7 000003d9: MSTORE 000003da: PUSH32 0x4164616d00000000000000000000000000000000000000000000000000000000 000003fb: DUP7 000003fc: DUP5 000003fd: ADD 000003fe: MSTORE 000003ff: PUSH1 0x60 00000401: DUP6 00000402: ADD 00000403: SWAP6 00000404: DUP7 00000405: MSTORE 00000406: PUSH1 0x01 00000408: DUP1 00000409: DUP6 0000040a: MSTORE 0000040b: DUP5 0000040c: DUP5 0000040d: MSTORE 0000040e: DUP6 0000040f: MLOAD 00000410: PUSH32 0xada5013122d395ba3c54772283fb069b10426056ef8ca54750cb9bb552a59e7d 00000431: DUP1 00000432: SLOAD 00000433: PUSH1 0x01 00000435: PUSH1 0xa0 00000437: PUSH1 0x02 00000439: EXP 0000043a: SUB 0000043b: NOT 0000043c: AND 0000043d: SWAP1 0000043e: SWAP2 0000043f: OR 00000440: DUP2 00000441: SSTORE 00000442: SWAP3 00000443: MLOAD 00000444: PUSH32 0xada5013122d395ba3c54772283fb069b10426056ef8ca54750cb9bb552a59e7e 00000465: SSTORE 00000466: SWAP1 00000467: MLOAD 00000468: PUSH32 0xada5013122d395ba3c54772283fb069b10426056ef8ca54750cb9bb552a59e7f 00000489: SSTORE 0000048a: SWAP5 0000048b: MLOAD 0000048c: DUP1 0000048d: MLOAD 0000048e: PUSH32 0xada5013122d395ba3c54772283fb069b10426056ef8ca54750cb9bb552a59e80 000004af: DUP1 000004b0: SLOAD 000004b1: SWAP6 000004b2: DUP2 000004b3: SWAP1 000004b4: MSTORE 000004b5: SWAP6 000004b6: SWAP9 000004b7: POP 000004b8: SWAP2 000004b9: SWAP7 000004ba: POP 000004bb: SWAP4 000004bc: SWAP5 000004bd: PUSH1 0x02 000004bf: SWAP1 000004c0: DUP5 000004c1: AND 000004c2: ISZERO 000004c3: PUSH2 0x0100 000004c6: MUL 000004c7: PUSH1 0x00 000004c9: NOT 000004ca: ADD 000004cb: SWAP1 000004cc: SWAP4 000004cd: AND 000004ce: SWAP3 000004cf: SWAP1 000004d0: SWAP3 000004d1: DIV 000004d2: PUSH1 0x1f 000004d4: SWAP1 000004d5: DUP2 000004d6: ADD 000004d7: DUP3 000004d8: SWAP1 000004d9: DIV 000004da: PUSH32 0x3277c5fa589c2c33ce4d948d03a9b7392f26013fb9b1d96d5e3c31ce2ae5339a 000004fb: SWAP1 000004fc: DUP2 000004fd: ADD 000004fe: SWAP5 000004ff: SWAP1 00000500: SWAP3 00000501: ADD 00000502: SWAP1 00000503: DUP4 00000504: SWAP1 00000505: LT 00000506: PUSH2 0x0533 00000509: JUMPI 0000050a: DUP1 0000050b: MLOAD 0000050c: PUSH1 0xff 0000050e: NOT 0000050f: AND 00000510: DUP4 00000511: DUP1 00000512: ADD 00000513: OR 00000514: DUP6 00000515: SSTORE 00000516: JUMPDEST 00000517: POP 00000518: PUSH2 0x0563 0000051b: SWAP3 0000051c: SWAP2 0000051d: POP 0000051e: PUSH2 0x0356 00000521: JUMP 00000522: JUMPDEST 00000523: POP 00000524: POP 00000525: TIMESTAMP 00000526: PUSH1 0x01 00000528: SWAP1 00000529: DUP2 0000052a: SSTORE 0000052b: SWAP4 0000052c: POP 0000052d: POP 0000052e: POP 0000052f: JUMPDEST 00000530: POP 00000531: SWAP1 00000532: JUMP 00000533: JUMPDEST 00000534: DUP3 00000535: DUP1 00000536: ADD 00000537: PUSH1 0x01 00000539: ADD 0000053a: DUP6 0000053b: SSTORE 0000053c: DUP3 0000053d: ISZERO 0000053e: PUSH2 0x0516 00000541: JUMPI 00000542: SWAP2 00000543: DUP3 00000544: ADD 00000545: JUMPDEST 00000546: DUP3 00000547: DUP2 00000548: GT 00000549: ISZERO 0000054a: PUSH2 0x0516 0000054d: JUMPI 0000054e: DUP3 0000054f: MLOAD 00000550: DUP3 00000551: PUSH1 0x00 00000553: POP 00000554: SSTORE 00000555: SWAP2 00000556: PUSH1 0x20 00000558: ADD 00000559: SWAP2 0000055a: SWAP1 0000055b: PUSH1 0x01 0000055d: ADD 0000055e: SWAP1 0000055f: PUSH2 0x0545 00000562: JUMP 00000563: JUMPDEST 00000564: POP 00000565: POP 00000566: PUSH1 0x40 00000568: DUP1 00000569: MLOAD 0000056a: PUSH1 0x80 0000056c: DUP2 0000056d: ADD 0000056e: DUP3 0000056f: MSTORE 00000570: PUSH20 0x8d85385d36c289471de481275ec8b8f658b9b4b2 00000585: DUP2 00000586: MSTORE 00000587: PUSH1 0x00 00000589: PUSH1 0x20 0000058b: DUP3 0000058c: DUP2 0000058d: ADD 0000058e: DUP3 0000058f: DUP2 00000590: MSTORE 00000591: DUP4 00000592: DUP6 00000593: ADD 00000594: DUP4 00000595: DUP2 00000596: MSTORE 00000597: DUP6 00000598: MLOAD 00000599: DUP1 0000059a: DUP8 0000059b: ADD 0000059c: SWAP1 0000059d: SWAP7 0000059e: MSTORE 0000059f: PUSH1 0x05 000005a1: DUP7 000005a2: MSTORE 000005a3: PUSH32 0x4a616d6573000000000000000000000000000000000000000000000000000000 000005c4: DUP7 000005c5: DUP5 000005c6: ADD 000005c7: MSTORE 000005c8: PUSH1 0x60 000005ca: DUP6 000005cb: ADD 000005cc: SWAP6 000005cd: DUP7 000005ce: MSTORE 000005cf: PUSH1 0x02 000005d1: DUP1 000005d2: DUP6 000005d3: MSTORE 000005d4: DUP5 000005d5: DUP5 000005d6: MSTORE 000005d7: DUP6 000005d8: MLOAD 000005d9: PUSH32 0xabbb5caa7dda850e60932de0934eb1f9d0f59695050f761dc64e443e5030a569 000005fa: DUP1 000005fb: SLOAD 000005fc: PUSH1 0x01 000005fe: PUSH1 0xa0 00000600: PUSH1 0x02 00000602: EXP 00000603: SUB 00000604: NOT 00000605: AND 00000606: SWAP1 00000607: SWAP2 00000608: OR 00000609: DUP2 0000060a: SSTORE 0000060b: SWAP3 0000060c: MLOAD 0000060d: PUSH32 0xabbb5caa7dda850e60932de0934eb1f9d0f59695050f761dc64e443e5030a56a 0000062e: SSTORE 0000062f: SWAP1 00000630: MLOAD 00000631: PUSH32 0xabbb5caa7dda850e60932de0934eb1f9d0f59695050f761dc64e443e5030a56b 00000652: SSTORE 00000653: SWAP5 00000654: MLOAD 00000655: DUP1 00000656: MLOAD 00000657: PUSH32 0xabbb5caa7dda850e60932de0934eb1f9d0f59695050f761dc64e443e5030a56c 00000678: DUP1 00000679: SLOAD 0000067a: SWAP6 0000067b: DUP2 0000067c: SWAP1 0000067d: MSTORE 0000067e: SWAP6 0000067f: SWAP9 00000680: POP 00000681: SWAP2 00000682: SWAP7 00000683: POP 00000684: SWAP4 00000685: SWAP5 00000686: PUSH1 0x01 00000688: DUP5 00000689: AND 0000068a: ISZERO 0000068b: PUSH2 0x0100 0000068e: MUL 0000068f: PUSH1 0x00 00000691: NOT 00000692: ADD 00000693: SWAP1 00000694: SWAP4 00000695: AND 00000696: SWAP3 00000697: SWAP1 00000698: SWAP3 00000699: DIV 0000069a: PUSH1 0x1f 0000069c: SWAP1 0000069d: DUP2 0000069e: ADD 0000069f: DUP3 000006a0: SWAP1 000006a1: DIV 000006a2: PUSH32 0x91f5642d1caf1a9cfc0a4fb7ad4f5097c9a1aefbcf8c0296f841d70b3a3244cf 000006c3: SWAP1 000006c4: DUP2 000006c5: ADD 000006c6: SWAP5 000006c7: SWAP1 000006c8: SWAP3 000006c9: ADD 000006ca: SWAP1 000006cb: DUP4 000006cc: SWAP1 000006cd: LT 000006ce: PUSH2 0x06ea 000006d1: JUMPI 000006d2: DUP1 000006d3: MLOAD 000006d4: PUSH1 0xff 000006d6: NOT 000006d7: AND 000006d8: DUP4 000006d9: DUP1 000006da: ADD 000006db: OR 000006dc: DUP6 000006dd: SSTORE 000006de: JUMPDEST 000006df: POP 000006e0: PUSH2 0x0522 000006e3: SWAP3 000006e4: SWAP2 000006e5: POP 000006e6: PUSH2 0x0356 000006e9: JUMP 000006ea: JUMPDEST 000006eb: DUP3 000006ec: DUP1 000006ed: ADD 000006ee: PUSH1 0x01 000006f0: ADD 000006f1: DUP6 000006f2: SSTORE 000006f3: DUP3 000006f4: ISZERO 000006f5: PUSH2 0x06de 000006f8: JUMPI 000006f9: SWAP2 000006fa: DUP3 000006fb: ADD 000006fc: JUMPDEST 000006fd: DUP3 000006fe: DUP2 000006ff: GT 00000700: ISZERO 00000701: PUSH2 0x06de 00000704: JUMPI 00000705: DUP3 00000706: MLOAD 00000707: DUP3 00000708: PUSH1 0x00 0000070a: POP 0000070b: SSTORE 0000070c: SWAP2 0000070d: PUSH1 0x20 0000070f: ADD 00000710: SWAP2 00000711: SWAP1 00000712: PUSH1 0x01 00000714: ADD 00000715: SWAP1 00000716: PUSH2 0x06fc 00000719: 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: 0x13da7585fba6e075deba2b142ac333243f31c9f0559004b56f707c39120d36cd
call_targets:
0xad8dbc0074f26bd513a566813bdfe8684358f7ab
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x13da7585fba6e075deba2b142ac333243f31c9f0559004b56f707c39120d36cd",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xad8dbc0074f26bd513a566813bdfe8684358f7ab"
],
"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": "0x63bd1d4a",
"selector": "0x63bd1d4a",
"calldata_variants": [
"0x63bd1d4a",
"0x63bd1d4a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd7bb99ba",
"selector": "0xd7bb99ba",
"calldata_variants": [
"0xd7bb99ba",
"0xd7bb99ba0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 259,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 472,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [],
"untrusted_call_count": 2
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x13da7585fba6e075deba2b142ac333243f31c9f0559004b56f707c39120d36cd
call_targets:
0xad8dbc0074f26bd513a566813bdfe8684358f7ab
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x13da7585fba6e075deba2b142ac333243f31c9f0559004b56f707c39120d36cd",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xad8dbc0074f26bd513a566813bdfe8684358f7ab"
],
"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": "0x63bd1d4a",
"selector": "0x63bd1d4a",
"calldata_variants": [
"0x63bd1d4a",
"0x63bd1d4a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd7bb99ba",
"selector": "0xd7bb99ba",
"calldata_variants": [
"0xd7bb99ba",
"0xd7bb99ba0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 259,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 472,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|