019b477e-d8a6-704e-900c-295a504077e9
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 |
|---|---|---|---|---|
| 29113 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 29114 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 92401 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 92402 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 92403 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 92404 | validation.fork | complete | 1 / 3 | 2 weeks 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 0x0015 00000010: JUMPI 00000011: PUSH1 0x00 00000013: DUP1 00000014: REVERT 00000015: JUMPDEST 00000016: PUSH1 0x00 00000018: SWAP2 00000019: DUP3 0000001a: CALLDATALOAD 0000001b: PUSH1 0xe0 0000001d: SHR 0000001e: SWAP1 0000001f: DUP2 00000020: PUSH4 0x058a628f 00000025: EQ 00000026: PUSH2 0x098c 00000029: JUMPI 0000002a: DUP2 0000002b: PUSH4 0x47e7ef24 00000030: EQ 00000031: PUSH2 0x083a 00000034: JUMPI 00000035: DUP2 00000036: PUSH4 0x715018a6 0000003b: EQ 0000003c: PUSH2 0x079c 0000003f: JUMPI 00000040: DUP2 00000041: PUSH4 0x8da5cb5b 00000046: EQ 00000047: PUSH2 0x0749 0000004a: JUMPI 0000004b: DUP2 0000004c: PUSH4 0xa568e421 00000051: EQ 00000052: PUSH2 0x059d 00000055: JUMPI 00000056: DUP2 00000057: PUSH4 0xd09edf31 0000005c: EQ 0000005d: PUSH2 0x054a 00000060: JUMPI 00000061: DUP2 00000062: PUSH4 0xf2fde38b 00000067: EQ 00000068: PUSH2 0x0465 0000006b: JUMPI 0000006c: DUP2 0000006d: PUSH4 0xf3fef3a3 00000072: EQ 00000073: PUSH2 0x0107 00000076: JUMPI 00000077: POP 00000078: PUSH4 0xf7888aec 0000007d: EQ 0000007e: PUSH2 0x0086 00000081: JUMPI 00000082: PUSH1 0x00 00000084: DUP1 00000085: REVERT 00000086: JUMPDEST 00000087: CALLVALUE 00000088: PUSH2 0x0103 0000008b: JUMPI 0000008c: DUP1 0000008d: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 000000ae: CALLDATASIZE 000000af: ADD 000000b0: SLT 000000b1: PUSH2 0x0103 000000b4: JUMPI 000000b5: PUSH2 0x00bc 000000b8: PUSH2 0x0a10 000000bb: JUMP 000000bc: JUMPDEST 000000bd: PUSH1 0x24 000000bf: CALLDATALOAD 000000c0: SWAP1 000000c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000d6: SWAP1 000000d7: DUP2 000000d8: DUP4 000000d9: AND 000000da: DUP1 000000db: SWAP4 000000dc: SUB 000000dd: PUSH2 0x00ff 000000e0: JUMPI 000000e1: SWAP2 000000e2: PUSH1 0x20 000000e4: SWAP5 000000e5: SWAP2 000000e6: DUP5 000000e7: SWAP4 000000e8: AND 000000e9: DUP3 000000ea: MSTORE 000000eb: PUSH1 0x02 000000ed: DUP6 000000ee: MSTORE 000000ef: DUP3 000000f0: DUP3 000000f1: KECCAK256 000000f2: SWAP1 000000f3: DUP3 000000f4: MSTORE 000000f5: DUP5 000000f6: MSTORE 000000f7: KECCAK256 000000f8: SLOAD 000000f9: SWAP1 000000fa: MLOAD 000000fb: SWAP1 000000fc: DUP2 000000fd: MSTORE 000000fe: RETURN 000000ff: JUMPDEST 00000100: DUP5 00000101: DUP1 00000102: REVERT 00000103: JUMPDEST 00000104: POP 00000105: DUP1 00000106: REVERT 00000107: JUMPDEST 00000108: SWAP2 00000109: SWAP1 0000010a: POP 0000010b: CALLVALUE 0000010c: PUSH2 0x0461 0000010f: JUMPI 00000110: DUP1 00000111: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 00000132: CALLDATASIZE 00000133: ADD 00000134: SLT 00000135: PUSH2 0x0461 00000138: JUMPI 00000139: PUSH2 0x0140 0000013c: PUSH2 0x0a10 0000013f: JUMP 00000140: JUMPDEST 00000141: SWAP2 00000142: PUSH1 0x24 00000144: CALLDATALOAD 00000145: SWAP2 00000146: PUSH1 0x02 00000148: DUP6 00000149: SLOAD 0000014a: EQ 0000014b: PUSH2 0x043b 0000014e: JUMPI 0000014f: PUSH1 0x02 00000151: DUP6 00000152: SSTORE 00000153: CALLER 00000154: DUP6 00000155: MSTORE 00000156: PUSH1 0x20 00000158: SWAP2 00000159: PUSH1 0x02 0000015b: DUP4 0000015c: MSTORE 0000015d: DUP2 0000015e: DUP7 0000015f: KECCAK256 00000160: SWAP5 00000161: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000176: DUP1 00000177: DUP3 00000178: AND 00000179: SWAP7 0000017a: DUP8 0000017b: DUP10 0000017c: MSTORE 0000017d: DUP6 0000017e: MSTORE 0000017f: DUP4 00000180: DUP9 00000181: KECCAK256 00000182: SLOAD 00000183: DUP7 00000184: DUP2 00000185: LT 00000186: PUSH2 0x0400 00000189: JUMPI 0000018a: POP 0000018b: PUSH1 0x03 0000018d: SLOAD 0000018e: AND 0000018f: DUP5 00000190: DUP5 00000191: MLOAD 00000192: DUP1 00000193: SWAP3 00000194: PUSH32 0x47c3591000000000000000000000000000000000000000000000000000000000 000001b5: DUP3 000001b6: MSTORE 000001b7: DUP2 000001b8: DUP1 000001b9: PUSH2 0x01f1 000001bc: DUP12 000001bd: DUP9 000001be: CALLER 000001bf: DUP12 000001c0: DUP6 000001c1: ADD 000001c2: PUSH1 0x40 000001c4: SWAP2 000001c5: SWAP5 000001c6: SWAP4 000001c7: SWAP3 000001c8: SWAP5 000001c9: PUSH1 0x60 000001cb: DUP3 000001cc: ADD 000001cd: SWAP6 000001ce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001e3: DUP1 000001e4: SWAP3 000001e5: AND 000001e6: DUP4 000001e7: MSTORE 000001e8: AND 000001e9: PUSH1 0x20 000001eb: DUP3 000001ec: ADD 000001ed: MSTORE 000001ee: ADD 000001ef: MSTORE 000001f0: JUMP 000001f1: JUMPDEST 000001f2: SUB 000001f3: SWAP2 000001f4: GAS 000001f5: STATICCALL 000001f6: SWAP1 000001f7: DUP2 000001f8: ISZERO 000001f9: PUSH2 0x03f6 000001fc: JUMPI 000001fd: DUP9 000001fe: SWAP2 000001ff: PUSH2 0x03c9 00000202: JUMPI 00000203: JUMPDEST 00000204: POP 00000205: ISZERO 00000206: PUSH2 0x0370 00000209: JUMPI 0000020a: POP 0000020b: CALLER 0000020c: DUP7 0000020d: MSTORE 0000020e: PUSH1 0x02 00000210: DUP4 00000211: MSTORE 00000212: DUP2 00000213: DUP7 00000214: KECCAK256 00000215: DUP6 00000216: DUP8 00000217: MSTORE 00000218: DUP4 00000219: MSTORE 0000021a: DUP2 0000021b: DUP7 0000021c: KECCAK256 0000021d: DUP1 0000021e: SLOAD 0000021f: SWAP1 00000220: DUP6 00000221: DUP3 00000222: SUB 00000223: SWAP2 00000224: DUP3 00000225: GT 00000226: PUSH2 0x0344 00000229: JUMPI 0000022a: SSTORE 0000022b: DUP5 0000022c: PUSH2 0x028d 0000022f: JUMPI 00000230: POP 00000231: DUP5 00000232: DUP1 00000233: DUP5 00000234: DUP1 00000235: ISZERO 00000236: PUSH2 0x0283 00000239: JUMPI 0000023a: JUMPDEST 0000023b: DUP3 0000023c: DUP1 0000023d: SWAP3 0000023e: SWAP2 0000023f: DUP2 00000240: SWAP3 00000241: CALLER 00000242: SWAP1 00000243: CALL 00000244: ISZERO 00000245: PUSH2 0x027a 00000248: JUMPI 00000249: SWAP1 0000024a: PUSH32 0xd1c19fbcd4551a5edfb66d43d2e337c04837afda3482b42bdf569a8fccdae5fb 0000026b: SWAP2 0000026c: JUMPDEST 0000026d: MLOAD 0000026e: SWAP3 0000026f: DUP4 00000270: MSTORE 00000271: CALLER 00000272: SWAP3 00000273: LOG3 00000274: PUSH1 0x01 00000276: DUP2 00000277: SSTORE 00000278: DUP1 00000279: RETURN 0000027a: JUMPDEST 0000027b: MLOAD 0000027c: RETURNDATASIZE 0000027d: DUP6 0000027e: DUP3 0000027f: RETURNDATACOPY 00000280: RETURNDATASIZE 00000281: SWAP1 00000282: REVERT 00000283: JUMPDEST 00000284: PUSH2 0x08fc 00000287: SWAP2 00000288: POP 00000289: PUSH2 0x023a 0000028c: JUMP 0000028d: JUMPDEST 0000028e: SWAP5 0000028f: SWAP4 00000290: SWAP3 00000291: SWAP2 00000292: SWAP1 00000293: DUP1 00000294: MLOAD 00000295: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000 000002b6: DUP4 000002b7: DUP3 000002b8: ADD 000002b9: MSTORE 000002ba: CALLER 000002bb: PUSH1 0x24 000002bd: DUP3 000002be: ADD 000002bf: MSTORE 000002c0: DUP4 000002c1: PUSH1 0x44 000002c3: DUP3 000002c4: ADD 000002c5: MSTORE 000002c6: PUSH1 0x44 000002c8: DUP2 000002c9: MSTORE 000002ca: PUSH1 0x80 000002cc: DUP2 000002cd: ADD 000002ce: DUP2 000002cf: DUP2 000002d0: LT 000002d1: PUSH8 0xffffffffffffffff 000002da: DUP3 000002db: GT 000002dc: OR 000002dd: PUSH2 0x0318 000002e0: JUMPI 000002e1: PUSH32 0xd1c19fbcd4551a5edfb66d43d2e337c04837afda3482b42bdf569a8fccdae5fb 00000302: SWAP5 00000303: SWAP6 00000304: SWAP7 00000305: SWAP8 00000306: POP 00000307: SWAP1 00000308: PUSH2 0x0313 0000030b: SWAP2 0000030c: DUP4 0000030d: MSTORE 0000030e: DUP7 0000030f: PUSH2 0x0b65 00000312: JUMP 00000313: JUMPDEST 00000314: PUSH2 0x026c 00000317: JUMP 00000318: JUMPDEST 00000319: PUSH1 0x24 0000031b: DUP8 0000031c: PUSH1 0x41 0000031e: DUP11 0000031f: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00000340: DUP4 00000341: MSTORE 00000342: MSTORE 00000343: REVERT 00000344: JUMPDEST 00000345: PUSH1 0x24 00000347: DUP9 00000348: PUSH1 0x11 0000034a: DUP6 0000034b: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 0000036c: DUP4 0000036d: MSTORE 0000036e: MSTORE 0000036f: REVERT 00000370: JUMPDEST 00000371: SWAP2 00000372: MLOAD 00000373: PUSH32 0x431ef61600000000000000000000000000000000000000000000000000000000 00000394: DUP2 00000395: MSTORE 00000396: CALLER 00000397: SWAP2 00000398: DUP2 00000399: ADD 0000039a: SWAP2 0000039b: DUP3 0000039c: MSTORE 0000039d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003b2: SWAP1 000003b3: SWAP3 000003b4: AND 000003b5: PUSH1 0x20 000003b7: DUP3 000003b8: ADD 000003b9: MSTORE 000003ba: PUSH1 0x40 000003bc: DUP2 000003bd: ADD 000003be: DUP5 000003bf: SWAP1 000003c0: MSTORE 000003c1: DUP2 000003c2: SWAP1 000003c3: PUSH1 0x60 000003c5: ADD 000003c6: SUB 000003c7: SWAP1 000003c8: REVERT 000003c9: JUMPDEST 000003ca: PUSH2 0x03e9 000003cd: SWAP2 000003ce: POP 000003cf: DUP6 000003d0: RETURNDATASIZE 000003d1: DUP8 000003d2: GT 000003d3: PUSH2 0x03ef 000003d6: JUMPI 000003d7: JUMPDEST 000003d8: PUSH2 0x03e1 000003db: DUP2 000003dc: DUP4 000003dd: PUSH2 0x0a74 000003e0: JUMP 000003e1: JUMPDEST 000003e2: DUP2 000003e3: ADD 000003e4: SWAP1 000003e5: PUSH2 0x0afc 000003e8: JUMP 000003e9: JUMPDEST 000003ea: CODESIZE 000003eb: PUSH2 0x0203 000003ee: JUMP 000003ef: JUMPDEST 000003f0: POP 000003f1: RETURNDATASIZE 000003f2: PUSH2 0x03d7 000003f5: JUMP 000003f6: JUMPDEST 000003f7: DUP5 000003f8: MLOAD 000003f9: RETURNDATASIZE 000003fa: DUP11 000003fb: DUP3 000003fc: RETURNDATACOPY 000003fd: RETURNDATASIZE 000003fe: SWAP1 000003ff: REVERT 00000400: JUMPDEST 00000401: DUP4 00000402: PUSH1 0x64 00000404: SWAP2 00000405: DUP9 00000406: DUP11 00000407: DUP9 00000408: MLOAD 00000409: SWAP4 0000040a: PUSH32 0xdb42144d00000000000000000000000000000000000000000000000000000000 0000042b: DUP6 0000042c: MSTORE 0000042d: DUP5 0000042e: ADD 0000042f: MSTORE 00000430: PUSH1 0x24 00000432: DUP4 00000433: ADD 00000434: MSTORE 00000435: PUSH1 0x44 00000437: DUP3 00000438: ADD 00000439: MSTORE 0000043a: REVERT 0000043b: JUMPDEST 0000043c: MLOAD 0000043d: PUSH32 0x3ee5aeb500000000000000000000000000000000000000000000000000000000 0000045e: DUP2 0000045f: MSTORE 00000460: REVERT 00000461: JUMPDEST 00000462: DUP3 00000463: DUP1 00000464: REVERT 00000465: JUMPDEST 00000466: SWAP1 00000467: POP 00000468: CALLVALUE 00000469: PUSH2 0x0461 0000046c: JUMPI 0000046d: PUSH1 0x20 0000046f: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 00000490: CALLDATASIZE 00000491: ADD 00000492: SLT 00000493: PUSH2 0x0461 00000496: JUMPI 00000497: PUSH2 0x049e 0000049a: PUSH2 0x0a10 0000049d: JUMP 0000049e: JUMPDEST 0000049f: SWAP1 000004a0: PUSH2 0x04a7 000004a3: PUSH2 0x0b14 000004a6: JUMP 000004a7: JUMPDEST 000004a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004bd: DUP1 000004be: SWAP3 000004bf: AND 000004c0: SWAP3 000004c1: DUP4 000004c2: ISZERO 000004c3: PUSH2 0x051b 000004c6: JUMPI 000004c7: POP 000004c8: POP 000004c9: PUSH1 0x01 000004cb: SLOAD 000004cc: DUP3 000004cd: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 000004ee: DUP3 000004ef: AND 000004f0: OR 000004f1: PUSH1 0x01 000004f3: SSTORE 000004f4: AND 000004f5: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000516: DUP4 00000517: DUP1 00000518: LOG3 00000519: DUP1 0000051a: RETURN 0000051b: JUMPDEST 0000051c: SWAP1 0000051d: DUP5 0000051e: PUSH1 0x24 00000520: SWAP3 00000521: MLOAD 00000522: SWAP2 00000523: PUSH32 0x1e4fbdf700000000000000000000000000000000000000000000000000000000 00000544: DUP4 00000545: MSTORE 00000546: DUP3 00000547: ADD 00000548: MSTORE 00000549: REVERT 0000054a: JUMPDEST 0000054b: POP 0000054c: POP 0000054d: CALLVALUE 0000054e: PUSH2 0x0103 00000551: JUMPI 00000552: DUP2 00000553: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 00000574: CALLDATASIZE 00000575: ADD 00000576: SLT 00000577: PUSH2 0x0103 0000057a: JUMPI 0000057b: PUSH1 0x20 0000057d: SWAP1 0000057e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000593: PUSH1 0x03 00000595: SLOAD 00000596: AND 00000597: SWAP1 00000598: MLOAD 00000599: SWAP1 0000059a: DUP2 0000059b: MSTORE 0000059c: RETURN 0000059d: JUMPDEST 0000059e: SWAP1 0000059f: POP 000005a0: DUP3 000005a1: CALLVALUE 000005a2: PUSH2 0x0746 000005a5: JUMPI 000005a6: DUP3 000005a7: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 000005c8: CALLDATASIZE 000005c9: ADD 000005ca: SLT 000005cb: PUSH2 0x0746 000005ce: JUMPI 000005cf: PUSH2 0x05d6 000005d2: PUSH2 0x0a10 000005d5: JUMP 000005d6: JUMPDEST 000005d7: PUSH1 0x24 000005d9: SWAP2 000005da: PUSH1 0x24 000005dc: CALLDATALOAD 000005dd: SWAP3 000005de: PUSH8 0xffffffffffffffff 000005e7: DUP1 000005e8: DUP6 000005e9: GT 000005ea: PUSH2 0x0461 000005ed: JUMPI 000005ee: CALLDATASIZE 000005ef: PUSH1 0x23 000005f1: DUP7 000005f2: ADD 000005f3: SLT 000005f4: ISZERO 000005f5: PUSH2 0x0461 000005f8: JUMPI 000005f9: DUP5 000005fa: DUP7 000005fb: ADD 000005fc: CALLDATALOAD 000005fd: SWAP1 000005fe: DUP2 000005ff: GT 00000600: PUSH2 0x0461 00000603: JUMPI 00000604: PUSH1 0x05 00000606: SWAP6 00000607: CALLDATASIZE 00000608: PUSH1 0x24 0000060a: DUP4 0000060b: PUSH1 0x05 0000060d: SHL 0000060e: DUP9 0000060f: ADD 00000610: ADD 00000611: GT 00000612: PUSH2 0x0742 00000615: JUMPI 00000616: PUSH2 0x0624 00000619: DUP3 0000061a: SWAP9 0000061b: SWAP8 0000061c: SWAP7 0000061d: SWAP5 0000061e: SWAP6 0000061f: SWAP9 00000620: PUSH2 0x0ae4 00000623: JUMP 00000624: JUMPDEST 00000625: SWAP4 00000626: PUSH2 0x0631 00000629: DUP9 0000062a: MLOAD 0000062b: SWAP6 0000062c: DUP7 0000062d: PUSH2 0x0a74 00000630: JUMP 00000631: JUMPDEST 00000632: DUP3 00000633: DUP6 00000634: MSTORE 00000635: PUSH2 0x063d 00000638: DUP4 00000639: PUSH2 0x0ae4 0000063c: JUMP 0000063d: JUMPDEST 0000063e: SWAP7 0000063f: PUSH1 0x20 00000641: SWAP10 00000642: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00000663: DUP12 00000664: DUP9 00000665: ADD 00000666: SWAP10 00000667: ADD 00000668: CALLDATASIZE 00000669: DUP11 0000066a: CALLDATACOPY 0000066b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000680: SWAP1 00000681: DUP2 00000682: AND 00000683: DUP9 00000684: JUMPDEST 00000685: DUP7 00000686: DUP2 00000687: LT 00000688: PUSH2 0x06cb 0000068b: JUMPI 0000068c: DUP13 0000068d: DUP13 0000068e: DUP13 0000068f: DUP13 00000690: DUP13 00000691: DUP4 00000692: MLOAD 00000693: SWAP5 00000694: DUP6 00000695: SWAP5 00000696: DUP2 00000697: DUP7 00000698: ADD 00000699: SWAP3 0000069a: DUP3 0000069b: DUP8 0000069c: MSTORE 0000069d: MLOAD 0000069e: DUP1 0000069f: SWAP4 000006a0: MSTORE 000006a1: DUP6 000006a2: ADD 000006a3: SWAP4 000006a4: SWAP3 000006a5: JUMPDEST 000006a6: DUP3 000006a7: DUP2 000006a8: LT 000006a9: PUSH2 0x06b4 000006ac: JUMPI 000006ad: POP 000006ae: POP 000006af: POP 000006b0: POP 000006b1: SUB 000006b2: SWAP1 000006b3: RETURN 000006b4: JUMPDEST 000006b5: DUP4 000006b6: MLOAD 000006b7: DUP6 000006b8: MSTORE 000006b9: DUP7 000006ba: SWAP6 000006bb: POP 000006bc: SWAP4 000006bd: DUP2 000006be: ADD 000006bf: SWAP4 000006c0: SWAP3 000006c1: DUP2 000006c2: ADD 000006c3: SWAP3 000006c4: PUSH1 0x01 000006c6: ADD 000006c7: PUSH2 0x06a5 000006ca: JUMP 000006cb: JUMPDEST 000006cc: DUP2 000006cd: DUP11 000006ce: SWAP10 000006cf: SWAP12 000006d0: SWAP13 000006d1: SWAP14 000006d2: SWAP11 000006d3: MSTORE 000006d4: PUSH1 0x02 000006d6: DUP11 000006d7: MSTORE 000006d8: DUP13 000006d9: DUP10 000006da: KECCAK256 000006db: DUP2 000006dc: DUP6 000006dd: SHL 000006de: SWAP1 000006df: DUP10 000006e0: DUP3 000006e1: DUP9 000006e2: ADD 000006e3: ADD 000006e4: CALLDATALOAD 000006e5: DUP6 000006e6: DUP2 000006e7: AND 000006e8: DUP1 000006e9: SWAP2 000006ea: SUB 000006eb: PUSH2 0x073e 000006ee: JUMPI 000006ef: DUP12 000006f0: MSTORE 000006f1: DUP12 000006f2: MSTORE 000006f3: DUP14 000006f4: DUP11 000006f5: KECCAK256 000006f6: SLOAD 000006f7: SWAP1 000006f8: DUP13 000006f9: MLOAD 000006fa: DUP4 000006fb: LT 000006fc: ISZERO 000006fd: PUSH2 0x0713 00000700: JUMPI 00000701: DUP13 00000702: ADD 00000703: DUP12 00000704: ADD 00000705: MSTORE 00000706: SWAP9 00000707: SWAP12 00000708: SWAP11 00000709: SWAP10 0000070a: SWAP8 0000070b: SWAP9 0000070c: PUSH1 0x01 0000070e: ADD 0000070f: PUSH2 0x0684 00000712: JUMP 00000713: JUMPDEST 00000714: DUP10 00000715: DUP12 00000716: PUSH1 0x32 00000718: DUP11 00000719: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 0000073a: DUP4 0000073b: MSTORE 0000073c: MSTORE 0000073d: REVERT 0000073e: JUMPDEST 0000073f: DUP12 00000740: DUP1 00000741: REVERT 00000742: JUMPDEST 00000743: DUP4 00000744: DUP1 00000745: REVERT 00000746: JUMPDEST 00000747: DUP1 00000748: REVERT 00000749: JUMPDEST 0000074a: POP 0000074b: POP 0000074c: CALLVALUE 0000074d: PUSH2 0x0103 00000750: JUMPI 00000751: DUP2 00000752: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 00000773: CALLDATASIZE 00000774: ADD 00000775: SLT 00000776: PUSH2 0x0103 00000779: JUMPI 0000077a: PUSH1 0x20 0000077c: SWAP1 0000077d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000792: PUSH1 0x01 00000794: SLOAD 00000795: AND 00000796: SWAP1 00000797: MLOAD 00000798: SWAP1 00000799: DUP2 0000079a: MSTORE 0000079b: RETURN 0000079c: JUMPDEST 0000079d: DUP4 0000079e: CALLVALUE 0000079f: PUSH2 0x0746 000007a2: JUMPI 000007a3: DUP1 000007a4: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 000007c5: CALLDATASIZE 000007c6: ADD 000007c7: SLT 000007c8: PUSH2 0x0746 000007cb: JUMPI 000007cc: PUSH2 0x07d3 000007cf: PUSH2 0x0b14 000007d2: JUMP 000007d3: JUMPDEST 000007d4: DUP1 000007d5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007ea: PUSH1 0x01 000007ec: SLOAD 000007ed: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 0000080e: DUP2 0000080f: AND 00000810: PUSH1 0x01 00000812: SSTORE 00000813: AND 00000814: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000835: DUP3 00000836: DUP1 00000837: LOG3 00000838: DUP1 00000839: RETURN 0000083a: JUMPDEST 0000083b: SWAP2 0000083c: DUP1 0000083d: SWAP2 0000083e: POP 0000083f: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 00000860: CALLDATASIZE 00000861: ADD 00000862: SLT 00000863: PUSH2 0x0461 00000866: JUMPI 00000867: PUSH2 0x086e 0000086a: PUSH2 0x0a10 0000086d: JUMP 0000086e: JUMPDEST 0000086f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000884: AND 00000885: SWAP2 00000886: PUSH1 0x24 00000888: CALLDATALOAD 00000889: SWAP2 0000088a: SWAP1 0000088b: DUP4 0000088c: PUSH2 0x090d 0000088f: JUMPI 00000890: DUP3 00000891: CALLVALUE 00000892: SUB 00000893: PUSH2 0x08e6 00000896: JUMPI 00000897: POP 00000898: CALLER 00000899: DUP5 0000089a: MSTORE 0000089b: PUSH1 0x02 0000089d: PUSH1 0x20 0000089f: MSTORE 000008a0: DUP1 000008a1: DUP5 000008a2: KECCAK256 000008a3: DUP5 000008a4: DUP1 000008a5: MSTORE 000008a6: PUSH1 0x20 000008a8: MSTORE 000008a9: DUP1 000008aa: DUP5 000008ab: KECCAK256 000008ac: PUSH2 0x08b6 000008af: DUP4 000008b0: DUP3 000008b1: SLOAD 000008b2: PUSH2 0x0a38 000008b5: JUMP 000008b6: JUMPDEST 000008b7: SWAP1 000008b8: SSTORE 000008b9: JUMPDEST 000008ba: MLOAD 000008bb: SWAP1 000008bc: DUP2 000008bd: MSTORE 000008be: PUSH32 0x8752a472e571a816aea92eec8dae9baf628e840f4929fbcc2d155e6233ff68a7 000008df: PUSH1 0x20 000008e1: CALLER 000008e2: SWAP3 000008e3: LOG3 000008e4: DUP1 000008e5: RETURN 000008e6: JUMPDEST 000008e7: SWAP1 000008e8: MLOAD 000008e9: PUSH32 0xd2ade55600000000000000000000000000000000000000000000000000000000 0000090a: DUP2 0000090b: MSTORE 0000090c: REVERT 0000090d: JUMPDEST 0000090e: CALLVALUE 0000090f: PUSH2 0x08e6 00000912: JUMPI 00000913: POP 00000914: DUP1 00000915: MLOAD 00000916: PUSH32 0x23b872dd00000000000000000000000000000000000000000000000000000000 00000937: PUSH1 0x20 00000939: DUP3 0000093a: ADD 0000093b: MSTORE 0000093c: CALLER 0000093d: PUSH1 0x24 0000093f: DUP3 00000940: ADD 00000941: MSTORE 00000942: ADDRESS 00000943: PUSH1 0x44 00000945: DUP3 00000946: ADD 00000947: MSTORE 00000948: PUSH1 0x64 0000094a: DUP1 0000094b: DUP3 0000094c: ADD 0000094d: DUP5 0000094e: SWAP1 0000094f: MSTORE 00000950: DUP2 00000951: MSTORE 00000952: PUSH2 0x0966 00000955: SWAP1 00000956: PUSH2 0x0960 00000959: PUSH1 0x84 0000095b: DUP3 0000095c: PUSH2 0x0a74 0000095f: JUMP 00000960: JUMPDEST 00000961: DUP5 00000962: PUSH2 0x0b65 00000965: JUMP 00000966: JUMPDEST 00000967: CALLER 00000968: DUP5 00000969: MSTORE 0000096a: PUSH1 0x02 0000096c: PUSH1 0x20 0000096e: MSTORE 0000096f: DUP1 00000970: DUP5 00000971: KECCAK256 00000972: DUP4 00000973: DUP6 00000974: MSTORE 00000975: PUSH1 0x20 00000977: MSTORE 00000978: DUP1 00000979: DUP5 0000097a: KECCAK256 0000097b: PUSH2 0x0985 0000097e: DUP4 0000097f: DUP3 00000980: SLOAD 00000981: PUSH2 0x0a38 00000984: JUMP 00000985: JUMPDEST 00000986: SWAP1 00000987: SSTORE 00000988: PUSH2 0x08b9 0000098b: JUMP 0000098c: JUMPDEST 0000098d: DUP4 0000098e: SWAP1 0000098f: CALLVALUE 00000990: PUSH2 0x0103 00000993: JUMPI 00000994: PUSH1 0x20 00000996: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc 000009b7: CALLDATASIZE 000009b8: ADD 000009b9: SLT 000009ba: PUSH2 0x0103 000009bd: JUMPI 000009be: CALLDATALOAD 000009bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009d4: DUP2 000009d5: AND 000009d6: DUP1 000009d7: SWAP2 000009d8: SUB 000009d9: PUSH2 0x0103 000009dc: JUMPI 000009dd: PUSH2 0x09e4 000009e0: PUSH2 0x0b14 000009e3: JUMP 000009e4: JUMPDEST 000009e5: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 00000a06: PUSH1 0x03 00000a08: SLOAD 00000a09: AND 00000a0a: OR 00000a0b: PUSH1 0x03 00000a0d: SSTORE 00000a0e: DUP1 00000a0f: RETURN 00000a10: JUMPDEST 00000a11: PUSH1 0x04 00000a13: CALLDATALOAD 00000a14: SWAP1 00000a15: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a2a: DUP3 00000a2b: AND 00000a2c: DUP3 00000a2d: SUB 00000a2e: PUSH2 0x0a33 00000a31: JUMPI 00000a32: JUMP 00000a33: JUMPDEST 00000a34: PUSH1 0x00 00000a36: DUP1 00000a37: REVERT 00000a38: JUMPDEST 00000a39: SWAP2 00000a3a: SWAP1 00000a3b: DUP3 00000a3c: ADD 00000a3d: DUP1 00000a3e: SWAP3 00000a3f: GT 00000a40: PUSH2 0x0a45 00000a43: JUMPI 00000a44: JUMP 00000a45: JUMPDEST 00000a46: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00000a67: PUSH1 0x00 00000a69: MSTORE 00000a6a: PUSH1 0x11 00000a6c: PUSH1 0x04 00000a6e: MSTORE 00000a6f: PUSH1 0x24 00000a71: PUSH1 0x00 00000a73: REVERT 00000a74: JUMPDEST 00000a75: SWAP1 00000a76: PUSH1 0x1f 00000a78: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00000a99: SWAP2 00000a9a: ADD 00000a9b: AND 00000a9c: DUP2 00000a9d: ADD 00000a9e: SWAP1 00000a9f: DUP2 00000aa0: LT 00000aa1: PUSH8 0xffffffffffffffff 00000aaa: DUP3 00000aab: GT 00000aac: OR 00000aad: PUSH2 0x0ab5 00000ab0: JUMPI 00000ab1: PUSH1 0x40 00000ab3: MSTORE 00000ab4: JUMP 00000ab5: JUMPDEST 00000ab6: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00000ad7: PUSH1 0x00 00000ad9: MSTORE 00000ada: PUSH1 0x41 00000adc: PUSH1 0x04 00000ade: MSTORE 00000adf: PUSH1 0x24 00000ae1: PUSH1 0x00 00000ae3: REVERT 00000ae4: JUMPDEST 00000ae5: PUSH8 0xffffffffffffffff 00000aee: DUP2 00000aef: GT 00000af0: PUSH2 0x0ab5 00000af3: JUMPI 00000af4: PUSH1 0x05 00000af6: SHL 00000af7: PUSH1 0x20 00000af9: ADD 00000afa: SWAP1 00000afb: JUMP 00000afc: JUMPDEST 00000afd: SWAP1 00000afe: DUP2 00000aff: PUSH1 0x20 00000b01: SWAP2 00000b02: SUB 00000b03: SLT 00000b04: PUSH2 0x0a33 00000b07: JUMPI 00000b08: MLOAD 00000b09: DUP1 00000b0a: ISZERO 00000b0b: ISZERO 00000b0c: DUP2 00000b0d: SUB 00000b0e: PUSH2 0x0a33 00000b11: JUMPI 00000b12: SWAP1 00000b13: JUMP 00000b14: JUMPDEST 00000b15: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b2a: PUSH1 0x01 00000b2c: SLOAD 00000b2d: AND 00000b2e: CALLER 00000b2f: SUB 00000b30: PUSH2 0x0b35 00000b33: JUMPI 00000b34: JUMP 00000b35: JUMPDEST 00000b36: PUSH1 0x24 00000b38: PUSH1 0x40 00000b3a: MLOAD 00000b3b: PUSH32 0x118cdaa700000000000000000000000000000000000000000000000000000000 00000b5c: DUP2 00000b5d: MSTORE 00000b5e: CALLER 00000b5f: PUSH1 0x04 00000b61: DUP3 00000b62: ADD 00000b63: MSTORE 00000b64: REVERT 00000b65: JUMPDEST 00000b66: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b7b: AND 00000b7c: SWAP1 00000b7d: PUSH1 0x00 00000b7f: DUP1 00000b80: DUP3 00000b81: PUSH1 0x20 00000b83: DUP3 00000b84: SWAP5 00000b85: MLOAD 00000b86: SWAP2 00000b87: ADD 00000b88: DUP3 00000b89: DUP7 00000b8a: GAS 00000b8b: CALL 00000b8c: RETURNDATASIZE 00000b8d: ISZERO 00000b8e: PUSH2 0x0c7c 00000b91: JUMPI 00000b92: RETURNDATASIZE 00000b93: PUSH8 0xffffffffffffffff 00000b9c: DUP2 00000b9d: GT 00000b9e: PUSH2 0x0c4f 00000ba1: JUMPI 00000ba2: PUSH1 0x40 00000ba4: MLOAD 00000ba5: PUSH2 0x0bed 00000ba8: SWAP4 00000ba9: SWAP3 00000baa: SWAP2 00000bab: PUSH2 0x0bdc 00000bae: PUSH1 0x1f 00000bb0: DUP3 00000bb1: ADD 00000bb2: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00000bd3: AND 00000bd4: PUSH1 0x20 00000bd6: ADD 00000bd7: DUP4 00000bd8: PUSH2 0x0a74 00000bdb: JUMP 00000bdc: JUMPDEST 00000bdd: DUP2 00000bde: MSTORE 00000bdf: DUP1 00000be0: SWAP3 00000be1: PUSH1 0x20 00000be3: RETURNDATASIZE 00000be4: SWAP3 00000be5: ADD 00000be6: RETURNDATACOPY 00000be7: JUMPDEST 00000be8: DUP4 00000be9: PUSH2 0x0c89 00000bec: JUMP 00000bed: JUMPDEST 00000bee: DUP1 00000bef: MLOAD 00000bf0: SWAP1 00000bf1: DUP2 00000bf2: ISZERO 00000bf3: ISZERO 00000bf4: SWAP2 00000bf5: DUP3 00000bf6: PUSH2 0x0c34 00000bf9: JUMPI 00000bfa: JUMPDEST 00000bfb: POP 00000bfc: POP 00000bfd: PUSH2 0x0c03 00000c00: JUMPI 00000c01: POP 00000c02: JUMP 00000c03: JUMPDEST 00000c04: PUSH1 0x24 00000c06: SWAP1 00000c07: PUSH1 0x40 00000c09: MLOAD 00000c0a: SWAP1 00000c0b: PUSH32 0x5274afe700000000000000000000000000000000000000000000000000000000 00000c2c: DUP3 00000c2d: MSTORE 00000c2e: PUSH1 0x04 00000c30: DUP3 00000c31: ADD 00000c32: MSTORE 00000c33: REVERT 00000c34: JUMPDEST 00000c35: PUSH2 0x0c47 00000c38: SWAP3 00000c39: POP 00000c3a: PUSH1 0x20 00000c3c: DUP1 00000c3d: SWAP2 00000c3e: DUP4 00000c3f: ADD 00000c40: ADD 00000c41: SWAP2 00000c42: ADD 00000c43: PUSH2 0x0afc 00000c46: JUMP 00000c47: JUMPDEST 00000c48: ISZERO 00000c49: CODESIZE 00000c4a: DUP1 00000c4b: PUSH2 0x0bfa 00000c4e: JUMP 00000c4f: JUMPDEST 00000c50: PUSH1 0x24 00000c52: DUP4 00000c53: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00000c74: DUP2 00000c75: MSTORE 00000c76: PUSH1 0x41 00000c78: PUSH1 0x04 00000c7a: MSTORE 00000c7b: REVERT 00000c7c: JUMPDEST 00000c7d: PUSH2 0x0bed 00000c80: SWAP2 00000c81: POP 00000c82: PUSH1 0x60 00000c84: SWAP1 00000c85: PUSH2 0x0be7 00000c88: JUMP 00000c89: JUMPDEST 00000c8a: SWAP1 00000c8b: PUSH2 0x0cc8 00000c8e: JUMPI 00000c8f: POP 00000c90: DUP1 00000c91: MLOAD 00000c92: ISZERO 00000c93: PUSH2 0x0c9e 00000c96: JUMPI 00000c97: DUP1 00000c98: MLOAD 00000c99: SWAP1 00000c9a: PUSH1 0x20 00000c9c: ADD 00000c9d: REVERT 00000c9e: JUMPDEST 00000c9f: PUSH1 0x04 00000ca1: PUSH1 0x40 00000ca3: MLOAD 00000ca4: PUSH32 0x1425ea4200000000000000000000000000000000000000000000000000000000 00000cc5: DUP2 00000cc6: MSTORE 00000cc7: REVERT 00000cc8: JUMPDEST 00000cc9: DUP2 00000cca: MLOAD 00000ccb: ISZERO 00000ccc: DUP1 00000ccd: PUSH2 0x0d20 00000cd0: JUMPI 00000cd1: JUMPDEST 00000cd2: PUSH2 0x0cd9 00000cd5: JUMPI 00000cd6: POP 00000cd7: SWAP1 00000cd8: JUMP 00000cd9: JUMPDEST 00000cda: PUSH1 0x24 00000cdc: SWAP1 00000cdd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cf2: PUSH1 0x40 00000cf4: MLOAD 00000cf5: SWAP2 00000cf6: PUSH32 0x9996b31500000000000000000000000000000000000000000000000000000000 00000d17: DUP4 00000d18: MSTORE 00000d19: AND 00000d1a: PUSH1 0x04 00000d1c: DUP3 00000d1d: ADD 00000d1e: MSTORE 00000d1f: REVERT 00000d20: JUMPDEST 00000d21: POP 00000d22: DUP1 00000d23: EXTCODESIZE 00000d24: ISZERO 00000d25: PUSH2 0x0cd1 00000d28: JUMP 00000d29: INVALID 00000d2a: LOG2 00000d2b: PUSH5 0x6970667358 00000d31: UNKNOWN(0x22) 00000d32: SLT 00000d33: KECCAK256 00000d34: SWAP12 00000d35: DUP2 00000d36: MSTORE 00000d37: UNKNOWN(0xA5) 00000d38: UNKNOWN(0xA8) 00000d39: UNKNOWN(0xAF) 00000d3a: SIGNEXTEND 00000d3b: JUMPI 00000d3c: UNKNOWN(0xE5) 00000d3d: CALL 00000d3e: CODECOPY 00000d3f: PUSH23 0x88fc435f8fa53120bae8d9fb963acc4ecad6afa564736f 00000d57: PUSH13
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x702195026e2cc996c6aa98cf7d0f3f38549d4ff6b1e789180a0973afa8a72809
call_targets:
0xb5f3a9dd92270f55e55b7ac7247639953538a261
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x702195026e2cc996c6aa98cf7d0f3f38549d4ff6b1e789180a0973afa8a72809",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xb5f3a9dd92270f55e55b7ac7247639953538a261"
],
"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": "0x058a628f",
"selector": "0x058a628f",
"calldata_variants": [
"0x058a628f",
"0x058a628f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x47e7ef24",
"selector": "0x47e7ef24",
"calldata_variants": [
"0x47e7ef24",
"0x47e7ef240000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa568e421",
"selector": "0xa568e421",
"calldata_variants": [
"0xa568e421",
"0xa568e4210000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd09edf31",
"selector": "0xd09edf31",
"calldata_variants": [
"0xd09edf31",
"0xd09edf310000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf3fef3a3",
"selector": "0xf3fef3a3",
"calldata_variants": [
"0xf3fef3a3",
"0xf3fef3a30000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 579,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2955,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3389,
"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: 0x702195026e2cc996c6aa98cf7d0f3f38549d4ff6b1e789180a0973afa8a72809
call_targets:
0xb5f3a9dd92270f55e55b7ac7247639953538a261
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x702195026e2cc996c6aa98cf7d0f3f38549d4ff6b1e789180a0973afa8a72809",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xb5f3a9dd92270f55e55b7ac7247639953538a261"
],
"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": "0x058a628f",
"selector": "0x058a628f",
"calldata_variants": [
"0x058a628f",
"0x058a628f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x47e7ef24",
"selector": "0x47e7ef24",
"calldata_variants": [
"0x47e7ef24",
"0x47e7ef240000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa568e421",
"selector": "0xa568e421",
"calldata_variants": [
"0xa568e421",
"0xa568e4210000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd09edf31",
"selector": "0xd09edf31",
"calldata_variants": [
"0xd09edf31",
"0xd09edf310000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf3fef3a3",
"selector": "0xf3fef3a3",
"calldata_variants": [
"0xf3fef3a3",
"0xf3fef3a30000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 579,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2955,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3389,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": []
}
|