019b477e-d20e-7002-867f-3fad2714cca1
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 |
|---|---|---|---|---|
| 27875 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 27876 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 103365 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 103366 | capability.graph | complete | 1 / 3 | 1 week ago |
| 103367 | detector.run | complete | 1 / 3 | 1 week ago |
| 103368 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x0043 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x8da5cb5b 00000019: EQ 0000001a: PUSH2 0x004f 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xbe9a6555 00000024: EQ 00000025: PUSH2 0x00a6 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xbedf0f4a 0000002f: EQ 00000030: PUSH2 0x00b0 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xd4e93292 0000003a: EQ 0000003b: PUSH2 0x00ba 0000003e: JUMPI 0000003f: PUSH2 0x004a 00000042: JUMP 00000043: JUMPDEST 00000044: CALLDATASIZE 00000045: PUSH2 0x004a 00000048: JUMPI 00000049: STOP 0000004a: JUMPDEST 0000004b: PUSH1 0x00 0000004d: DUP1 0000004e: REVERT 0000004f: JUMPDEST 00000050: CALLVALUE 00000051: DUP1 00000052: ISZERO 00000053: PUSH2 0x005b 00000056: JUMPI 00000057: PUSH1 0x00 00000059: DUP1 0000005a: REVERT 0000005b: JUMPDEST 0000005c: POP 0000005d: PUSH2 0x0064 00000060: PUSH2 0x00c4 00000063: JUMP 00000064: JUMPDEST 00000065: PUSH1 0x40 00000067: MLOAD 00000068: DUP1 00000069: DUP3 0000006a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000007f: AND 00000080: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000095: AND 00000096: DUP2 00000097: MSTORE 00000098: PUSH1 0x20 0000009a: ADD 0000009b: SWAP2 0000009c: POP 0000009d: POP 0000009e: PUSH1 0x40 000000a0: MLOAD 000000a1: DUP1 000000a2: SWAP2 000000a3: SUB 000000a4: SWAP1 000000a5: RETURN 000000a6: JUMPDEST 000000a7: PUSH2 0x00ae 000000aa: PUSH2 0x00ea 000000ad: JUMP 000000ae: JUMPDEST 000000af: STOP 000000b0: JUMPDEST 000000b1: PUSH2 0x00b8 000000b4: PUSH2 0x0155 000000b7: JUMP 000000b8: JUMPDEST 000000b9: STOP 000000ba: JUMPDEST 000000bb: PUSH2 0x00c2 000000be: PUSH2 0x026e 000000c1: JUMP 000000c2: JUMPDEST 000000c3: STOP 000000c4: JUMPDEST 000000c5: PUSH1 0x02 000000c7: PUSH1 0x00 000000c9: SWAP1 000000ca: SLOAD 000000cb: SWAP1 000000cc: PUSH2 0x0100 000000cf: EXP 000000d0: SWAP1 000000d1: DIV 000000d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000e7: AND 000000e8: DUP2 000000e9: JUMP 000000ea: JUMPDEST 000000eb: PUSH1 0x04 000000ed: PUSH1 0x00 000000ef: SWAP1 000000f0: SLOAD 000000f1: SWAP1 000000f2: PUSH2 0x0100 000000f5: EXP 000000f6: SWAP1 000000f7: DIV 000000f8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000010d: AND 0000010e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000123: AND 00000124: PUSH2 0x08fc 00000127: SELFBALANCE 00000128: SWAP1 00000129: DUP2 0000012a: ISZERO 0000012b: MUL 0000012c: SWAP1 0000012d: PUSH1 0x40 0000012f: MLOAD 00000130: PUSH1 0x00 00000132: PUSH1 0x40 00000134: MLOAD 00000135: DUP1 00000136: DUP4 00000137: SUB 00000138: DUP2 00000139: DUP6 0000013a: DUP9 0000013b: DUP9 0000013c: CALL 0000013d: SWAP4 0000013e: POP 0000013f: POP 00000140: POP 00000141: POP 00000142: ISZERO 00000143: DUP1 00000144: ISZERO 00000145: PUSH2 0x0152 00000148: JUMPI 00000149: RETURNDATASIZE 0000014a: PUSH1 0x00 0000014c: DUP1 0000014d: RETURNDATACOPY 0000014e: RETURNDATASIZE 0000014f: PUSH1 0x00 00000151: REVERT 00000152: JUMPDEST 00000153: POP 00000154: JUMP 00000155: JUMPDEST 00000156: PUSH32 0xcf34ef537ac33ee1ac626ca1587a0a7e8e51561e5514f8cb36afa1c5102b3bab 00000177: PUSH1 0x40 00000179: MLOAD 0000017a: DUP1 0000017b: DUP1 0000017c: PUSH1 0x20 0000017e: ADD 0000017f: DUP3 00000180: DUP2 00000181: SUB 00000182: DUP3 00000183: MSTORE 00000184: PUSH1 0x13 00000186: DUP2 00000187: MSTORE 00000188: PUSH1 0x20 0000018a: ADD 0000018b: DUP1 0000018c: PUSH32 0x53746f7070696e672074686520626f742e2e2e00000000000000000000000000 000001ad: DUP2 000001ae: MSTORE 000001af: POP 000001b0: PUSH1 0x20 000001b2: ADD 000001b3: SWAP2 000001b4: POP 000001b5: POP 000001b6: PUSH1 0x40 000001b8: MLOAD 000001b9: DUP1 000001ba: SWAP2 000001bb: SUB 000001bc: SWAP1 000001bd: LOG1 000001be: PUSH2 0x01c5 000001c1: PUSH2 0x02d9 000001c4: JUMP 000001c5: JUMPDEST 000001c6: ISZERO 000001c7: PUSH2 0x021d 000001ca: JUMPI 000001cb: PUSH2 0x01d2 000001ce: PUSH2 0x02f6 000001d1: JUMP 000001d2: JUMPDEST 000001d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001e8: AND 000001e9: PUSH2 0x08fc 000001ec: SELFBALANCE 000001ed: SWAP1 000001ee: DUP2 000001ef: ISZERO 000001f0: MUL 000001f1: SWAP1 000001f2: PUSH1 0x40 000001f4: MLOAD 000001f5: PUSH1 0x00 000001f7: PUSH1 0x40 000001f9: MLOAD 000001fa: DUP1 000001fb: DUP4 000001fc: SUB 000001fd: DUP2 000001fe: DUP6 000001ff: DUP9 00000200: DUP9 00000201: CALL 00000202: SWAP4 00000203: POP 00000204: POP 00000205: POP 00000206: POP 00000207: ISZERO 00000208: DUP1 00000209: ISZERO 0000020a: PUSH2 0x0217 0000020d: JUMPI 0000020e: RETURNDATASIZE 0000020f: PUSH1 0x00 00000211: DUP1 00000212: RETURNDATACOPY 00000213: RETURNDATASIZE 00000214: PUSH1 0x00 00000216: REVERT 00000217: JUMPDEST 00000218: POP 00000219: PUSH2 0x026c 0000021c: JUMP 0000021d: JUMPDEST 0000021e: PUSH2 0x0225 00000221: PUSH2 0x02f6 00000224: JUMP 00000225: JUMPDEST 00000226: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000023b: AND 0000023c: PUSH2 0x08fc 0000023f: SELFBALANCE 00000240: SWAP1 00000241: DUP2 00000242: ISZERO 00000243: MUL 00000244: SWAP1 00000245: PUSH1 0x40 00000247: MLOAD 00000248: PUSH1 0x00 0000024a: PUSH1 0x40 0000024c: MLOAD 0000024d: DUP1 0000024e: DUP4 0000024f: SUB 00000250: DUP2 00000251: DUP6 00000252: DUP9 00000253: DUP9 00000254: CALL 00000255: SWAP4 00000256: POP 00000257: POP 00000258: POP 00000259: POP 0000025a: ISZERO 0000025b: DUP1 0000025c: ISZERO 0000025d: PUSH2 0x026a 00000260: JUMPI 00000261: RETURNDATASIZE 00000262: PUSH1 0x00 00000264: DUP1 00000265: RETURNDATACOPY 00000266: RETURNDATASIZE 00000267: PUSH1 0x00 00000269: REVERT 0000026a: JUMPDEST 0000026b: POP 0000026c: JUMPDEST 0000026d: JUMP 0000026e: JUMPDEST 0000026f: PUSH1 0x04 00000271: PUSH1 0x00 00000273: SWAP1 00000274: SLOAD 00000275: SWAP1 00000276: PUSH2 0x0100 00000279: EXP 0000027a: SWAP1 0000027b: DIV 0000027c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000291: AND 00000292: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002a7: AND 000002a8: PUSH2 0x08fc 000002ab: SELFBALANCE 000002ac: SWAP1 000002ad: DUP2 000002ae: ISZERO 000002af: MUL 000002b0: SWAP1 000002b1: PUSH1 0x40 000002b3: MLOAD 000002b4: PUSH1 0x00 000002b6: PUSH1 0x40 000002b8: MLOAD 000002b9: DUP1 000002ba: DUP4 000002bb: SUB 000002bc: DUP2 000002bd: DUP6 000002be: DUP9 000002bf: DUP9 000002c0: CALL 000002c1: SWAP4 000002c2: POP 000002c3: POP 000002c4: POP 000002c5: POP 000002c6: ISZERO 000002c7: DUP1 000002c8: ISZERO 000002c9: PUSH2 0x02d6 000002cc: JUMPI 000002cd: RETURNDATASIZE 000002ce: PUSH1 0x00 000002d0: DUP1 000002d1: RETURNDATACOPY 000002d2: RETURNDATASIZE 000002d3: PUSH1 0x00 000002d5: REVERT 000002d6: JUMPDEST 000002d7: POP 000002d8: JUMP 000002d9: JUMPDEST 000002da: PUSH1 0x00 000002dc: PUSH1 0x03 000002de: SLOAD 000002df: SELFBALANCE 000002e0: GT 000002e1: ISZERO 000002e2: PUSH2 0x02ee 000002e5: JUMPI 000002e6: PUSH1 0x01 000002e8: SWAP1 000002e9: POP 000002ea: PUSH2 0x02f3 000002ed: JUMP 000002ee: JUMPDEST 000002ef: PUSH1 0x00 000002f1: SWAP1 000002f2: POP 000002f3: JUMPDEST 000002f4: SWAP1 000002f5: JUMP 000002f6: JUMPDEST 000002f7: PUSH1 0x00 000002f9: PUSH2 0x0308 000002fc: PUSH2 0x0303 000002ff: PUSH2 0x030d 00000302: JUMP 00000303: JUMPDEST 00000304: PUSH2 0x048a 00000307: JUMP 00000308: JUMPDEST 00000309: SWAP1 0000030a: POP 0000030b: SWAP1 0000030c: JUMP 0000030d: JUMPDEST 0000030e: PUSH1 0x60 00000310: DUP1 00000311: PUSH2 0x035e 00000314: PUSH1 0x40 00000316: MLOAD 00000317: DUP1 00000318: PUSH1 0x40 0000031a: ADD 0000031b: PUSH1 0x40 0000031d: MSTORE 0000031e: DUP1 0000031f: PUSH1 0x01 00000321: DUP2 00000322: MSTORE 00000323: PUSH1 0x20 00000325: ADD 00000326: PUSH32 0x7800000000000000000000000000000000000000000000000000000000000000 00000347: DUP2 00000348: MSTORE 00000349: POP 0000034a: PUSH2 0x0359 0000034d: PUSH2 0x0354 00000350: PUSH2 0x06e3 00000353: JUMP 00000354: JUMPDEST 00000355: PUSH2 0x06ee 00000358: JUMP 00000359: JUMPDEST 0000035a: PUSH2 0x0960 0000035d: JUMP 0000035e: JUMPDEST 0000035f: SWAP1 00000360: POP 00000361: PUSH1 0x00 00000363: PUSH3 0x0583fb 00000367: SWAP1 00000368: POP 00000369: PUSH1 0x00 0000036b: PUSH2 0x0372 0000036e: PUSH2 0x0abb 00000371: JUMP 00000372: JUMPDEST 00000373: SWAP1 00000374: POP 00000375: PUSH1 0x00 00000377: PUSH2 0xcc96 0000037a: SWAP1 0000037b: POP 0000037c: PUSH1 0x00 0000037e: PUSH2 0x0385 00000381: PUSH2 0x0ac6 00000384: JUMP 00000385: JUMPDEST 00000386: SWAP1 00000387: POP 00000388: PUSH1 0x00 0000038a: PUSH3 0x0233f3 0000038e: SWAP1 0000038f: POP 00000390: PUSH1 0x00 00000392: PUSH2 0x0399 00000395: PUSH2 0x0ad1 00000398: JUMP 00000399: JUMPDEST 0000039a: SWAP1 0000039b: POP 0000039c: PUSH1 0x00 0000039e: PUSH3 0x0aa457 000003a2: SWAP1 000003a3: POP 000003a4: PUSH1 0x60 000003a6: PUSH2 0x03b7 000003a9: DUP10 000003aa: PUSH2 0x03b2 000003ad: DUP11 000003ae: PUSH2 0x06ee 000003b1: JUMP 000003b2: JUMPDEST 000003b3: PUSH2 0x0960 000003b6: JUMP 000003b7: JUMPDEST 000003b8: SWAP1 000003b9: POP 000003ba: PUSH1 0x60 000003bc: PUSH2 0x03d5 000003bf: PUSH2 0x03c7 000003c2: DUP10 000003c3: PUSH2 0x06ee 000003c6: JUMP 000003c7: JUMPDEST 000003c8: PUSH2 0x03d0 000003cb: DUP10 000003cc: PUSH2 0x06ee 000003cf: JUMP 000003d0: JUMPDEST 000003d1: PUSH2 0x0960 000003d4: JUMP 000003d5: JUMPDEST 000003d6: SWAP1 000003d7: POP 000003d8: PUSH1 0x60 000003da: PUSH2 0x03f3 000003dd: PUSH2 0x03e5 000003e0: DUP9 000003e1: PUSH2 0x06ee 000003e4: JUMP 000003e5: JUMPDEST 000003e6: PUSH2 0x03ee 000003e9: DUP9 000003ea: PUSH2 0x06ee 000003ed: JUMP 000003ee: JUMPDEST 000003ef: PUSH2 0x0960 000003f2: JUMP 000003f3: JUMPDEST 000003f4: SWAP1 000003f5: POP 000003f6: PUSH1 0x60 000003f8: PUSH2 0x0411 000003fb: PUSH2 0x0403 000003fe: DUP8 000003ff: PUSH2 0x06ee 00000402: JUMP 00000403: JUMPDEST 00000404: PUSH2 0x040c 00000407: DUP8 00000408: PUSH2 0x06ee 0000040b: JUMP 0000040c: JUMPDEST 0000040d: PUSH2 0x0960 00000410: JUMP 00000411: JUMPDEST 00000412: SWAP1 00000413: POP 00000414: PUSH1 0x60 00000416: PUSH2 0x0431 00000419: PUSH2 0x0422 0000041c: DUP7 0000041d: DUP7 0000041e: PUSH2 0x0960 00000421: JUMP 00000422: JUMPDEST 00000423: PUSH2 0x042c 00000426: DUP6 00000427: DUP6 00000428: PUSH2 0x0960 0000042b: JUMP 0000042c: JUMPDEST 0000042d: PUSH2 0x0960 00000430: JUMP 00000431: JUMPDEST 00000432: SWAP1 00000433: POP 00000434: PUSH1 0x60 00000436: PUSH2 0x0474 00000439: PUSH1 0x40 0000043b: MLOAD 0000043c: DUP1 0000043d: PUSH1 0x40 0000043f: ADD 00000440: PUSH1 0x40 00000442: MSTORE 00000443: DUP1 00000444: PUSH1 0x01 00000446: DUP2 00000447: MSTORE 00000448: PUSH1 0x20 0000044a: ADD 0000044b: PUSH32 0x3000000000000000000000000000000000000000000000000000000000000000 0000046c: DUP2 0000046d: MSTORE 0000046e: POP 0000046f: DUP4 00000470: PUSH2 0x0960 00000473: JUMP 00000474: JUMPDEST 00000475: SWAP1 00000476: POP 00000477: DUP1 00000478: SWAP15 00000479: POP 0000047a: POP 0000047b: POP 0000047c: POP 0000047d: POP 0000047e: POP 0000047f: POP 00000480: POP 00000481: POP 00000482: POP 00000483: POP 00000484: POP 00000485: POP 00000486: POP 00000487: POP 00000488: SWAP1 00000489: JUMP 0000048a: JUMPDEST 0000048b: PUSH1 0x00 0000048d: PUSH1 0x60 0000048f: DUP3 00000490: SWAP1 00000491: POP 00000492: PUSH1 0x00 00000494: DUP1 00000495: SWAP1 00000496: POP 00000497: PUSH1 0x00 00000499: DUP1 0000049a: PUSH1 0x00 0000049c: PUSH1 0x02 0000049e: SWAP1 0000049f: POP 000004a0: JUMPDEST 000004a1: PUSH1 0x2a 000004a3: DUP2 000004a4: LT 000004a5: ISZERO 000004a6: PUSH2 0x06d6 000004a9: JUMPI 000004aa: PUSH2 0x0100 000004ad: DUP5 000004ae: MUL 000004af: SWAP4 000004b0: POP 000004b1: DUP5 000004b2: DUP2 000004b3: DUP2 000004b4: MLOAD 000004b5: DUP2 000004b6: LT 000004b7: PUSH2 0x04bc 000004ba: JUMPI 000004bb: INVALID 000004bc: JUMPDEST 000004bd: PUSH1 0x20 000004bf: ADD 000004c0: ADD 000004c1: MLOAD 000004c2: PUSH1 0xf8 000004c4: SHR 000004c5: PUSH1 0xf8 000004c7: SHL 000004c8: PUSH1 0xf8 000004ca: SHR 000004cb: PUSH1 0xff 000004cd: AND 000004ce: SWAP3 000004cf: POP 000004d0: DUP5 000004d1: PUSH1 0x01 000004d3: DUP3 000004d4: ADD 000004d5: DUP2 000004d6: MLOAD 000004d7: DUP2 000004d8: LT 000004d9: PUSH2 0x04de 000004dc: JUMPI 000004dd: INVALID 000004de: JUMPDEST 000004df: PUSH1 0x20 000004e1: ADD 000004e2: ADD 000004e3: MLOAD 000004e4: PUSH1 0xf8 000004e6: SHR 000004e7: PUSH1 0xf8 000004e9: SHL 000004ea: PUSH1 0xf8 000004ec: SHR 000004ed: PUSH1 0xff 000004ef: AND 000004f0: SWAP2 000004f1: POP 000004f2: PUSH1 0x61 000004f4: DUP4 000004f5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000050a: AND 0000050b: LT 0000050c: ISZERO 0000050d: DUP1 0000050e: ISZERO 0000050f: PUSH2 0x052f 00000512: JUMPI 00000513: POP 00000514: PUSH1 0x66 00000516: DUP4 00000517: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000052c: AND 0000052d: GT 0000052e: ISZERO 0000052f: JUMPDEST 00000530: ISZERO 00000531: PUSH2 0x053f 00000534: JUMPI 00000535: PUSH1 0x57 00000537: DUP4 00000538: SUB 00000539: SWAP3 0000053a: POP 0000053b: PUSH2 0x05d9 0000053e: JUMP 0000053f: JUMPDEST 00000540: PUSH1 0x41 00000542: DUP4 00000543: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000558: AND 00000559: LT 0000055a: ISZERO 0000055b: DUP1 0000055c: ISZERO 0000055d: PUSH2 0x057d 00000560: JUMPI 00000561: POP 00000562: PUSH1 0x46 00000564: DUP4 00000565: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000057a: AND 0000057b: GT 0000057c: ISZERO 0000057d: JUMPDEST 0000057e: ISZERO 0000057f: PUSH2 0x058d 00000582: JUMPI 00000583: PUSH1 0x37 00000585: DUP4 00000586: SUB 00000587: SWAP3 00000588: POP 00000589: PUSH2 0x05d8 0000058c: JUMP 0000058d: JUMPDEST 0000058e: PUSH1 0x30 00000590: DUP4 00000591: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005a6: AND 000005a7: LT 000005a8: ISZERO 000005a9: DUP1 000005aa: ISZERO 000005ab: PUSH2 0x05cb 000005ae: JUMPI 000005af: POP 000005b0: PUSH1 0x39 000005b2: DUP4 000005b3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005c8: AND 000005c9: GT 000005ca: ISZERO 000005cb: JUMPDEST 000005cc: ISZERO 000005cd: PUSH2 0x05d7 000005d0: JUMPI 000005d1: PUSH1 0x30 000005d3: DUP4 000005d4: SUB 000005d5: SWAP3 000005d6: POP 000005d7: JUMPDEST 000005d8: JUMPDEST 000005d9: JUMPDEST 000005da: PUSH1 0x61 000005dc: DUP3 000005dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005f2: AND 000005f3: LT 000005f4: ISZERO 000005f5: DUP1 000005f6: ISZERO 000005f7: PUSH2 0x0617 000005fa: JUMPI 000005fb: POP 000005fc: PUSH1 0x66 000005fe: DUP3 000005ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000614: AND 00000615: GT 00000616: ISZERO 00000617: JUMPDEST 00000618: ISZERO 00000619: PUSH2 0x0627 0000061c: JUMPI 0000061d: PUSH1 0x57 0000061f: DUP3 00000620: SUB 00000621: SWAP2 00000622: POP 00000623: PUSH2 0x06c1 00000626: JUMP 00000627: JUMPDEST 00000628: PUSH1 0x41 0000062a: DUP3 0000062b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000640: AND 00000641: LT 00000642: ISZERO 00000643: DUP1 00000644: ISZERO 00000645: PUSH2 0x0665 00000648: JUMPI 00000649: POP 0000064a: PUSH1 0x46 0000064c: DUP3 0000064d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000662: AND 00000663: GT 00000664: ISZERO 00000665: JUMPDEST 00000666: ISZERO 00000667: PUSH2 0x0675 0000066a: JUMPI 0000066b: PUSH1 0x37 0000066d: DUP3 0000066e: SUB 0000066f: SWAP2 00000670: POP 00000671: PUSH2 0x06c0 00000674: JUMP 00000675: JUMPDEST 00000676: PUSH1 0x30 00000678: DUP3 00000679: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000068e: AND 0000068f: LT 00000690: ISZERO 00000691: DUP1 00000692: ISZERO 00000693: PUSH2 0x06b3 00000696: JUMPI 00000697: POP 00000698: PUSH1 0x39 0000069a: DUP3 0000069b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006b0: AND 000006b1: GT 000006b2: ISZERO 000006b3: JUMPDEST 000006b4: ISZERO 000006b5: PUSH2 0x06bf 000006b8: JUMPI 000006b9: PUSH1 0x30 000006bb: DUP3 000006bc: SUB 000006bd: SWAP2 000006be: POP 000006bf: JUMPDEST 000006c0: JUMPDEST 000006c1: JUMPDEST 000006c2: DUP2 000006c3: PUSH1 0x10 000006c5: DUP5 000006c6: MUL 000006c7: ADD 000006c8: DUP5 000006c9: ADD 000006ca: SWAP4 000006cb: POP 000006cc: PUSH1 0x02 000006ce: DUP2 000006cf: ADD 000006d0: SWAP1 000006d1: POP 000006d2: PUSH2 0x04a0 000006d5: JUMP 000006d6: JUMPDEST 000006d7: POP 000006d8: DUP3 000006d9: SWAP5 000006da: POP 000006db: POP 000006dc: POP 000006dd: POP 000006de: POP 000006df: SWAP2 000006e0: SWAP1 000006e1: POP 000006e2: JUMP 000006e3: JUMPDEST 000006e4: PUSH1 0x00 000006e6: PUSH3 0x0e4912 000006ea: SWAP1 000006eb: POP 000006ec: SWAP1 000006ed: JUMP 000006ee: JUMPDEST 000006ef: PUSH1 0x60 000006f1: PUSH1 0x00 000006f3: DUP1 000006f4: SWAP1 000006f5: POP 000006f6: PUSH1 0x00 000006f8: DUP4 000006f9: SWAP1 000006fa: POP 000006fb: JUMPDEST 000006fc: PUSH1 0x00 000006fe: DUP2 000006ff: EQ 00000700: PUSH2 0x071d 00000703: JUMPI 00000704: DUP2 00000705: DUP1 00000706: PUSH1 0x01 00000708: ADD 00000709: SWAP3 0000070a: POP 0000070b: POP 0000070c: PUSH1 0x10 0000070e: DUP2 0000070f: DUP2 00000710: PUSH2 0x0715 00000713: JUMPI 00000714: INVALID 00000715: JUMPDEST 00000716: DIV 00000717: SWAP1 00000718: POP 00000719: PUSH2 0x06fb 0000071c: JUMP 0000071d: JUMPDEST 0000071e: PUSH1 0x60 00000720: DUP3 00000721: PUSH8 0xffffffffffffffff 0000072a: DUP2 0000072b: GT 0000072c: DUP1 0000072d: ISZERO 0000072e: PUSH2 0x0736 00000731: JUMPI 00000732: PUSH1 0x00 00000734: DUP1 00000735: REVERT 00000736: JUMPDEST 00000737: POP 00000738: PUSH1 0x40 0000073a: MLOAD 0000073b: SWAP1 0000073c: DUP1 0000073d: DUP3 0000073e: MSTORE 0000073f: DUP1 00000740: PUSH1 0x1f 00000742: ADD 00000743: PUSH1 0x1f 00000745: NOT 00000746: AND 00000747: PUSH1 0x20 00000749: ADD 0000074a: DUP3 0000074b: ADD 0000074c: PUSH1 0x40 0000074e: MSTORE 0000074f: DUP1 00000750: ISZERO 00000751: PUSH2 0x0769 00000754: JUMPI 00000755: DUP2 00000756: PUSH1 0x20 00000758: ADD 00000759: PUSH1 0x01 0000075b: DUP3 0000075c: MUL 0000075d: DUP1 0000075e: CALLDATASIZE 0000075f: DUP4 00000760: CALLDATACOPY 00000761: DUP1 00000762: DUP3 00000763: ADD 00000764: SWAP2 00000765: POP 00000766: POP 00000767: SWAP1 00000768: POP 00000769: JUMPDEST 0000076a: POP 0000076b: SWAP1 0000076c: POP 0000076d: PUSH1 0x00 0000076f: DUP1 00000770: SWAP1 00000771: POP 00000772: JUMPDEST 00000773: DUP4 00000774: DUP2 00000775: LT 00000776: ISZERO 00000777: PUSH2 0x07e8 0000077a: JUMPI 0000077b: PUSH1 0x10 0000077d: DUP7 0000077e: DUP2 0000077f: PUSH2 0x0784 00000782: JUMPI 00000783: INVALID 00000784: JUMPDEST 00000785: MOD 00000786: SWAP3 00000787: POP 00000788: PUSH2 0x0790 0000078b: DUP4 0000078c: PUSH2 0x0adc 0000078f: JUMP 00000790: JUMPDEST 00000791: DUP3 00000792: PUSH1 0x01 00000794: DUP4 00000795: DUP8 00000796: SUB 00000797: SUB 00000798: DUP2 00000799: MLOAD 0000079a: DUP2 0000079b: LT 0000079c: PUSH2 0x07a1 0000079f: JUMPI 000007a0: INVALID 000007a1: JUMPDEST 000007a2: PUSH1 0x20 000007a4: ADD 000007a5: ADD 000007a6: SWAP1 000007a7: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000007c7: NOT 000007c8: AND 000007c9: SWAP1 000007ca: DUP2 000007cb: PUSH1 0x00 000007cd: BYTE 000007ce: SWAP1 000007cf: MSTORE8 000007d0: POP 000007d1: PUSH1 0x10 000007d3: DUP7 000007d4: DUP2 000007d5: PUSH2 0x07da 000007d8: JUMPI 000007d9: INVALID 000007da: JUMPDEST 000007db: DIV 000007dc: SWAP6 000007dd: POP 000007de: DUP1 000007df: PUSH1 0x01 000007e1: ADD 000007e2: SWAP1 000007e3: POP 000007e4: PUSH2 0x0772 000007e7: JUMP 000007e8: JUMPDEST 000007e9: POP 000007ea: PUSH1 0x00 000007ec: DUP2 000007ed: MLOAD 000007ee: SWAP1 000007ef: POP 000007f0: PUSH1 0x04 000007f2: DUP2 000007f3: EQ 000007f4: ISZERO 000007f5: PUSH2 0x0848 000007f8: JUMPI 000007f9: PUSH1 0x60 000007fb: PUSH2 0x0839 000007fe: PUSH1 0x40 00000800: MLOAD 00000801: DUP1 00000802: PUSH1 0x40 00000804: ADD 00000805: PUSH1 0x40 00000807: MSTORE 00000808: DUP1 00000809: PUSH1 0x01 0000080b: DUP2 0000080c: MSTORE 0000080d: PUSH1 0x20 0000080f: ADD 00000810: PUSH32 0x3000000000000000000000000000000000000000000000000000000000000000 00000831: DUP2 00000832: MSTORE 00000833: POP 00000834: DUP5 00000835: PUSH2 0x0960 00000838: JUMP 00000839: JUMPDEST 0000083a: SWAP1 0000083b: POP 0000083c: DUP1 0000083d: SWAP6 0000083e: POP 0000083f: POP 00000840: POP 00000841: POP 00000842: POP 00000843: POP 00000844: PUSH2 0x095b 00000847: JUMP 00000848: JUMPDEST 00000849: PUSH1 0x03 0000084b: DUP2 0000084c: EQ 0000084d: ISZERO 0000084e: PUSH2 0x08a1 00000851: JUMPI 00000852: PUSH1 0x60 00000854: PUSH2 0x0892 00000857: PUSH1 0x40 00000859: MLOAD 0000085a: DUP1 0000085b: PUSH1 0x40 0000085d: ADD 0000085e: PUSH1 0x40 00000860: MSTORE 00000861: DUP1 00000862: PUSH1 0x01 00000864: DUP2 00000865: MSTORE 00000866: PUSH1 0x20 00000868: ADD 00000869: PUSH32 0x3000000000000000000000000000000000000000000000000000000000000000 0000088a: DUP2 0000088b: MSTORE 0000088c: POP 0000088d: DUP5 0000088e: PUSH2 0x0960 00000891: JUMP 00000892: JUMPDEST 00000893: SWAP1 00000894: POP 00000895: DUP1 00000896: SWAP6 00000897: POP 00000898: POP 00000899: POP 0000089a: POP 0000089b: POP 0000089c: POP 0000089d: PUSH2 0x095b 000008a0: JUMP 000008a1: JUMPDEST 000008a2: PUSH1 0x02 000008a4: DUP2 000008a5: EQ 000008a6: ISZERO 000008a7: PUSH2 0x08fa 000008aa: JUMPI 000008ab: PUSH1 0x60 000008ad: PUSH2 0x08eb 000008b0: PUSH1 0x40 000008b2: MLOAD 000008b3: DUP1 000008b4: PUSH1 0x40 000008b6: ADD 000008b7: PUSH1 0x40 000008b9: MSTORE 000008ba: DUP1 000008bb: PUSH1 0x03 000008bd: DUP2 000008be: MSTORE 000008bf: PUSH1 0x20 000008c1: ADD 000008c2: PUSH32 0x3030300000000000000000000000000000000000000000000000000000000000 000008e3: DUP2 000008e4: MSTORE 000008e5: POP 000008e6: DUP5 000008e7: PUSH2 0x0960 000008ea: JUMP 000008eb: JUMPDEST 000008ec: SWAP1 000008ed: POP 000008ee: DUP1 000008ef: SWAP6 000008f0: POP 000008f1: POP 000008f2: POP 000008f3: POP 000008f4: POP 000008f5: POP 000008f6: PUSH2 0x095b 000008f9: JUMP 000008fa: JUMPDEST 000008fb: PUSH1 0x01 000008fd: DUP2 000008fe: EQ 000008ff: ISZERO 00000900: PUSH2 0x0953 00000903: JUMPI 00000904: PUSH1 0x60 00000906: PUSH2 0x0944 00000909: PUSH1 0x40 0000090b: MLOAD 0000090c: DUP1 0000090d: PUSH1 0x40 0000090f: ADD 00000910: PUSH1 0x40 00000912: MSTORE 00000913: DUP1 00000914: PUSH1 0x04 00000916: DUP2 00000917: MSTORE 00000918: PUSH1 0x20 0000091a: ADD 0000091b: PUSH32 0x3030303000000000000000000000000000000000000000000000000000000000 0000093c: DUP2 0000093d: MSTORE 0000093e: POP 0000093f: DUP5 00000940: PUSH2 0x0960 00000943: JUMP 00000944: JUMPDEST 00000945: SWAP1 00000946: POP 00000947: DUP1 00000948: SWAP6 00000949: POP 0000094a: POP 0000094b: POP 0000094c: POP 0000094d: POP 0000094e: POP 0000094f: PUSH2 0x095b 00000952: JUMP 00000953: JUMPDEST 00000954: DUP2 00000955: SWAP5 00000956: POP 00000957: POP 00000958: POP 00000959: POP 0000095a: POP 0000095b: JUMPDEST 0000095c: SWAP2 0000095d: SWAP1 0000095e: POP 0000095f: JUMP 00000960: JUMPDEST 00000961: PUSH1 0x60 00000963: DUP1 00000964: DUP4 00000965: SWAP1 00000966: POP 00000967: PUSH1 0x60 00000969: DUP4 0000096a: SWAP1 0000096b: POP 0000096c: PUSH1 0x60 0000096e: DUP2 0000096f: MLOAD 00000970: DUP4 00000971: MLOAD 00000972: ADD 00000973: PUSH8 0xffffffffffffffff 0000097c: DUP2 0000097d: GT 0000097e: DUP1 0000097f: ISZERO 00000980: PUSH2 0x0988 00000983: JUMPI 00000984: PUSH1 0x00 00000986: DUP1 00000987: REVERT 00000988: JUMPDEST 00000989: POP 0000098a: PUSH1 0x40 0000098c: MLOAD 0000098d: SWAP1 0000098e: DUP1 0000098f: DUP3 00000990: MSTORE 00000991: DUP1 00000992: PUSH1 0x1f 00000994: ADD 00000995: PUSH1 0x1f 00000997: NOT 00000998: AND 00000999: PUSH1 0x20 0000099b: ADD 0000099c: DUP3 0000099d: ADD 0000099e: PUSH1 0x40 000009a0: MSTORE 000009a1: DUP1 000009a2: ISZERO 000009a3: PUSH2 0x09bb 000009a6: JUMPI 000009a7: DUP2 000009a8: PUSH1 0x20 000009aa: ADD 000009ab: PUSH1 0x01 000009ad: DUP3 000009ae: MUL 000009af: DUP1 000009b0: CALLDATASIZE 000009b1: DUP4 000009b2: CALLDATACOPY 000009b3: DUP1 000009b4: DUP3 000009b5: ADD 000009b6: SWAP2 000009b7: POP 000009b8: POP 000009b9: SWAP1 000009ba: POP 000009bb: JUMPDEST 000009bc: POP 000009bd: SWAP1 000009be: POP 000009bf: PUSH1 0x60 000009c1: DUP2 000009c2: SWAP1 000009c3: POP 000009c4: PUSH1 0x00 000009c6: DUP1 000009c7: PUSH1 0x00 000009c9: SWAP2 000009ca: POP 000009cb: JUMPDEST 000009cc: DUP6 000009cd: MLOAD 000009ce: DUP3 000009cf: LT 000009d0: ISZERO 000009d1: PUSH2 0x0a39 000009d4: JUMPI 000009d5: DUP6 000009d6: DUP3 000009d7: DUP2 000009d8: MLOAD 000009d9: DUP2 000009da: LT 000009db: PUSH2 0x09e0 000009de: JUMPI 000009df: INVALID 000009e0: JUMPDEST 000009e1: PUSH1 0x20 000009e3: ADD 000009e4: ADD 000009e5: MLOAD 000009e6: PUSH1 0xf8 000009e8: SHR 000009e9: PUSH1 0xf8 000009eb: SHL 000009ec: DUP4 000009ed: DUP3 000009ee: DUP1 000009ef: PUSH1 0x01 000009f1: ADD 000009f2: SWAP4 000009f3: POP 000009f4: DUP2 000009f5: MLOAD 000009f6: DUP2 000009f7: LT 000009f8: PUSH2 0x09fd 000009fb: JUMPI 000009fc: INVALID 000009fd: JUMPDEST 000009fe: PUSH1 0x20 00000a00: ADD 00000a01: ADD 00000a02: SWAP1 00000a03: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000a23: NOT 00000a24: AND 00000a25: SWAP1 00000a26: DUP2 00000a27: PUSH1 0x00 00000a29: BYTE 00000a2a: SWAP1 00000a2b: MSTORE8 00000a2c: POP 00000a2d: DUP2 00000a2e: DUP1 00000a2f: PUSH1 0x01 00000a31: ADD 00000a32: SWAP3 00000a33: POP 00000a34: POP 00000a35: PUSH2 0x09cb 00000a38: JUMP 00000a39: JUMPDEST 00000a3a: PUSH1 0x00 00000a3c: SWAP2 00000a3d: POP 00000a3e: JUMPDEST 00000a3f: DUP5 00000a40: MLOAD 00000a41: DUP3 00000a42: LT 00000a43: ISZERO 00000a44: PUSH2 0x0aac 00000a47: JUMPI 00000a48: DUP5 00000a49: DUP3 00000a4a: DUP2 00000a4b: MLOAD 00000a4c: DUP2 00000a4d: LT 00000a4e: PUSH2 0x0a53 00000a51: JUMPI 00000a52: INVALID 00000a53: JUMPDEST 00000a54: PUSH1 0x20 00000a56: ADD 00000a57: ADD 00000a58: MLOAD 00000a59: PUSH1 0xf8 00000a5b: SHR 00000a5c: PUSH1 0xf8 00000a5e: SHL 00000a5f: DUP4 00000a60: DUP3 00000a61: DUP1 00000a62: PUSH1 0x01 00000a64: ADD 00000a65: SWAP4 00000a66: POP 00000a67: DUP2 00000a68: MLOAD 00000a69: DUP2 00000a6a: LT 00000a6b: PUSH2 0x0a70 00000a6e: JUMPI 00000a6f: INVALID 00000a70: JUMPDEST 00000a71: PUSH1 0x20 00000a73: ADD 00000a74: ADD 00000a75: SWAP1 00000a76: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000a96: NOT 00000a97: AND 00000a98: SWAP1 00000a99: DUP2 00000a9a: PUSH1 0x00 00000a9c: BYTE 00000a9d: SWAP1 00000a9e: MSTORE8 00000a9f: POP 00000aa0: DUP2 00000aa1: DUP1 00000aa2: PUSH1 0x01 00000aa4: ADD 00000aa5: SWAP3 00000aa6: POP 00000aa7: POP 00000aa8: PUSH2 0x0a3e 00000aab: JUMP 00000aac: JUMPDEST 00000aad: DUP3 00000aae: SWAP7 00000aaf: POP 00000ab0: POP 00000ab1: POP 00000ab2: POP 00000ab3: POP 00000ab4: POP 00000ab5: POP 00000ab6: SWAP3 00000ab7: SWAP2 00000ab8: POP 00000ab9: POP 00000aba: JUMP 00000abb: JUMPDEST 00000abc: PUSH1 0x00 00000abe: PUSH3 0x0da681 00000ac2: SWAP1 00000ac3: POP 00000ac4: SWAP1 00000ac5: JUMP 00000ac6: JUMPDEST 00000ac7: PUSH1 0x00 00000ac9: PUSH3 0x08b3c4 00000acd: SWAP1 00000ace: POP 00000acf: SWAP1 00000ad0: JUMP 00000ad1: JUMPDEST 00000ad2: PUSH1 0x00 00000ad4: PUSH3 0x018959 00000ad8: SWAP1 00000ad9: POP 00000ada: SWAP1 00000adb: JUMP 00000adc: JUMPDEST 00000add: PUSH1 0x00 00000adf: DUP2 00000ae0: PUSH1 0xff 00000ae2: AND 00000ae3: PUSH1 0x00 00000ae5: GT 00000ae6: ISZERO 00000ae7: DUP1 00000ae8: ISZERO 00000ae9: PUSH2 0x0af6 00000aec: JUMPI 00000aed: POP 00000aee: PUSH1 0x09 00000af0: DUP3 00000af1: PUSH1 0xff 00000af3: AND 00000af4: GT 00000af5: ISZERO 00000af6: JUMPDEST 00000af7: ISZERO 00000af8: PUSH2 0x0b2b 00000afb: JUMPI 00000afc: DUP2 00000afd: PUSH32 0x3000000000000000000000000000000000000000000000000000000000000000 00000b1e: PUSH1 0xf8 00000b20: SHR 00000b21: ADD 00000b22: PUSH1 0xf8 00000b24: SHL 00000b25: SWAP1 00000b26: POP 00000b27: PUSH2 0x0b80 00000b2a: JUMP 00000b2b: JUMPDEST 00000b2c: DUP2 00000b2d: PUSH1 0xff 00000b2f: AND 00000b30: PUSH1 0x0a 00000b32: GT 00000b33: ISZERO 00000b34: DUP1 00000b35: ISZERO 00000b36: PUSH2 0x0b43 00000b39: JUMPI 00000b3a: POP 00000b3b: PUSH1 0x0f 00000b3d: DUP3 00000b3e: PUSH1 0xff 00000b40: AND 00000b41: GT 00000b42: ISZERO 00000b43: JUMPDEST 00000b44: ISZERO 00000b45: PUSH2 0x0b7b 00000b48: JUMPI 00000b49: PUSH1 0x0a 00000b4b: DUP3 00000b4c: PUSH32 0x6100000000000000000000000000000000000000000000000000000000000000 00000b6d: PUSH1 0xf8 00000b6f: SHR 00000b70: ADD 00000b71: SUB 00000b72: PUSH1 0xf8 00000b74: SHL 00000b75: SWAP1 00000b76: POP 00000b77: PUSH2 0x0b80 00000b7a: JUMP 00000b7b: JUMPDEST 00000b7c: PUSH1 0x00 00000b7e: DUP1 00000b7f: REVERT 00000b80: JUMPDEST 00000b81: SWAP2 00000b82: SWAP1 00000b83: POP 00000b84: JUMP 00000b85: INVALID 00000b86: LOG2 00000b87: PUSH5 0x6970667358 00000b8d: UNKNOWN(0x22) 00000b8e: SLT 00000b8f: KECCAK256 00000b90: PUSH3 0xd73ee9 00000b94: UNKNOWN(0x4C) 00000b95: PUSH7 0xa363eed6834dfb 00000b9d: UNKNOWN(0xD0) 00000b9e: CALL 00000b9f: PUSH16 0xd5a4f951639a25a3952b750d3116b581 00000bb0: PUSH5 0x736f6c6343 00000bb6: STOP 00000bb7: MOD 00000bb8: MOD 00000bb9: STOP 00000bba: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x745e2f982df3e1abe7e76cabe2fc926b72142c496a87bda0f834c8bc79602122
call_targets:
0x7ddcb120df04db13ebef40f53ac51a68778c098a
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x745e2f982df3e1abe7e76cabe2fc926b72142c496a87bda0f834c8bc79602122",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x7ddcb120df04db13ebef40f53ac51a68778c098a"
],
"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": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbe9a6555",
"selector": "0xbe9a6555",
"calldata_variants": [
"0xbe9a6555",
"0xbe9a65550000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbedf0f4a",
"selector": "0xbedf0f4a",
"calldata_variants": [
"0xbedf0f4a",
"0xbedf0f4a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd4e93292",
"selector": "0xd4e93292",
"calldata_variants": [
"0xd4e93292",
"0xd4e932920000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 316,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 513,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 596,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 5,
"guards_detected": [],
"untrusted_call_count": 5
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x745e2f982df3e1abe7e76cabe2fc926b72142c496a87bda0f834c8bc79602122
call_targets:
0x7ddcb120df04db13ebef40f53ac51a68778c098a
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x745e2f982df3e1abe7e76cabe2fc926b72142c496a87bda0f834c8bc79602122",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x7ddcb120df04db13ebef40f53ac51a68778c098a"
],
"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": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbe9a6555",
"selector": "0xbe9a6555",
"calldata_variants": [
"0xbe9a6555",
"0xbe9a65550000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbedf0f4a",
"selector": "0xbedf0f4a",
"calldata_variants": [
"0xbedf0f4a",
"0xbedf0f4a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd4e93292",
"selector": "0xd4e93292",
"calldata_variants": [
"0xd4e93292",
"0xd4e932920000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 316,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 513,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 596,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 5,
"guards_detected": []
}
|