019ba9a5-c720-7134-958a-f60eb34fca72
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 |
|---|---|---|---|---|
| 37304 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 37305 | proxy.resolve | complete | 1 / 3 | 3 months ago |
| 37306 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 37307 | analysis.bundle | complete | 1 / 3 | 3 months ago |
| 37308 | capability.graph | complete | 1 / 3 | 3 months ago |
| 37309 | detector.run | complete | 1 / 3 | 3 months ago |
| 37310 | validation.fork | complete | 1 / 3 | 3 months ago |
{
"status": "not_proxy"
}
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLVALUE 00000006: DUP1 00000007: ISZERO 00000008: PUSH2 0x0010 0000000b: JUMPI 0000000c: PUSH1 0x00 0000000e: DUP1 0000000f: REVERT 00000010: JUMPDEST 00000011: POP 00000012: PUSH1 0x04 00000014: CALLDATASIZE 00000015: LT 00000016: PUSH2 0x004c 00000019: JUMPI 0000001a: PUSH1 0x00 0000001c: CALLDATALOAD 0000001d: PUSH1 0xe0 0000001f: SHR 00000020: DUP1 00000021: PUSH4 0x670688ce 00000026: EQ 00000027: PUSH2 0x0051 0000002a: JUMPI 0000002b: DUP1 0000002c: PUSH4 0x8548b9ae 00000031: EQ 00000032: PUSH2 0x0066 00000035: JUMPI 00000036: DUP1 00000037: PUSH4 0x96423663 0000003c: EQ 0000003d: PUSH2 0x0079 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0xa8d74d1d 00000047: EQ 00000048: PUSH2 0x00b6 0000004b: JUMPI 0000004c: JUMPDEST 0000004d: PUSH1 0x00 0000004f: DUP1 00000050: REVERT 00000051: JUMPDEST 00000052: PUSH2 0x0064 00000055: PUSH2 0x005f 00000058: CALLDATASIZE 00000059: PUSH1 0x04 0000005b: PUSH2 0x0702 0000005e: JUMP 0000005f: JUMPDEST 00000060: PUSH2 0x00c9 00000063: JUMP 00000064: JUMPDEST 00000065: STOP 00000066: JUMPDEST 00000067: PUSH2 0x0064 0000006a: PUSH2 0x0074 0000006d: CALLDATASIZE 0000006e: PUSH1 0x04 00000070: PUSH2 0x0732 00000073: JUMP 00000074: JUMPDEST 00000075: PUSH2 0x0216 00000078: JUMP 00000079: JUMPDEST 0000007a: PUSH32 0x000000000000000000000000c9a4307458af1cdf502158b37065d647c2a61797 0000009b: PUSH1 0x40 0000009d: MLOAD 0000009e: PUSH1 0x01 000000a0: PUSH1 0x01 000000a2: PUSH1 0xa0 000000a4: SHL 000000a5: SUB 000000a6: SWAP1 000000a7: SWAP2 000000a8: AND 000000a9: DUP2 000000aa: MSTORE 000000ab: PUSH1 0x20 000000ad: ADD 000000ae: PUSH1 0x40 000000b0: MLOAD 000000b1: DUP1 000000b2: SWAP2 000000b3: SUB 000000b4: SWAP1 000000b5: RETURN 000000b6: JUMPDEST 000000b7: PUSH2 0x0064 000000ba: PUSH2 0x00c4 000000bd: CALLDATASIZE 000000be: PUSH1 0x04 000000c0: PUSH2 0x0761 000000c3: JUMP 000000c4: JUMPDEST 000000c5: PUSH2 0x03f1 000000c8: JUMP 000000c9: JUMPDEST 000000ca: PUSH1 0x40 000000cc: MLOAD 000000cd: PUSH4 0x70a08231 000000d2: PUSH1 0xe0 000000d4: SHL 000000d5: DUP2 000000d6: MSTORE 000000d7: CALLER 000000d8: PUSH1 0x04 000000da: DUP3 000000db: ADD 000000dc: MSTORE 000000dd: PUSH1 0x00 000000df: SWAP1 000000e0: PUSH32 0x000000000000000000000000c9a4307458af1cdf502158b37065d647c2a61797 00000101: PUSH1 0x01 00000103: PUSH1 0x01 00000105: PUSH1 0xa0 00000107: SHL 00000108: SUB 00000109: AND 0000010a: SWAP1 0000010b: PUSH4 0x70a08231 00000110: SWAP1 00000111: PUSH1 0x24 00000113: ADD 00000114: PUSH1 0x20 00000116: PUSH1 0x40 00000118: MLOAD 00000119: DUP1 0000011a: DUP4 0000011b: SUB 0000011c: DUP2 0000011d: DUP7 0000011e: DUP1 0000011f: EXTCODESIZE 00000120: ISZERO 00000121: DUP1 00000122: ISZERO 00000123: PUSH2 0x012b 00000126: JUMPI 00000127: PUSH1 0x00 00000129: DUP1 0000012a: REVERT 0000012b: JUMPDEST 0000012c: POP 0000012d: GAS 0000012e: STATICCALL 0000012f: ISZERO 00000130: DUP1 00000131: ISZERO 00000132: PUSH2 0x013f 00000135: JUMPI 00000136: RETURNDATASIZE 00000137: PUSH1 0x00 00000139: DUP1 0000013a: RETURNDATACOPY 0000013b: RETURNDATASIZE 0000013c: PUSH1 0x00 0000013e: REVERT 0000013f: JUMPDEST 00000140: POP 00000141: POP 00000142: POP 00000143: POP 00000144: PUSH1 0x40 00000146: MLOAD 00000147: RETURNDATASIZE 00000148: PUSH1 0x1f 0000014a: NOT 0000014b: PUSH1 0x1f 0000014d: DUP3 0000014e: ADD 0000014f: AND 00000150: DUP3 00000151: ADD 00000152: DUP1 00000153: PUSH1 0x40 00000155: MSTORE 00000156: POP 00000157: DUP2 00000158: ADD 00000159: SWAP1 0000015a: PUSH2 0x0163 0000015d: SWAP2 0000015e: SWAP1 0000015f: PUSH2 0x071a 00000162: JUMP 00000163: JUMPDEST 00000164: SWAP1 00000165: POP 00000166: PUSH1 0x00 00000168: CALLER 00000169: PUSH2 0x0172 0000016c: DUP4 0000016d: DUP3 0000016e: PUSH2 0x052e 00000171: JUMP 00000172: JUMPDEST 00000173: PUSH1 0x40 00000175: MLOAD 00000176: PUSH1 0x00 00000178: DUP2 00000179: DUP2 0000017a: DUP2 0000017b: DUP6 0000017c: DUP8 0000017d: GAS 0000017e: CALL 0000017f: SWAP3 00000180: POP 00000181: POP 00000182: POP 00000183: RETURNDATASIZE 00000184: DUP1 00000185: PUSH1 0x00 00000187: DUP2 00000188: EQ 00000189: PUSH2 0x01ae 0000018c: JUMPI 0000018d: PUSH1 0x40 0000018f: MLOAD 00000190: SWAP2 00000191: POP 00000192: PUSH1 0x1f 00000194: NOT 00000195: PUSH1 0x3f 00000197: RETURNDATASIZE 00000198: ADD 00000199: AND 0000019a: DUP3 0000019b: ADD 0000019c: PUSH1 0x40 0000019e: MSTORE 0000019f: RETURNDATASIZE 000001a0: DUP3 000001a1: MSTORE 000001a2: RETURNDATASIZE 000001a3: PUSH1 0x00 000001a5: PUSH1 0x20 000001a7: DUP5 000001a8: ADD 000001a9: RETURNDATACOPY 000001aa: PUSH2 0x01b3 000001ad: JUMP 000001ae: JUMPDEST 000001af: PUSH1 0x60 000001b1: SWAP2 000001b2: POP 000001b3: JUMPDEST 000001b4: POP 000001b5: POP 000001b6: SWAP1 000001b7: POP 000001b8: DUP1 000001b9: PUSH2 0x0209 000001bc: JUMPI 000001bd: PUSH1 0x40 000001bf: MLOAD 000001c0: PUSH3 0x461bcd 000001c4: PUSH1 0xe5 000001c6: SHL 000001c7: DUP2 000001c8: MSTORE 000001c9: PUSH1 0x20 000001cb: PUSH1 0x04 000001cd: DUP3 000001ce: ADD 000001cf: MSTORE 000001d0: PUSH1 0x1d 000001d2: PUSH1 0x24 000001d4: DUP3 000001d5: ADD 000001d6: MSTORE 000001d7: PUSH32 0x436f6c6c61746572616c506f6f6c3a207472616e73666572206661696c000000 000001f8: PUSH1 0x44 000001fa: DUP3 000001fb: ADD 000001fc: MSTORE 000001fd: PUSH1 0x64 000001ff: ADD 00000200: JUMPDEST 00000201: PUSH1 0x40 00000203: MLOAD 00000204: DUP1 00000205: SWAP2 00000206: SUB 00000207: SWAP1 00000208: REVERT 00000209: JUMPDEST 0000020a: PUSH2 0x0211 0000020d: PUSH2 0x0661 00000210: JUMP 00000211: JUMPDEST 00000212: POP 00000213: POP 00000214: POP 00000215: JUMP 00000216: JUMPDEST 00000217: DUP1 00000218: PUSH1 0x01 0000021a: PUSH1 0x01 0000021c: PUSH1 0xa0 0000021e: SHL 0000021f: SUB 00000220: AND 00000221: PUSH4 0x6f758140 00000226: PUSH2 0x022f 00000229: DUP5 0000022a: CALLER 0000022b: PUSH2 0x052e 0000022e: JUMP 0000022f: JUMPDEST 00000230: PUSH1 0x40 00000232: MLOAD 00000233: DUP3 00000234: PUSH4 0xffffffff 00000239: AND 0000023a: PUSH1 0xe0 0000023c: SHL 0000023d: DUP2 0000023e: MSTORE 0000023f: PUSH1 0x04 00000241: ADD 00000242: PUSH1 0x00 00000244: PUSH1 0x40 00000246: MLOAD 00000247: DUP1 00000248: DUP4 00000249: SUB 0000024a: DUP2 0000024b: DUP6 0000024c: DUP9 0000024d: DUP1 0000024e: EXTCODESIZE 0000024f: ISZERO 00000250: DUP1 00000251: ISZERO 00000252: PUSH2 0x025a 00000255: JUMPI 00000256: PUSH1 0x00 00000258: DUP1 00000259: REVERT 0000025a: JUMPDEST 0000025b: POP 0000025c: GAS 0000025d: CALL 0000025e: ISZERO 0000025f: DUP1 00000260: ISZERO 00000261: PUSH2 0x026e 00000264: JUMPI 00000265: RETURNDATASIZE 00000266: PUSH1 0x00 00000268: DUP1 00000269: RETURNDATACOPY 0000026a: RETURNDATASIZE 0000026b: PUSH1 0x00 0000026d: REVERT 0000026e: JUMPDEST 0000026f: POP 00000270: POP 00000271: POP 00000272: POP 00000273: POP 00000274: PUSH1 0x00 00000276: DUP2 00000277: PUSH1 0x01 00000279: PUSH1 0x01 0000027b: PUSH1 0xa0 0000027d: SHL 0000027e: SUB 0000027f: AND 00000280: PUSH4 0x2ffa23da 00000285: PUSH1 0x40 00000287: MLOAD 00000288: DUP2 00000289: PUSH4 0xffffffff 0000028e: AND 0000028f: PUSH1 0xe0 00000291: SHL 00000292: DUP2 00000293: MSTORE 00000294: PUSH1 0x04 00000296: ADD 00000297: PUSH1 0x20 00000299: PUSH1 0x40 0000029b: MLOAD 0000029c: DUP1 0000029d: DUP4 0000029e: SUB 0000029f: DUP2 000002a0: DUP7 000002a1: DUP1 000002a2: EXTCODESIZE 000002a3: ISZERO 000002a4: DUP1 000002a5: ISZERO 000002a6: PUSH2 0x02ae 000002a9: JUMPI 000002aa: PUSH1 0x00 000002ac: DUP1 000002ad: REVERT 000002ae: JUMPDEST 000002af: POP 000002b0: GAS 000002b1: STATICCALL 000002b2: ISZERO 000002b3: DUP1 000002b4: ISZERO 000002b5: PUSH2 0x02c2 000002b8: JUMPI 000002b9: RETURNDATASIZE 000002ba: PUSH1 0x00 000002bc: DUP1 000002bd: RETURNDATACOPY 000002be: RETURNDATASIZE 000002bf: PUSH1 0x00 000002c1: REVERT 000002c2: JUMPDEST 000002c3: POP 000002c4: POP 000002c5: POP 000002c6: POP 000002c7: PUSH1 0x40 000002c9: MLOAD 000002ca: RETURNDATASIZE 000002cb: PUSH1 0x1f 000002cd: NOT 000002ce: PUSH1 0x1f 000002d0: DUP3 000002d1: ADD 000002d2: AND 000002d3: DUP3 000002d4: ADD 000002d5: DUP1 000002d6: PUSH1 0x40 000002d8: MSTORE 000002d9: POP 000002da: DUP2 000002db: ADD 000002dc: SWAP1 000002dd: PUSH2 0x02e6 000002e0: SWAP2 000002e1: SWAP1 000002e2: PUSH2 0x06bf 000002e5: JUMP 000002e6: JUMPDEST 000002e7: PUSH1 0x40 000002e9: MLOAD 000002ea: PUSH4 0x70a08231 000002ef: PUSH1 0xe0 000002f1: SHL 000002f2: DUP2 000002f3: MSTORE 000002f4: ADDRESS 000002f5: PUSH1 0x04 000002f7: DUP3 000002f8: ADD 000002f9: MSTORE 000002fa: SWAP1 000002fb: SWAP2 000002fc: POP 000002fd: PUSH1 0x01 000002ff: PUSH1 0x01 00000301: PUSH1 0xa0 00000303: SHL 00000304: SUB 00000305: DUP3 00000306: AND 00000307: SWAP1 00000308: PUSH4 0xa9059cbb 0000030d: SWAP1 0000030e: CALLER 0000030f: SWAP1 00000310: DUP4 00000311: SWAP1 00000312: PUSH4 0x70a08231 00000317: SWAP1 00000318: PUSH1 0x24 0000031a: ADD 0000031b: PUSH1 0x20 0000031d: PUSH1 0x40 0000031f: MLOAD 00000320: DUP1 00000321: DUP4 00000322: SUB 00000323: DUP2 00000324: DUP7 00000325: DUP1 00000326: EXTCODESIZE 00000327: ISZERO 00000328: DUP1 00000329: ISZERO 0000032a: PUSH2 0x0332 0000032d: JUMPI 0000032e: PUSH1 0x00 00000330: DUP1 00000331: REVERT 00000332: JUMPDEST 00000333: POP 00000334: GAS 00000335: STATICCALL 00000336: ISZERO 00000337: DUP1 00000338: ISZERO 00000339: PUSH2 0x0346 0000033c: JUMPI 0000033d: RETURNDATASIZE 0000033e: PUSH1 0x00 00000340: DUP1 00000341: RETURNDATACOPY 00000342: RETURNDATASIZE 00000343: PUSH1 0x00 00000345: REVERT 00000346: JUMPDEST 00000347: POP 00000348: POP 00000349: POP 0000034a: POP 0000034b: PUSH1 0x40 0000034d: MLOAD 0000034e: RETURNDATASIZE 0000034f: PUSH1 0x1f 00000351: NOT 00000352: PUSH1 0x1f 00000354: DUP3 00000355: ADD 00000356: AND 00000357: DUP3 00000358: ADD 00000359: DUP1 0000035a: PUSH1 0x40 0000035c: MSTORE 0000035d: POP 0000035e: DUP2 0000035f: ADD 00000360: SWAP1 00000361: PUSH2 0x036a 00000364: SWAP2 00000365: SWAP1 00000366: PUSH2 0x071a 00000369: JUMP 0000036a: JUMPDEST 0000036b: PUSH1 0x40 0000036d: MLOAD 0000036e: PUSH1 0x01 00000370: PUSH1 0x01 00000372: PUSH1 0xe0 00000374: SHL 00000375: SUB 00000376: NOT 00000377: PUSH1 0xe0 00000379: DUP6 0000037a: SWAP1 0000037b: SHL 0000037c: AND 0000037d: DUP2 0000037e: MSTORE 0000037f: PUSH1 0x01 00000381: PUSH1 0x01 00000383: PUSH1 0xa0 00000385: SHL 00000386: SUB 00000387: SWAP1 00000388: SWAP3 00000389: AND 0000038a: PUSH1 0x04 0000038c: DUP4 0000038d: ADD 0000038e: MSTORE 0000038f: PUSH1 0x24 00000391: DUP3 00000392: ADD 00000393: MSTORE 00000394: PUSH1 0x44 00000396: ADD 00000397: PUSH1 0x20 00000399: PUSH1 0x40 0000039b: MLOAD 0000039c: DUP1 0000039d: DUP4 0000039e: SUB 0000039f: DUP2 000003a0: PUSH1 0x00 000003a2: DUP8 000003a3: DUP1 000003a4: EXTCODESIZE 000003a5: ISZERO 000003a6: DUP1 000003a7: ISZERO 000003a8: PUSH2 0x03b0 000003ab: JUMPI 000003ac: PUSH1 0x00 000003ae: DUP1 000003af: REVERT 000003b0: JUMPDEST 000003b1: POP 000003b2: GAS 000003b3: CALL 000003b4: ISZERO 000003b5: DUP1 000003b6: ISZERO 000003b7: PUSH2 0x03c4 000003ba: JUMPI 000003bb: RETURNDATASIZE 000003bc: PUSH1 0x00 000003be: DUP1 000003bf: RETURNDATACOPY 000003c0: RETURNDATASIZE 000003c1: PUSH1 0x00 000003c3: REVERT 000003c4: JUMPDEST 000003c5: POP 000003c6: POP 000003c7: POP 000003c8: POP 000003c9: PUSH1 0x40 000003cb: MLOAD 000003cc: RETURNDATASIZE 000003cd: PUSH1 0x1f 000003cf: NOT 000003d0: PUSH1 0x1f 000003d2: DUP3 000003d3: ADD 000003d4: AND 000003d5: DUP3 000003d6: ADD 000003d7: DUP1 000003d8: PUSH1 0x40 000003da: MSTORE 000003db: POP 000003dc: DUP2 000003dd: ADD 000003de: SWAP1 000003df: PUSH2 0x03e8 000003e2: SWAP2 000003e3: SWAP1 000003e4: PUSH2 0x06e2 000003e7: JUMP 000003e8: JUMPDEST 000003e9: POP 000003ea: PUSH2 0x0211 000003ed: PUSH2 0x0661 000003f0: JUMP 000003f1: JUMPDEST 000003f2: PUSH1 0x40 000003f4: MLOAD 000003f5: PUSH4 0x0ad1c913 000003fa: PUSH1 0xe0 000003fc: SHL 000003fd: DUP2 000003fe: MSTORE 000003ff: CALLER 00000400: PUSH1 0x04 00000402: DUP3 00000403: ADD 00000404: MSTORE 00000405: PUSH1 0x24 00000407: DUP2 00000408: ADD 00000409: DUP4 0000040a: SWAP1 0000040b: MSTORE 0000040c: PUSH1 0x44 0000040e: DUP2 0000040f: ADD 00000410: DUP3 00000411: SWAP1 00000412: MSTORE 00000413: PUSH32 0x00000000000000000000000013fc0a6ac946a6d1c29ff0b7266d6138d83215db 00000434: PUSH1 0x01 00000436: PUSH1 0x01 00000438: PUSH1 0xa0 0000043a: SHL 0000043b: SUB 0000043c: AND 0000043d: SWAP1 0000043e: PUSH4 0x0ad1c913 00000443: SWAP1 00000444: PUSH1 0x64 00000446: ADD 00000447: PUSH1 0x00 00000449: PUSH1 0x40 0000044b: MLOAD 0000044c: DUP1 0000044d: DUP4 0000044e: SUB 0000044f: DUP2 00000450: PUSH1 0x00 00000452: DUP8 00000453: DUP1 00000454: EXTCODESIZE 00000455: ISZERO 00000456: DUP1 00000457: ISZERO 00000458: PUSH2 0x0460 0000045b: JUMPI 0000045c: PUSH1 0x00 0000045e: DUP1 0000045f: REVERT 00000460: JUMPDEST 00000461: POP 00000462: GAS 00000463: CALL 00000464: ISZERO 00000465: DUP1 00000466: ISZERO 00000467: PUSH2 0x0474 0000046a: JUMPI 0000046b: RETURNDATASIZE 0000046c: PUSH1 0x00 0000046e: DUP1 0000046f: RETURNDATACOPY 00000470: RETURNDATASIZE 00000471: PUSH1 0x00 00000473: REVERT 00000474: JUMPDEST 00000475: POP 00000476: POP 00000477: POP 00000478: POP 00000479: PUSH1 0x00 0000047b: CALLER 0000047c: PUSH1 0x01 0000047e: PUSH1 0x01 00000480: PUSH1 0xa0 00000482: SHL 00000483: SUB 00000484: AND 00000485: PUSH2 0x048e 00000488: DUP5 00000489: ADDRESS 0000048a: PUSH2 0x052e 0000048d: JUMP 0000048e: JUMPDEST 0000048f: PUSH1 0x40 00000491: MLOAD 00000492: PUSH1 0x00 00000494: DUP2 00000495: DUP2 00000496: DUP2 00000497: DUP6 00000498: DUP8 00000499: GAS 0000049a: CALL 0000049b: SWAP3 0000049c: POP 0000049d: POP 0000049e: POP 0000049f: RETURNDATASIZE 000004a0: DUP1 000004a1: PUSH1 0x00 000004a3: DUP2 000004a4: EQ 000004a5: PUSH2 0x04ca 000004a8: JUMPI 000004a9: PUSH1 0x40 000004ab: MLOAD 000004ac: SWAP2 000004ad: POP 000004ae: PUSH1 0x1f 000004b0: NOT 000004b1: PUSH1 0x3f 000004b3: RETURNDATASIZE 000004b4: ADD 000004b5: AND 000004b6: DUP3 000004b7: ADD 000004b8: PUSH1 0x40 000004ba: MSTORE 000004bb: RETURNDATASIZE 000004bc: DUP3 000004bd: MSTORE 000004be: RETURNDATASIZE 000004bf: PUSH1 0x00 000004c1: PUSH1 0x20 000004c3: DUP5 000004c4: ADD 000004c5: RETURNDATACOPY 000004c6: PUSH2 0x04cf 000004c9: JUMP 000004ca: JUMPDEST 000004cb: PUSH1 0x60 000004cd: SWAP2 000004ce: POP 000004cf: JUMPDEST 000004d0: POP 000004d1: POP 000004d2: SWAP1 000004d3: POP 000004d4: DUP1 000004d5: PUSH2 0x0520 000004d8: JUMPI 000004d9: PUSH1 0x40 000004db: MLOAD 000004dc: PUSH3 0x461bcd 000004e0: PUSH1 0xe5 000004e2: SHL 000004e3: DUP2 000004e4: MSTORE 000004e5: PUSH1 0x20 000004e7: PUSH1 0x04 000004e9: DUP3 000004ea: ADD 000004eb: MSTORE 000004ec: PUSH1 0x1d 000004ee: PUSH1 0x24 000004f0: DUP3 000004f1: ADD 000004f2: MSTORE 000004f3: PUSH32 0x436f6c6c61746572616c506f6f6c3a207472616e73666572206661696c000000 00000514: PUSH1 0x44 00000516: DUP3 00000517: ADD 00000518: MSTORE 00000519: PUSH1 0x64 0000051b: ADD 0000051c: PUSH2 0x0200 0000051f: JUMP 00000520: JUMPDEST 00000521: PUSH2 0x0528 00000524: PUSH2 0x0661 00000527: JUMP 00000528: JUMPDEST 00000529: POP 0000052a: POP 0000052b: POP 0000052c: POP 0000052d: JUMP 0000052e: JUMPDEST 0000052f: PUSH1 0x00 00000531: PUSH2 0x05d4 00000534: PUSH32 0x000000000000000000000000c9a4307458af1cdf502158b37065d647c2a61797 00000555: PUSH1 0x01 00000557: PUSH1 0x01 00000559: PUSH1 0xa0 0000055b: SHL 0000055c: SUB 0000055d: AND 0000055e: PUSH4 0x18160ddd 00000563: PUSH1 0x40 00000565: MLOAD 00000566: DUP2 00000567: PUSH4 0xffffffff 0000056c: AND 0000056d: PUSH1 0xe0 0000056f: SHL 00000570: DUP2 00000571: MSTORE 00000572: PUSH1 0x04 00000574: ADD 00000575: PUSH1 0x20 00000577: PUSH1 0x40 00000579: MLOAD 0000057a: DUP1 0000057b: DUP4 0000057c: SUB 0000057d: DUP2 0000057e: DUP7 0000057f: DUP1 00000580: EXTCODESIZE 00000581: ISZERO 00000582: DUP1 00000583: ISZERO 00000584: PUSH2 0x058c 00000587: JUMPI 00000588: PUSH1 0x00 0000058a: DUP1 0000058b: REVERT 0000058c: JUMPDEST 0000058d: POP 0000058e: GAS 0000058f: STATICCALL 00000590: ISZERO 00000591: DUP1 00000592: ISZERO 00000593: PUSH2 0x05a0 00000596: JUMPI 00000597: RETURNDATASIZE 00000598: PUSH1 0x00 0000059a: DUP1 0000059b: RETURNDATACOPY 0000059c: RETURNDATASIZE 0000059d: PUSH1 0x00 0000059f: REVERT 000005a0: JUMPDEST 000005a1: POP 000005a2: POP 000005a3: POP 000005a4: POP 000005a5: PUSH1 0x40 000005a7: MLOAD 000005a8: RETURNDATASIZE 000005a9: PUSH1 0x1f 000005ab: NOT 000005ac: PUSH1 0x1f 000005ae: DUP3 000005af: ADD 000005b0: AND 000005b1: DUP3 000005b2: ADD 000005b3: DUP1 000005b4: PUSH1 0x40 000005b6: MSTORE 000005b7: POP 000005b8: DUP2 000005b9: ADD 000005ba: SWAP1 000005bb: PUSH2 0x05c4 000005be: SWAP2 000005bf: SWAP1 000005c0: PUSH2 0x071a 000005c3: JUMP 000005c4: JUMPDEST 000005c5: PUSH2 0x05ce 000005c8: SELFBALANCE 000005c9: DUP7 000005ca: PUSH2 0x066b 000005cd: JUMP 000005ce: JUMPDEST 000005cf: SWAP1 000005d0: PUSH2 0x068c 000005d3: JUMP 000005d4: JUMPDEST 000005d5: PUSH1 0x40 000005d7: MLOAD 000005d8: PUSH4 0x2770a7eb 000005dd: PUSH1 0xe2 000005df: SHL 000005e0: DUP2 000005e1: MSTORE 000005e2: PUSH1 0x01 000005e4: PUSH1 0x01 000005e6: PUSH1 0xa0 000005e8: SHL 000005e9: SUB 000005ea: DUP5 000005eb: DUP2 000005ec: AND 000005ed: PUSH1 0x04 000005ef: DUP4 000005f0: ADD 000005f1: MSTORE 000005f2: PUSH1 0x24 000005f4: DUP3 000005f5: ADD 000005f6: DUP7 000005f7: SWAP1 000005f8: MSTORE 000005f9: SWAP2 000005fa: SWAP3 000005fb: POP 000005fc: PUSH32 0x000000000000000000000000c9a4307458af1cdf502158b37065d647c2a61797 0000061d: SWAP1 0000061e: SWAP2 0000061f: AND 00000620: SWAP1 00000621: PUSH4 0x9dc29fac 00000626: SWAP1 00000627: PUSH1 0x44 00000629: ADD 0000062a: PUSH1 0x00 0000062c: PUSH1 0x40 0000062e: MLOAD 0000062f: DUP1 00000630: DUP4 00000631: SUB 00000632: DUP2 00000633: PUSH1 0x00 00000635: DUP8 00000636: DUP1 00000637: EXTCODESIZE 00000638: ISZERO 00000639: DUP1 0000063a: ISZERO 0000063b: PUSH2 0x0643 0000063e: JUMPI 0000063f: PUSH1 0x00 00000641: DUP1 00000642: REVERT 00000643: JUMPDEST 00000644: POP 00000645: GAS 00000646: CALL 00000647: ISZERO 00000648: DUP1 00000649: ISZERO 0000064a: PUSH2 0x0657 0000064d: JUMPI 0000064e: RETURNDATASIZE 0000064f: PUSH1 0x00 00000651: DUP1 00000652: RETURNDATACOPY 00000653: RETURNDATASIZE 00000654: PUSH1 0x00 00000656: REVERT 00000657: JUMPDEST 00000658: POP 00000659: POP 0000065a: POP 0000065b: POP 0000065c: SWAP3 0000065d: SWAP2 0000065e: POP 0000065f: POP 00000660: JUMP 00000661: JUMPDEST 00000662: SELFBALANCE 00000663: PUSH2 0x0669 00000666: JUMPI 00000667: CALLER 00000668: SELFDESTRUCT 00000669: JUMPDEST 0000066a: JUMP 0000066b: JUMPDEST 0000066c: PUSH1 0x00 0000066e: PUSH2 0x0677 00000671: DUP3 00000672: DUP5 00000673: PUSH2 0x078c 00000676: JUMP 00000677: JUMPDEST 00000678: SWAP1 00000679: POP 0000067a: PUSH8 0x0de0b6b3a7640000 00000683: DUP2 00000684: JUMPDEST 00000685: DIV 00000686: SWAP4 00000687: SWAP3 00000688: POP 00000689: POP 0000068a: POP 0000068b: JUMP 0000068c: JUMPDEST 0000068d: PUSH1 0x00 0000068f: PUSH2 0x06a0 00000692: PUSH8 0x0de0b6b3a7640000 0000069b: DUP5 0000069c: PUSH2 0x078c 0000069f: JUMP 000006a0: JUMPDEST 000006a1: SWAP1 000006a2: POP 000006a3: DUP2 000006a4: DUP2 000006a5: DUP2 000006a6: PUSH2 0x0684 000006a9: JUMPI 000006aa: PUSH4 0x4e487b71 000006af: PUSH1 0xe0 000006b1: SHL 000006b2: PUSH1 0x00 000006b4: MSTORE 000006b5: PUSH1 0x12 000006b7: PUSH1 0x04 000006b9: MSTORE 000006ba: PUSH1 0x24 000006bc: PUSH1 0x00 000006be: REVERT 000006bf: JUMPDEST 000006c0: PUSH1 0x00 000006c2: PUSH1 0x20 000006c4: DUP3 000006c5: DUP5 000006c6: SUB 000006c7: SLT 000006c8: ISZERO 000006c9: PUSH2 0x06d0 000006cc: JUMPI 000006cd: DUP1 000006ce: DUP2 000006cf: REVERT 000006d0: JUMPDEST 000006d1: DUP2 000006d2: MLOAD 000006d3: PUSH2 0x06db 000006d6: DUP2 000006d7: PUSH2 0x07b7 000006da: JUMP 000006db: JUMPDEST 000006dc: SWAP4 000006dd: SWAP3 000006de: POP 000006df: POP 000006e0: POP 000006e1: JUMP 000006e2: JUMPDEST 000006e3: PUSH1 0x00 000006e5: PUSH1 0x20 000006e7: DUP3 000006e8: DUP5 000006e9: SUB 000006ea: SLT 000006eb: ISZERO 000006ec: PUSH2 0x06f3 000006ef: JUMPI 000006f0: DUP1 000006f1: DUP2 000006f2: REVERT 000006f3: JUMPDEST 000006f4: DUP2 000006f5: MLOAD 000006f6: DUP1 000006f7: ISZERO 000006f8: ISZERO 000006f9: DUP2 000006fa: EQ 000006fb: PUSH2 0x06db 000006fe: JUMPI 000006ff: DUP2 00000700: DUP3 00000701: REVERT 00000702: JUMPDEST 00000703: PUSH1 0x00 00000705: PUSH1 0x20 00000707: DUP3 00000708: DUP5 00000709: SUB 0000070a: SLT 0000070b: ISZERO 0000070c: PUSH2 0x0713 0000070f: JUMPI 00000710: DUP1 00000711: DUP2 00000712: REVERT 00000713: JUMPDEST 00000714: POP 00000715: CALLDATALOAD 00000716: SWAP2 00000717: SWAP1 00000718: POP 00000719: JUMP 0000071a: JUMPDEST 0000071b: PUSH1 0x00 0000071d: PUSH1 0x20 0000071f: DUP3 00000720: DUP5 00000721: SUB 00000722: SLT 00000723: ISZERO 00000724: PUSH2 0x072b 00000727: JUMPI 00000728: DUP1 00000729: DUP2 0000072a: REVERT 0000072b: JUMPDEST 0000072c: POP 0000072d: MLOAD 0000072e: SWAP2 0000072f: SWAP1 00000730: POP 00000731: JUMP 00000732: JUMPDEST 00000733: PUSH1 0x00 00000735: DUP1 00000736: PUSH1 0x40 00000738: DUP4 00000739: DUP6 0000073a: SUB 0000073b: SLT 0000073c: ISZERO 0000073d: PUSH2 0x0744 00000740: JUMPI 00000741: DUP1 00000742: DUP2 00000743: REVERT 00000744: JUMPDEST 00000745: DUP3 00000746: CALLDATALOAD 00000747: SWAP2 00000748: POP 00000749: PUSH1 0x20 0000074b: DUP4 0000074c: ADD 0000074d: CALLDATALOAD 0000074e: PUSH2 0x0756 00000751: DUP2 00000752: PUSH2 0x07b7 00000755: JUMP 00000756: JUMPDEST 00000757: DUP1 00000758: SWAP2 00000759: POP 0000075a: POP 0000075b: SWAP3 0000075c: POP 0000075d: SWAP3 0000075e: SWAP1 0000075f: POP 00000760: JUMP 00000761: JUMPDEST 00000762: PUSH1 0x00 00000764: DUP1 00000765: PUSH1 0x00 00000767: PUSH1 0x60 00000769: DUP5 0000076a: DUP7 0000076b: SUB 0000076c: SLT 0000076d: ISZERO 0000076e: PUSH2 0x0775 00000771: JUMPI 00000772: DUP1 00000773: DUP2 00000774: REVERT 00000775: JUMPDEST 00000776: POP 00000777: POP 00000778: DUP2 00000779: CALLDATALOAD 0000077a: SWAP4 0000077b: PUSH1 0x20 0000077d: DUP4 0000077e: ADD 0000077f: CALLDATALOAD 00000780: SWAP4 00000781: POP 00000782: PUSH1 0x40 00000784: SWAP1 00000785: SWAP3 00000786: ADD 00000787: CALLDATALOAD 00000788: SWAP2 00000789: SWAP1 0000078a: POP 0000078b: JUMP 0000078c: JUMPDEST 0000078d: PUSH1 0x00 0000078f: DUP2 00000790: PUSH1 0x00 00000792: NOT 00000793: DIV 00000794: DUP4 00000795: GT 00000796: DUP3 00000797: ISZERO 00000798: ISZERO 00000799: AND 0000079a: ISZERO 0000079b: PUSH2 0x07b2 0000079e: JUMPI 0000079f: PUSH4 0x4e487b71 000007a4: PUSH1 0xe0 000007a6: SHL 000007a7: DUP2 000007a8: MSTORE 000007a9: PUSH1 0x11 000007ab: PUSH1 0x04 000007ad: MSTORE 000007ae: PUSH1 0x24 000007b0: DUP2 000007b1: REVERT 000007b2: JUMPDEST 000007b3: POP 000007b4: MUL 000007b5: SWAP1 000007b6: JUMP 000007b7: JUMPDEST 000007b8: PUSH1 0x01 000007ba: PUSH1 0x01 000007bc: PUSH1 0xa0 000007be: SHL 000007bf: SUB 000007c0: DUP2 000007c1: AND 000007c2: DUP2 000007c3: EQ 000007c4: PUSH2 0x07cc 000007c7: JUMPI 000007c8: PUSH1 0x00 000007ca: DUP1 000007cb: REVERT 000007cc: JUMPDEST 000007cd: POP 000007ce: JUMP 000007cf: INVALID 000007d0: LOG2 000007d1: PUSH5 0x6970667358 000007d7: UNKNOWN(0x22) 000007d8: SLT 000007d9: KECCAK256 000007da: DUP11 000007db: UNKNOWN(0xDA) 000007dc: MOD 000007dd: PUSH16 0x70eaee6703598e97079852b787aec689 000007ee: GAS 000007ef: SELFDESTRUCT 000007f0: UNKNOWN(0xE0) 000007f1: PUSH11 0x509b10d0d1f0d2e564736f 000007fd: PUSH13
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | cast | SELFDESTRUCT present | 85 | no | — |
viewevidence_json{
"notes": "selfdestruct can remove contract code and send funds; review reachability",
"selfdestruct_count": 2
}
|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x5b66db9570c0b7c1ad375f98f59da33a30cd14fca8e4a2019fabfb6e44e41e02
call_targets:
0x3f8ed5ef8e9a08d1a48372a895bf04f547867513
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x5b66db9570c0b7c1ad375f98f59da33a30cd14fca8e4a2019fabfb6e44e41e02",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x3f8ed5ef8e9a08d1a48372a895bf04f547867513"
],
"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": "0x670688ce",
"selector": "0x670688ce",
"calldata_variants": [
"0x670688ce",
"0x670688ce0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8548b9ae",
"selector": "0x8548b9ae",
"calldata_variants": [
"0x8548b9ae",
"0x8548b9ae0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x96423663",
"selector": "0x96423663",
"calldata_variants": [
"0x96423663",
"0x964236630000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa8d74d1d",
"selector": "0xa8d74d1d",
"calldata_variants": [
"0xa8d74d1d",
"0xa8d74d1d0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 382,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 605,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 947,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 6,
"guards_detected": [],
"untrusted_call_count": 6
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x5b66db9570c0b7c1ad375f98f59da33a30cd14fca8e4a2019fabfb6e44e41e02
call_targets:
0x3f8ed5ef8e9a08d1a48372a895bf04f547867513
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x5b66db9570c0b7c1ad375f98f59da33a30cd14fca8e4a2019fabfb6e44e41e02",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x3f8ed5ef8e9a08d1a48372a895bf04f547867513"
],
"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": "0x670688ce",
"selector": "0x670688ce",
"calldata_variants": [
"0x670688ce",
"0x670688ce0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8548b9ae",
"selector": "0x8548b9ae",
"calldata_variants": [
"0x8548b9ae",
"0x8548b9ae0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x96423663",
"selector": "0x96423663",
"calldata_variants": [
"0x96423663",
"0x964236630000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa8d74d1d",
"selector": "0xa8d74d1d",
"calldata_variants": [
"0xa8d74d1d",
"0xa8d74d1d0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 382,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 605,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 947,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 6,
"guards_detected": []
}
|
| high | other | detector | SELFDESTRUCT reachable | 65 | no | no |
viewtrace_id: 0x45b4b1615b6c7a411072d5a80a395173512c06a0e863b0d7e0e2838f86855355
validation_json{
"sink": "SELFDESTRUCT",
"errors": 0,
"status": "unknown",
"attempts": 8,
"trace_id": "0x45b4b1615b6c7a411072d5a80a395173512c06a0e863b0d7e0e2838f86855355",
"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": "0x670688ce",
"selector": "0x670688ce",
"calldata_variants": [
"0x670688ce",
"0x670688ce0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8548b9ae",
"selector": "0x8548b9ae",
"calldata_variants": [
"0x8548b9ae",
"0x8548b9ae0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x96423663",
"selector": "0x96423663",
"calldata_variants": [
"0x96423663",
"0x964236630000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa8d74d1d",
"selector": "0xa8d74d1d",
"calldata_variants": [
"0xa8d74d1d",
"0xa8d74d1d0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [],
"selfdestruct_count": 2
}
|
| info | other | cast | Heavy EXTCODE*/BALANCE usage | 55 | no | — |
viewevidence_json{
"notes": "frequent external code or balance checks; may indicate introspection or validation logic",
"ext_balance_count": 8
}
|