019b3844-a32b-73a7-836d-c8ebae515304
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 |
|---|---|---|---|---|
| 15771 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 15772 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 85832 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 85833 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 85834 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 85835 | 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 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x0083 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002e: SWAP1 0000002f: DIV 00000030: PUSH4 0xffffffff 00000035: AND 00000036: DUP1 00000037: PUSH4 0x025313a2 0000003c: EQ 0000003d: PUSH2 0x012f 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0x54fd4d50 00000047: EQ 00000048: PUSH2 0x0184 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0x5a8b1a9f 00000052: EQ 00000053: PUSH2 0x0212 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0x5c60da1b 0000005d: EQ 0000005e: PUSH2 0x028e 00000061: JUMPI 00000062: DUP1 00000063: PUSH4 0x6fde8202 00000068: EQ 00000069: PUSH2 0x02e3 0000006c: JUMPI 0000006d: DUP1 0000006e: PUSH4 0x958a41dd 00000073: EQ 00000074: PUSH2 0x0338 00000077: JUMPI 00000078: DUP1 00000079: PUSH4 0xf1739cae 0000007e: EQ 0000007f: PUSH2 0x03ec 00000082: JUMPI 00000083: JUMPDEST 00000084: PUSH1 0x00 00000086: PUSH2 0x008d 00000089: PUSH2 0x093b 0000008c: JUMP 0000008d: JUMPDEST 0000008e: PUSH2 0x0095 00000091: PUSH2 0x0425 00000094: JUMP 00000095: JUMPDEST 00000096: SWAP2 00000097: POP 00000098: PUSH1 0x00 0000009a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000af: AND 000000b0: DUP3 000000b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000c6: AND 000000c7: EQ 000000c8: ISZERO 000000c9: ISZERO 000000ca: ISZERO 000000cb: PUSH2 0x00d3 000000ce: JUMPI 000000cf: PUSH1 0x00 000000d1: DUP1 000000d2: REVERT 000000d3: JUMPDEST 000000d4: PUSH1 0x00 000000d6: CALLDATASIZE 000000d7: DUP1 000000d8: DUP1 000000d9: PUSH1 0x1f 000000db: ADD 000000dc: PUSH1 0x20 000000de: DUP1 000000df: SWAP2 000000e0: DIV 000000e1: MUL 000000e2: PUSH1 0x20 000000e4: ADD 000000e5: PUSH1 0x40 000000e7: MLOAD 000000e8: SWAP1 000000e9: DUP2 000000ea: ADD 000000eb: PUSH1 0x40 000000ed: MSTORE 000000ee: DUP1 000000ef: SWAP4 000000f0: SWAP3 000000f1: SWAP2 000000f2: SWAP1 000000f3: DUP2 000000f4: DUP2 000000f5: MSTORE 000000f6: PUSH1 0x20 000000f8: ADD 000000f9: DUP4 000000fa: DUP4 000000fb: DUP1 000000fc: DUP3 000000fd: DUP5 000000fe: CALLDATACOPY 000000ff: DUP3 00000100: ADD 00000101: SWAP2 00000102: POP 00000103: POP 00000104: POP 00000105: POP 00000106: POP 00000107: POP 00000108: SWAP1 00000109: POP 0000010a: PUSH1 0x00 0000010c: DUP1 0000010d: DUP3 0000010e: MLOAD 0000010f: PUSH1 0x20 00000111: DUP5 00000112: ADD 00000113: DUP6 00000114: GAS 00000115: DELEGATECALL 00000116: RETURNDATASIZE 00000117: PUSH1 0x40 00000119: MLOAD 0000011a: DUP2 0000011b: PUSH1 0x00 0000011d: DUP3 0000011e: RETURNDATACOPY 0000011f: DUP3 00000120: PUSH1 0x00 00000122: DUP2 00000123: EQ 00000124: PUSH2 0x012b 00000127: JUMPI 00000128: DUP3 00000129: DUP3 0000012a: RETURN 0000012b: JUMPDEST 0000012c: DUP3 0000012d: DUP3 0000012e: REVERT 0000012f: JUMPDEST 00000130: CALLVALUE 00000131: ISZERO 00000132: PUSH2 0x013a 00000135: JUMPI 00000136: PUSH1 0x00 00000138: DUP1 00000139: REVERT 0000013a: JUMPDEST 0000013b: PUSH2 0x0142 0000013e: PUSH2 0x044f 00000141: JUMP 00000142: JUMPDEST 00000143: PUSH1 0x40 00000145: MLOAD 00000146: DUP1 00000147: DUP3 00000148: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000015d: AND 0000015e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000173: AND 00000174: DUP2 00000175: MSTORE 00000176: PUSH1 0x20 00000178: ADD 00000179: SWAP2 0000017a: POP 0000017b: POP 0000017c: PUSH1 0x40 0000017e: MLOAD 0000017f: DUP1 00000180: SWAP2 00000181: SUB 00000182: SWAP1 00000183: RETURN 00000184: JUMPDEST 00000185: CALLVALUE 00000186: ISZERO 00000187: PUSH2 0x018f 0000018a: JUMPI 0000018b: PUSH1 0x00 0000018d: DUP1 0000018e: REVERT 0000018f: JUMPDEST 00000190: PUSH2 0x0197 00000193: PUSH2 0x045e 00000196: JUMP 00000197: JUMPDEST 00000198: PUSH1 0x40 0000019a: MLOAD 0000019b: DUP1 0000019c: DUP1 0000019d: PUSH1 0x20 0000019f: ADD 000001a0: DUP3 000001a1: DUP2 000001a2: SUB 000001a3: DUP3 000001a4: MSTORE 000001a5: DUP4 000001a6: DUP2 000001a7: DUP2 000001a8: MLOAD 000001a9: DUP2 000001aa: MSTORE 000001ab: PUSH1 0x20 000001ad: ADD 000001ae: SWAP2 000001af: POP 000001b0: DUP1 000001b1: MLOAD 000001b2: SWAP1 000001b3: PUSH1 0x20 000001b5: ADD 000001b6: SWAP1 000001b7: DUP1 000001b8: DUP4 000001b9: DUP4 000001ba: PUSH1 0x00 000001bc: JUMPDEST 000001bd: DUP4 000001be: DUP2 000001bf: LT 000001c0: ISZERO 000001c1: PUSH2 0x01d7 000001c4: JUMPI 000001c5: DUP1 000001c6: DUP3 000001c7: ADD 000001c8: MLOAD 000001c9: DUP2 000001ca: DUP5 000001cb: ADD 000001cc: MSTORE 000001cd: PUSH1 0x20 000001cf: DUP2 000001d0: ADD 000001d1: SWAP1 000001d2: POP 000001d3: PUSH2 0x01bc 000001d6: JUMP 000001d7: JUMPDEST 000001d8: POP 000001d9: POP 000001da: POP 000001db: POP 000001dc: SWAP1 000001dd: POP 000001de: SWAP1 000001df: DUP2 000001e0: ADD 000001e1: SWAP1 000001e2: PUSH1 0x1f 000001e4: AND 000001e5: DUP1 000001e6: ISZERO 000001e7: PUSH2 0x0204 000001ea: JUMPI 000001eb: DUP1 000001ec: DUP3 000001ed: SUB 000001ee: DUP1 000001ef: MLOAD 000001f0: PUSH1 0x01 000001f2: DUP4 000001f3: PUSH1 0x20 000001f5: SUB 000001f6: PUSH2 0x0100 000001f9: EXP 000001fa: SUB 000001fb: NOT 000001fc: AND 000001fd: DUP2 000001fe: MSTORE 000001ff: PUSH1 0x20 00000201: ADD 00000202: SWAP2 00000203: POP 00000204: JUMPDEST 00000205: POP 00000206: SWAP3 00000207: POP 00000208: POP 00000209: POP 0000020a: PUSH1 0x40 0000020c: MLOAD 0000020d: DUP1 0000020e: SWAP2 0000020f: SUB 00000210: SWAP1 00000211: RETURN 00000212: JUMPDEST 00000213: CALLVALUE 00000214: ISZERO 00000215: PUSH2 0x021d 00000218: JUMPI 00000219: PUSH1 0x00 0000021b: DUP1 0000021c: REVERT 0000021d: JUMPDEST 0000021e: PUSH2 0x028c 00000221: PUSH1 0x04 00000223: DUP1 00000224: DUP1 00000225: CALLDATALOAD 00000226: SWAP1 00000227: PUSH1 0x20 00000229: ADD 0000022a: SWAP1 0000022b: DUP3 0000022c: ADD 0000022d: DUP1 0000022e: CALLDATALOAD 0000022f: SWAP1 00000230: PUSH1 0x20 00000232: ADD 00000233: SWAP1 00000234: DUP1 00000235: DUP1 00000236: PUSH1 0x1f 00000238: ADD 00000239: PUSH1 0x20 0000023b: DUP1 0000023c: SWAP2 0000023d: DIV 0000023e: MUL 0000023f: PUSH1 0x20 00000241: ADD 00000242: PUSH1 0x40 00000244: MLOAD 00000245: SWAP1 00000246: DUP2 00000247: ADD 00000248: PUSH1 0x40 0000024a: MSTORE 0000024b: DUP1 0000024c: SWAP4 0000024d: SWAP3 0000024e: SWAP2 0000024f: SWAP1 00000250: DUP2 00000251: DUP2 00000252: MSTORE 00000253: PUSH1 0x20 00000255: ADD 00000256: DUP4 00000257: DUP4 00000258: DUP1 00000259: DUP3 0000025a: DUP5 0000025b: CALLDATACOPY 0000025c: DUP3 0000025d: ADD 0000025e: SWAP2 0000025f: POP 00000260: POP 00000261: POP 00000262: POP 00000263: POP 00000264: POP 00000265: SWAP2 00000266: SWAP1 00000267: DUP1 00000268: CALLDATALOAD 00000269: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000027e: AND 0000027f: SWAP1 00000280: PUSH1 0x20 00000282: ADD 00000283: SWAP1 00000284: SWAP2 00000285: SWAP1 00000286: POP 00000287: POP 00000288: PUSH2 0x0506 0000028b: JUMP 0000028c: JUMPDEST 0000028d: STOP 0000028e: JUMPDEST 0000028f: CALLVALUE 00000290: ISZERO 00000291: PUSH2 0x0299 00000294: JUMPI 00000295: PUSH1 0x00 00000297: DUP1 00000298: REVERT 00000299: JUMPDEST 0000029a: PUSH2 0x02a1 0000029d: PUSH2 0x0425 000002a0: JUMP 000002a1: JUMPDEST 000002a2: PUSH1 0x40 000002a4: MLOAD 000002a5: DUP1 000002a6: DUP3 000002a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002bc: AND 000002bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002d2: AND 000002d3: DUP2 000002d4: MSTORE 000002d5: PUSH1 0x20 000002d7: ADD 000002d8: SWAP2 000002d9: POP 000002da: POP 000002db: PUSH1 0x40 000002dd: MLOAD 000002de: DUP1 000002df: SWAP2 000002e0: SUB 000002e1: SWAP1 000002e2: RETURN 000002e3: JUMPDEST 000002e4: CALLVALUE 000002e5: ISZERO 000002e6: PUSH2 0x02ee 000002e9: JUMPI 000002ea: PUSH1 0x00 000002ec: DUP1 000002ed: REVERT 000002ee: JUMPDEST 000002ef: PUSH2 0x02f6 000002f2: PUSH2 0x0555 000002f5: JUMP 000002f6: JUMPDEST 000002f7: PUSH1 0x40 000002f9: MLOAD 000002fa: DUP1 000002fb: DUP3 000002fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000311: AND 00000312: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000327: AND 00000328: DUP2 00000329: MSTORE 0000032a: PUSH1 0x20 0000032c: ADD 0000032d: SWAP2 0000032e: POP 0000032f: POP 00000330: PUSH1 0x40 00000332: MLOAD 00000333: DUP1 00000334: SWAP2 00000335: SUB 00000336: SWAP1 00000337: RETURN 00000338: JUMPDEST 00000339: PUSH2 0x03ea 0000033c: PUSH1 0x04 0000033e: DUP1 0000033f: DUP1 00000340: CALLDATALOAD 00000341: SWAP1 00000342: PUSH1 0x20 00000344: ADD 00000345: SWAP1 00000346: DUP3 00000347: ADD 00000348: DUP1 00000349: CALLDATALOAD 0000034a: SWAP1 0000034b: PUSH1 0x20 0000034d: ADD 0000034e: SWAP1 0000034f: DUP1 00000350: DUP1 00000351: PUSH1 0x1f 00000353: ADD 00000354: PUSH1 0x20 00000356: DUP1 00000357: SWAP2 00000358: DIV 00000359: MUL 0000035a: PUSH1 0x20 0000035c: ADD 0000035d: PUSH1 0x40 0000035f: MLOAD 00000360: SWAP1 00000361: DUP2 00000362: ADD 00000363: PUSH1 0x40 00000365: MSTORE 00000366: DUP1 00000367: SWAP4 00000368: SWAP3 00000369: SWAP2 0000036a: SWAP1 0000036b: DUP2 0000036c: DUP2 0000036d: MSTORE 0000036e: PUSH1 0x20 00000370: ADD 00000371: DUP4 00000372: DUP4 00000373: DUP1 00000374: DUP3 00000375: DUP5 00000376: CALLDATACOPY 00000377: DUP3 00000378: ADD 00000379: SWAP2 0000037a: POP 0000037b: POP 0000037c: POP 0000037d: POP 0000037e: POP 0000037f: POP 00000380: SWAP2 00000381: SWAP1 00000382: DUP1 00000383: CALLDATALOAD 00000384: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000399: AND 0000039a: SWAP1 0000039b: PUSH1 0x20 0000039d: ADD 0000039e: SWAP1 0000039f: SWAP2 000003a0: SWAP1 000003a1: DUP1 000003a2: CALLDATALOAD 000003a3: SWAP1 000003a4: PUSH1 0x20 000003a6: ADD 000003a7: SWAP1 000003a8: DUP3 000003a9: ADD 000003aa: DUP1 000003ab: CALLDATALOAD 000003ac: SWAP1 000003ad: PUSH1 0x20 000003af: ADD 000003b0: SWAP1 000003b1: DUP1 000003b2: DUP1 000003b3: PUSH1 0x1f 000003b5: ADD 000003b6: PUSH1 0x20 000003b8: DUP1 000003b9: SWAP2 000003ba: DIV 000003bb: MUL 000003bc: PUSH1 0x20 000003be: ADD 000003bf: PUSH1 0x40 000003c1: MLOAD 000003c2: SWAP1 000003c3: DUP2 000003c4: ADD 000003c5: PUSH1 0x40 000003c7: MSTORE 000003c8: DUP1 000003c9: SWAP4 000003ca: SWAP3 000003cb: SWAP2 000003cc: SWAP1 000003cd: DUP2 000003ce: DUP2 000003cf: MSTORE 000003d0: PUSH1 0x20 000003d2: ADD 000003d3: DUP4 000003d4: DUP4 000003d5: DUP1 000003d6: DUP3 000003d7: DUP5 000003d8: CALLDATACOPY 000003d9: DUP3 000003da: ADD 000003db: SWAP2 000003dc: POP 000003dd: POP 000003de: POP 000003df: POP 000003e0: POP 000003e1: POP 000003e2: SWAP2 000003e3: SWAP1 000003e4: POP 000003e5: POP 000003e6: PUSH2 0x057e 000003e9: JUMP 000003ea: JUMPDEST 000003eb: STOP 000003ec: JUMPDEST 000003ed: CALLVALUE 000003ee: ISZERO 000003ef: PUSH2 0x03f7 000003f2: JUMPI 000003f3: PUSH1 0x00 000003f5: DUP1 000003f6: REVERT 000003f7: JUMPDEST 000003f8: PUSH2 0x0423 000003fb: PUSH1 0x04 000003fd: DUP1 000003fe: DUP1 000003ff: CALLDATALOAD 00000400: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000415: AND 00000416: SWAP1 00000417: PUSH1 0x20 00000419: ADD 0000041a: SWAP1 0000041b: SWAP2 0000041c: SWAP1 0000041d: POP 0000041e: POP 0000041f: PUSH2 0x0665 00000422: JUMP 00000423: JUMPDEST 00000424: STOP 00000425: JUMPDEST 00000426: PUSH1 0x00 00000428: PUSH1 0x02 0000042a: PUSH1 0x00 0000042c: SWAP1 0000042d: SLOAD 0000042e: SWAP1 0000042f: PUSH2 0x0100 00000432: EXP 00000433: SWAP1 00000434: DIV 00000435: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000044a: AND 0000044b: SWAP1 0000044c: POP 0000044d: SWAP1 0000044e: JUMP 0000044f: JUMPDEST 00000450: PUSH1 0x00 00000452: PUSH2 0x0459 00000455: PUSH2 0x0555 00000458: JUMP 00000459: JUMPDEST 0000045a: SWAP1 0000045b: POP 0000045c: SWAP1 0000045d: JUMP 0000045e: JUMPDEST 0000045f: PUSH2 0x0466 00000462: PUSH2 0x094f 00000465: JUMP 00000466: JUMPDEST 00000467: PUSH1 0x01 00000469: DUP1 0000046a: SLOAD 0000046b: PUSH1 0x01 0000046d: DUP2 0000046e: PUSH1 0x01 00000470: AND 00000471: ISZERO 00000472: PUSH2 0x0100 00000475: MUL 00000476: SUB 00000477: AND 00000478: PUSH1 0x02 0000047a: SWAP1 0000047b: DIV 0000047c: DUP1 0000047d: PUSH1 0x1f 0000047f: ADD 00000480: PUSH1 0x20 00000482: DUP1 00000483: SWAP2 00000484: DIV 00000485: MUL 00000486: PUSH1 0x20 00000488: ADD 00000489: PUSH1 0x40 0000048b: MLOAD 0000048c: SWAP1 0000048d: DUP2 0000048e: ADD 0000048f: PUSH1 0x40 00000491: MSTORE 00000492: DUP1 00000493: SWAP3 00000494: SWAP2 00000495: SWAP1 00000496: DUP2 00000497: DUP2 00000498: MSTORE 00000499: PUSH1 0x20 0000049b: ADD 0000049c: DUP3 0000049d: DUP1 0000049e: SLOAD 0000049f: PUSH1 0x01 000004a1: DUP2 000004a2: PUSH1 0x01 000004a4: AND 000004a5: ISZERO 000004a6: PUSH2 0x0100 000004a9: MUL 000004aa: SUB 000004ab: AND 000004ac: PUSH1 0x02 000004ae: SWAP1 000004af: DIV 000004b0: DUP1 000004b1: ISZERO 000004b2: PUSH2 0x04fc 000004b5: JUMPI 000004b6: DUP1 000004b7: PUSH1 0x1f 000004b9: LT 000004ba: PUSH2 0x04d1 000004bd: JUMPI 000004be: PUSH2 0x0100 000004c1: DUP1 000004c2: DUP4 000004c3: SLOAD 000004c4: DIV 000004c5: MUL 000004c6: DUP4 000004c7: MSTORE 000004c8: SWAP2 000004c9: PUSH1 0x20 000004cb: ADD 000004cc: SWAP2 000004cd: PUSH2 0x04fc 000004d0: JUMP 000004d1: JUMPDEST 000004d2: DUP3 000004d3: ADD 000004d4: SWAP2 000004d5: SWAP1 000004d6: PUSH1 0x00 000004d8: MSTORE 000004d9: PUSH1 0x20 000004db: PUSH1 0x00 000004dd: KECCAK256 000004de: SWAP1 000004df: JUMPDEST 000004e0: DUP2 000004e1: SLOAD 000004e2: DUP2 000004e3: MSTORE 000004e4: SWAP1 000004e5: PUSH1 0x01 000004e7: ADD 000004e8: SWAP1 000004e9: PUSH1 0x20 000004eb: ADD 000004ec: DUP1 000004ed: DUP4 000004ee: GT 000004ef: PUSH2 0x04df 000004f2: JUMPI 000004f3: DUP3 000004f4: SWAP1 000004f5: SUB 000004f6: PUSH1 0x1f 000004f8: AND 000004f9: DUP3 000004fa: ADD 000004fb: SWAP2 000004fc: JUMPDEST 000004fd: POP 000004fe: POP 000004ff: POP 00000500: POP 00000501: POP 00000502: SWAP1 00000503: POP 00000504: SWAP1 00000505: JUMP 00000506: JUMPDEST 00000507: PUSH2 0x050e 0000050a: PUSH2 0x044f 0000050d: JUMP 0000050e: JUMPDEST 0000050f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000524: AND 00000525: CALLER 00000526: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000053b: AND 0000053c: EQ 0000053d: ISZERO 0000053e: ISZERO 0000053f: PUSH2 0x0547 00000542: JUMPI 00000543: PUSH1 0x00 00000545: DUP1 00000546: REVERT 00000547: JUMPDEST 00000548: PUSH2 0x0551 0000054b: DUP3 0000054c: DUP3 0000054d: PUSH2 0x078c 00000550: JUMP 00000551: JUMPDEST 00000552: POP 00000553: POP 00000554: JUMP 00000555: JUMPDEST 00000556: PUSH1 0x00 00000558: DUP1 00000559: PUSH1 0x00 0000055b: SWAP1 0000055c: SLOAD 0000055d: SWAP1 0000055e: PUSH2 0x0100 00000561: EXP 00000562: SWAP1 00000563: DIV 00000564: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000579: AND 0000057a: SWAP1 0000057b: POP 0000057c: SWAP1 0000057d: JUMP 0000057e: JUMPDEST 0000057f: PUSH2 0x0586 00000582: PUSH2 0x044f 00000585: JUMP 00000586: JUMPDEST 00000587: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000059c: AND 0000059d: CALLER 0000059e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005b3: AND 000005b4: EQ 000005b5: ISZERO 000005b6: ISZERO 000005b7: PUSH2 0x05bf 000005ba: JUMPI 000005bb: PUSH1 0x00 000005bd: DUP1 000005be: REVERT 000005bf: JUMPDEST 000005c0: PUSH2 0x05c9 000005c3: DUP4 000005c4: DUP4 000005c5: PUSH2 0x0506 000005c8: JUMP 000005c9: JUMPDEST 000005ca: ADDRESS 000005cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005e0: AND 000005e1: CALLVALUE 000005e2: DUP3 000005e3: PUSH1 0x40 000005e5: MLOAD 000005e6: DUP1 000005e7: DUP3 000005e8: DUP1 000005e9: MLOAD 000005ea: SWAP1 000005eb: PUSH1 0x20 000005ed: ADD 000005ee: SWAP1 000005ef: DUP1 000005f0: DUP4 000005f1: DUP4 000005f2: PUSH1 0x00 000005f4: JUMPDEST 000005f5: DUP4 000005f6: DUP2 000005f7: LT 000005f8: ISZERO 000005f9: PUSH2 0x060f 000005fc: JUMPI 000005fd: DUP1 000005fe: DUP3 000005ff: ADD 00000600: MLOAD 00000601: DUP2 00000602: DUP5 00000603: ADD 00000604: MSTORE 00000605: PUSH1 0x20 00000607: DUP2 00000608: ADD 00000609: SWAP1 0000060a: POP 0000060b: PUSH2 0x05f4 0000060e: JUMP 0000060f: JUMPDEST 00000610: POP 00000611: POP 00000612: POP 00000613: POP 00000614: SWAP1 00000615: POP 00000616: SWAP1 00000617: DUP2 00000618: ADD 00000619: SWAP1 0000061a: PUSH1 0x1f 0000061c: AND 0000061d: DUP1 0000061e: ISZERO 0000061f: PUSH2 0x063c 00000622: JUMPI 00000623: DUP1 00000624: DUP3 00000625: SUB 00000626: DUP1 00000627: MLOAD 00000628: PUSH1 0x01 0000062a: DUP4 0000062b: PUSH1 0x20 0000062d: SUB 0000062e: PUSH2 0x0100 00000631: EXP 00000632: SUB 00000633: NOT 00000634: AND 00000635: DUP2 00000636: MSTORE 00000637: PUSH1 0x20 00000639: ADD 0000063a: SWAP2 0000063b: POP 0000063c: JUMPDEST 0000063d: POP 0000063e: SWAP2 0000063f: POP 00000640: POP 00000641: PUSH1 0x00 00000643: PUSH1 0x40 00000645: MLOAD 00000646: DUP1 00000647: DUP4 00000648: SUB 00000649: DUP2 0000064a: DUP6 0000064b: DUP8 0000064c: PUSH2 0x8796 0000064f: GAS 00000650: SUB 00000651: CALL 00000652: SWAP3 00000653: POP 00000654: POP 00000655: POP 00000656: ISZERO 00000657: ISZERO 00000658: PUSH2 0x0660 0000065b: JUMPI 0000065c: PUSH1 0x00 0000065e: DUP1 0000065f: REVERT 00000660: JUMPDEST 00000661: POP 00000662: POP 00000663: POP 00000664: JUMP 00000665: JUMPDEST 00000666: PUSH2 0x066d 00000669: PUSH2 0x044f 0000066c: JUMP 0000066d: JUMPDEST 0000066e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000683: AND 00000684: CALLER 00000685: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000069a: AND 0000069b: EQ 0000069c: ISZERO 0000069d: ISZERO 0000069e: PUSH2 0x06a6 000006a1: JUMPI 000006a2: PUSH1 0x00 000006a4: DUP1 000006a5: REVERT 000006a6: JUMPDEST 000006a7: PUSH1 0x00 000006a9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006be: AND 000006bf: DUP2 000006c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006d5: AND 000006d6: EQ 000006d7: ISZERO 000006d8: ISZERO 000006d9: ISZERO 000006da: PUSH2 0x06e2 000006dd: JUMPI 000006de: PUSH1 0x00 000006e0: DUP1 000006e1: REVERT 000006e2: JUMPDEST 000006e3: PUSH32 0x5a3e66efaa1e445ebd894728a69d6959842ea1e97bd79b892797106e270efcd9 00000704: PUSH2 0x070b 00000707: PUSH2 0x044f 0000070a: JUMP 0000070b: JUMPDEST 0000070c: DUP3 0000070d: PUSH1 0x40 0000070f: MLOAD 00000710: DUP1 00000711: DUP4 00000712: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000727: AND 00000728: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000073d: AND 0000073e: DUP2 0000073f: MSTORE 00000740: PUSH1 0x20 00000742: ADD 00000743: DUP3 00000744: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000759: AND 0000075a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000076f: AND 00000770: DUP2 00000771: MSTORE 00000772: PUSH1 0x20 00000774: ADD 00000775: SWAP3 00000776: POP 00000777: POP 00000778: POP 00000779: PUSH1 0x40 0000077b: MLOAD 0000077c: DUP1 0000077d: SWAP2 0000077e: SUB 0000077f: SWAP1 00000780: LOG1 00000781: PUSH2 0x0789 00000784: DUP2 00000785: PUSH2 0x08f8 00000788: JUMP 00000789: JUMPDEST 0000078a: POP 0000078b: JUMP 0000078c: JUMPDEST 0000078d: DUP1 0000078e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007a3: AND 000007a4: PUSH1 0x02 000007a6: PUSH1 0x00 000007a8: SWAP1 000007a9: SLOAD 000007aa: SWAP1 000007ab: PUSH2 0x0100 000007ae: EXP 000007af: SWAP1 000007b0: DIV 000007b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007c6: AND 000007c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007dc: AND 000007dd: EQ 000007de: ISZERO 000007df: ISZERO 000007e0: ISZERO 000007e1: PUSH2 0x07e9 000007e4: JUMPI 000007e5: PUSH1 0x00 000007e7: DUP1 000007e8: REVERT 000007e9: JUMPDEST 000007ea: DUP2 000007eb: PUSH1 0x01 000007ed: SWAP1 000007ee: DUP1 000007ef: MLOAD 000007f0: SWAP1 000007f1: PUSH1 0x20 000007f3: ADD 000007f4: SWAP1 000007f5: PUSH2 0x07ff 000007f8: SWAP3 000007f9: SWAP2 000007fa: SWAP1 000007fb: PUSH2 0x0963 000007fe: JUMP 000007ff: JUMPDEST 00000800: POP 00000801: DUP1 00000802: PUSH1 0x02 00000804: PUSH1 0x00 00000806: PUSH2 0x0100 00000809: EXP 0000080a: DUP2 0000080b: SLOAD 0000080c: DUP2 0000080d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000822: MUL 00000823: NOT 00000824: AND 00000825: SWAP1 00000826: DUP4 00000827: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000083c: AND 0000083d: MUL 0000083e: OR 0000083f: SWAP1 00000840: SSTORE 00000841: POP 00000842: DUP1 00000843: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000858: AND 00000859: PUSH32 0x8e05e0e35ff592971ca8b477d4285a33a61ded208d644042667b78693a472f5e 0000087a: DUP4 0000087b: PUSH1 0x40 0000087d: MLOAD 0000087e: DUP1 0000087f: DUP1 00000880: PUSH1 0x20 00000882: ADD 00000883: DUP3 00000884: DUP2 00000885: SUB 00000886: DUP3 00000887: MSTORE 00000888: DUP4 00000889: DUP2 0000088a: DUP2 0000088b: MLOAD 0000088c: DUP2 0000088d: MSTORE 0000088e: PUSH1 0x20 00000890: ADD 00000891: SWAP2 00000892: POP 00000893: DUP1 00000894: MLOAD 00000895: SWAP1 00000896: PUSH1 0x20 00000898: ADD 00000899: SWAP1 0000089a: DUP1 0000089b: DUP4 0000089c: DUP4 0000089d: PUSH1 0x00 0000089f: JUMPDEST 000008a0: DUP4 000008a1: DUP2 000008a2: LT 000008a3: ISZERO 000008a4: PUSH2 0x08ba 000008a7: JUMPI 000008a8: DUP1 000008a9: DUP3 000008aa: ADD 000008ab: MLOAD 000008ac: DUP2 000008ad: DUP5 000008ae: ADD 000008af: MSTORE 000008b0: PUSH1 0x20 000008b2: DUP2 000008b3: ADD 000008b4: SWAP1 000008b5: POP 000008b6: PUSH2 0x089f 000008b9: JUMP 000008ba: JUMPDEST 000008bb: POP 000008bc: POP 000008bd: POP 000008be: POP 000008bf: SWAP1 000008c0: POP 000008c1: SWAP1 000008c2: DUP2 000008c3: ADD 000008c4: SWAP1 000008c5: PUSH1 0x1f 000008c7: AND 000008c8: DUP1 000008c9: ISZERO 000008ca: PUSH2 0x08e7 000008cd: JUMPI 000008ce: DUP1 000008cf: DUP3 000008d0: SUB 000008d1: DUP1 000008d2: MLOAD 000008d3: PUSH1 0x01 000008d5: DUP4 000008d6: PUSH1 0x20 000008d8: SUB 000008d9: PUSH2 0x0100 000008dc: EXP 000008dd: SUB 000008de: NOT 000008df: AND 000008e0: DUP2 000008e1: MSTORE 000008e2: PUSH1 0x20 000008e4: ADD 000008e5: SWAP2 000008e6: POP 000008e7: JUMPDEST 000008e8: POP 000008e9: SWAP3 000008ea: POP 000008eb: POP 000008ec: POP 000008ed: PUSH1 0x40 000008ef: MLOAD 000008f0: DUP1 000008f1: SWAP2 000008f2: SUB 000008f3: SWAP1 000008f4: LOG2 000008f5: POP 000008f6: POP 000008f7: JUMP 000008f8: JUMPDEST 000008f9: DUP1 000008fa: PUSH1 0x00 000008fc: DUP1 000008fd: PUSH2 0x0100 00000900: EXP 00000901: DUP2 00000902: SLOAD 00000903: DUP2 00000904: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000919: MUL 0000091a: NOT 0000091b: AND 0000091c: SWAP1 0000091d: DUP4 0000091e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000933: AND 00000934: MUL 00000935: OR 00000936: SWAP1 00000937: SSTORE 00000938: POP 00000939: POP 0000093a: JUMP 0000093b: JUMPDEST 0000093c: PUSH1 0x20 0000093e: PUSH1 0x40 00000940: MLOAD 00000941: SWAP1 00000942: DUP2 00000943: ADD 00000944: PUSH1 0x40 00000946: MSTORE 00000947: DUP1 00000948: PUSH1 0x00 0000094a: DUP2 0000094b: MSTORE 0000094c: POP 0000094d: SWAP1 0000094e: JUMP 0000094f: JUMPDEST 00000950: PUSH1 0x20 00000952: PUSH1 0x40 00000954: MLOAD 00000955: SWAP1 00000956: DUP2 00000957: ADD 00000958: PUSH1 0x40 0000095a: MSTORE 0000095b: DUP1 0000095c: PUSH1 0x00 0000095e: DUP2 0000095f: MSTORE 00000960: POP 00000961: SWAP1 00000962: JUMP 00000963: JUMPDEST 00000964: DUP3 00000965: DUP1 00000966: SLOAD 00000967: PUSH1 0x01 00000969: DUP2 0000096a: PUSH1 0x01 0000096c: AND 0000096d: ISZERO 0000096e: PUSH2 0x0100 00000971: MUL 00000972: SUB 00000973: AND 00000974: PUSH1 0x02 00000976: SWAP1 00000977: DIV 00000978: SWAP1 00000979: PUSH1 0x00 0000097b: MSTORE 0000097c: PUSH1 0x20 0000097e: PUSH1 0x00 00000980: KECCAK256 00000981: SWAP1 00000982: PUSH1 0x1f 00000984: ADD 00000985: PUSH1 0x20 00000987: SWAP1 00000988: DIV 00000989: DUP2 0000098a: ADD 0000098b: SWAP3 0000098c: DUP3 0000098d: PUSH1 0x1f 0000098f: LT 00000990: PUSH2 0x09a4 00000993: JUMPI 00000994: DUP1 00000995: MLOAD 00000996: PUSH1 0xff 00000998: NOT 00000999: AND 0000099a: DUP4 0000099b: DUP1 0000099c: ADD 0000099d: OR 0000099e: DUP6 0000099f: SSTORE 000009a0: PUSH2 0x09d2 000009a3: JUMP 000009a4: JUMPDEST 000009a5: DUP3 000009a6: DUP1 000009a7: ADD 000009a8: PUSH1 0x01 000009aa: ADD 000009ab: DUP6 000009ac: SSTORE 000009ad: DUP3 000009ae: ISZERO 000009af: PUSH2 0x09d2 000009b2: JUMPI 000009b3: SWAP2 000009b4: DUP3 000009b5: ADD 000009b6: JUMPDEST 000009b7: DUP3 000009b8: DUP2 000009b9: GT 000009ba: ISZERO 000009bb: PUSH2 0x09d1 000009be: JUMPI 000009bf: DUP3 000009c0: MLOAD 000009c1: DUP3 000009c2: SSTORE 000009c3: SWAP2 000009c4: PUSH1 0x20 000009c6: ADD 000009c7: SWAP2 000009c8: SWAP1 000009c9: PUSH1 0x01 000009cb: ADD 000009cc: SWAP1 000009cd: PUSH2 0x09b6 000009d0: JUMP 000009d1: JUMPDEST 000009d2: JUMPDEST 000009d3: POP 000009d4: SWAP1 000009d5: POP 000009d6: PUSH2 0x09df 000009d9: SWAP2 000009da: SWAP1 000009db: PUSH2 0x09e3 000009de: JUMP 000009df: JUMPDEST 000009e0: POP 000009e1: SWAP1 000009e2: JUMP 000009e3: JUMPDEST 000009e4: PUSH2 0x0a05 000009e7: SWAP2 000009e8: SWAP1 000009e9: JUMPDEST 000009ea: DUP1 000009eb: DUP3 000009ec: GT 000009ed: ISZERO 000009ee: PUSH2 0x0a01 000009f1: JUMPI 000009f2: PUSH1 0x00 000009f4: DUP2 000009f5: PUSH1 0x00 000009f7: SWAP1 000009f8: SSTORE 000009f9: POP 000009fa: PUSH1 0x01 000009fc: ADD 000009fd: PUSH2 0x09e9 00000a00: JUMP 00000a01: JUMPDEST 00000a02: POP 00000a03: SWAP1 00000a04: JUMP 00000a05: JUMPDEST 00000a06: SWAP1 00000a07: JUMP 00000a08: STOP 00000a09: LOG1 00000a0a: PUSH6 0x627a7a723058 00000a11: KECCAK256 00000a12: UNKNOWN(0xDC) 00000a13: UNKNOWN(0x22) 00000a14: JUMP 00000a15: BLOCKHASH 00000a16: PUSH26 0xd3aced1825d23bd68165037b6d4438f309eba4cb0861fa87f3b5 00000a31: UNKNOWN(0xF6) 00000a32: STOP 00000a33: UNKNOWN(0x29)
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 | upgradeability | detector | Untrusted DELEGATECALL target reachable | 55 | no | no |
viewtrace_id: 0xeb9b124d61c67ab41bb7a4eeb3aab89305ee11905fedefcedae0664e5a770d4f
call_targets:
0xdbf10e559b8530018d52ab3d57ef256b9c6a3241
target_varies:
no
classification:
constant_target
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xeb9b124d61c67ab41bb7a4eeb3aab89305ee11905fedefcedae0664e5a770d4f",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xdbf10e559b8530018d52ab3d57ef256b9c6a3241"
],
"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": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x025313a2",
"selector": "0x025313a2",
"calldata_variants": [
"0x025313a2",
"0x025313a20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x54fd4d50",
"selector": "0x54fd4d50",
"calldata_variants": [
"0x54fd4d50",
"0x54fd4d500000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5a8b1a9f",
"selector": "0x5a8b1a9f",
"calldata_variants": [
"0x5a8b1a9f",
"0x5a8b1a9f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c60da1b",
"selector": "0x5c60da1b",
"calldata_variants": [
"0x5c60da1b",
"0x5c60da1b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6fde8202",
"selector": "0x6fde8202",
"calldata_variants": [
"0x6fde8202",
"0x6fde82020000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x958a41dd",
"selector": "0x958a41dd",
"calldata_variants": [
"0x958a41dd",
"0x958a41dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf1739cae",
"selector": "0xf1739cae",
"calldata_variants": [
"0xf1739cae",
"0xf1739cae0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 277,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [
{
"pc": 1317,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1437,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1668,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"delegatecall_count": 1,
"untrusted_delegatecall_count": 1
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xeb9b124d61c67ab41bb7a4eeb3aab89305ee11905fedefcedae0664e5a770d4f
call_targets:
0x44515fd0f29beacac5c30ef3f3cf8ab6e895cf77
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xeb9b124d61c67ab41bb7a4eeb3aab89305ee11905fedefcedae0664e5a770d4f",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x44515fd0f29beacac5c30ef3f3cf8ab6e895cf77"
],
"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": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x025313a2",
"selector": "0x025313a2",
"calldata_variants": [
"0x025313a2",
"0x025313a20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x54fd4d50",
"selector": "0x54fd4d50",
"calldata_variants": [
"0x54fd4d50",
"0x54fd4d500000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5a8b1a9f",
"selector": "0x5a8b1a9f",
"calldata_variants": [
"0x5a8b1a9f",
"0x5a8b1a9f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c60da1b",
"selector": "0x5c60da1b",
"calldata_variants": [
"0x5c60da1b",
"0x5c60da1b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6fde8202",
"selector": "0x6fde8202",
"calldata_variants": [
"0x6fde8202",
"0x6fde82020000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x958a41dd",
"selector": "0x958a41dd",
"calldata_variants": [
"0x958a41dd",
"0x958a41dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf1739cae",
"selector": "0xf1739cae",
"calldata_variants": [
"0xf1739cae",
"0xf1739cae0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1617,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [
{
"pc": 1317,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1437,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1668,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 1
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xeb9b124d61c67ab41bb7a4eeb3aab89305ee11905fedefcedae0664e5a770d4f
call_targets:
0x44515fd0f29beacac5c30ef3f3cf8ab6e895cf77
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xeb9b124d61c67ab41bb7a4eeb3aab89305ee11905fedefcedae0664e5a770d4f",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x44515fd0f29beacac5c30ef3f3cf8ab6e895cf77"
],
"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": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x025313a2",
"selector": "0x025313a2",
"calldata_variants": [
"0x025313a2",
"0x025313a20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x54fd4d50",
"selector": "0x54fd4d50",
"calldata_variants": [
"0x54fd4d50",
"0x54fd4d500000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5a8b1a9f",
"selector": "0x5a8b1a9f",
"calldata_variants": [
"0x5a8b1a9f",
"0x5a8b1a9f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c60da1b",
"selector": "0x5c60da1b",
"calldata_variants": [
"0x5c60da1b",
"0x5c60da1b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6fde8202",
"selector": "0x6fde8202",
"calldata_variants": [
"0x6fde8202",
"0x6fde82020000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x958a41dd",
"selector": "0x958a41dd",
"calldata_variants": [
"0x958a41dd",
"0x958a41dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf1739cae",
"selector": "0xf1739cae",
"calldata_variants": [
"0xf1739cae",
"0xf1739cae0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1617,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": [
{
"pc": 1317,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1437,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1668,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|