019b3844-8c89-71e1-b059-4302dba4e49d
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 |
|---|---|---|---|---|
| 11983 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 11984 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 84384 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 84385 | capability.graph | complete | 1 / 3 | 1 week ago |
| 84386 | detector.run | complete | 1 / 3 | 1 week ago |
| 84387 | 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: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x00b9 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000030: PUSH1 0x00 00000032: CALLDATALOAD 00000033: DIV 00000034: AND 00000035: PUSH4 0x04b5802c 0000003a: DUP2 0000003b: EQ 0000003c: PUSH2 0x00be 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x23e3fbd5 00000046: EQ 00000047: PUSH2 0x00d3 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x2e1a7d4d 00000051: EQ 00000052: PUSH2 0x0104 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x43d726d6 0000005c: EQ 0000005d: PUSH2 0x011a 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x521eb273 00000067: EQ 00000068: PUSH2 0x012d 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x8c52dc41 00000072: EQ 00000073: PUSH2 0x015c 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x8da5cb5b 0000007d: EQ 0000007e: PUSH2 0x016f 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0xc19d93fb 00000088: EQ 00000089: PUSH2 0x0182 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0xe63b297d 00000093: EQ 00000094: PUSH2 0x01b9 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0xf2fde38b 0000009e: EQ 0000009f: PUSH2 0x01d8 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0xf340fa01 000000a9: EQ 000000aa: PUSH2 0x01f7 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0xfa89401a 000000b4: EQ 000000b5: PUSH2 0x020b 000000b8: JUMPI 000000b9: JUMPDEST 000000ba: PUSH1 0x00 000000bc: DUP1 000000bd: REVERT 000000be: JUMPDEST 000000bf: CALLVALUE 000000c0: ISZERO 000000c1: PUSH2 0x00c9 000000c4: JUMPI 000000c5: PUSH1 0x00 000000c7: DUP1 000000c8: REVERT 000000c9: JUMPDEST 000000ca: PUSH2 0x00d1 000000cd: PUSH2 0x022a 000000d0: JUMP 000000d1: JUMPDEST 000000d2: STOP 000000d3: JUMPDEST 000000d4: CALLVALUE 000000d5: ISZERO 000000d6: PUSH2 0x00de 000000d9: JUMPI 000000da: PUSH1 0x00 000000dc: DUP1 000000dd: REVERT 000000de: JUMPDEST 000000df: PUSH2 0x00f2 000000e2: PUSH1 0x01 000000e4: PUSH1 0xa0 000000e6: PUSH1 0x02 000000e8: EXP 000000e9: SUB 000000ea: PUSH1 0x04 000000ec: CALLDATALOAD 000000ed: AND 000000ee: PUSH2 0x02bb 000000f1: JUMP 000000f2: JUMPDEST 000000f3: PUSH1 0x40 000000f5: MLOAD 000000f6: SWAP1 000000f7: DUP2 000000f8: MSTORE 000000f9: PUSH1 0x20 000000fb: ADD 000000fc: PUSH1 0x40 000000fe: MLOAD 000000ff: DUP1 00000100: SWAP2 00000101: SUB 00000102: SWAP1 00000103: RETURN 00000104: JUMPDEST 00000105: CALLVALUE 00000106: ISZERO 00000107: PUSH2 0x010f 0000010a: JUMPI 0000010b: PUSH1 0x00 0000010d: DUP1 0000010e: REVERT 0000010f: JUMPDEST 00000110: PUSH2 0x00d1 00000113: PUSH1 0x04 00000115: CALLDATALOAD 00000116: PUSH2 0x02d6 00000119: JUMP 0000011a: JUMPDEST 0000011b: CALLVALUE 0000011c: ISZERO 0000011d: PUSH2 0x0125 00000120: JUMPI 00000121: PUSH1 0x00 00000123: DUP1 00000124: REVERT 00000125: JUMPDEST 00000126: PUSH2 0x00d1 00000129: PUSH2 0x0395 0000012c: JUMP 0000012d: JUMPDEST 0000012e: CALLVALUE 0000012f: ISZERO 00000130: PUSH2 0x0138 00000133: JUMPI 00000134: PUSH1 0x00 00000136: DUP1 00000137: REVERT 00000138: JUMPDEST 00000139: PUSH2 0x0140 0000013c: PUSH2 0x046f 0000013f: JUMP 00000140: JUMPDEST 00000141: PUSH1 0x40 00000143: MLOAD 00000144: PUSH1 0x01 00000146: PUSH1 0xa0 00000148: PUSH1 0x02 0000014a: EXP 0000014b: SUB 0000014c: SWAP1 0000014d: SWAP2 0000014e: AND 0000014f: DUP2 00000150: MSTORE 00000151: PUSH1 0x20 00000153: ADD 00000154: PUSH1 0x40 00000156: MLOAD 00000157: DUP1 00000158: SWAP2 00000159: SUB 0000015a: SWAP1 0000015b: RETURN 0000015c: JUMPDEST 0000015d: CALLVALUE 0000015e: ISZERO 0000015f: PUSH2 0x0167 00000162: JUMPI 00000163: PUSH1 0x00 00000165: DUP1 00000166: REVERT 00000167: JUMPDEST 00000168: PUSH2 0x00d1 0000016b: PUSH2 0x047e 0000016e: JUMP 0000016f: JUMPDEST 00000170: CALLVALUE 00000171: ISZERO 00000172: PUSH2 0x017a 00000175: JUMPI 00000176: PUSH1 0x00 00000178: DUP1 00000179: REVERT 0000017a: JUMPDEST 0000017b: PUSH2 0x0140 0000017e: PUSH2 0x0520 00000181: JUMP 00000182: JUMPDEST 00000183: CALLVALUE 00000184: ISZERO 00000185: PUSH2 0x018d 00000188: JUMPI 00000189: PUSH1 0x00 0000018b: DUP1 0000018c: REVERT 0000018d: JUMPDEST 0000018e: PUSH2 0x0195 00000191: PUSH2 0x052f 00000194: JUMP 00000195: JUMPDEST 00000196: PUSH1 0x40 00000198: MLOAD 00000199: DUP1 0000019a: DUP3 0000019b: PUSH1 0x03 0000019d: DUP2 0000019e: GT 0000019f: ISZERO 000001a0: PUSH2 0x01a5 000001a3: JUMPI 000001a4: INVALID 000001a5: JUMPDEST 000001a6: PUSH1 0xff 000001a8: AND 000001a9: DUP2 000001aa: MSTORE 000001ab: PUSH1 0x20 000001ad: ADD 000001ae: SWAP2 000001af: POP 000001b0: POP 000001b1: PUSH1 0x40 000001b3: MLOAD 000001b4: DUP1 000001b5: SWAP2 000001b6: SUB 000001b7: SWAP1 000001b8: RETURN 000001b9: JUMPDEST 000001ba: CALLVALUE 000001bb: ISZERO 000001bc: PUSH2 0x01c4 000001bf: JUMPI 000001c0: PUSH1 0x00 000001c2: DUP1 000001c3: REVERT 000001c4: JUMPDEST 000001c5: PUSH2 0x00f2 000001c8: PUSH1 0x01 000001ca: PUSH1 0xa0 000001cc: PUSH1 0x02 000001ce: EXP 000001cf: SUB 000001d0: PUSH1 0x04 000001d2: CALLDATALOAD 000001d3: AND 000001d4: PUSH2 0x053f 000001d7: JUMP 000001d8: JUMPDEST 000001d9: CALLVALUE 000001da: ISZERO 000001db: PUSH2 0x01e3 000001de: JUMPI 000001df: PUSH1 0x00 000001e1: DUP1 000001e2: REVERT 000001e3: JUMPDEST 000001e4: PUSH2 0x00d1 000001e7: PUSH1 0x01 000001e9: PUSH1 0xa0 000001eb: PUSH1 0x02 000001ed: EXP 000001ee: SUB 000001ef: PUSH1 0x04 000001f1: CALLDATALOAD 000001f2: AND 000001f3: PUSH2 0x0551 000001f6: JUMP 000001f7: JUMPDEST 000001f8: PUSH2 0x00d1 000001fb: PUSH1 0x01 000001fd: PUSH1 0xa0 000001ff: PUSH1 0x02 00000201: EXP 00000202: SUB 00000203: PUSH1 0x04 00000205: CALLDATALOAD 00000206: AND 00000207: PUSH2 0x05ec 0000020a: JUMP 0000020b: JUMPDEST 0000020c: CALLVALUE 0000020d: ISZERO 0000020e: PUSH2 0x0216 00000211: JUMPI 00000212: PUSH1 0x00 00000214: DUP1 00000215: REVERT 00000216: JUMPDEST 00000217: PUSH2 0x00d1 0000021a: PUSH1 0x01 0000021c: PUSH1 0xa0 0000021e: PUSH1 0x02 00000220: EXP 00000221: SUB 00000222: PUSH1 0x04 00000224: CALLDATALOAD 00000225: AND 00000226: PUSH2 0x06a8 00000229: JUMP 0000022a: JUMPDEST 0000022b: PUSH1 0x00 0000022d: SLOAD 0000022e: CALLER 0000022f: PUSH1 0x01 00000231: PUSH1 0xa0 00000233: PUSH1 0x02 00000235: EXP 00000236: SUB 00000237: SWAP1 00000238: DUP2 00000239: AND 0000023a: SWAP2 0000023b: AND 0000023c: EQ 0000023d: PUSH2 0x0245 00000240: JUMPI 00000241: PUSH1 0x00 00000243: DUP1 00000244: REVERT 00000245: JUMPDEST 00000246: PUSH1 0x00 00000248: PUSH1 0x02 0000024a: SLOAD 0000024b: PUSH1 0xa0 0000024d: PUSH1 0x02 0000024f: EXP 00000250: SWAP1 00000251: DIV 00000252: PUSH1 0xff 00000254: AND 00000255: PUSH1 0x03 00000257: DUP2 00000258: GT 00000259: ISZERO 0000025a: PUSH2 0x025f 0000025d: JUMPI 0000025e: INVALID 0000025f: JUMPDEST 00000260: EQ 00000261: PUSH2 0x0269 00000264: JUMPI 00000265: PUSH1 0x00 00000267: DUP1 00000268: REVERT 00000269: JUMPDEST 0000026a: PUSH1 0x02 0000026c: DUP1 0000026d: SLOAD 0000026e: PUSH21 0xff0000000000000000000000000000000000000000 00000284: NOT 00000285: AND 00000286: PUSH1 0xa0 00000288: PUSH1 0x02 0000028a: EXP 0000028b: OR 0000028c: SWAP1 0000028d: SSTORE 0000028e: PUSH32 0x1c0b311fb23e509198d3f069f85c72b08139f11dad18ebbc1a9d4d2791072d12 000002af: PUSH1 0x40 000002b1: MLOAD 000002b2: PUSH1 0x40 000002b4: MLOAD 000002b5: DUP1 000002b6: SWAP2 000002b7: SUB 000002b8: SWAP1 000002b9: LOG1 000002ba: JUMP 000002bb: JUMPDEST 000002bc: PUSH1 0x01 000002be: PUSH1 0xa0 000002c0: PUSH1 0x02 000002c2: EXP 000002c3: SUB 000002c4: AND 000002c5: PUSH1 0x00 000002c7: SWAP1 000002c8: DUP2 000002c9: MSTORE 000002ca: PUSH1 0x01 000002cc: PUSH1 0x20 000002ce: MSTORE 000002cf: PUSH1 0x40 000002d1: SWAP1 000002d2: KECCAK256 000002d3: SLOAD 000002d4: SWAP1 000002d5: JUMP 000002d6: JUMPDEST 000002d7: PUSH1 0x00 000002d9: SLOAD 000002da: CALLER 000002db: PUSH1 0x01 000002dd: PUSH1 0xa0 000002df: PUSH1 0x02 000002e1: EXP 000002e2: SUB 000002e3: SWAP1 000002e4: DUP2 000002e5: AND 000002e6: SWAP2 000002e7: AND 000002e8: EQ 000002e9: PUSH2 0x02f1 000002ec: JUMPI 000002ed: PUSH1 0x00 000002ef: DUP1 000002f0: REVERT 000002f1: JUMPDEST 000002f2: PUSH1 0x01 000002f4: PUSH1 0x02 000002f6: SLOAD 000002f7: PUSH1 0xa0 000002f9: PUSH1 0x02 000002fb: EXP 000002fc: SWAP1 000002fd: DIV 000002fe: PUSH1 0xff 00000300: AND 00000301: PUSH1 0x03 00000303: DUP2 00000304: GT 00000305: ISZERO 00000306: PUSH2 0x030b 00000309: JUMPI 0000030a: INVALID 0000030b: JUMPDEST 0000030c: EQ 0000030d: PUSH2 0x0315 00000310: JUMPI 00000311: PUSH1 0x00 00000313: DUP1 00000314: REVERT 00000315: JUMPDEST 00000316: PUSH1 0x01 00000318: PUSH1 0xa0 0000031a: PUSH1 0x02 0000031c: EXP 0000031d: SUB 0000031e: ADDRESS 0000031f: AND 00000320: BALANCE 00000321: DUP2 00000322: GT 00000323: ISZERO 00000324: PUSH2 0x032c 00000327: JUMPI 00000328: PUSH1 0x00 0000032a: DUP1 0000032b: REVERT 0000032c: JUMPDEST 0000032d: PUSH1 0x02 0000032f: SLOAD 00000330: PUSH1 0x01 00000332: PUSH1 0xa0 00000334: PUSH1 0x02 00000336: EXP 00000337: SUB 00000338: AND 00000339: DUP2 0000033a: ISZERO 0000033b: PUSH2 0x08fc 0000033e: MUL 0000033f: DUP3 00000340: PUSH1 0x40 00000342: MLOAD 00000343: PUSH1 0x00 00000345: PUSH1 0x40 00000347: MLOAD 00000348: DUP1 00000349: DUP4 0000034a: SUB 0000034b: DUP2 0000034c: DUP6 0000034d: DUP9 0000034e: DUP9 0000034f: CALL 00000350: SWAP4 00000351: POP 00000352: POP 00000353: POP 00000354: POP 00000355: ISZERO 00000356: ISZERO 00000357: PUSH2 0x035f 0000035a: JUMPI 0000035b: PUSH1 0x00 0000035d: DUP1 0000035e: REVERT 0000035f: JUMPDEST 00000360: PUSH32 0x11e9d9f7a772129e26cb0560945658c96b41c42ac6712d233e20c894bfcd00fd 00000381: DUP2 00000382: PUSH1 0x40 00000384: MLOAD 00000385: SWAP1 00000386: DUP2 00000387: MSTORE 00000388: PUSH1 0x20 0000038a: ADD 0000038b: PUSH1 0x40 0000038d: MLOAD 0000038e: DUP1 0000038f: SWAP2 00000390: SUB 00000391: SWAP1 00000392: LOG1 00000393: POP 00000394: JUMP 00000395: JUMPDEST 00000396: PUSH1 0x00 00000398: SLOAD 00000399: CALLER 0000039a: PUSH1 0x01 0000039c: PUSH1 0xa0 0000039e: PUSH1 0x02 000003a0: EXP 000003a1: SUB 000003a2: SWAP1 000003a3: DUP2 000003a4: AND 000003a5: SWAP2 000003a6: AND 000003a7: EQ 000003a8: PUSH2 0x03b0 000003ab: JUMPI 000003ac: PUSH1 0x00 000003ae: DUP1 000003af: REVERT 000003b0: JUMPDEST 000003b1: PUSH1 0x02 000003b3: DUP1 000003b4: SLOAD 000003b5: PUSH1 0xa0 000003b7: PUSH1 0x02 000003b9: EXP 000003ba: SWAP1 000003bb: DIV 000003bc: PUSH1 0xff 000003be: AND 000003bf: PUSH1 0x03 000003c1: DUP2 000003c2: GT 000003c3: ISZERO 000003c4: PUSH2 0x03c9 000003c7: JUMPI 000003c8: INVALID 000003c9: JUMPDEST 000003ca: LT 000003cb: PUSH2 0x03d3 000003ce: JUMPI 000003cf: PUSH1 0x00 000003d1: DUP1 000003d2: REVERT 000003d3: JUMPDEST 000003d4: PUSH1 0x02 000003d6: DUP1 000003d7: SLOAD 000003d8: PUSH21 0xff0000000000000000000000000000000000000000 000003ee: NOT 000003ef: AND 000003f0: PUSH21 0x030000000000000000000000000000000000000000 00000406: OR 00000407: SWAP1 00000408: SSTORE 00000409: PUSH32 0x1cdde67b72a90f19919ac732a437ac2f7a10fc128d28c2a6e525d89ce5cd9d3a 0000042a: PUSH1 0x40 0000042c: MLOAD 0000042d: PUSH1 0x40 0000042f: MLOAD 00000430: DUP1 00000431: SWAP2 00000432: SUB 00000433: SWAP1 00000434: LOG1 00000435: PUSH1 0x02 00000437: SLOAD 00000438: PUSH1 0x01 0000043a: PUSH1 0xa0 0000043c: PUSH1 0x02 0000043e: EXP 0000043f: SUB 00000440: SWAP1 00000441: DUP2 00000442: AND 00000443: SWAP1 00000444: ADDRESS 00000445: AND 00000446: BALANCE 00000447: DUP1 00000448: ISZERO 00000449: PUSH2 0x08fc 0000044c: MUL 0000044d: SWAP1 0000044e: PUSH1 0x40 00000450: MLOAD 00000451: PUSH1 0x00 00000453: PUSH1 0x40 00000455: MLOAD 00000456: DUP1 00000457: DUP4 00000458: SUB 00000459: DUP2 0000045a: DUP6 0000045b: DUP9 0000045c: DUP9 0000045d: CALL 0000045e: SWAP4 0000045f: POP 00000460: POP 00000461: POP 00000462: POP 00000463: ISZERO 00000464: ISZERO 00000465: PUSH2 0x046d 00000468: JUMPI 00000469: PUSH1 0x00 0000046b: DUP1 0000046c: REVERT 0000046d: JUMPDEST 0000046e: JUMP 0000046f: JUMPDEST 00000470: PUSH1 0x02 00000472: SLOAD 00000473: PUSH1 0x01 00000475: PUSH1 0xa0 00000477: PUSH1 0x02 00000479: EXP 0000047a: SUB 0000047b: AND 0000047c: DUP2 0000047d: JUMP 0000047e: JUMPDEST 0000047f: PUSH1 0x00 00000481: SLOAD 00000482: CALLER 00000483: PUSH1 0x01 00000485: PUSH1 0xa0 00000487: PUSH1 0x02 00000489: EXP 0000048a: SUB 0000048b: SWAP1 0000048c: DUP2 0000048d: AND 0000048e: SWAP2 0000048f: AND 00000490: EQ 00000491: PUSH2 0x0499 00000494: JUMPI 00000495: PUSH1 0x00 00000497: DUP1 00000498: REVERT 00000499: JUMPDEST 0000049a: PUSH1 0x00 0000049c: PUSH1 0x02 0000049e: SLOAD 0000049f: PUSH1 0xa0 000004a1: PUSH1 0x02 000004a3: EXP 000004a4: SWAP1 000004a5: DIV 000004a6: PUSH1 0xff 000004a8: AND 000004a9: PUSH1 0x03 000004ab: DUP2 000004ac: GT 000004ad: ISZERO 000004ae: PUSH2 0x04b3 000004b1: JUMPI 000004b2: INVALID 000004b3: JUMPDEST 000004b4: EQ 000004b5: PUSH2 0x04bd 000004b8: JUMPI 000004b9: PUSH1 0x00 000004bb: DUP1 000004bc: REVERT 000004bd: JUMPDEST 000004be: PUSH1 0x02 000004c0: DUP1 000004c1: SLOAD 000004c2: PUSH21 0xff0000000000000000000000000000000000000000 000004d8: NOT 000004d9: AND 000004da: PUSH21 0x020000000000000000000000000000000000000000 000004f0: OR 000004f1: SWAP1 000004f2: SSTORE 000004f3: PUSH32 0x599d8e5a83cffb867d051598c4d70e805d59802d8081c1c7d6dffc5b6aca2b89 00000514: PUSH1 0x40 00000516: MLOAD 00000517: PUSH1 0x40 00000519: MLOAD 0000051a: DUP1 0000051b: SWAP2 0000051c: SUB 0000051d: SWAP1 0000051e: LOG1 0000051f: JUMP 00000520: JUMPDEST 00000521: PUSH1 0x00 00000523: SLOAD 00000524: PUSH1 0x01 00000526: PUSH1 0xa0 00000528: PUSH1 0x02 0000052a: EXP 0000052b: SUB 0000052c: AND 0000052d: DUP2 0000052e: JUMP 0000052f: JUMPDEST 00000530: PUSH1 0x02 00000532: SLOAD 00000533: PUSH1 0xa0 00000535: PUSH1 0x02 00000537: EXP 00000538: SWAP1 00000539: DIV 0000053a: PUSH1 0xff 0000053c: AND 0000053d: DUP2 0000053e: JUMP 0000053f: JUMPDEST 00000540: PUSH1 0x01 00000542: PUSH1 0x20 00000544: MSTORE 00000545: PUSH1 0x00 00000547: SWAP1 00000548: DUP2 00000549: MSTORE 0000054a: PUSH1 0x40 0000054c: SWAP1 0000054d: KECCAK256 0000054e: SLOAD 0000054f: DUP2 00000550: JUMP 00000551: JUMPDEST 00000552: PUSH1 0x00 00000554: SLOAD 00000555: CALLER 00000556: PUSH1 0x01 00000558: PUSH1 0xa0 0000055a: PUSH1 0x02 0000055c: EXP 0000055d: SUB 0000055e: SWAP1 0000055f: DUP2 00000560: AND 00000561: SWAP2 00000562: AND 00000563: EQ 00000564: PUSH2 0x056c 00000567: JUMPI 00000568: PUSH1 0x00 0000056a: DUP1 0000056b: REVERT 0000056c: JUMPDEST 0000056d: PUSH1 0x01 0000056f: PUSH1 0xa0 00000571: PUSH1 0x02 00000573: EXP 00000574: SUB 00000575: DUP2 00000576: AND 00000577: ISZERO 00000578: ISZERO 00000579: PUSH2 0x0581 0000057c: JUMPI 0000057d: PUSH1 0x00 0000057f: DUP1 00000580: REVERT 00000581: JUMPDEST 00000582: PUSH1 0x00 00000584: SLOAD 00000585: PUSH1 0x01 00000587: PUSH1 0xa0 00000589: PUSH1 0x02 0000058b: EXP 0000058c: SUB 0000058d: DUP1 0000058e: DUP4 0000058f: AND 00000590: SWAP2 00000591: AND 00000592: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 000005b3: PUSH1 0x40 000005b5: MLOAD 000005b6: PUSH1 0x40 000005b8: MLOAD 000005b9: DUP1 000005ba: SWAP2 000005bb: SUB 000005bc: SWAP1 000005bd: LOG3 000005be: PUSH1 0x00 000005c0: DUP1 000005c1: SLOAD 000005c2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005d7: NOT 000005d8: AND 000005d9: PUSH1 0x01 000005db: PUSH1 0xa0 000005dd: PUSH1 0x02 000005df: EXP 000005e0: SUB 000005e1: SWAP3 000005e2: SWAP1 000005e3: SWAP3 000005e4: AND 000005e5: SWAP2 000005e6: SWAP1 000005e7: SWAP2 000005e8: OR 000005e9: SWAP1 000005ea: SSTORE 000005eb: JUMP 000005ec: JUMPDEST 000005ed: PUSH1 0x00 000005ef: SLOAD 000005f0: CALLER 000005f1: PUSH1 0x01 000005f3: PUSH1 0xa0 000005f5: PUSH1 0x02 000005f7: EXP 000005f8: SUB 000005f9: SWAP1 000005fa: DUP2 000005fb: AND 000005fc: SWAP2 000005fd: AND 000005fe: EQ 000005ff: PUSH2 0x0607 00000602: JUMPI 00000603: PUSH1 0x00 00000605: DUP1 00000606: REVERT 00000607: JUMPDEST 00000608: PUSH1 0x02 0000060a: DUP1 0000060b: SLOAD 0000060c: PUSH1 0xa0 0000060e: PUSH1 0x02 00000610: EXP 00000611: SWAP1 00000612: DIV 00000613: PUSH1 0xff 00000615: AND 00000616: PUSH1 0x03 00000618: DUP2 00000619: GT 0000061a: ISZERO 0000061b: PUSH2 0x0620 0000061e: JUMPI 0000061f: INVALID 00000620: JUMPDEST 00000621: LT 00000622: PUSH2 0x062a 00000625: JUMPI 00000626: PUSH1 0x00 00000628: DUP1 00000629: REVERT 0000062a: JUMPDEST 0000062b: PUSH1 0x01 0000062d: PUSH1 0xa0 0000062f: PUSH1 0x02 00000631: EXP 00000632: SUB 00000633: DUP2 00000634: AND 00000635: PUSH1 0x00 00000637: SWAP1 00000638: DUP2 00000639: MSTORE 0000063a: PUSH1 0x01 0000063c: PUSH1 0x20 0000063e: MSTORE 0000063f: PUSH1 0x40 00000641: SWAP1 00000642: KECCAK256 00000643: SLOAD 00000644: PUSH2 0x0653 00000647: SWAP1 00000648: CALLVALUE 00000649: PUSH4 0xffffffff 0000064e: PUSH2 0x077b 00000651: AND 00000652: JUMP 00000653: JUMPDEST 00000654: PUSH1 0x01 00000656: PUSH1 0xa0 00000658: PUSH1 0x02 0000065a: EXP 0000065b: SUB 0000065c: DUP3 0000065d: AND 0000065e: PUSH1 0x00 00000660: DUP2 00000661: DUP2 00000662: MSTORE 00000663: PUSH1 0x01 00000665: PUSH1 0x20 00000667: MSTORE 00000668: PUSH1 0x40 0000066a: SWAP1 0000066b: DUP2 0000066c: SWAP1 0000066d: KECCAK256 0000066e: SWAP3 0000066f: SWAP1 00000670: SWAP3 00000671: SSTORE 00000672: SWAP1 00000673: PUSH32 0x2da466a7b24304f47e87fa2e1e5a81b9831ce54fec19055ce277ca2f39ba42c4 00000694: SWAP1 00000695: CALLVALUE 00000696: SWAP1 00000697: MLOAD 00000698: SWAP1 00000699: DUP2 0000069a: MSTORE 0000069b: PUSH1 0x20 0000069d: ADD 0000069e: PUSH1 0x40 000006a0: MLOAD 000006a1: DUP1 000006a2: SWAP2 000006a3: SUB 000006a4: SWAP1 000006a5: LOG2 000006a6: POP 000006a7: JUMP 000006a8: JUMPDEST 000006a9: PUSH1 0x00 000006ab: PUSH1 0x02 000006ad: DUP1 000006ae: SLOAD 000006af: PUSH1 0xa0 000006b1: PUSH1 0x02 000006b3: EXP 000006b4: SWAP1 000006b5: DIV 000006b6: PUSH1 0xff 000006b8: AND 000006b9: PUSH1 0x03 000006bb: DUP2 000006bc: GT 000006bd: ISZERO 000006be: PUSH2 0x06c3 000006c1: JUMPI 000006c2: INVALID 000006c3: JUMPDEST 000006c4: EQ 000006c5: PUSH2 0x06cd 000006c8: JUMPI 000006c9: PUSH1 0x00 000006cb: DUP1 000006cc: REVERT 000006cd: JUMPDEST 000006ce: PUSH1 0x01 000006d0: PUSH1 0xa0 000006d2: PUSH1 0x02 000006d4: EXP 000006d5: SUB 000006d6: DUP3 000006d7: AND 000006d8: PUSH1 0x00 000006da: SWAP1 000006db: DUP2 000006dc: MSTORE 000006dd: PUSH1 0x01 000006df: PUSH1 0x20 000006e1: MSTORE 000006e2: PUSH1 0x40 000006e4: DUP2 000006e5: KECCAK256 000006e6: SLOAD 000006e7: SWAP1 000006e8: LT 000006e9: PUSH2 0x06f1 000006ec: JUMPI 000006ed: PUSH1 0x00 000006ef: DUP1 000006f0: REVERT 000006f1: JUMPDEST 000006f2: POP 000006f3: PUSH1 0x01 000006f5: PUSH1 0xa0 000006f7: PUSH1 0x02 000006f9: EXP 000006fa: SUB 000006fb: DUP2 000006fc: AND 000006fd: PUSH1 0x00 000006ff: DUP2 00000700: DUP2 00000701: MSTORE 00000702: PUSH1 0x01 00000704: PUSH1 0x20 00000706: MSTORE 00000707: PUSH1 0x40 00000709: DUP1 0000070a: DUP3 0000070b: KECCAK256 0000070c: DUP1 0000070d: SLOAD 0000070e: SWAP3 0000070f: SWAP1 00000710: SSTORE 00000711: SWAP1 00000712: SWAP2 00000713: SWAP1 00000714: DUP3 00000715: ISZERO 00000716: PUSH2 0x08fc 00000719: MUL 0000071a: SWAP1 0000071b: DUP4 0000071c: SWAP1 0000071d: MLOAD 0000071e: PUSH1 0x00 00000720: PUSH1 0x40 00000722: MLOAD 00000723: DUP1 00000724: DUP4 00000725: SUB 00000726: DUP2 00000727: DUP6 00000728: DUP9 00000729: DUP9 0000072a: CALL 0000072b: SWAP4 0000072c: POP 0000072d: POP 0000072e: POP 0000072f: POP 00000730: ISZERO 00000731: ISZERO 00000732: PUSH2 0x073a 00000735: JUMPI 00000736: PUSH1 0x00 00000738: DUP1 00000739: REVERT 0000073a: JUMPDEST 0000073b: DUP2 0000073c: PUSH1 0x01 0000073e: PUSH1 0xa0 00000740: PUSH1 0x02 00000742: EXP 00000743: SUB 00000744: AND 00000745: PUSH32 0xd7dee2702d63ad89917b6a4da9981c90c4d24f8c2bdfd64c604ecae57d8d0651 00000766: DUP3 00000767: PUSH1 0x40 00000769: MLOAD 0000076a: SWAP1 0000076b: DUP2 0000076c: MSTORE 0000076d: PUSH1 0x20 0000076f: ADD 00000770: PUSH1 0x40 00000772: MLOAD 00000773: DUP1 00000774: SWAP2 00000775: SUB 00000776: SWAP1 00000777: LOG2 00000778: POP 00000779: POP 0000077a: JUMP 0000077b: JUMPDEST 0000077c: PUSH1 0x00 0000077e: DUP3 0000077f: DUP3 00000780: ADD 00000781: DUP4 00000782: DUP2 00000783: LT 00000784: ISZERO 00000785: PUSH2 0x078a 00000788: JUMPI 00000789: INVALID 0000078a: JUMPDEST 0000078b: SWAP4 0000078c: SWAP3 0000078d: POP 0000078e: POP 0000078f: POP 00000790: JUMP 00000791: STOP 00000792: LOG1 00000793: PUSH6 0x627a7a723058 0000079a: KECCAK256 0000079b: UNKNOWN(0xC1) 0000079c: UNKNOWN(0xE4) 0000079d: UNKNOWN(0x2F) 0000079e: EXTCODEHASH 0000079f: UNKNOWN(0xB7) 000007a0: UNKNOWN(0xB6) 000007a1: PUSH20 0x9289cb02f1f2a3934a45cab1cee9c81d72a0851e 000007b6: UNKNOWN(0xF6) 000007b7: PUSH10
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: 0xc5454359ab62c10498bc12038ea1556366273f354866c2128f67aff0360248fc
call_targets:
0x6ee4bc4cbc09346e718fad1933f9ca32543ddc93
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xc5454359ab62c10498bc12038ea1556366273f354866c2128f67aff0360248fc",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x6ee4bc4cbc09346e718fad1933f9ca32543ddc93"
],
"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": "0x04b5802c",
"selector": "0x04b5802c",
"calldata_variants": [
"0x04b5802c",
"0x04b5802c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23e3fbd5",
"selector": "0x23e3fbd5",
"calldata_variants": [
"0x23e3fbd5",
"0x23e3fbd50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2e1a7d4d",
"selector": "0x2e1a7d4d",
"calldata_variants": [
"0x2e1a7d4d",
"0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x43d726d6",
"selector": "0x43d726d6",
"calldata_variants": [
"0x43d726d6",
"0x43d726d60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x521eb273",
"selector": "0x521eb273",
"calldata_variants": [
"0x521eb273",
"0x521eb2730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8c52dc41",
"selector": "0x8c52dc41",
"calldata_variants": [
"0x8c52dc41",
"0x8c52dc410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc19d93fb",
"selector": "0xc19d93fb",
"calldata_variants": [
"0xc19d93fb",
"0xc19d93fb0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 847,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1117,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1834,
"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: 0xc5454359ab62c10498bc12038ea1556366273f354866c2128f67aff0360248fc
call_targets:
0x6ee4bc4cbc09346e718fad1933f9ca32543ddc93
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xc5454359ab62c10498bc12038ea1556366273f354866c2128f67aff0360248fc",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x6ee4bc4cbc09346e718fad1933f9ca32543ddc93"
],
"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": "0x04b5802c",
"selector": "0x04b5802c",
"calldata_variants": [
"0x04b5802c",
"0x04b5802c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23e3fbd5",
"selector": "0x23e3fbd5",
"calldata_variants": [
"0x23e3fbd5",
"0x23e3fbd50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2e1a7d4d",
"selector": "0x2e1a7d4d",
"calldata_variants": [
"0x2e1a7d4d",
"0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x43d726d6",
"selector": "0x43d726d6",
"calldata_variants": [
"0x43d726d6",
"0x43d726d60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x521eb273",
"selector": "0x521eb273",
"calldata_variants": [
"0x521eb273",
"0x521eb2730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8c52dc41",
"selector": "0x8c52dc41",
"calldata_variants": [
"0x8c52dc41",
"0x8c52dc410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc19d93fb",
"selector": "0xc19d93fb",
"calldata_variants": [
"0xc19d93fb",
"0xc19d93fb0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 847,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1117,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1834,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": []
}
|