019b477e-ce77-72ac-a15e-807548230154
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 |
|---|---|---|---|---|
| 27213 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 27214 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 70538 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 70539 | capability.graph | complete | 1 / 3 | 1 week ago |
| 70540 | detector.run | complete | 1 / 3 | 1 week ago |
| 70541 | 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 0x005c 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x0f59f83a 00000019: GT 0000001a: PUSH2 0x0043 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x0f59f83a 00000024: EQ 00000025: PUSH2 0x00b5 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0x19bce9ce 0000002f: EQ 00000030: PUSH2 0x00ea 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0x95ddbc58 0000003a: EQ 0000003b: PUSH2 0x010a 0000003e: JUMPI 0000003f: PUSH1 0x00 00000041: DUP1 00000042: REVERT 00000043: JUMPDEST 00000044: DUP1 00000045: PUSH3 0x694041 00000049: EQ 0000004a: PUSH2 0x0068 0000004d: JUMPI 0000004e: DUP1 0000004f: PUSH3 0xe71aaf 00000053: EQ 00000054: PUSH2 0x008a 00000057: JUMPI 00000058: PUSH1 0x00 0000005a: DUP1 0000005b: REVERT 0000005c: JUMPDEST 0000005d: CALLDATASIZE 0000005e: PUSH2 0x0063 00000061: JUMPI 00000062: STOP 00000063: JUMPDEST 00000064: PUSH1 0x00 00000066: DUP1 00000067: REVERT 00000068: JUMPDEST 00000069: CALLVALUE 0000006a: DUP1 0000006b: ISZERO 0000006c: PUSH2 0x0074 0000006f: JUMPI 00000070: PUSH1 0x00 00000072: DUP1 00000073: REVERT 00000074: JUMPDEST 00000075: POP 00000076: PUSH2 0x0088 00000079: PUSH2 0x0083 0000007c: CALLDATASIZE 0000007d: PUSH1 0x04 0000007f: PUSH2 0x0a3f 00000082: JUMP 00000083: JUMPDEST 00000084: PUSH2 0x012a 00000087: JUMP 00000088: JUMPDEST 00000089: STOP 0000008a: JUMPDEST 0000008b: CALLVALUE 0000008c: DUP1 0000008d: ISZERO 0000008e: PUSH2 0x0096 00000091: JUMPI 00000092: PUSH1 0x00 00000094: DUP1 00000095: REVERT 00000096: JUMPDEST 00000097: POP 00000098: PUSH2 0x009f 0000009b: PUSH2 0x02f7 0000009e: JUMP 0000009f: JUMPDEST 000000a0: PUSH1 0x40 000000a2: MLOAD 000000a3: PUSH2 0x00ac 000000a6: SWAP2 000000a7: SWAP1 000000a8: PUSH2 0x0a81 000000ab: JUMP 000000ac: JUMPDEST 000000ad: PUSH1 0x40 000000af: MLOAD 000000b0: DUP1 000000b1: SWAP2 000000b2: SUB 000000b3: SWAP1 000000b4: RETURN 000000b5: JUMPDEST 000000b6: CALLVALUE 000000b7: DUP1 000000b8: ISZERO 000000b9: PUSH2 0x00c1 000000bc: JUMPI 000000bd: PUSH1 0x00 000000bf: DUP1 000000c0: REVERT 000000c1: JUMPDEST 000000c2: POP 000000c3: PUSH1 0x00 000000c5: SLOAD 000000c6: PUSH1 0x40 000000c8: MLOAD 000000c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000de: SWAP1 000000df: SWAP2 000000e0: AND 000000e1: DUP2 000000e2: MSTORE 000000e3: PUSH1 0x20 000000e5: ADD 000000e6: PUSH2 0x00ac 000000e9: JUMP 000000ea: JUMPDEST 000000eb: CALLVALUE 000000ec: DUP1 000000ed: ISZERO 000000ee: PUSH2 0x00f6 000000f1: JUMPI 000000f2: PUSH1 0x00 000000f4: DUP1 000000f5: REVERT 000000f6: JUMPDEST 000000f7: POP 000000f8: PUSH2 0x0088 000000fb: PUSH2 0x0105 000000fe: CALLDATASIZE 000000ff: PUSH1 0x04 00000101: PUSH2 0x0adb 00000104: JUMP 00000105: JUMPDEST 00000106: PUSH2 0x0366 00000109: JUMP 0000010a: JUMPDEST 0000010b: CALLVALUE 0000010c: DUP1 0000010d: ISZERO 0000010e: PUSH2 0x0116 00000111: JUMPI 00000112: PUSH1 0x00 00000114: DUP1 00000115: REVERT 00000116: JUMPDEST 00000117: POP 00000118: PUSH2 0x0088 0000011b: PUSH2 0x0125 0000011e: CALLDATASIZE 0000011f: PUSH1 0x04 00000121: PUSH2 0x0b9a 00000124: JUMP 00000125: JUMPDEST 00000126: PUSH2 0x050a 00000129: JUMP 0000012a: JUMPDEST 0000012b: PUSH1 0x00 0000012d: SLOAD 0000012e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000143: AND 00000144: CALLER 00000145: EQ 00000146: PUSH2 0x01b0 00000149: JUMPI 0000014a: PUSH1 0x40 0000014c: MLOAD 0000014d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000016e: DUP2 0000016f: MSTORE 00000170: PUSH1 0x20 00000172: PUSH1 0x04 00000174: DUP3 00000175: ADD 00000176: MSTORE 00000177: PUSH1 0x05 00000179: PUSH1 0x24 0000017b: DUP3 0000017c: ADD 0000017d: MSTORE 0000017e: PUSH32 0x3430333a4f000000000000000000000000000000000000000000000000000000 0000019f: PUSH1 0x44 000001a1: DUP3 000001a2: ADD 000001a3: MSTORE 000001a4: PUSH1 0x64 000001a6: ADD 000001a7: JUMPDEST 000001a8: PUSH1 0x40 000001aa: MLOAD 000001ab: DUP1 000001ac: SWAP2 000001ad: SUB 000001ae: SWAP1 000001af: REVERT 000001b0: JUMPDEST 000001b1: PUSH1 0x00 000001b3: JUMPDEST 000001b4: PUSH1 0x01 000001b6: SLOAD 000001b7: DUP2 000001b8: LT 000001b9: ISZERO 000001ba: PUSH2 0x0247 000001bd: JUMPI 000001be: PUSH1 0x00 000001c0: PUSH1 0x02 000001c2: PUSH1 0x00 000001c4: PUSH1 0x01 000001c6: DUP5 000001c7: DUP2 000001c8: SLOAD 000001c9: DUP2 000001ca: LT 000001cb: PUSH2 0x01d6 000001ce: JUMPI 000001cf: PUSH2 0x01d6 000001d2: PUSH2 0x0bbe 000001d5: JUMP 000001d6: JUMPDEST 000001d7: PUSH1 0x00 000001d9: SWAP2 000001da: DUP3 000001db: MSTORE 000001dc: PUSH1 0x20 000001de: DUP1 000001df: DUP4 000001e0: KECCAK256 000001e1: SWAP2 000001e2: SWAP1 000001e3: SWAP2 000001e4: ADD 000001e5: SLOAD 000001e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001fb: AND 000001fc: DUP4 000001fd: MSTORE 000001fe: DUP3 000001ff: ADD 00000200: SWAP3 00000201: SWAP1 00000202: SWAP3 00000203: MSTORE 00000204: PUSH1 0x40 00000206: ADD 00000207: SWAP1 00000208: KECCAK256 00000209: DUP1 0000020a: SLOAD 0000020b: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 0000022c: AND 0000022d: SWAP2 0000022e: ISZERO 0000022f: ISZERO 00000230: SWAP2 00000231: SWAP1 00000232: SWAP2 00000233: OR 00000234: SWAP1 00000235: SSTORE 00000236: DUP1 00000237: PUSH2 0x023f 0000023a: DUP2 0000023b: PUSH2 0x0bed 0000023e: JUMP 0000023f: JUMPDEST 00000240: SWAP2 00000241: POP 00000242: POP 00000243: PUSH2 0x01b3 00000246: JUMP 00000247: JUMPDEST 00000248: POP 00000249: PUSH1 0x00 0000024b: JUMPDEST 0000024c: DUP2 0000024d: DUP2 0000024e: LT 0000024f: ISZERO 00000250: PUSH2 0x02e5 00000253: JUMPI 00000254: PUSH1 0x01 00000256: PUSH1 0x02 00000258: PUSH1 0x00 0000025a: DUP6 0000025b: DUP6 0000025c: DUP6 0000025d: DUP2 0000025e: DUP2 0000025f: LT 00000260: PUSH2 0x026b 00000263: JUMPI 00000264: PUSH2 0x026b 00000267: PUSH2 0x0bbe 0000026a: JUMP 0000026b: JUMPDEST 0000026c: SWAP1 0000026d: POP 0000026e: PUSH1 0x20 00000270: MUL 00000271: ADD 00000272: PUSH1 0x20 00000274: DUP2 00000275: ADD 00000276: SWAP1 00000277: PUSH2 0x0280 0000027a: SWAP2 0000027b: SWAP1 0000027c: PUSH2 0x0b9a 0000027f: JUMP 00000280: JUMPDEST 00000281: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000296: AND 00000297: DUP2 00000298: MSTORE 00000299: PUSH1 0x20 0000029b: DUP2 0000029c: ADD 0000029d: SWAP2 0000029e: SWAP1 0000029f: SWAP2 000002a0: MSTORE 000002a1: PUSH1 0x40 000002a3: ADD 000002a4: PUSH1 0x00 000002a6: KECCAK256 000002a7: DUP1 000002a8: SLOAD 000002a9: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 000002ca: AND 000002cb: SWAP2 000002cc: ISZERO 000002cd: ISZERO 000002ce: SWAP2 000002cf: SWAP1 000002d0: SWAP2 000002d1: OR 000002d2: SWAP1 000002d3: SSTORE 000002d4: DUP1 000002d5: PUSH2 0x02dd 000002d8: DUP2 000002d9: PUSH2 0x0bed 000002dc: JUMP 000002dd: JUMPDEST 000002de: SWAP2 000002df: POP 000002e0: POP 000002e1: PUSH2 0x024b 000002e4: JUMP 000002e5: JUMPDEST 000002e6: POP 000002e7: PUSH2 0x02f2 000002ea: PUSH1 0x01 000002ec: DUP4 000002ed: DUP4 000002ee: PUSH2 0x0956 000002f1: JUMP 000002f2: JUMPDEST 000002f3: POP 000002f4: POP 000002f5: POP 000002f6: JUMP 000002f7: JUMPDEST 000002f8: PUSH1 0x60 000002fa: PUSH1 0x01 000002fc: DUP1 000002fd: SLOAD 000002fe: DUP1 000002ff: PUSH1 0x20 00000301: MUL 00000302: PUSH1 0x20 00000304: ADD 00000305: PUSH1 0x40 00000307: MLOAD 00000308: SWAP1 00000309: DUP2 0000030a: ADD 0000030b: PUSH1 0x40 0000030d: MSTORE 0000030e: DUP1 0000030f: SWAP3 00000310: SWAP2 00000311: SWAP1 00000312: DUP2 00000313: DUP2 00000314: MSTORE 00000315: PUSH1 0x20 00000317: ADD 00000318: DUP3 00000319: DUP1 0000031a: SLOAD 0000031b: DUP1 0000031c: ISZERO 0000031d: PUSH2 0x035c 00000320: JUMPI 00000321: PUSH1 0x20 00000323: MUL 00000324: DUP3 00000325: ADD 00000326: SWAP2 00000327: SWAP1 00000328: PUSH1 0x00 0000032a: MSTORE 0000032b: PUSH1 0x20 0000032d: PUSH1 0x00 0000032f: KECCAK256 00000330: SWAP1 00000331: JUMPDEST 00000332: DUP2 00000333: SLOAD 00000334: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000349: AND 0000034a: DUP2 0000034b: MSTORE 0000034c: PUSH1 0x01 0000034e: SWAP1 0000034f: SWAP2 00000350: ADD 00000351: SWAP1 00000352: PUSH1 0x20 00000354: ADD 00000355: DUP1 00000356: DUP4 00000357: GT 00000358: PUSH2 0x0331 0000035b: JUMPI 0000035c: JUMPDEST 0000035d: POP 0000035e: POP 0000035f: POP 00000360: POP 00000361: POP 00000362: SWAP1 00000363: POP 00000364: SWAP1 00000365: JUMP 00000366: JUMPDEST 00000367: CALLER 00000368: PUSH1 0x00 0000036a: SWAP1 0000036b: DUP2 0000036c: MSTORE 0000036d: PUSH1 0x02 0000036f: PUSH1 0x20 00000371: MSTORE 00000372: PUSH1 0x40 00000374: SWAP1 00000375: KECCAK256 00000376: SLOAD 00000377: PUSH1 0xff 00000379: AND 0000037a: DUP1 0000037b: PUSH2 0x039b 0000037e: JUMPI 0000037f: POP 00000380: PUSH1 0x00 00000382: SLOAD 00000383: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000398: AND 00000399: CALLER 0000039a: EQ 0000039b: JUMPDEST 0000039c: PUSH2 0x0401 0000039f: JUMPI 000003a0: PUSH1 0x40 000003a2: MLOAD 000003a3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000003c4: DUP2 000003c5: MSTORE 000003c6: PUSH1 0x20 000003c8: PUSH1 0x04 000003ca: DUP3 000003cb: ADD 000003cc: MSTORE 000003cd: PUSH1 0x06 000003cf: PUSH1 0x24 000003d1: DUP3 000003d2: ADD 000003d3: MSTORE 000003d4: PUSH32 0x3430333a4f530000000000000000000000000000000000000000000000000000 000003f5: PUSH1 0x44 000003f7: DUP3 000003f8: ADD 000003f9: MSTORE 000003fa: PUSH1 0x64 000003fc: ADD 000003fd: PUSH2 0x01a7 00000400: JUMP 00000401: JUMPDEST 00000402: DUP5 00000403: DUP2 00000404: EQ 00000405: DUP1 00000406: ISZERO 00000407: PUSH2 0x040f 0000040a: JUMPI 0000040b: POP 0000040c: DUP1 0000040d: DUP4 0000040e: EQ 0000040f: JUMPDEST 00000410: PUSH2 0x0475 00000413: JUMPI 00000414: PUSH1 0x40 00000416: MLOAD 00000417: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000438: DUP2 00000439: MSTORE 0000043a: PUSH1 0x20 0000043c: PUSH1 0x04 0000043e: DUP3 0000043f: ADD 00000440: MSTORE 00000441: PUSH1 0x05 00000443: PUSH1 0x24 00000445: DUP3 00000446: ADD 00000447: MSTORE 00000448: PUSH32 0x3430303a4c000000000000000000000000000000000000000000000000000000 00000469: PUSH1 0x44 0000046b: DUP3 0000046c: ADD 0000046d: MSTORE 0000046e: PUSH1 0x64 00000470: ADD 00000471: PUSH2 0x01a7 00000474: JUMP 00000475: JUMPDEST 00000476: PUSH1 0x00 00000478: JUMPDEST 00000479: DUP6 0000047a: DUP2 0000047b: LT 0000047c: ISZERO 0000047d: PUSH2 0x0501 00000480: JUMPI 00000481: PUSH2 0x04ef 00000484: DUP8 00000485: DUP8 00000486: DUP4 00000487: DUP2 00000488: DUP2 00000489: LT 0000048a: PUSH2 0x0495 0000048d: JUMPI 0000048e: PUSH2 0x0495 00000491: PUSH2 0x0bbe 00000494: JUMP 00000495: JUMPDEST 00000496: SWAP1 00000497: POP 00000498: PUSH1 0x20 0000049a: MUL 0000049b: ADD 0000049c: PUSH1 0x20 0000049e: DUP2 0000049f: ADD 000004a0: SWAP1 000004a1: PUSH2 0x04aa 000004a4: SWAP2 000004a5: SWAP1 000004a6: PUSH2 0x0b9a 000004a9: JUMP 000004aa: JUMPDEST 000004ab: DUP7 000004ac: DUP7 000004ad: DUP5 000004ae: DUP2 000004af: DUP2 000004b0: LT 000004b1: PUSH2 0x04bc 000004b4: JUMPI 000004b5: PUSH2 0x04bc 000004b8: PUSH2 0x0bbe 000004bb: JUMP 000004bc: JUMPDEST 000004bd: SWAP1 000004be: POP 000004bf: PUSH1 0x20 000004c1: MUL 000004c2: ADD 000004c3: PUSH1 0x20 000004c5: DUP2 000004c6: ADD 000004c7: SWAP1 000004c8: PUSH2 0x04d1 000004cb: SWAP2 000004cc: SWAP1 000004cd: PUSH2 0x0b9a 000004d0: JUMP 000004d1: JUMPDEST 000004d2: DUP6 000004d3: DUP6 000004d4: DUP6 000004d5: DUP2 000004d6: DUP2 000004d7: LT 000004d8: PUSH2 0x04e3 000004db: JUMPI 000004dc: PUSH2 0x04e3 000004df: PUSH2 0x0bbe 000004e2: JUMP 000004e3: JUMPDEST 000004e4: SWAP1 000004e5: POP 000004e6: PUSH1 0x20 000004e8: MUL 000004e9: ADD 000004ea: CALLDATALOAD 000004eb: PUSH2 0x05d2 000004ee: JUMP 000004ef: JUMPDEST 000004f0: DUP1 000004f1: PUSH2 0x04f9 000004f4: DUP2 000004f5: PUSH2 0x0bed 000004f8: JUMP 000004f9: JUMPDEST 000004fa: SWAP2 000004fb: POP 000004fc: POP 000004fd: PUSH2 0x0478 00000500: JUMP 00000501: JUMPDEST 00000502: POP 00000503: POP 00000504: POP 00000505: POP 00000506: POP 00000507: POP 00000508: POP 00000509: JUMP 0000050a: JUMPDEST 0000050b: PUSH1 0x00 0000050d: SLOAD 0000050e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000523: AND 00000524: CALLER 00000525: EQ 00000526: PUSH2 0x058b 00000529: JUMPI 0000052a: PUSH1 0x40 0000052c: MLOAD 0000052d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000054e: DUP2 0000054f: MSTORE 00000550: PUSH1 0x20 00000552: PUSH1 0x04 00000554: DUP3 00000555: ADD 00000556: MSTORE 00000557: PUSH1 0x05 00000559: PUSH1 0x24 0000055b: DUP3 0000055c: ADD 0000055d: MSTORE 0000055e: PUSH32 0x3430333a4f000000000000000000000000000000000000000000000000000000 0000057f: PUSH1 0x44 00000581: DUP3 00000582: ADD 00000583: MSTORE 00000584: PUSH1 0x64 00000586: ADD 00000587: PUSH2 0x01a7 0000058a: JUMP 0000058b: JUMPDEST 0000058c: PUSH1 0x00 0000058e: DUP1 0000058f: SLOAD 00000590: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 000005b1: AND 000005b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005c7: SWAP3 000005c8: SWAP1 000005c9: SWAP3 000005ca: AND 000005cb: SWAP2 000005cc: SWAP1 000005cd: SWAP2 000005ce: OR 000005cf: SWAP1 000005d0: SSTORE 000005d1: JUMP 000005d2: JUMPDEST 000005d3: PUSH1 0x40 000005d5: DUP1 000005d6: MLOAD 000005d7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005ec: DUP5 000005ed: DUP2 000005ee: AND 000005ef: PUSH1 0x24 000005f1: DUP4 000005f2: ADD 000005f3: MSTORE 000005f4: PUSH1 0x44 000005f6: DUP1 000005f7: DUP4 000005f8: ADD 000005f9: DUP6 000005fa: SWAP1 000005fb: MSTORE 000005fc: DUP4 000005fd: MLOAD 000005fe: DUP1 000005ff: DUP5 00000600: SUB 00000601: SWAP1 00000602: SWAP2 00000603: ADD 00000604: DUP2 00000605: MSTORE 00000606: PUSH1 0x64 00000608: SWAP1 00000609: SWAP3 0000060a: ADD 0000060b: DUP4 0000060c: MSTORE 0000060d: PUSH1 0x20 0000060f: DUP1 00000610: DUP4 00000611: ADD 00000612: DUP1 00000613: MLOAD 00000614: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000631: AND 00000632: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000 00000653: OR 00000654: SWAP1 00000655: MSTORE 00000656: DUP4 00000657: MLOAD 00000658: DUP1 00000659: DUP6 0000065a: ADD 0000065b: SWAP1 0000065c: SWAP5 0000065d: MSTORE 0000065e: DUP1 0000065f: DUP5 00000660: MSTORE 00000661: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564 00000682: SWAP1 00000683: DUP5 00000684: ADD 00000685: MSTORE 00000686: PUSH2 0x02f2 00000689: SWAP3 0000068a: DUP7 0000068b: SWAP3 0000068c: SWAP2 0000068d: PUSH1 0x00 0000068f: SWAP2 00000690: PUSH2 0x069d 00000693: SWAP2 00000694: DUP6 00000695: AND 00000696: SWAP1 00000697: DUP5 00000698: SWAP1 00000699: PUSH2 0x0747 0000069c: JUMP 0000069d: JUMPDEST 0000069e: DUP1 0000069f: MLOAD 000006a0: SWAP1 000006a1: SWAP2 000006a2: POP 000006a3: ISZERO 000006a4: PUSH2 0x02f2 000006a7: JUMPI 000006a8: DUP1 000006a9: DUP1 000006aa: PUSH1 0x20 000006ac: ADD 000006ad: SWAP1 000006ae: MLOAD 000006af: DUP2 000006b0: ADD 000006b1: SWAP1 000006b2: PUSH2 0x06bb 000006b5: SWAP2 000006b6: SWAP1 000006b7: PUSH2 0x0c4c 000006ba: JUMP 000006bb: JUMPDEST 000006bc: PUSH2 0x02f2 000006bf: JUMPI 000006c0: PUSH1 0x40 000006c2: MLOAD 000006c3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000006e4: DUP2 000006e5: MSTORE 000006e6: PUSH1 0x20 000006e8: PUSH1 0x04 000006ea: DUP3 000006eb: ADD 000006ec: MSTORE 000006ed: PUSH1 0x2a 000006ef: PUSH1 0x24 000006f1: DUP3 000006f2: ADD 000006f3: MSTORE 000006f4: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e 00000715: PUSH1 0x44 00000717: DUP3 00000718: ADD 00000719: MSTORE 0000071a: PUSH32 0x6f74207375636365656400000000000000000000000000000000000000000000 0000073b: PUSH1 0x64 0000073d: DUP3 0000073e: ADD 0000073f: MSTORE 00000740: PUSH1 0x84 00000742: ADD 00000743: PUSH2 0x01a7 00000746: JUMP 00000747: JUMPDEST 00000748: PUSH1 0x60 0000074a: PUSH2 0x0756 0000074d: DUP5 0000074e: DUP5 0000074f: PUSH1 0x00 00000751: DUP6 00000752: PUSH2 0x075e 00000755: JUMP 00000756: JUMPDEST 00000757: SWAP5 00000758: SWAP4 00000759: POP 0000075a: POP 0000075b: POP 0000075c: POP 0000075d: JUMP 0000075e: JUMPDEST 0000075f: PUSH1 0x60 00000761: DUP3 00000762: SELFBALANCE 00000763: LT 00000764: ISZERO 00000765: PUSH2 0x07f0 00000768: JUMPI 00000769: PUSH1 0x40 0000076b: MLOAD 0000076c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000078d: DUP2 0000078e: MSTORE 0000078f: PUSH1 0x20 00000791: PUSH1 0x04 00000793: DUP3 00000794: ADD 00000795: MSTORE 00000796: PUSH1 0x26 00000798: PUSH1 0x24 0000079a: DUP3 0000079b: ADD 0000079c: MSTORE 0000079d: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e636520666f 000007be: PUSH1 0x44 000007c0: DUP3 000007c1: ADD 000007c2: MSTORE 000007c3: PUSH32 0x722063616c6c0000000000000000000000000000000000000000000000000000 000007e4: PUSH1 0x64 000007e6: DUP3 000007e7: ADD 000007e8: MSTORE 000007e9: PUSH1 0x84 000007eb: ADD 000007ec: PUSH2 0x01a7 000007ef: JUMP 000007f0: JUMPDEST 000007f1: PUSH1 0x00 000007f3: DUP1 000007f4: DUP7 000007f5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000080a: AND 0000080b: DUP6 0000080c: DUP8 0000080d: PUSH1 0x40 0000080f: MLOAD 00000810: PUSH2 0x0819 00000813: SWAP2 00000814: SWAP1 00000815: PUSH2 0x0c92 00000818: JUMP 00000819: JUMPDEST 0000081a: PUSH1 0x00 0000081c: PUSH1 0x40 0000081e: MLOAD 0000081f: DUP1 00000820: DUP4 00000821: SUB 00000822: DUP2 00000823: DUP6 00000824: DUP8 00000825: GAS 00000826: CALL 00000827: SWAP3 00000828: POP 00000829: POP 0000082a: POP 0000082b: RETURNDATASIZE 0000082c: DUP1 0000082d: PUSH1 0x00 0000082f: DUP2 00000830: EQ 00000831: PUSH2 0x0856 00000834: JUMPI 00000835: PUSH1 0x40 00000837: MLOAD 00000838: SWAP2 00000839: POP 0000083a: PUSH1 0x1f 0000083c: NOT 0000083d: PUSH1 0x3f 0000083f: RETURNDATASIZE 00000840: ADD 00000841: AND 00000842: DUP3 00000843: ADD 00000844: PUSH1 0x40 00000846: MSTORE 00000847: RETURNDATASIZE 00000848: DUP3 00000849: MSTORE 0000084a: RETURNDATASIZE 0000084b: PUSH1 0x00 0000084d: PUSH1 0x20 0000084f: DUP5 00000850: ADD 00000851: RETURNDATACOPY 00000852: PUSH2 0x085b 00000855: JUMP 00000856: JUMPDEST 00000857: PUSH1 0x60 00000859: SWAP2 0000085a: POP 0000085b: JUMPDEST 0000085c: POP 0000085d: SWAP2 0000085e: POP 0000085f: SWAP2 00000860: POP 00000861: PUSH2 0x086c 00000864: DUP8 00000865: DUP4 00000866: DUP4 00000867: DUP8 00000868: PUSH2 0x0877 0000086b: JUMP 0000086c: JUMPDEST 0000086d: SWAP8 0000086e: SWAP7 0000086f: POP 00000870: POP 00000871: POP 00000872: POP 00000873: POP 00000874: POP 00000875: POP 00000876: JUMP 00000877: JUMPDEST 00000878: PUSH1 0x60 0000087a: DUP4 0000087b: ISZERO 0000087c: PUSH2 0x090d 0000087f: JUMPI 00000880: DUP3 00000881: MLOAD 00000882: PUSH1 0x00 00000884: SUB 00000885: PUSH2 0x0906 00000888: JUMPI 00000889: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000089e: DUP6 0000089f: AND 000008a0: EXTCODESIZE 000008a1: PUSH2 0x0906 000008a4: JUMPI 000008a5: PUSH1 0x40 000008a7: MLOAD 000008a8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000008c9: DUP2 000008ca: MSTORE 000008cb: PUSH1 0x20 000008cd: PUSH1 0x04 000008cf: DUP3 000008d0: ADD 000008d1: MSTORE 000008d2: PUSH1 0x1d 000008d4: PUSH1 0x24 000008d6: DUP3 000008d7: ADD 000008d8: MSTORE 000008d9: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000 000008fa: PUSH1 0x44 000008fc: DUP3 000008fd: ADD 000008fe: MSTORE 000008ff: PUSH1 0x64 00000901: ADD 00000902: PUSH2 0x01a7 00000905: JUMP 00000906: JUMPDEST 00000907: POP 00000908: DUP2 00000909: PUSH2 0x0756 0000090c: JUMP 0000090d: JUMPDEST 0000090e: PUSH2 0x0756 00000911: DUP4 00000912: DUP4 00000913: DUP2 00000914: MLOAD 00000915: ISZERO 00000916: PUSH2 0x0922 00000919: JUMPI 0000091a: DUP2 0000091b: MLOAD 0000091c: DUP1 0000091d: DUP4 0000091e: PUSH1 0x20 00000920: ADD 00000921: REVERT 00000922: JUMPDEST 00000923: DUP1 00000924: PUSH1 0x40 00000926: MLOAD 00000927: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000948: DUP2 00000949: MSTORE 0000094a: PUSH1 0x04 0000094c: ADD 0000094d: PUSH2 0x01a7 00000950: SWAP2 00000951: SWAP1 00000952: PUSH2 0x0cae 00000955: JUMP 00000956: JUMPDEST 00000957: DUP3 00000958: DUP1 00000959: SLOAD 0000095a: DUP3 0000095b: DUP3 0000095c: SSTORE 0000095d: SWAP1 0000095e: PUSH1 0x00 00000960: MSTORE 00000961: PUSH1 0x20 00000963: PUSH1 0x00 00000965: KECCAK256 00000966: SWAP1 00000967: DUP2 00000968: ADD 00000969: SWAP3 0000096a: DUP3 0000096b: ISZERO 0000096c: PUSH2 0x09ce 0000096f: JUMPI 00000970: SWAP2 00000971: PUSH1 0x20 00000973: MUL 00000974: DUP3 00000975: ADD 00000976: JUMPDEST 00000977: DUP3 00000978: DUP2 00000979: GT 0000097a: ISZERO 0000097b: PUSH2 0x09ce 0000097e: JUMPI 0000097f: DUP2 00000980: SLOAD 00000981: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 000009a2: AND 000009a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009b8: DUP5 000009b9: CALLDATALOAD 000009ba: AND 000009bb: OR 000009bc: DUP3 000009bd: SSTORE 000009be: PUSH1 0x20 000009c0: SWAP1 000009c1: SWAP3 000009c2: ADD 000009c3: SWAP2 000009c4: PUSH1 0x01 000009c6: SWAP1 000009c7: SWAP2 000009c8: ADD 000009c9: SWAP1 000009ca: PUSH2 0x0976 000009cd: JUMP 000009ce: JUMPDEST 000009cf: POP 000009d0: PUSH2 0x09da 000009d3: SWAP3 000009d4: SWAP2 000009d5: POP 000009d6: PUSH2 0x09de 000009d9: JUMP 000009da: JUMPDEST 000009db: POP 000009dc: SWAP1 000009dd: JUMP 000009de: JUMPDEST 000009df: JUMPDEST 000009e0: DUP1 000009e1: DUP3 000009e2: GT 000009e3: ISZERO 000009e4: PUSH2 0x09da 000009e7: JUMPI 000009e8: PUSH1 0x00 000009ea: DUP2 000009eb: SSTORE 000009ec: PUSH1 0x01 000009ee: ADD 000009ef: PUSH2 0x09df 000009f2: JUMP 000009f3: JUMPDEST 000009f4: PUSH1 0x00 000009f6: DUP1 000009f7: DUP4 000009f8: PUSH1 0x1f 000009fa: DUP5 000009fb: ADD 000009fc: SLT 000009fd: PUSH2 0x0a05 00000a00: JUMPI 00000a01: PUSH1 0x00 00000a03: DUP1 00000a04: REVERT 00000a05: JUMPDEST 00000a06: POP 00000a07: DUP2 00000a08: CALLDATALOAD 00000a09: PUSH8 0xffffffffffffffff 00000a12: DUP2 00000a13: GT 00000a14: ISZERO 00000a15: PUSH2 0x0a1d 00000a18: JUMPI 00000a19: PUSH1 0x00 00000a1b: DUP1 00000a1c: REVERT 00000a1d: JUMPDEST 00000a1e: PUSH1 0x20 00000a20: DUP4 00000a21: ADD 00000a22: SWAP2 00000a23: POP 00000a24: DUP4 00000a25: PUSH1 0x20 00000a27: DUP3 00000a28: PUSH1 0x05 00000a2a: SHL 00000a2b: DUP6 00000a2c: ADD 00000a2d: ADD 00000a2e: GT 00000a2f: ISZERO 00000a30: PUSH2 0x0a38 00000a33: JUMPI 00000a34: PUSH1 0x00 00000a36: DUP1 00000a37: REVERT 00000a38: JUMPDEST 00000a39: SWAP3 00000a3a: POP 00000a3b: SWAP3 00000a3c: SWAP1 00000a3d: POP 00000a3e: JUMP 00000a3f: JUMPDEST 00000a40: PUSH1 0x00 00000a42: DUP1 00000a43: PUSH1 0x20 00000a45: DUP4 00000a46: DUP6 00000a47: SUB 00000a48: SLT 00000a49: ISZERO 00000a4a: PUSH2 0x0a52 00000a4d: JUMPI 00000a4e: PUSH1 0x00 00000a50: DUP1 00000a51: REVERT 00000a52: JUMPDEST 00000a53: DUP3 00000a54: CALLDATALOAD 00000a55: PUSH8 0xffffffffffffffff 00000a5e: DUP2 00000a5f: GT 00000a60: ISZERO 00000a61: PUSH2 0x0a69 00000a64: JUMPI 00000a65: PUSH1 0x00 00000a67: DUP1 00000a68: REVERT 00000a69: JUMPDEST 00000a6a: PUSH2 0x0a75 00000a6d: DUP6 00000a6e: DUP3 00000a6f: DUP7 00000a70: ADD 00000a71: PUSH2 0x09f3 00000a74: JUMP 00000a75: JUMPDEST 00000a76: SWAP1 00000a77: SWAP7 00000a78: SWAP1 00000a79: SWAP6 00000a7a: POP 00000a7b: SWAP4 00000a7c: POP 00000a7d: POP 00000a7e: POP 00000a7f: POP 00000a80: JUMP 00000a81: JUMPDEST 00000a82: PUSH1 0x20 00000a84: DUP1 00000a85: DUP3 00000a86: MSTORE 00000a87: DUP3 00000a88: MLOAD 00000a89: DUP3 00000a8a: DUP3 00000a8b: ADD 00000a8c: DUP2 00000a8d: SWAP1 00000a8e: MSTORE 00000a8f: PUSH1 0x00 00000a91: SWAP2 00000a92: SWAP1 00000a93: DUP5 00000a94: DUP3 00000a95: ADD 00000a96: SWAP1 00000a97: PUSH1 0x40 00000a99: DUP6 00000a9a: ADD 00000a9b: SWAP1 00000a9c: DUP5 00000a9d: JUMPDEST 00000a9e: DUP2 00000a9f: DUP2 00000aa0: LT 00000aa1: ISZERO 00000aa2: PUSH2 0x0acf 00000aa5: JUMPI 00000aa6: DUP4 00000aa7: MLOAD 00000aa8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000abd: AND 00000abe: DUP4 00000abf: MSTORE 00000ac0: SWAP3 00000ac1: DUP5 00000ac2: ADD 00000ac3: SWAP3 00000ac4: SWAP2 00000ac5: DUP5 00000ac6: ADD 00000ac7: SWAP2 00000ac8: PUSH1 0x01 00000aca: ADD 00000acb: PUSH2 0x0a9d 00000ace: JUMP 00000acf: JUMPDEST 00000ad0: POP 00000ad1: SWAP1 00000ad2: SWAP7 00000ad3: SWAP6 00000ad4: POP 00000ad5: POP 00000ad6: POP 00000ad7: POP 00000ad8: POP 00000ad9: POP 00000ada: JUMP 00000adb: JUMPDEST 00000adc: PUSH1 0x00 00000ade: DUP1 00000adf: PUSH1 0x00 00000ae1: DUP1 00000ae2: PUSH1 0x00 00000ae4: DUP1 00000ae5: PUSH1 0x60 00000ae7: DUP8 00000ae8: DUP10 00000ae9: SUB 00000aea: SLT 00000aeb: ISZERO 00000aec: PUSH2 0x0af4 00000aef: JUMPI 00000af0: PUSH1 0x00 00000af2: DUP1 00000af3: REVERT 00000af4: JUMPDEST 00000af5: DUP7 00000af6: CALLDATALOAD 00000af7: PUSH8 0xffffffffffffffff 00000b00: DUP1 00000b01: DUP3 00000b02: GT 00000b03: ISZERO 00000b04: PUSH2 0x0b0c 00000b07: JUMPI 00000b08: PUSH1 0x00 00000b0a: DUP1 00000b0b: REVERT 00000b0c: JUMPDEST 00000b0d: PUSH2 0x0b18 00000b10: DUP11 00000b11: DUP4 00000b12: DUP12 00000b13: ADD 00000b14: PUSH2 0x09f3 00000b17: JUMP 00000b18: JUMPDEST 00000b19: SWAP1 00000b1a: SWAP9 00000b1b: POP 00000b1c: SWAP7 00000b1d: POP 00000b1e: PUSH1 0x20 00000b20: DUP10 00000b21: ADD 00000b22: CALLDATALOAD 00000b23: SWAP2 00000b24: POP 00000b25: DUP1 00000b26: DUP3 00000b27: GT 00000b28: ISZERO 00000b29: PUSH2 0x0b31 00000b2c: JUMPI 00000b2d: PUSH1 0x00 00000b2f: DUP1 00000b30: REVERT 00000b31: JUMPDEST 00000b32: PUSH2 0x0b3d 00000b35: DUP11 00000b36: DUP4 00000b37: DUP12 00000b38: ADD 00000b39: PUSH2 0x09f3 00000b3c: JUMP 00000b3d: JUMPDEST 00000b3e: SWAP1 00000b3f: SWAP7 00000b40: POP 00000b41: SWAP5 00000b42: POP 00000b43: PUSH1 0x40 00000b45: DUP10 00000b46: ADD 00000b47: CALLDATALOAD 00000b48: SWAP2 00000b49: POP 00000b4a: DUP1 00000b4b: DUP3 00000b4c: GT 00000b4d: ISZERO 00000b4e: PUSH2 0x0b56 00000b51: JUMPI 00000b52: PUSH1 0x00 00000b54: DUP1 00000b55: REVERT 00000b56: JUMPDEST 00000b57: POP 00000b58: PUSH2 0x0b63 00000b5b: DUP10 00000b5c: DUP3 00000b5d: DUP11 00000b5e: ADD 00000b5f: PUSH2 0x09f3 00000b62: JUMP 00000b63: JUMPDEST 00000b64: SWAP8 00000b65: SWAP11 00000b66: SWAP7 00000b67: SWAP10 00000b68: POP 00000b69: SWAP5 00000b6a: SWAP8 00000b6b: POP 00000b6c: SWAP3 00000b6d: SWAP6 00000b6e: SWAP4 00000b6f: SWAP5 00000b70: SWAP3 00000b71: POP 00000b72: POP 00000b73: POP 00000b74: JUMP 00000b75: JUMPDEST 00000b76: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b8b: DUP2 00000b8c: AND 00000b8d: DUP2 00000b8e: EQ 00000b8f: PUSH2 0x0b97 00000b92: JUMPI 00000b93: PUSH1 0x00 00000b95: DUP1 00000b96: REVERT 00000b97: JUMPDEST 00000b98: POP 00000b99: JUMP 00000b9a: JUMPDEST 00000b9b: PUSH1 0x00 00000b9d: PUSH1 0x20 00000b9f: DUP3 00000ba0: DUP5 00000ba1: SUB 00000ba2: SLT 00000ba3: ISZERO 00000ba4: PUSH2 0x0bac 00000ba7: JUMPI 00000ba8: PUSH1 0x00 00000baa: DUP1 00000bab: REVERT 00000bac: JUMPDEST 00000bad: DUP2 00000bae: CALLDATALOAD 00000baf: PUSH2 0x0bb7 00000bb2: DUP2 00000bb3: PUSH2 0x0b75 00000bb6: JUMP 00000bb7: JUMPDEST 00000bb8: SWAP4 00000bb9: SWAP3 00000bba: POP 00000bbb: POP 00000bbc: POP 00000bbd: JUMP 00000bbe: JUMPDEST 00000bbf: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00000be0: PUSH1 0x00 00000be2: MSTORE 00000be3: PUSH1 0x32 00000be5: PUSH1 0x04 00000be7: MSTORE 00000be8: PUSH1 0x24 00000bea: PUSH1 0x00 00000bec: REVERT 00000bed: JUMPDEST 00000bee: PUSH1 0x00 00000bf0: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000c11: DUP3 00000c12: SUB 00000c13: PUSH2 0x0c45 00000c16: JUMPI 00000c17: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00000c38: PUSH1 0x00 00000c3a: MSTORE 00000c3b: PUSH1 0x11 00000c3d: PUSH1 0x04 00000c3f: MSTORE 00000c40: PUSH1 0x24 00000c42: PUSH1 0x00 00000c44: REVERT 00000c45: JUMPDEST 00000c46: POP 00000c47: PUSH1 0x01 00000c49: ADD 00000c4a: SWAP1 00000c4b: JUMP 00000c4c: JUMPDEST 00000c4d: PUSH1 0x00 00000c4f: PUSH1 0x20 00000c51: DUP3 00000c52: DUP5 00000c53: SUB 00000c54: SLT 00000c55: ISZERO 00000c56: PUSH2 0x0c5e 00000c59: JUMPI 00000c5a: PUSH1 0x00 00000c5c: DUP1 00000c5d: REVERT 00000c5e: JUMPDEST 00000c5f: DUP2 00000c60: MLOAD 00000c61: DUP1 00000c62: ISZERO 00000c63: ISZERO 00000c64: DUP2 00000c65: EQ 00000c66: PUSH2 0x0bb7 00000c69: JUMPI 00000c6a: PUSH1 0x00 00000c6c: DUP1 00000c6d: REVERT 00000c6e: JUMPDEST 00000c6f: PUSH1 0x00 00000c71: JUMPDEST 00000c72: DUP4 00000c73: DUP2 00000c74: LT 00000c75: ISZERO 00000c76: PUSH2 0x0c89 00000c79: JUMPI 00000c7a: DUP2 00000c7b: DUP2 00000c7c: ADD 00000c7d: MLOAD 00000c7e: DUP4 00000c7f: DUP3 00000c80: ADD 00000c81: MSTORE 00000c82: PUSH1 0x20 00000c84: ADD 00000c85: PUSH2 0x0c71 00000c88: JUMP 00000c89: JUMPDEST 00000c8a: POP 00000c8b: POP 00000c8c: PUSH1 0x00 00000c8e: SWAP2 00000c8f: ADD 00000c90: MSTORE 00000c91: JUMP 00000c92: JUMPDEST 00000c93: PUSH1 0x00 00000c95: DUP3 00000c96: MLOAD 00000c97: PUSH2 0x0ca4 00000c9a: DUP2 00000c9b: DUP5 00000c9c: PUSH1 0x20 00000c9e: DUP8 00000c9f: ADD 00000ca0: PUSH2 0x0c6e 00000ca3: JUMP 00000ca4: JUMPDEST 00000ca5: SWAP2 00000ca6: SWAP1 00000ca7: SWAP2 00000ca8: ADD 00000ca9: SWAP3 00000caa: SWAP2 00000cab: POP 00000cac: POP 00000cad: JUMP 00000cae: JUMPDEST 00000caf: PUSH1 0x20 00000cb1: DUP2 00000cb2: MSTORE 00000cb3: PUSH1 0x00 00000cb5: DUP3 00000cb6: MLOAD 00000cb7: DUP1 00000cb8: PUSH1 0x20 00000cba: DUP5 00000cbb: ADD 00000cbc: MSTORE 00000cbd: PUSH2 0x0ccd 00000cc0: DUP2 00000cc1: PUSH1 0x40 00000cc3: DUP6 00000cc4: ADD 00000cc5: PUSH1 0x20 00000cc7: DUP8 00000cc8: ADD 00000cc9: PUSH2 0x0c6e 00000ccc: JUMP 00000ccd: JUMPDEST 00000cce: PUSH1 0x1f 00000cd0: ADD 00000cd1: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00000cf2: AND 00000cf3: SWAP2 00000cf4: SWAP1 00000cf5: SWAP2 00000cf6: ADD 00000cf7: PUSH1 0x40 00000cf9: ADD 00000cfa: SWAP3 00000cfb: SWAP2 00000cfc: POP 00000cfd: POP 00000cfe: JUMP 00000cff: INVALID 00000d00: LOG2 00000d01: PUSH5 0x6970667358 00000d07: UNKNOWN(0x22) 00000d08: SLT 00000d09: KECCAK256 00000d0a: AND 00000d0b: UNKNOWN(0x2E) 00000d0c: MULMOD 00000d0d: RETURNDATASIZE 00000d0e: INVALID 00000d0f: PUSH14 0xf6766998bb22139cf9f63929ce64 00000d1e: UNKNOWN(0xC3) 00000d1f: UNKNOWN(0xEF) 00000d20: SELFDESTRUCT 00000d21: XOR 00000d22: PUSH31
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | SELFDESTRUCT reachable | 65 | no | no |
viewtrace_id: 0x3fc424f9692a8855bfd64a2f4d2f95aae6ebae35f22b8a2b8a5bacc8e3fad3fe
validation_json{
"sink": "SELFDESTRUCT",
"errors": 0,
"status": "unknown",
"attempts": 6,
"trace_id": "0x3fc424f9692a8855bfd64a2f4d2f95aae6ebae35f22b8a2b8a5bacc8e3fad3fe",
"confirmed": false,
"trace_mode": "structLogs",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x0f59f83a",
"selector": "0x0f59f83a",
"calldata_variants": [
"0x0f59f83a",
"0x0f59f83a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x19bce9ce",
"selector": "0x19bce9ce",
"calldata_variants": [
"0x19bce9ce",
"0x19bce9ce0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x95ddbc58",
"selector": "0x95ddbc58",
"calldata_variants": [
"0x95ddbc58",
"0x95ddbc580000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [],
"selfdestruct_count": 1
}
|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xd3cf4130a0d54435a30150444ee58630b60c7ec8be66e2e6cbf454c9a6c12267
call_targets:
0x974026e01660d11b5b5f08394806b619702ac35c
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xd3cf4130a0d54435a30150444ee58630b60c7ec8be66e2e6cbf454c9a6c12267",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x974026e01660d11b5b5f08394806b619702ac35c"
],
"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": "0x0f59f83a",
"selector": "0x0f59f83a",
"calldata_variants": [
"0x0f59f83a",
"0x0f59f83a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x19bce9ce",
"selector": "0x19bce9ce",
"calldata_variants": [
"0x19bce9ce",
"0x19bce9ce0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x95ddbc58",
"selector": "0x95ddbc58",
"calldata_variants": [
"0x95ddbc58",
"0x95ddbc580000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2086,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [],
"untrusted_call_count": 1
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xd3cf4130a0d54435a30150444ee58630b60c7ec8be66e2e6cbf454c9a6c12267
call_targets:
0x974026e01660d11b5b5f08394806b619702ac35c
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xd3cf4130a0d54435a30150444ee58630b60c7ec8be66e2e6cbf454c9a6c12267",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x974026e01660d11b5b5f08394806b619702ac35c"
],
"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": "0x0f59f83a",
"selector": "0x0f59f83a",
"calldata_variants": [
"0x0f59f83a",
"0x0f59f83a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x19bce9ce",
"selector": "0x19bce9ce",
"calldata_variants": [
"0x19bce9ce",
"0x19bce9ce0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x95ddbc58",
"selector": "0x95ddbc58",
"calldata_variants": [
"0x95ddbc58",
"0x95ddbc580000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2086,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": []
}
|