019b477e-d0e4-71fa-818e-694534e4bd97
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 |
|---|---|---|---|---|
| 27659 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 27660 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 92277 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 92278 | capability.graph | complete | 1 / 3 | 1 week ago |
| 92279 | detector.run | complete | 1 / 3 | 1 week ago |
| 92280 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x40 00000002: PUSH1 0x80 00000004: DUP2 00000005: MSTORE 00000006: PUSH1 0x04 00000008: SWAP1 00000009: DUP2 0000000a: CALLDATASIZE 0000000b: LT 0000000c: ISZERO 0000000d: PUSH2 0x001d 00000010: JUMPI 00000011: JUMPDEST 00000012: POP 00000013: POP 00000014: CALLDATASIZE 00000015: ISZERO 00000016: PUSH2 0x001b 00000019: JUMPI 0000001a: STOP 0000001b: JUMPDEST 0000001c: STOP 0000001d: JUMPDEST 0000001e: PUSH1 0x00 00000020: SWAP1 00000021: DUP2 00000022: CALLDATALOAD 00000023: PUSH1 0xe0 00000025: SHR 00000026: DUP1 00000027: PUSH4 0x20651d5d 0000002c: EQ 0000002d: PUSH2 0x0797 00000030: JUMPI 00000031: DUP1 00000032: PUSH4 0x51cff8d9 00000037: EQ 00000038: PUSH2 0x0713 0000003b: JUMPI 0000003c: DUP1 0000003d: PUSH4 0x715018a6 00000042: EQ 00000043: PUSH2 0x0677 00000046: JUMPI 00000047: DUP1 00000048: PUSH4 0x8da5cb5b 0000004d: EQ 0000004e: PUSH2 0x0627 00000051: JUMPI 00000052: DUP1 00000053: PUSH4 0x9e281a98 00000058: EQ 00000059: PUSH2 0x0594 0000005c: JUMPI 0000005d: DUP1 0000005e: PUSH4 0xa0ce91d8 00000063: EQ 00000064: PUSH2 0x0415 00000067: JUMPI 00000068: DUP1 00000069: PUSH4 0xac7475ed 0000006e: EQ 0000006f: PUSH2 0x0302 00000072: JUMPI 00000073: DUP1 00000074: PUSH4 0xd0835895 00000079: EQ 0000007a: PUSH2 0x02b0 0000007d: JUMPI 0000007e: DUP1 0000007f: PUSH4 0xf2fde38b 00000084: EQ 00000085: PUSH2 0x0179 00000088: JUMPI 00000089: PUSH4 0xf8b2cb4f 0000008e: EQ 0000008f: PUSH2 0x0098 00000092: JUMPI 00000093: POP 00000094: PUSH2 0x0011 00000097: JUMP 00000098: JUMPDEST 00000099: CALLVALUE 0000009a: PUSH2 0x0175 0000009d: JUMPI 0000009e: PUSH1 0x20 000000a0: SWAP3 000000a1: DUP4 000000a2: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 000000c3: CALLDATASIZE 000000c4: ADD 000000c5: SLT 000000c6: PUSH2 0x0171 000000c9: JUMPI 000000ca: DUP4 000000cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000e0: PUSH2 0x00e7 000000e3: PUSH2 0x08b4 000000e6: JUMP 000000e7: JUMPDEST 000000e8: AND 000000e9: SWAP2 000000ea: PUSH1 0x24 000000ec: DUP5 000000ed: MLOAD 000000ee: DUP1 000000ef: SWAP5 000000f0: DUP2 000000f1: SWAP4 000000f2: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000 00000113: DUP4 00000114: MSTORE 00000115: ADDRESS 00000116: SWAP1 00000117: DUP4 00000118: ADD 00000119: MSTORE 0000011a: GAS 0000011b: STATICCALL 0000011c: SWAP3 0000011d: DUP4 0000011e: ISZERO 0000011f: PUSH2 0x0166 00000122: JUMPI 00000123: DUP1 00000124: SWAP4 00000125: PUSH2 0x0131 00000128: JUMPI 00000129: JUMPDEST 0000012a: POP 0000012b: POP 0000012c: MLOAD 0000012d: SWAP1 0000012e: DUP2 0000012f: MSTORE 00000130: RETURN 00000131: JUMPDEST 00000132: SWAP1 00000133: SWAP2 00000134: SWAP3 00000135: POP 00000136: DUP4 00000137: DUP3 00000138: DUP2 00000139: RETURNDATASIZE 0000013a: DUP4 0000013b: GT 0000013c: PUSH2 0x015f 0000013f: JUMPI 00000140: JUMPDEST 00000141: PUSH2 0x014a 00000144: DUP2 00000145: DUP4 00000146: PUSH2 0x098c 00000149: JUMP 0000014a: JUMPDEST 0000014b: DUP2 0000014c: ADD 0000014d: SUB 0000014e: SLT 0000014f: PUSH2 0x015c 00000152: JUMPI 00000153: POP 00000154: MLOAD 00000155: SWAP1 00000156: CODESIZE 00000157: DUP1 00000158: PUSH2 0x0129 0000015b: JUMP 0000015c: JUMPDEST 0000015d: DUP1 0000015e: REVERT 0000015f: JUMPDEST 00000160: POP 00000161: RETURNDATASIZE 00000162: PUSH2 0x0140 00000165: JUMP 00000166: JUMPDEST 00000167: DUP3 00000168: MLOAD 00000169: SWAP1 0000016a: RETURNDATASIZE 0000016b: SWAP1 0000016c: DUP3 0000016d: RETURNDATACOPY 0000016e: RETURNDATASIZE 0000016f: SWAP1 00000170: REVERT 00000171: JUMPDEST 00000172: DUP3 00000173: DUP1 00000174: REVERT 00000175: JUMPDEST 00000176: POP 00000177: DUP1 00000178: REVERT 00000179: JUMPDEST 0000017a: POP 0000017b: DUP3 0000017c: CALLVALUE 0000017d: PUSH2 0x0171 00000180: JUMPI 00000181: PUSH1 0x20 00000183: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 000001a4: CALLDATASIZE 000001a5: ADD 000001a6: SLT 000001a7: PUSH2 0x0171 000001aa: JUMPI 000001ab: PUSH2 0x01b2 000001ae: PUSH2 0x08b4 000001b1: JUMP 000001b2: JUMPDEST 000001b3: SWAP1 000001b4: PUSH2 0x01bb 000001b7: PUSH2 0x090d 000001ba: JUMP 000001bb: JUMPDEST 000001bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001d1: DUP1 000001d2: SWAP3 000001d3: AND 000001d4: SWAP3 000001d5: DUP4 000001d6: ISZERO 000001d7: PUSH2 0x022d 000001da: JUMPI 000001db: POP 000001dc: POP 000001dd: DUP3 000001de: SLOAD 000001df: DUP3 000001e0: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 00000201: DUP3 00000202: AND 00000203: OR 00000204: DUP5 00000205: SSTORE 00000206: AND 00000207: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000228: DUP4 00000229: DUP1 0000022a: LOG3 0000022b: DUP1 0000022c: RETURN 0000022d: JUMPDEST 0000022e: SWAP1 0000022f: PUSH1 0x20 00000231: PUSH1 0x84 00000233: SWAP3 00000234: MLOAD 00000235: SWAP2 00000236: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000257: DUP4 00000258: MSTORE 00000259: DUP3 0000025a: ADD 0000025b: MSTORE 0000025c: PUSH1 0x26 0000025e: PUSH1 0x24 00000260: DUP3 00000261: ADD 00000262: MSTORE 00000263: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 00000284: PUSH1 0x44 00000286: DUP3 00000287: ADD 00000288: MSTORE 00000289: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000 000002aa: PUSH1 0x64 000002ac: DUP3 000002ad: ADD 000002ae: MSTORE 000002af: REVERT 000002b0: JUMPDEST 000002b1: POP 000002b2: CALLVALUE 000002b3: PUSH2 0x0175 000002b6: JUMPI 000002b7: DUP2 000002b8: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 000002d9: CALLDATASIZE 000002da: ADD 000002db: SLT 000002dc: PUSH2 0x0175 000002df: JUMPI 000002e0: PUSH1 0x20 000002e2: SWAP1 000002e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002f8: PUSH1 0x01 000002fa: SLOAD 000002fb: AND 000002fc: SWAP1 000002fd: MLOAD 000002fe: SWAP1 000002ff: DUP2 00000300: MSTORE 00000301: RETURN 00000302: JUMPDEST 00000303: POP 00000304: DUP3 00000305: SWAP1 00000306: CALLVALUE 00000307: PUSH2 0x0171 0000030a: JUMPI 0000030b: PUSH1 0x20 0000030d: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 0000032e: CALLDATASIZE 0000032f: ADD 00000330: SLT 00000331: PUSH2 0x0171 00000334: JUMPI 00000335: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000034a: PUSH2 0x0351 0000034d: PUSH2 0x08b4 00000350: JUMP 00000351: JUMPDEST 00000352: PUSH2 0x0359 00000355: PUSH2 0x090d 00000358: JUMP 00000359: JUMPDEST 0000035a: AND 0000035b: SWAP2 0000035c: DUP3 0000035d: ISZERO 0000035e: PUSH2 0x03b9 00000361: JUMPI 00000362: POP 00000363: DUP2 00000364: PUSH1 0x20 00000366: SWAP2 00000367: PUSH32 0xda12ee837e6978172aaf54b16145ffe08414fd8710092ef033c71b8eb6ec189a 00000388: SWAP4 00000389: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 000003aa: PUSH1 0x01 000003ac: SLOAD 000003ad: AND 000003ae: OR 000003af: PUSH1 0x01 000003b1: SSTORE 000003b2: MLOAD 000003b3: SWAP1 000003b4: DUP2 000003b5: MSTORE 000003b6: LOG1 000003b7: DUP1 000003b8: RETURN 000003b9: JUMPDEST 000003ba: PUSH1 0x20 000003bc: PUSH1 0x64 000003be: SWAP3 000003bf: MLOAD 000003c0: SWAP2 000003c1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000003e2: DUP4 000003e3: MSTORE 000003e4: DUP3 000003e5: ADD 000003e6: MSTORE 000003e7: PUSH1 0x18 000003e9: PUSH1 0x24 000003eb: DUP3 000003ec: ADD 000003ed: MSTORE 000003ee: PUSH32 0x496e76616c6964206f70657261746f7220616464726573730000000000000000 0000040f: PUSH1 0x44 00000411: DUP3 00000412: ADD 00000413: MSTORE 00000414: REVERT 00000415: JUMPDEST 00000416: POP 00000417: DUP3 00000418: CALLVALUE 00000419: PUSH2 0x0171 0000041c: JUMPI 0000041d: DUP2 0000041e: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 0000043f: CALLDATASIZE 00000440: ADD 00000441: SLT 00000442: PUSH2 0x0171 00000445: JUMPI 00000446: PUSH8 0xffffffffffffffff 0000044f: SWAP1 00000450: DUP1 00000451: CALLDATALOAD 00000452: DUP3 00000453: DUP2 00000454: GT 00000455: PUSH2 0x0590 00000458: JUMPI 00000459: PUSH2 0x0465 0000045c: SWAP1 0000045d: CALLDATASIZE 0000045e: SWAP1 0000045f: DUP4 00000460: ADD 00000461: PUSH2 0x08dc 00000464: JUMP 00000465: JUMPDEST 00000466: SWAP2 00000467: SWAP1 00000468: SWAP3 00000469: PUSH1 0x24 0000046b: SWAP1 0000046c: DUP2 0000046d: CALLDATALOAD 0000046e: SWAP1 0000046f: DUP2 00000470: GT 00000471: PUSH2 0x058c 00000474: JUMPI 00000475: PUSH2 0x0481 00000478: SWAP1 00000479: CALLDATASIZE 0000047a: SWAP1 0000047b: DUP5 0000047c: ADD 0000047d: PUSH2 0x08dc 00000480: JUMP 00000481: JUMPDEST 00000482: SWAP1 00000483: SWAP4 00000484: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000499: SWAP1 0000049a: PUSH2 0x04a8 0000049d: DUP3 0000049e: PUSH1 0x01 000004a0: SLOAD 000004a1: AND 000004a2: CALLER 000004a3: EQ 000004a4: PUSH2 0x0cf7 000004a7: JUMP 000004a8: JUMPDEST 000004a9: PUSH2 0x04b3 000004ac: DUP4 000004ad: DUP3 000004ae: EQ 000004af: PUSH2 0x0d82 000004b2: JUMP 000004b3: JUMPDEST 000004b4: DUP9 000004b5: JUMPDEST 000004b6: DUP2 000004b7: DUP2 000004b8: LT 000004b9: PUSH2 0x04c0 000004bc: JUMPI 000004bd: DUP10 000004be: DUP1 000004bf: RETURN 000004c0: JUMPDEST 000004c1: DUP3 000004c2: PUSH2 0x04d4 000004c5: PUSH2 0x04cf 000004c8: DUP4 000004c9: DUP6 000004ca: DUP13 000004cb: PUSH2 0x0e43 000004ce: JUMP 000004cf: JUMPDEST 000004d0: PUSH2 0x0e82 000004d3: JUMP 000004d4: JUMPDEST 000004d5: AND 000004d6: PUSH2 0x04e0 000004d9: DUP3 000004da: DUP7 000004db: DUP11 000004dc: PUSH2 0x0e43 000004df: JUMP 000004e0: JUMPDEST 000004e1: CALLDATALOAD 000004e2: DUP12 000004e3: DUP1 000004e4: DUP1 000004e5: DUP1 000004e6: DUP5 000004e7: DUP7 000004e8: GAS 000004e9: CALL 000004ea: PUSH2 0x04f1 000004ed: PUSH2 0x0b77 000004f0: JUMP 000004f1: JUMPDEST 000004f2: POP 000004f3: ISZERO 000004f4: PUSH2 0x0530 000004f7: JUMPI 000004f8: SWAP1 000004f9: PUSH32 0x884edad9ce6fa2440d8a54cc123490eb96d2768479d49ff9c7366125a9424364 0000051a: PUSH1 0x20 0000051c: PUSH2 0x052b 0000051f: SWAP5 00000520: SWAP4 00000521: DUP14 00000522: MLOAD 00000523: SWAP1 00000524: DUP2 00000525: MSTORE 00000526: LOG2 00000527: PUSH2 0x0de7 0000052a: JUMP 0000052b: JUMPDEST 0000052c: PUSH2 0x04b5 0000052f: JUMP 00000530: JUMPDEST 00000531: PUSH1 0x64 00000533: DUP9 00000534: PUSH1 0x13 00000536: DUP10 00000537: PUSH1 0x20 00000539: DUP16 0000053a: MLOAD 0000053b: SWAP4 0000053c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000055d: DUP6 0000055e: MSTORE 0000055f: DUP5 00000560: ADD 00000561: MSTORE 00000562: DUP3 00000563: ADD 00000564: MSTORE 00000565: PUSH32 0x5472616e7366657220455448206661696c656400000000000000000000000000 00000586: PUSH1 0x44 00000588: DUP3 00000589: ADD 0000058a: MSTORE 0000058b: REVERT 0000058c: JUMPDEST 0000058d: DUP7 0000058e: DUP1 0000058f: REVERT 00000590: JUMPDEST 00000591: DUP5 00000592: DUP1 00000593: REVERT 00000594: JUMPDEST 00000595: POP 00000596: CALLVALUE 00000597: PUSH2 0x0175 0000059a: JUMPI 0000059b: DUP1 0000059c: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 000005bd: CALLDATASIZE 000005be: ADD 000005bf: SLT 000005c0: PUSH2 0x0175 000005c3: JUMPI 000005c4: PUSH2 0x05cb 000005c7: PUSH2 0x08b4 000005ca: JUMP 000005cb: JUMPDEST 000005cc: SWAP1 000005cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005e2: PUSH1 0x24 000005e4: CALLDATALOAD 000005e5: SWAP3 000005e6: PUSH2 0x05ed 000005e9: PUSH2 0x090d 000005ec: JUMP 000005ed: JUMPDEST 000005ee: AND 000005ef: SWAP1 000005f0: PUSH2 0x05fa 000005f3: DUP4 000005f4: CALLER 000005f5: DUP5 000005f6: PUSH2 0x09fc 000005f9: JUMP 000005fa: JUMPDEST 000005fb: MLOAD 000005fc: SWAP2 000005fd: DUP3 000005fe: MSTORE 000005ff: PUSH32 0x037238854fe57fbf51f09946f854fc3916fe83938d6521f09bd05463839f1304 00000620: PUSH1 0x20 00000622: CALLER 00000623: SWAP4 00000624: LOG3 00000625: DUP1 00000626: RETURN 00000627: JUMPDEST 00000628: POP 00000629: CALLVALUE 0000062a: PUSH2 0x0175 0000062d: JUMPI 0000062e: DUP2 0000062f: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 00000650: CALLDATASIZE 00000651: ADD 00000652: SLT 00000653: PUSH2 0x0175 00000656: JUMPI 00000657: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000066c: PUSH1 0x20 0000066e: SWAP3 0000066f: SLOAD 00000670: AND 00000671: SWAP1 00000672: MLOAD 00000673: SWAP1 00000674: DUP2 00000675: MSTORE 00000676: RETURN 00000677: JUMPDEST 00000678: DUP3 00000679: CALLVALUE 0000067a: PUSH2 0x015c 0000067d: JUMPI 0000067e: DUP1 0000067f: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 000006a0: CALLDATASIZE 000006a1: ADD 000006a2: SLT 000006a3: PUSH2 0x015c 000006a6: JUMPI 000006a7: PUSH2 0x06ae 000006aa: PUSH2 0x090d 000006ad: JUMP 000006ae: JUMPDEST 000006af: DUP1 000006b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006c5: DUP2 000006c6: SLOAD 000006c7: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 000006e8: DUP2 000006e9: AND 000006ea: DUP4 000006eb: SSTORE 000006ec: AND 000006ed: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 0000070e: DUP3 0000070f: DUP1 00000710: LOG3 00000711: DUP1 00000712: RETURN 00000713: JUMPDEST 00000714: POP 00000715: DUP2 00000716: DUP4 00000717: CALLVALUE 00000718: PUSH2 0x0175 0000071b: JUMPI 0000071c: PUSH1 0x20 0000071e: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 0000073f: CALLDATASIZE 00000740: ADD 00000741: SLT 00000742: PUSH2 0x0175 00000745: JUMPI 00000746: CALLDATALOAD 00000747: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000075c: DUP2 0000075d: AND 0000075e: DUP1 0000075f: SWAP2 00000760: SUB 00000761: PUSH2 0x0175 00000764: JUMPI 00000765: DUP2 00000766: DUP1 00000767: DUP1 00000768: SWAP3 00000769: PUSH2 0x0770 0000076c: PUSH2 0x090d 0000076f: JUMP 00000770: JUMPDEST 00000771: SELFBALANCE 00000772: SWAP1 00000773: DUP3 00000774: DUP3 00000775: ISZERO 00000776: PUSH2 0x078e 00000779: JUMPI 0000077a: JUMPDEST 0000077b: CALL 0000077c: ISZERO 0000077d: PUSH2 0x0784 00000780: JUMPI 00000781: POP 00000782: DUP1 00000783: RETURN 00000784: JUMPDEST 00000785: MLOAD 00000786: SWAP1 00000787: RETURNDATASIZE 00000788: SWAP1 00000789: DUP3 0000078a: RETURNDATACOPY 0000078b: RETURNDATASIZE 0000078c: SWAP1 0000078d: REVERT 0000078e: JUMPDEST 0000078f: POP 00000790: PUSH2 0x08fc 00000793: PUSH2 0x077a 00000796: JUMP 00000797: JUMPDEST 00000798: POP 00000799: DUP3 0000079a: SWAP1 0000079b: CALLVALUE 0000079c: PUSH2 0x0171 0000079f: JUMPI 000007a0: PUSH1 0x60 000007a2: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 000007c3: CALLDATASIZE 000007c4: ADD 000007c5: SLT 000007c6: PUSH2 0x0171 000007c9: JUMPI 000007ca: PUSH2 0x07d1 000007cd: PUSH2 0x08b4 000007d0: JUMP 000007d1: JUMPDEST 000007d2: SWAP2 000007d3: PUSH8 0xffffffffffffffff 000007dc: PUSH1 0x24 000007de: CALLDATALOAD 000007df: DUP2 000007e0: DUP2 000007e1: GT 000007e2: PUSH2 0x08b0 000007e5: JUMPI 000007e6: PUSH2 0x07f2 000007e9: SWAP1 000007ea: CALLDATASIZE 000007eb: SWAP1 000007ec: DUP5 000007ed: ADD 000007ee: PUSH2 0x08dc 000007f1: JUMP 000007f2: JUMPDEST 000007f3: SWAP2 000007f4: SWAP1 000007f5: SWAP3 000007f6: PUSH1 0x44 000007f8: CALLDATALOAD 000007f9: SWAP2 000007fa: DUP3 000007fb: GT 000007fc: PUSH2 0x058c 000007ff: JUMPI 00000800: PUSH2 0x080e 00000803: SWAP2 00000804: SWAP6 00000805: SWAP4 00000806: SWAP6 00000807: CALLDATASIZE 00000808: SWAP2 00000809: ADD 0000080a: PUSH2 0x08dc 0000080d: JUMP 0000080e: JUMPDEST 0000080f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000824: SWAP3 00000825: PUSH2 0x0833 00000828: DUP5 00000829: PUSH1 0x01 0000082b: SLOAD 0000082c: AND 0000082d: CALLER 0000082e: EQ 0000082f: PUSH2 0x0cf7 00000832: JUMP 00000833: JUMPDEST 00000834: PUSH2 0x083e 00000837: DUP3 00000838: DUP3 00000839: EQ 0000083a: PUSH2 0x0d82 0000083d: JUMP 0000083e: JUMPDEST 0000083f: DUP4 00000840: DUP9 00000841: SWAP6 00000842: AND 00000843: SWAP5 00000844: JUMPDEST 00000845: DUP2 00000846: DUP2 00000847: LT 00000848: PUSH2 0x084f 0000084b: JUMPI 0000084c: DUP9 0000084d: DUP1 0000084e: RETURN 0000084f: JUMPDEST 00000850: DUP1 00000851: PUSH2 0x0861 00000854: PUSH2 0x04cf 00000857: PUSH2 0x08ab 0000085a: SWAP4 0000085b: DUP6 0000085c: DUP13 0000085d: PUSH2 0x0e43 00000860: JUMP 00000861: JUMPDEST 00000862: DUP8 00000863: PUSH32 0x037238854fe57fbf51f09946f854fc3916fe83938d6521f09bd05463839f1304 00000884: PUSH1 0x20 00000886: DUP10 00000887: PUSH2 0x0891 0000088a: DUP7 0000088b: DUP11 0000088c: DUP13 0000088d: PUSH2 0x0e43 00000890: JUMP 00000891: JUMPDEST 00000892: CALLDATALOAD 00000893: SWAP5 00000894: PUSH2 0x089e 00000897: DUP7 00000898: DUP3 00000899: DUP8 0000089a: PUSH2 0x09fc 0000089d: JUMP 0000089e: JUMPDEST 0000089f: DUP14 000008a0: MLOAD 000008a1: SWAP6 000008a2: DUP7 000008a3: MSTORE 000008a4: AND 000008a5: SWAP4 000008a6: LOG3 000008a7: PUSH2 0x0de7 000008aa: JUMP 000008ab: JUMPDEST 000008ac: PUSH2 0x0844 000008af: JUMP 000008b0: JUMPDEST 000008b1: DUP6 000008b2: DUP1 000008b3: REVERT 000008b4: JUMPDEST 000008b5: PUSH1 0x04 000008b7: CALLDATALOAD 000008b8: SWAP1 000008b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008ce: DUP3 000008cf: AND 000008d0: DUP3 000008d1: SUB 000008d2: PUSH2 0x08d7 000008d5: JUMPI 000008d6: JUMP 000008d7: JUMPDEST 000008d8: PUSH1 0x00 000008da: DUP1 000008db: REVERT 000008dc: JUMPDEST 000008dd: SWAP2 000008de: DUP2 000008df: PUSH1 0x1f 000008e1: DUP5 000008e2: ADD 000008e3: SLT 000008e4: ISZERO 000008e5: PUSH2 0x08d7 000008e8: JUMPI 000008e9: DUP3 000008ea: CALLDATALOAD 000008eb: SWAP2 000008ec: PUSH8 0xffffffffffffffff 000008f5: DUP4 000008f6: GT 000008f7: PUSH2 0x08d7 000008fa: JUMPI 000008fb: PUSH1 0x20 000008fd: DUP1 000008fe: DUP6 000008ff: ADD 00000900: SWAP5 00000901: DUP5 00000902: PUSH1 0x05 00000904: SHL 00000905: ADD 00000906: ADD 00000907: GT 00000908: PUSH2 0x08d7 0000090b: JUMPI 0000090c: JUMP 0000090d: JUMPDEST 0000090e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000923: PUSH1 0x00 00000925: SLOAD 00000926: AND 00000927: CALLER 00000928: SUB 00000929: PUSH2 0x092e 0000092c: JUMPI 0000092d: JUMP 0000092e: JUMPDEST 0000092f: PUSH1 0x64 00000931: PUSH1 0x40 00000933: MLOAD 00000934: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000955: DUP2 00000956: MSTORE 00000957: PUSH1 0x20 00000959: PUSH1 0x04 0000095b: DUP3 0000095c: ADD 0000095d: MSTORE 0000095e: PUSH1 0x20 00000960: PUSH1 0x24 00000962: DUP3 00000963: ADD 00000964: MSTORE 00000965: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00000986: PUSH1 0x44 00000988: DUP3 00000989: ADD 0000098a: MSTORE 0000098b: REVERT 0000098c: JUMPDEST 0000098d: SWAP1 0000098e: PUSH1 0x1f 00000990: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 000009b1: SWAP2 000009b2: ADD 000009b3: AND 000009b4: DUP2 000009b5: ADD 000009b6: SWAP1 000009b7: DUP2 000009b8: LT 000009b9: PUSH8 0xffffffffffffffff 000009c2: DUP3 000009c3: GT 000009c4: OR 000009c5: PUSH2 0x09cd 000009c8: JUMPI 000009c9: PUSH1 0x40 000009cb: MSTORE 000009cc: JUMP 000009cd: JUMPDEST 000009ce: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000009ef: PUSH1 0x00 000009f1: MSTORE 000009f2: PUSH1 0x41 000009f4: PUSH1 0x04 000009f6: MSTORE 000009f7: PUSH1 0x24 000009f9: PUSH1 0x00 000009fb: REVERT 000009fc: JUMPDEST 000009fd: SWAP1 000009fe: PUSH1 0x40 00000a00: MLOAD 00000a01: PUSH1 0x20 00000a03: DUP2 00000a04: ADD 00000a05: SWAP4 00000a06: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000 00000a27: DUP6 00000a28: MSTORE 00000a29: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a3e: DUP1 00000a3f: SWAP4 00000a40: AND 00000a41: PUSH1 0x24 00000a43: DUP4 00000a44: ADD 00000a45: MSTORE 00000a46: PUSH1 0x44 00000a48: DUP3 00000a49: ADD 00000a4a: MSTORE 00000a4b: PUSH1 0x44 00000a4d: DUP2 00000a4e: MSTORE 00000a4f: PUSH1 0x80 00000a51: DUP2 00000a52: ADD 00000a53: SWAP2 00000a54: PUSH8 0xffffffffffffffff 00000a5d: SWAP4 00000a5e: DUP3 00000a5f: DUP5 00000a60: LT 00000a61: DUP6 00000a62: DUP6 00000a63: GT 00000a64: OR 00000a65: PUSH2 0x09cd 00000a68: JUMPI 00000a69: AND 00000a6a: SWAP1 00000a6b: PUSH1 0xc0 00000a6d: DUP2 00000a6e: ADD 00000a6f: SWAP4 00000a70: DUP4 00000a71: DUP6 00000a72: LT 00000a73: SWAP1 00000a74: DUP6 00000a75: GT 00000a76: OR 00000a77: PUSH2 0x09cd 00000a7a: JUMPI 00000a7b: PUSH2 0x0ac5 00000a7e: SWAP4 00000a7f: PUSH1 0x40 00000a81: MSTORE 00000a82: PUSH1 0x20 00000a84: DUP4 00000a85: MSTORE 00000a86: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564 00000aa7: PUSH1 0xa0 00000aa9: DUP3 00000aaa: ADD 00000aab: MSTORE 00000aac: PUSH1 0x00 00000aae: DUP1 00000aaf: SWAP6 00000ab0: DUP2 00000ab1: SWAP3 00000ab2: MLOAD 00000ab3: SWAP1 00000ab4: DUP3 00000ab5: DUP6 00000ab6: GAS 00000ab7: CALL 00000ab8: PUSH2 0x0abf 00000abb: PUSH2 0x0b77 00000abe: JUMP 00000abf: JUMPDEST 00000ac0: SWAP2 00000ac1: PUSH2 0x0bd5 00000ac4: JUMP 00000ac5: JUMPDEST 00000ac6: DUP1 00000ac7: MLOAD 00000ac8: DUP1 00000ac9: PUSH2 0x0ad1 00000acc: JUMPI 00000acd: POP 00000ace: POP 00000acf: POP 00000ad0: JUMP 00000ad1: JUMPDEST 00000ad2: DUP2 00000ad3: PUSH1 0x20 00000ad5: SWAP2 00000ad6: DUP2 00000ad7: ADD 00000ad8: SUB 00000ad9: SLT 00000ada: PUSH2 0x0175 00000add: JUMPI 00000ade: PUSH1 0x20 00000ae0: ADD 00000ae1: MLOAD 00000ae2: SWAP1 00000ae3: DUP2 00000ae4: ISZERO 00000ae5: SWAP2 00000ae6: DUP3 00000ae7: ISZERO 00000ae8: SUB 00000ae9: PUSH2 0x015c 00000aec: JUMPI 00000aed: POP 00000aee: PUSH2 0x0af3 00000af1: JUMPI 00000af2: JUMP 00000af3: JUMPDEST 00000af4: PUSH1 0x84 00000af6: PUSH1 0x40 00000af8: MLOAD 00000af9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000b1a: DUP2 00000b1b: MSTORE 00000b1c: PUSH1 0x20 00000b1e: PUSH1 0x04 00000b20: DUP3 00000b21: ADD 00000b22: MSTORE 00000b23: PUSH1 0x2a 00000b25: PUSH1 0x24 00000b27: DUP3 00000b28: ADD 00000b29: MSTORE 00000b2a: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e 00000b4b: PUSH1 0x44 00000b4d: DUP3 00000b4e: ADD 00000b4f: MSTORE 00000b50: PUSH32 0x6f74207375636365656400000000000000000000000000000000000000000000 00000b71: PUSH1 0x64 00000b73: DUP3 00000b74: ADD 00000b75: MSTORE 00000b76: REVERT 00000b77: JUMPDEST 00000b78: RETURNDATASIZE 00000b79: ISZERO 00000b7a: PUSH2 0x0bd0 00000b7d: JUMPI 00000b7e: RETURNDATASIZE 00000b7f: SWAP1 00000b80: PUSH8 0xffffffffffffffff 00000b89: DUP3 00000b8a: GT 00000b8b: PUSH2 0x09cd 00000b8e: JUMPI 00000b8f: PUSH1 0x40 00000b91: MLOAD 00000b92: SWAP2 00000b93: PUSH2 0x0bc4 00000b96: PUSH1 0x20 00000b98: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00000bb9: PUSH1 0x1f 00000bbb: DUP5 00000bbc: ADD 00000bbd: AND 00000bbe: ADD 00000bbf: DUP5 00000bc0: PUSH2 0x098c 00000bc3: JUMP 00000bc4: JUMPDEST 00000bc5: DUP3 00000bc6: MSTORE 00000bc7: RETURNDATASIZE 00000bc8: PUSH1 0x00 00000bca: PUSH1 0x20 00000bcc: DUP5 00000bcd: ADD 00000bce: RETURNDATACOPY 00000bcf: JUMP 00000bd0: JUMPDEST 00000bd1: PUSH1 0x60 00000bd3: SWAP1 00000bd4: JUMP 00000bd5: JUMPDEST 00000bd6: SWAP2 00000bd7: SWAP3 00000bd8: SWAP1 00000bd9: ISZERO 00000bda: PUSH2 0x0c50 00000bdd: JUMPI 00000bde: POP 00000bdf: DUP2 00000be0: MLOAD 00000be1: ISZERO 00000be2: PUSH2 0x0be9 00000be5: JUMPI 00000be6: POP 00000be7: SWAP1 00000be8: JUMP 00000be9: JUMPDEST 00000bea: EXTCODESIZE 00000beb: ISZERO 00000bec: PUSH2 0x0bf2 00000bef: JUMPI 00000bf0: SWAP1 00000bf1: JUMP 00000bf2: JUMPDEST 00000bf3: PUSH1 0x64 00000bf5: PUSH1 0x40 00000bf7: MLOAD 00000bf8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000c19: DUP2 00000c1a: MSTORE 00000c1b: PUSH1 0x20 00000c1d: PUSH1 0x04 00000c1f: DUP3 00000c20: ADD 00000c21: MSTORE 00000c22: PUSH1 0x1d 00000c24: PUSH1 0x24 00000c26: DUP3 00000c27: ADD 00000c28: MSTORE 00000c29: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000 00000c4a: PUSH1 0x44 00000c4c: DUP3 00000c4d: ADD 00000c4e: MSTORE 00000c4f: REVERT 00000c50: JUMPDEST 00000c51: DUP3 00000c52: MLOAD 00000c53: SWAP1 00000c54: SWAP2 00000c55: POP 00000c56: ISZERO 00000c57: PUSH2 0x0c63 00000c5a: JUMPI 00000c5b: POP 00000c5c: DUP1 00000c5d: MLOAD 00000c5e: SWAP1 00000c5f: PUSH1 0x20 00000c61: ADD 00000c62: REVERT 00000c63: JUMPDEST 00000c64: PUSH1 0x40 00000c66: MLOAD 00000c67: SWAP1 00000c68: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000c89: DUP3 00000c8a: MSTORE 00000c8b: DUP2 00000c8c: PUSH1 0x20 00000c8e: DUP1 00000c8f: PUSH1 0x04 00000c91: DUP4 00000c92: ADD 00000c93: MSTORE 00000c94: DUP3 00000c95: MLOAD 00000c96: SWAP3 00000c97: DUP4 00000c98: PUSH1 0x24 00000c9a: DUP5 00000c9b: ADD 00000c9c: MSTORE 00000c9d: PUSH1 0x00 00000c9f: JUMPDEST 00000ca0: DUP5 00000ca1: DUP2 00000ca2: LT 00000ca3: PUSH2 0x0ce0 00000ca6: JUMPI 00000ca7: POP 00000ca8: POP 00000ca9: POP 00000caa: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00000ccb: PUSH1 0x1f 00000ccd: DUP4 00000cce: PUSH1 0x00 00000cd0: PUSH1 0x44 00000cd2: DUP1 00000cd3: SWAP7 00000cd4: DUP7 00000cd5: ADD 00000cd6: ADD 00000cd7: MSTORE 00000cd8: ADD 00000cd9: AND 00000cda: DUP2 00000cdb: ADD 00000cdc: SUB 00000cdd: ADD 00000cde: SWAP1 00000cdf: REVERT 00000ce0: JUMPDEST 00000ce1: DUP2 00000ce2: DUP2 00000ce3: ADD 00000ce4: DUP4 00000ce5: ADD 00000ce6: MLOAD 00000ce7: DUP7 00000ce8: DUP3 00000ce9: ADD 00000cea: PUSH1 0x44 00000cec: ADD 00000ced: MSTORE 00000cee: DUP6 00000cef: SWAP4 00000cf0: POP 00000cf1: DUP3 00000cf2: ADD 00000cf3: PUSH2 0x0c9f 00000cf6: JUMP 00000cf7: JUMPDEST 00000cf8: ISZERO 00000cf9: PUSH2 0x0cfe 00000cfc: JUMPI 00000cfd: JUMP 00000cfe: JUMPDEST 00000cff: PUSH1 0x84 00000d01: PUSH1 0x40 00000d03: MLOAD 00000d04: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000d25: DUP2 00000d26: MSTORE 00000d27: PUSH1 0x20 00000d29: PUSH1 0x04 00000d2b: DUP3 00000d2c: ADD 00000d2d: MSTORE 00000d2e: PUSH1 0x25 00000d30: PUSH1 0x24 00000d32: DUP3 00000d33: ADD 00000d34: MSTORE 00000d35: PUSH32 0x4f6e6c79206f70657261746f722063616e2063616c6c20746869732066756e63 00000d56: PUSH1 0x44 00000d58: DUP3 00000d59: ADD 00000d5a: MSTORE 00000d5b: PUSH32 0x74696f6e2e000000000000000000000000000000000000000000000000000000 00000d7c: PUSH1 0x64 00000d7e: DUP3 00000d7f: ADD 00000d80: MSTORE 00000d81: REVERT 00000d82: JUMPDEST 00000d83: ISZERO 00000d84: PUSH2 0x0d89 00000d87: JUMPI 00000d88: JUMP 00000d89: JUMPDEST 00000d8a: PUSH1 0x64 00000d8c: PUSH1 0x40 00000d8e: MLOAD 00000d8f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000db0: DUP2 00000db1: MSTORE 00000db2: PUSH1 0x20 00000db4: PUSH1 0x04 00000db6: DUP3 00000db7: ADD 00000db8: MSTORE 00000db9: PUSH1 0x18 00000dbb: PUSH1 0x24 00000dbd: DUP3 00000dbe: ADD 00000dbf: MSTORE 00000dc0: PUSH32 0x496e76616c696420696e70757420706172616d65746572730000000000000000 00000de1: PUSH1 0x44 00000de3: DUP3 00000de4: ADD 00000de5: MSTORE 00000de6: REVERT 00000de7: JUMPDEST 00000de8: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000e09: DUP2 00000e0a: EQ 00000e0b: PUSH2 0x0e14 00000e0e: JUMPI 00000e0f: PUSH1 0x01 00000e11: ADD 00000e12: SWAP1 00000e13: JUMP 00000e14: JUMPDEST 00000e15: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00000e36: PUSH1 0x00 00000e38: MSTORE 00000e39: PUSH1 0x11 00000e3b: PUSH1 0x04 00000e3d: MSTORE 00000e3e: PUSH1 0x24 00000e40: PUSH1 0x00 00000e42: REVERT 00000e43: JUMPDEST 00000e44: SWAP2 00000e45: SWAP1 00000e46: DUP2 00000e47: LT 00000e48: ISZERO 00000e49: PUSH2 0x0e53 00000e4c: JUMPI 00000e4d: PUSH1 0x05 00000e4f: SHL 00000e50: ADD 00000e51: SWAP1 00000e52: JUMP 00000e53: JUMPDEST 00000e54: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00000e75: PUSH1 0x00 00000e77: MSTORE 00000e78: PUSH1 0x32 00000e7a: PUSH1 0x04 00000e7c: MSTORE 00000e7d: PUSH1 0x24 00000e7f: PUSH1 0x00 00000e81: REVERT 00000e82: JUMPDEST 00000e83: CALLDATALOAD 00000e84: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e99: DUP2 00000e9a: AND 00000e9b: DUP2 00000e9c: SUB 00000e9d: PUSH2 0x08d7 00000ea0: JUMPI 00000ea1: SWAP1 00000ea2: JUMP 00000ea3: INVALID 00000ea4: LOG1 00000ea5: PUSH5 0x736f6c6343 00000eab: STOP 00000eac: ADDMOD 00000ead: SLT 00000eae: STOP 00000eaf: EXP
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xde0afc99d0449af23130283c7f04dacb4d7f8d0b681adfc86c80ea314e65939e
call_targets:
0x001fe350a8624166e946f0ba67065a325bddcc2b
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xde0afc99d0449af23130283c7f04dacb4d7f8d0b681adfc86c80ea314e65939e",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x001fe350a8624166e946f0ba67065a325bddcc2b"
],
"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": "0x20651d5d",
"selector": "0x20651d5d",
"calldata_variants": [
"0x20651d5d",
"0x20651d5d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x51cff8d9",
"selector": "0x51cff8d9",
"calldata_variants": [
"0x51cff8d9",
"0x51cff8d90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9e281a98",
"selector": "0x9e281a98",
"calldata_variants": [
"0x9e281a98",
"0x9e281a980000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa0ce91d8",
"selector": "0xa0ce91d8",
"calldata_variants": [
"0xa0ce91d8",
"0xa0ce91d80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xac7475ed",
"selector": "0xac7475ed",
"calldata_variants": [
"0xac7475ed",
"0xac7475ed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd0835895",
"selector": "0xd0835895",
"calldata_variants": [
"0xd0835895",
"0xd08358950000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1257,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1915,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2743,
"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: 0xde0afc99d0449af23130283c7f04dacb4d7f8d0b681adfc86c80ea314e65939e
call_targets:
0x001fe350a8624166e946f0ba67065a325bddcc2b
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xde0afc99d0449af23130283c7f04dacb4d7f8d0b681adfc86c80ea314e65939e",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x001fe350a8624166e946f0ba67065a325bddcc2b"
],
"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": "0x20651d5d",
"selector": "0x20651d5d",
"calldata_variants": [
"0x20651d5d",
"0x20651d5d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x51cff8d9",
"selector": "0x51cff8d9",
"calldata_variants": [
"0x51cff8d9",
"0x51cff8d90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9e281a98",
"selector": "0x9e281a98",
"calldata_variants": [
"0x9e281a98",
"0x9e281a980000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa0ce91d8",
"selector": "0xa0ce91d8",
"calldata_variants": [
"0xa0ce91d8",
"0xa0ce91d80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xac7475ed",
"selector": "0xac7475ed",
"calldata_variants": [
"0xac7475ed",
"0xac7475ed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd0835895",
"selector": "0xd0835895",
"calldata_variants": [
"0xd0835895",
"0xd08358950000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1257,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1915,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2743,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": []
}
|