019b477e-a782-7282-a5e6-4e67e89cc400
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 |
|---|---|---|---|---|
| 20261 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 20262 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 88277 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 88278 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 88279 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 88280 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLDATASIZE 00000006: ISZERO 00000007: PUSH2 0x00cf 0000000a: JUMPI 0000000b: PUSH1 0xe0 0000000d: PUSH1 0x02 0000000f: EXP 00000010: PUSH1 0x00 00000012: CALLDATALOAD 00000013: DIV 00000014: PUSH4 0x0cd40fea 00000019: DUP2 0000001a: EQ 0000001b: PUSH2 0x00d1 0000001e: JUMPI 0000001f: DUP1 00000020: PUSH4 0x21c03a97 00000025: EQ 00000026: PUSH2 0x00d9 00000029: JUMPI 0000002a: DUP1 0000002b: PUSH4 0x32454dbb 00000030: EQ 00000031: PUSH2 0x0164 00000034: JUMPI 00000035: DUP1 00000036: PUSH4 0x41c0e1b5 0000003b: EQ 0000003c: PUSH2 0x017a 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x56a060a2 00000046: EQ 00000047: PUSH2 0x01f0 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x5d0e6672 00000051: EQ 00000052: PUSH2 0x0203 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x5da05e2e 0000005c: EQ 0000005d: PUSH2 0x020e 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x76ad3abf 00000067: EQ 00000068: PUSH2 0x02b7 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x7a9e5410 00000072: EQ 00000073: PUSH2 0x03b3 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x825db5f7 0000007d: EQ 0000007e: PUSH2 0x03b3 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x87a65513 00000088: EQ 00000089: PUSH2 0x03bb 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0xa51687df 00000093: EQ 00000094: PUSH2 0x03d1 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0xa5de3619 0000009e: EQ 0000009f: PUSH2 0x03e3 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0xdb85bd78 000000a9: EQ 000000aa: PUSH2 0x03f5 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0xdbff4182 000000b4: EQ 000000b5: PUSH2 0x0566 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0xddbdf242 000000bf: EQ 000000c0: PUSH2 0x0837 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0xf147ddfa 000000ca: EQ 000000cb: PUSH2 0x0849 000000ce: JUMPI 000000cf: JUMPDEST 000000d0: STOP 000000d1: JUMPDEST 000000d2: PUSH2 0x09d2 000000d5: PUSH1 0x01 000000d7: DUP2 000000d8: JUMP 000000d9: JUMPDEST 000000da: PUSH2 0x00cf 000000dd: PUSH1 0x04 000000df: CALLDATALOAD 000000e0: PUSH1 0x01 000000e2: SLOAD 000000e3: PUSH1 0xe2 000000e5: PUSH1 0x02 000000e7: EXP 000000e8: PUSH4 0x0935e01b 000000ed: MUL 000000ee: PUSH1 0x60 000000f0: SWAP1 000000f1: DUP2 000000f2: MSTORE 000000f3: ORIGIN 000000f4: PUSH1 0x01 000000f6: PUSH1 0xa0 000000f8: PUSH1 0x02 000000fa: EXP 000000fb: SUB 000000fc: SWAP1 000000fd: DUP2 000000fe: AND 000000ff: PUSH1 0x64 00000101: MSTORE 00000102: SWAP1 00000103: SWAP2 00000104: AND 00000105: SWAP1 00000106: PUSH4 0x24d7806c 0000010b: SWAP1 0000010c: PUSH1 0x84 0000010e: SWAP1 0000010f: PUSH1 0x20 00000111: SWAP1 00000112: PUSH1 0x24 00000114: DUP2 00000115: PUSH1 0x00 00000117: DUP8 00000118: PUSH2 0x61da 0000011b: GAS 0000011c: SUB 0000011d: CALL 0000011e: ISZERO 0000011f: PUSH2 0x0002 00000122: JUMPI 00000123: POP 00000124: POP 00000125: PUSH1 0x40 00000127: MLOAD 00000128: MLOAD 00000129: ISZERO 0000012a: SWAP1 0000012b: POP 0000012c: PUSH2 0x0563 0000012f: JUMPI 00000130: PUSH1 0x02 00000132: DUP1 00000133: SLOAD 00000134: PUSH1 0xe0 00000136: PUSH1 0x02 00000138: EXP 00000139: DUP4 0000013a: MUL 0000013b: PUSH32 0xffffff00ffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0000015c: SWAP1 0000015d: SWAP2 0000015e: AND 0000015f: OR 00000160: SWAP1 00000161: SSTORE 00000162: POP 00000163: JUMP 00000164: JUMPDEST 00000165: PUSH2 0x09df 00000168: PUSH1 0x02 0000016a: SLOAD 0000016b: PUSH1 0xc0 0000016d: PUSH1 0x02 0000016f: EXP 00000170: SWAP1 00000171: DIV 00000172: PUSH4 0xffffffff 00000177: AND 00000178: DUP2 00000179: JUMP 0000017a: JUMPDEST 0000017b: PUSH1 0x00 0000017d: DUP1 0000017e: SLOAD 0000017f: PUSH32 0x3ca8b00200000000000000000000000000000000000000000000000000000000 000001a0: PUSH1 0x60 000001a2: SWAP1 000001a3: DUP2 000001a4: MSTORE 000001a5: PUSH1 0x01 000001a7: PUSH1 0xa0 000001a9: PUSH1 0x02 000001ab: EXP 000001ac: SUB 000001ad: ORIGIN 000001ae: DUP2 000001af: AND 000001b0: PUSH1 0x64 000001b2: MSTORE 000001b3: PUSH2 0x00cf 000001b6: SWAP4 000001b7: SWAP3 000001b8: AND 000001b9: SWAP2 000001ba: PUSH4 0x3ca8b002 000001bf: SWAP2 000001c0: PUSH1 0x84 000001c2: SWAP2 000001c3: PUSH1 0x20 000001c5: SWAP2 000001c6: SWAP1 000001c7: PUSH1 0x24 000001c9: SWAP1 000001ca: DUP3 000001cb: SWAP1 000001cc: DUP8 000001cd: PUSH2 0x61da 000001d0: GAS 000001d1: SUB 000001d2: CALL 000001d3: ISZERO 000001d4: PUSH2 0x0002 000001d7: JUMPI 000001d8: POP 000001d9: POP 000001da: PUSH1 0x40 000001dc: MLOAD 000001dd: MLOAD 000001de: ISZERO 000001df: SWAP1 000001e0: POP 000001e1: PUSH2 0x0a0c 000001e4: JUMPI 000001e5: ORIGIN 000001e6: PUSH1 0x01 000001e8: PUSH1 0xa0 000001ea: PUSH1 0x02 000001ec: EXP 000001ed: SUB 000001ee: AND 000001ef: SELFDESTRUCT 000001f0: JUMPDEST 000001f1: PUSH2 0x09ef 000001f4: PUSH1 0x02 000001f6: SLOAD 000001f7: PUSH1 0xe0 000001f9: PUSH1 0x02 000001fb: EXP 000001fc: SWAP1 000001fd: DIV 000001fe: PUSH1 0xff 00000200: AND 00000201: DUP2 00000202: JUMP 00000203: JUMPDEST 00000204: PUSH2 0x09df 00000207: PUSH4 0x047868c0 0000020c: DUP2 0000020d: JUMP 0000020e: JUMPDEST 0000020f: PUSH2 0x00cf 00000212: PUSH1 0x04 00000214: CALLDATALOAD 00000215: PUSH1 0x01 00000217: SLOAD 00000218: PUSH1 0xe2 0000021a: PUSH1 0x02 0000021c: EXP 0000021d: PUSH4 0x0935e01b 00000222: MUL 00000223: PUSH1 0x60 00000225: SWAP1 00000226: DUP2 00000227: MSTORE 00000228: ORIGIN 00000229: PUSH1 0x01 0000022b: PUSH1 0xa0 0000022d: PUSH1 0x02 0000022f: EXP 00000230: SUB 00000231: SWAP1 00000232: DUP2 00000233: AND 00000234: PUSH1 0x64 00000236: MSTORE 00000237: SWAP1 00000238: SWAP2 00000239: AND 0000023a: SWAP1 0000023b: PUSH4 0x24d7806c 00000240: SWAP1 00000241: PUSH1 0x84 00000243: SWAP1 00000244: PUSH1 0x20 00000246: SWAP1 00000247: PUSH1 0x24 00000249: DUP2 0000024a: PUSH1 0x00 0000024c: DUP8 0000024d: PUSH2 0x61da 00000250: GAS 00000251: SUB 00000252: CALL 00000253: ISZERO 00000254: PUSH2 0x0002 00000257: JUMPI 00000258: POP 00000259: POP 0000025a: PUSH1 0x40 0000025c: MLOAD 0000025d: MLOAD 0000025e: ISZERO 0000025f: SWAP1 00000260: POP 00000261: PUSH2 0x0563 00000264: JUMPI 00000265: PUSH1 0x00 00000267: DUP2 00000268: PUSH4 0xffffffff 0000026d: AND 0000026e: GT 0000026f: DUP1 00000270: ISZERO 00000271: PUSH2 0x0284 00000274: JUMPI 00000275: POP 00000276: PUSH4 0x047868c0 0000027b: PUSH4 0xffffffff 00000280: DUP3 00000281: AND 00000282: GT 00000283: ISZERO 00000284: JUMPDEST 00000285: ISZERO 00000286: PUSH2 0x0563 00000289: JUMPI 0000028a: PUSH1 0x02 0000028c: DUP1 0000028d: SLOAD 0000028e: PUSH1 0xa0 00000290: PUSH1 0x02 00000292: EXP 00000293: DUP4 00000294: MUL 00000295: PUSH24 0xffffffff0000000000000000000000000000000000000000 000002ae: NOT 000002af: SWAP1 000002b0: SWAP2 000002b1: AND 000002b2: OR 000002b3: SWAP1 000002b4: SSTORE 000002b5: POP 000002b6: JUMP 000002b7: JUMPDEST 000002b8: PUSH2 0x00cf 000002bb: PUSH1 0x04 000002bd: CALLDATALOAD 000002be: PUSH1 0x01 000002c0: SLOAD 000002c1: PUSH1 0xe2 000002c3: PUSH1 0x02 000002c5: EXP 000002c6: PUSH4 0x0935e01b 000002cb: MUL 000002cc: PUSH1 0x60 000002ce: SWAP1 000002cf: DUP2 000002d0: MSTORE 000002d1: ORIGIN 000002d2: PUSH1 0x01 000002d4: PUSH1 0xa0 000002d6: PUSH1 0x02 000002d8: EXP 000002d9: SUB 000002da: SWAP1 000002db: DUP2 000002dc: AND 000002dd: PUSH1 0x64 000002df: MSTORE 000002e0: SWAP1 000002e1: SWAP2 000002e2: AND 000002e3: SWAP1 000002e4: PUSH4 0x24d7806c 000002e9: SWAP1 000002ea: PUSH1 0x84 000002ec: SWAP1 000002ed: PUSH1 0x20 000002ef: SWAP1 000002f0: PUSH1 0x24 000002f2: DUP2 000002f3: PUSH1 0x00 000002f5: DUP8 000002f6: PUSH2 0x61da 000002f9: GAS 000002fa: SUB 000002fb: CALL 000002fc: ISZERO 000002fd: PUSH2 0x0002 00000300: JUMPI 00000301: POP 00000302: POP 00000303: PUSH1 0x40 00000305: MLOAD 00000306: MLOAD 00000307: ISZERO 00000308: SWAP1 00000309: POP 0000030a: PUSH2 0x0563 0000030d: JUMPI 0000030e: PUSH1 0x40 00000310: DUP1 00000311: MLOAD 00000312: PUSH1 0x02 00000314: SLOAD 00000315: PUSH32 0x29092d0e00000000000000000000000000000000000000000000000000000000 00000336: DUP3 00000337: MSTORE 00000338: PUSH1 0x01 0000033a: PUSH1 0xa0 0000033c: PUSH1 0x02 0000033e: EXP 0000033f: SUB 00000340: DUP1 00000341: DUP6 00000342: AND 00000343: PUSH1 0x04 00000345: DUP5 00000346: ADD 00000347: MSTORE 00000348: SWAP3 00000349: MLOAD 0000034a: SWAP3 0000034b: AND 0000034c: SWAP2 0000034d: PUSH4 0x29092d0e 00000352: SWAP2 00000353: PUSH1 0x24 00000355: DUP2 00000356: DUP2 00000357: ADD 00000358: SWAP3 00000359: PUSH1 0x00 0000035b: SWAP3 0000035c: SWAP1 0000035d: SWAP2 0000035e: SWAP1 0000035f: DUP3 00000360: SWAP1 00000361: SUB 00000362: ADD 00000363: DUP2 00000364: DUP4 00000365: DUP8 00000366: PUSH2 0x61da 00000369: GAS 0000036a: SUB 0000036b: CALL 0000036c: ISZERO 0000036d: PUSH2 0x0002 00000370: JUMPI 00000371: POP 00000372: POP 00000373: PUSH1 0x40 00000375: DUP1 00000376: MLOAD 00000377: PUSH1 0x01 00000379: PUSH1 0xa0 0000037b: PUSH1 0x02 0000037d: EXP 0000037e: SUB 0000037f: DUP5 00000380: AND 00000381: DUP2 00000382: MSTORE 00000383: SWAP1 00000384: MLOAD 00000385: PUSH32 0x984b558696eec355172c301d97f89185bfc9bb2d7933193fad1beb7825ed4c2e 000003a6: SWAP3 000003a7: POP 000003a8: SWAP1 000003a9: DUP2 000003aa: SWAP1 000003ab: SUB 000003ac: PUSH1 0x20 000003ae: ADD 000003af: SWAP1 000003b0: LOG1 000003b1: POP 000003b2: JUMP 000003b3: JUMPDEST 000003b4: PUSH2 0x09d2 000003b7: PUSH1 0x00 000003b9: DUP2 000003ba: JUMP 000003bb: JUMPDEST 000003bc: PUSH2 0x09df 000003bf: PUSH1 0x02 000003c1: SLOAD 000003c2: PUSH1 0xa0 000003c4: PUSH1 0x02 000003c6: EXP 000003c7: SWAP1 000003c8: DIV 000003c9: PUSH4 0xffffffff 000003ce: AND 000003cf: DUP2 000003d0: JUMP 000003d1: JUMPDEST 000003d2: PUSH2 0x09f9 000003d5: PUSH1 0x00 000003d7: SLOAD 000003d8: PUSH1 0x01 000003da: PUSH1 0xa0 000003dc: PUSH1 0x02 000003de: EXP 000003df: SUB 000003e0: AND 000003e1: DUP2 000003e2: JUMP 000003e3: JUMPDEST 000003e4: PUSH2 0x09f9 000003e7: PUSH1 0x01 000003e9: SLOAD 000003ea: PUSH1 0x01 000003ec: PUSH1 0xa0 000003ee: PUSH1 0x02 000003f0: EXP 000003f1: SUB 000003f2: AND 000003f3: DUP2 000003f4: JUMP 000003f5: JUMPDEST 000003f6: PUSH2 0x00cf 000003f9: PUSH1 0x04 000003fb: CALLDATALOAD 000003fc: PUSH1 0x01 000003fe: SLOAD 000003ff: PUSH1 0xe2 00000401: PUSH1 0x02 00000403: EXP 00000404: PUSH4 0x0935e01b 00000409: MUL 0000040a: PUSH1 0x60 0000040c: SWAP1 0000040d: DUP2 0000040e: MSTORE 0000040f: ORIGIN 00000410: PUSH1 0x01 00000412: PUSH1 0xa0 00000414: PUSH1 0x02 00000416: EXP 00000417: SUB 00000418: SWAP1 00000419: DUP2 0000041a: AND 0000041b: PUSH1 0x64 0000041d: MSTORE 0000041e: SWAP1 0000041f: SWAP2 00000420: AND 00000421: SWAP1 00000422: PUSH4 0x24d7806c 00000427: SWAP1 00000428: PUSH1 0x84 0000042a: SWAP1 0000042b: PUSH1 0x20 0000042d: SWAP1 0000042e: PUSH1 0x24 00000430: DUP2 00000431: PUSH1 0x00 00000433: DUP8 00000434: PUSH2 0x61da 00000437: GAS 00000438: SUB 00000439: CALL 0000043a: ISZERO 0000043b: PUSH2 0x0002 0000043e: JUMPI 0000043f: POP 00000440: POP 00000441: PUSH1 0x40 00000443: MLOAD 00000444: MLOAD 00000445: ISZERO 00000446: SWAP1 00000447: POP 00000448: PUSH2 0x0563 0000044b: JUMPI 0000044c: PUSH1 0x40 0000044e: DUP1 0000044f: MLOAD 00000450: PUSH1 0x02 00000452: SLOAD 00000453: PUSH1 0xe3 00000455: PUSH1 0x02 00000457: EXP 00000458: PUSH4 0x0bb7c8fd 0000045d: MUL 0000045e: DUP3 0000045f: MSTORE 00000460: PUSH1 0x01 00000462: PUSH1 0xa0 00000464: PUSH1 0x02 00000466: EXP 00000467: SUB 00000468: DUP1 00000469: DUP6 0000046a: AND 0000046b: PUSH1 0x04 0000046d: DUP5 0000046e: ADD 0000046f: MSTORE 00000470: SWAP3 00000471: MLOAD 00000472: SWAP3 00000473: AND 00000474: SWAP2 00000475: PUSH4 0x5dbe47e8 0000047a: SWAP2 0000047b: PUSH1 0x24 0000047d: DUP2 0000047e: DUP2 0000047f: ADD 00000480: SWAP3 00000481: PUSH1 0x20 00000483: SWAP3 00000484: SWAP1 00000485: SWAP2 00000486: SWAP1 00000487: DUP3 00000488: SWAP1 00000489: SUB 0000048a: ADD 0000048b: DUP2 0000048c: PUSH1 0x00 0000048e: DUP8 0000048f: PUSH2 0x61da 00000492: GAS 00000493: SUB 00000494: CALL 00000495: ISZERO 00000496: PUSH2 0x0002 00000499: JUMPI 0000049a: POP 0000049b: POP 0000049c: PUSH1 0x40 0000049e: MLOAD 0000049f: MLOAD 000004a0: ISZERO 000004a1: ISZERO 000004a2: SWAP1 000004a3: POP 000004a4: PUSH2 0x0563 000004a7: JUMPI 000004a8: PUSH1 0x40 000004aa: DUP1 000004ab: MLOAD 000004ac: PUSH1 0x02 000004ae: SLOAD 000004af: PUSH32 0x0a3b0a4f00000000000000000000000000000000000000000000000000000000 000004d0: DUP3 000004d1: MSTORE 000004d2: PUSH1 0x01 000004d4: PUSH1 0xa0 000004d6: PUSH1 0x02 000004d8: EXP 000004d9: SUB 000004da: DUP1 000004db: DUP6 000004dc: AND 000004dd: PUSH1 0x04 000004df: DUP5 000004e0: ADD 000004e1: MSTORE 000004e2: SWAP3 000004e3: MLOAD 000004e4: SWAP3 000004e5: AND 000004e6: SWAP2 000004e7: PUSH4 0x0a3b0a4f 000004ec: SWAP2 000004ed: PUSH1 0x24 000004ef: DUP2 000004f0: DUP2 000004f1: ADD 000004f2: SWAP3 000004f3: PUSH1 0x00 000004f5: SWAP3 000004f6: SWAP1 000004f7: SWAP2 000004f8: SWAP1 000004f9: DUP3 000004fa: SWAP1 000004fb: SUB 000004fc: ADD 000004fd: DUP2 000004fe: DUP4 000004ff: DUP8 00000500: PUSH2 0x61da 00000503: GAS 00000504: SUB 00000505: CALL 00000506: ISZERO 00000507: PUSH2 0x0002 0000050a: JUMPI 0000050b: POP 0000050c: POP 0000050d: PUSH1 0x40 0000050f: MLOAD 00000510: PUSH1 0x01 00000512: PUSH1 0xa0 00000514: PUSH1 0x02 00000516: EXP 00000517: SUB 00000518: DUP4 00000519: AND 0000051a: SWAP2 0000051b: POP 0000051c: PUSH1 0x00 0000051e: SWAP1 0000051f: PUSH7 0xb1a2bc2ec50000 00000527: SWAP1 00000528: DUP3 00000529: DUP2 0000052a: DUP2 0000052b: DUP2 0000052c: DUP6 0000052d: DUP9 0000052e: DUP4 0000052f: CALL 00000530: POP 00000531: SWAP3 00000532: DUP4 00000533: MSTORE 00000534: POP 00000535: POP 00000536: PUSH1 0x40 00000538: MLOAD 00000539: PUSH32 0x09c9f097217c9a4a99ade5a6396765182e60e3f9d99856d934cc324eb79d11c2 0000055a: SWAP2 0000055b: DUP2 0000055c: SWAP1 0000055d: SUB 0000055e: PUSH1 0x20 00000560: ADD 00000561: SWAP1 00000562: LOG1 00000563: JUMPDEST 00000564: POP 00000565: JUMP 00000566: JUMPDEST 00000567: PUSH1 0x80 00000569: PUSH1 0x20 0000056b: PUSH1 0x44 0000056d: CALLDATALOAD 0000056e: PUSH1 0x04 00000570: DUP2 00000571: DUP2 00000572: ADD 00000573: CALLDATALOAD 00000574: PUSH1 0x1f 00000576: DUP2 00000577: ADD 00000578: DUP5 00000579: SWAP1 0000057a: DIV 0000057b: SWAP1 0000057c: SWAP4 0000057d: MUL 0000057e: DUP5 0000057f: ADD 00000580: PUSH1 0x40 00000582: MSTORE 00000583: PUSH1 0x60 00000585: DUP4 00000586: DUP2 00000587: MSTORE 00000588: PUSH2 0x00cf 0000058b: SWAP5 0000058c: DUP3 0000058d: CALLDATALOAD 0000058e: SWAP5 0000058f: PUSH1 0x24 00000591: DUP1 00000592: CALLDATALOAD 00000593: SWAP6 00000594: PUSH1 0x64 00000596: SWAP5 00000597: SWAP4 00000598: SWAP2 00000599: ADD 0000059a: SWAP2 0000059b: SWAP1 0000059c: DUP2 0000059d: SWAP1 0000059e: DUP4 0000059f: DUP3 000005a0: DUP1 000005a1: DUP3 000005a2: DUP5 000005a3: CALLDATACOPY 000005a4: POP 000005a5: SWAP5 000005a6: SWAP7 000005a7: POP 000005a8: POP 000005a9: SWAP4 000005aa: CALLDATALOAD 000005ab: SWAP4 000005ac: POP 000005ad: POP 000005ae: POP 000005af: POP 000005b0: PUSH1 0x40 000005b2: DUP1 000005b3: MLOAD 000005b4: PUSH1 0x01 000005b6: SLOAD 000005b7: PUSH1 0xe2 000005b9: PUSH1 0x02 000005bb: EXP 000005bc: PUSH4 0x0935e01b 000005c1: MUL 000005c2: DUP3 000005c3: MSTORE 000005c4: ORIGIN 000005c5: PUSH1 0x01 000005c7: PUSH1 0xa0 000005c9: PUSH1 0x02 000005cb: EXP 000005cc: SUB 000005cd: SWAP1 000005ce: DUP2 000005cf: AND 000005d0: PUSH1 0x04 000005d2: DUP5 000005d3: ADD 000005d4: MSTORE 000005d5: SWAP3 000005d6: MLOAD 000005d7: SWAP3 000005d8: AND 000005d9: SWAP2 000005da: PUSH4 0x24d7806c 000005df: SWAP2 000005e0: PUSH1 0x24 000005e2: DUP2 000005e3: DUP2 000005e4: ADD 000005e5: SWAP3 000005e6: PUSH1 0x20 000005e8: SWAP3 000005e9: SWAP1 000005ea: SWAP2 000005eb: SWAP1 000005ec: DUP3 000005ed: SWAP1 000005ee: SUB 000005ef: ADD 000005f0: DUP2 000005f1: PUSH1 0x00 000005f3: DUP8 000005f4: PUSH2 0x61da 000005f7: GAS 000005f8: SUB 000005f9: CALL 000005fa: ISZERO 000005fb: PUSH2 0x0002 000005fe: JUMPI 000005ff: POP 00000600: POP 00000601: PUSH1 0x40 00000603: MLOAD 00000604: MLOAD 00000605: ISZERO 00000606: SWAP1 00000607: POP 00000608: PUSH2 0x0831 0000060b: JUMPI 0000060c: PUSH1 0x02 0000060e: SLOAD 0000060f: PUSH1 0x00 00000611: PUSH1 0xa0 00000613: PUSH1 0x02 00000615: EXP 00000616: SWAP1 00000617: SWAP2 00000618: DIV 00000619: PUSH4 0xffffffff 0000061e: AND 0000061f: GT 00000620: DUP1 00000621: ISZERO 00000622: PUSH2 0x0647 00000625: JUMPI 00000626: POP 00000627: PUSH1 0x02 00000629: SLOAD 0000062a: PUSH4 0xffffffff 0000062f: PUSH1 0xa0 00000631: PUSH1 0x02 00000633: EXP 00000634: DUP3 00000635: DIV 00000636: DUP2 00000637: AND 00000638: PUSH1 0xc0 0000063a: PUSH1 0x02 0000063c: EXP 0000063d: SWAP1 0000063e: SWAP3 0000063f: DIV 00000640: DUP2 00000641: AND 00000642: DUP6 00000643: ADD 00000644: AND 00000645: GT 00000646: ISZERO 00000647: JUMPDEST 00000648: DUP1 00000649: ISZERO 0000064a: PUSH2 0x065d 0000064d: JUMPI 0000064e: POP 0000064f: DUP4 00000650: PUSH1 0x01 00000652: PUSH1 0xa0 00000654: PUSH1 0x02 00000656: EXP 00000657: SUB 00000658: AND 00000659: PUSH1 0x00 0000065b: EQ 0000065c: ISZERO 0000065d: JUMPDEST 0000065e: DUP1 0000065f: ISZERO 00000660: PUSH2 0x06bb 00000663: JUMPI 00000664: POP 00000665: PUSH1 0x40 00000667: DUP1 00000668: MLOAD 00000669: PUSH1 0x02 0000066b: SLOAD 0000066c: PUSH1 0xe3 0000066e: PUSH1 0x02 00000670: EXP 00000671: PUSH4 0x0bb7c8fd 00000676: MUL 00000677: DUP3 00000678: MSTORE 00000679: PUSH1 0x01 0000067b: PUSH1 0xa0 0000067d: PUSH1 0x02 0000067f: EXP 00000680: SUB 00000681: DUP1 00000682: DUP9 00000683: AND 00000684: PUSH1 0x04 00000686: DUP5 00000687: ADD 00000688: MSTORE 00000689: SWAP3 0000068a: MLOAD 0000068b: SWAP3 0000068c: AND 0000068d: SWAP2 0000068e: PUSH4 0x5dbe47e8 00000693: SWAP2 00000694: PUSH1 0x24 00000696: DUP2 00000697: DUP2 00000698: ADD 00000699: SWAP3 0000069a: PUSH1 0x20 0000069c: SWAP3 0000069d: SWAP1 0000069e: SWAP2 0000069f: SWAP1 000006a0: DUP3 000006a1: SWAP1 000006a2: SUB 000006a3: ADD 000006a4: DUP2 000006a5: PUSH1 0x00 000006a7: DUP8 000006a8: PUSH2 0x61da 000006ab: GAS 000006ac: SUB 000006ad: CALL 000006ae: ISZERO 000006af: PUSH2 0x0002 000006b2: JUMPI 000006b3: POP 000006b4: POP 000006b5: PUSH1 0x40 000006b7: MLOAD 000006b8: MLOAD 000006b9: SWAP1 000006ba: POP 000006bb: JUMPDEST 000006bc: ISZERO 000006bd: PUSH2 0x0831 000006c0: JUMPI 000006c1: PUSH1 0x40 000006c3: DUP1 000006c4: MLOAD 000006c5: PUSH1 0x02 000006c7: SLOAD 000006c8: PUSH32 0x665f09fa00000000000000000000000000000000000000000000000000000000 000006e9: DUP3 000006ea: MSTORE 000006eb: PUSH1 0x01 000006ed: PUSH1 0xa0 000006ef: PUSH1 0x02 000006f1: EXP 000006f2: SUB 000006f3: DUP1 000006f4: DUP9 000006f5: AND 000006f6: PUSH1 0x04 000006f8: DUP5 000006f9: ADD 000006fa: MSTORE 000006fb: PUSH4 0xffffffff 00000700: DUP8 00000701: AND 00000702: PUSH1 0x24 00000704: DUP5 00000705: ADD 00000706: MSTORE 00000707: SWAP3 00000708: MLOAD 00000709: SWAP3 0000070a: AND 0000070b: SWAP2 0000070c: PUSH4 0x665f09fa 00000711: SWAP2 00000712: PUSH1 0x44 00000714: DUP2 00000715: DUP2 00000716: ADD 00000717: SWAP3 00000718: PUSH1 0x00 0000071a: SWAP3 0000071b: SWAP1 0000071c: SWAP2 0000071d: SWAP1 0000071e: DUP3 0000071f: SWAP1 00000720: SUB 00000721: ADD 00000722: DUP2 00000723: DUP4 00000724: DUP8 00000725: PUSH2 0x61da 00000728: GAS 00000729: SUB 0000072a: CALL 0000072b: ISZERO 0000072c: PUSH2 0x0002 0000072f: JUMPI 00000730: POP 00000731: POP 00000732: PUSH1 0x02 00000734: DUP1 00000735: SLOAD 00000736: PUSH1 0xc0 00000738: PUSH1 0x02 0000073a: EXP 0000073b: DUP1 0000073c: DUP3 0000073d: DIV 0000073e: PUSH4 0xffffffff 00000743: AND 00000744: DUP8 00000745: ADD 00000746: MUL 00000747: PUSH32 0xffffffff00000000ffffffffffffffffffffffffffffffffffffffffffffffff 00000768: SWAP1 00000769: SWAP2 0000076a: AND 0000076b: OR 0000076c: SWAP1 0000076d: DUP2 0000076e: SWAP1 0000076f: SSTORE 00000770: PUSH1 0x40 00000772: DUP1 00000773: MLOAD 00000774: PUSH32 0xfabde80c00000000000000000000000000000000000000000000000000000000 00000795: DUP2 00000796: MSTORE 00000797: PUSH1 0x01 00000799: PUSH1 0xa0 0000079b: PUSH1 0x02 0000079d: EXP 0000079e: SUB 0000079f: DUP1 000007a0: DUP10 000007a1: AND 000007a2: PUSH1 0x04 000007a4: DUP4 000007a5: ADD 000007a6: MSTORE 000007a7: SWAP2 000007a8: MLOAD 000007a9: PUSH32 0x06f02ce43a883a1d958a4019ce75021706a8e0749d201c95f02138f1fdec4aa2 000007ca: SWAP5 000007cb: POP 000007cc: DUP9 000007cd: SWAP4 000007ce: DUP9 000007cf: SWAP4 000007d0: AND 000007d1: SWAP2 000007d2: PUSH4 0xfabde80c 000007d7: SWAP2 000007d8: PUSH1 0x24 000007da: DUP3 000007db: DUP2 000007dc: ADD 000007dd: SWAP3 000007de: PUSH1 0x20 000007e0: SWAP3 000007e1: SWAP2 000007e2: SWAP1 000007e3: DUP3 000007e4: SWAP1 000007e5: SUB 000007e6: ADD 000007e7: DUP2 000007e8: PUSH1 0x00 000007ea: DUP8 000007eb: PUSH2 0x61da 000007ee: GAS 000007ef: SUB 000007f0: CALL 000007f1: ISZERO 000007f2: PUSH2 0x0002 000007f5: JUMPI 000007f6: POP 000007f7: POP 000007f8: PUSH1 0x40 000007fa: DUP1 000007fb: MLOAD 000007fc: DUP1 000007fd: MLOAD 000007fe: PUSH1 0x01 00000800: PUSH1 0xa0 00000802: PUSH1 0x02 00000804: EXP 00000805: SUB 00000806: SWAP1 00000807: SWAP6 00000808: AND 00000809: DUP2 0000080a: MSTORE 0000080b: PUSH4 0xffffffff 00000810: SWAP4 00000811: DUP5 00000812: AND 00000813: PUSH1 0x20 00000815: DUP3 00000816: ADD 00000817: MSTORE 00000818: SWAP4 00000819: SWAP1 0000081a: SWAP3 0000081b: AND 0000081c: DUP4 0000081d: DUP4 0000081e: ADD 0000081f: MSTORE 00000820: POP 00000821: DUP2 00000822: DUP6 00000823: ADD 00000824: DUP5 00000825: SWAP1 00000826: MSTORE 00000827: MLOAD 00000828: SWAP1 00000829: DUP2 0000082a: SWAP1 0000082b: SUB 0000082c: PUSH1 0x80 0000082e: ADD 0000082f: SWAP1 00000830: LOG1 00000831: JUMPDEST 00000832: POP 00000833: POP 00000834: POP 00000835: POP 00000836: JUMP 00000837: JUMPDEST 00000838: PUSH2 0x09f9 0000083b: PUSH1 0x02 0000083d: SLOAD 0000083e: PUSH1 0x01 00000840: PUSH1 0xa0 00000842: PUSH1 0x02 00000844: EXP 00000845: SUB 00000846: AND 00000847: DUP2 00000848: JUMP 00000849: JUMPDEST 0000084a: PUSH2 0x00cf 0000084d: PUSH1 0x04 0000084f: CALLDATALOAD 00000850: PUSH1 0x24 00000852: CALLDATALOAD 00000853: PUSH1 0x01 00000855: SLOAD 00000856: PUSH1 0xe2 00000858: PUSH1 0x02 0000085a: EXP 0000085b: PUSH4 0x0935e01b 00000860: MUL 00000861: PUSH1 0x60 00000863: SWAP1 00000864: DUP2 00000865: MSTORE 00000866: ORIGIN 00000867: PUSH1 0x01 00000869: PUSH1 0xa0 0000086b: PUSH1 0x02 0000086d: EXP 0000086e: SUB 0000086f: SWAP1 00000870: DUP2 00000871: AND 00000872: PUSH1 0x64 00000874: MSTORE 00000875: SWAP1 00000876: SWAP2 00000877: AND 00000878: SWAP1 00000879: PUSH4 0x24d7806c 0000087e: SWAP1 0000087f: PUSH1 0x84 00000881: SWAP1 00000882: PUSH1 0x20 00000884: SWAP1 00000885: PUSH1 0x24 00000887: DUP2 00000888: PUSH1 0x00 0000088a: DUP8 0000088b: PUSH2 0x61da 0000088e: GAS 0000088f: SUB 00000890: CALL 00000891: ISZERO 00000892: PUSH2 0x0002 00000895: JUMPI 00000896: POP 00000897: POP 00000898: PUSH1 0x40 0000089a: MLOAD 0000089b: MLOAD 0000089c: ISZERO 0000089d: SWAP1 0000089e: POP 0000089f: PUSH2 0x09ce 000008a2: JUMPI 000008a3: PUSH1 0x40 000008a5: DUP1 000008a6: MLOAD 000008a7: PUSH1 0x02 000008a9: SLOAD 000008aa: PUSH32 0x2198e78000000000000000000000000000000000000000000000000000000000 000008cb: DUP3 000008cc: MSTORE 000008cd: PUSH1 0x01 000008cf: PUSH1 0xa0 000008d1: PUSH1 0x02 000008d3: EXP 000008d4: SUB 000008d5: DUP1 000008d6: DUP7 000008d7: AND 000008d8: PUSH1 0x04 000008da: DUP5 000008db: ADD 000008dc: MSTORE 000008dd: PUSH1 0x13 000008df: DUP6 000008e0: SWAP1 000008e1: SIGNEXTEND 000008e2: PUSH1 0x24 000008e4: DUP5 000008e5: ADD 000008e6: MSTORE 000008e7: SWAP3 000008e8: MLOAD 000008e9: SWAP3 000008ea: AND 000008eb: SWAP2 000008ec: PUSH4 0x2198e780 000008f1: SWAP2 000008f2: PUSH1 0x44 000008f4: DUP2 000008f5: DUP2 000008f6: ADD 000008f7: SWAP3 000008f8: PUSH1 0x00 000008fa: SWAP3 000008fb: SWAP1 000008fc: SWAP2 000008fd: SWAP1 000008fe: DUP3 000008ff: SWAP1 00000900: SUB 00000901: ADD 00000902: DUP2 00000903: DUP4 00000904: DUP8 00000905: PUSH2 0x61da 00000908: GAS 00000909: SUB 0000090a: CALL 0000090b: ISZERO 0000090c: PUSH2 0x0002 0000090f: JUMPI 00000910: POP 00000911: POP 00000912: PUSH1 0x40 00000914: DUP1 00000915: MLOAD 00000916: PUSH1 0x02 00000918: SLOAD 00000919: PUSH32 0x4021581a00000000000000000000000000000000000000000000000000000000 0000093a: DUP3 0000093b: MSTORE 0000093c: PUSH1 0x01 0000093e: PUSH1 0xa0 00000940: PUSH1 0x02 00000942: EXP 00000943: SUB 00000944: DUP1 00000945: DUP8 00000946: AND 00000947: PUSH1 0x04 00000949: DUP5 0000094a: ADD 0000094b: MSTORE 0000094c: SWAP3 0000094d: MLOAD 0000094e: PUSH32 0xe94fd0d37480bbf316cfa85ccb130d11f35f4b8e280296196bff10e17855e7f3 0000096f: SWAP5 00000970: POP 00000971: DUP7 00000972: SWAP4 00000973: DUP7 00000974: SWAP4 00000975: SWAP3 00000976: AND 00000977: SWAP2 00000978: PUSH4 0x4021581a 0000097d: SWAP2 0000097e: PUSH1 0x24 00000980: DUP3 00000981: DUP2 00000982: ADD 00000983: SWAP3 00000984: PUSH1 0x20 00000986: SWAP3 00000987: SWAP2 00000988: SWAP1 00000989: DUP3 0000098a: SWAP1 0000098b: SUB 0000098c: ADD 0000098d: DUP2 0000098e: PUSH1 0x00 00000990: DUP8 00000991: PUSH2 0x61da 00000994: GAS 00000995: SUB 00000996: CALL 00000997: ISZERO 00000998: PUSH2 0x0002 0000099b: JUMPI 0000099c: POP 0000099d: POP 0000099e: PUSH1 0x40 000009a0: DUP1 000009a1: MLOAD 000009a2: DUP1 000009a3: MLOAD 000009a4: PUSH1 0x01 000009a6: PUSH1 0xa0 000009a8: PUSH1 0x02 000009aa: EXP 000009ab: SUB 000009ac: SWAP1 000009ad: SWAP6 000009ae: AND 000009af: DUP2 000009b0: MSTORE 000009b1: PUSH1 0x13 000009b3: SWAP4 000009b4: DUP5 000009b5: SIGNEXTEND 000009b6: PUSH1 0x20 000009b8: DUP3 000009b9: ADD 000009ba: MSTORE 000009bb: SWAP4 000009bc: SWAP1 000009bd: SWAP3 000009be: SIGNEXTEND 000009bf: DUP4 000009c0: DUP4 000009c1: ADD 000009c2: MSTORE 000009c3: POP 000009c4: MLOAD 000009c5: SWAP1 000009c6: DUP2 000009c7: SWAP1 000009c8: SUB 000009c9: PUSH1 0x60 000009cb: ADD 000009cc: SWAP1 000009cd: LOG1 000009ce: JUMPDEST 000009cf: POP 000009d0: POP 000009d1: JUMP 000009d2: JUMPDEST 000009d3: PUSH1 0xff 000009d5: AND 000009d6: PUSH1 0x60 000009d8: SWAP1 000009d9: DUP2 000009da: MSTORE 000009db: PUSH1 0x20 000009dd: SWAP1 000009de: RETURN 000009df: JUMPDEST 000009e0: PUSH4 0xffffffff 000009e5: AND 000009e6: PUSH1 0x60 000009e8: SWAP1 000009e9: DUP2 000009ea: MSTORE 000009eb: PUSH1 0x20 000009ed: SWAP1 000009ee: RETURN 000009ef: JUMPDEST 000009f0: PUSH1 0x60 000009f2: SWAP1 000009f3: DUP2 000009f4: MSTORE 000009f5: PUSH1 0x20 000009f7: SWAP1 000009f8: RETURN 000009f9: JUMPDEST 000009fa: PUSH1 0x01 000009fc: PUSH1 0xa0 000009fe: PUSH1 0x02 00000a00: EXP 00000a01: SUB 00000a02: AND 00000a03: PUSH1 0x60 00000a05: SWAP1 00000a06: DUP2 00000a07: MSTORE 00000a08: PUSH1 0x20 00000a0a: SWAP1 00000a0b: RETURN 00000a0c: JUMPDEST 00000a0d: JUMP
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | auth | detector | Authorization based on tx.origin | 70 | no | — |
viewvalidation_json{
"reason": "missing sink mapping",
"status": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x0cd40fea",
"selector": "0x0cd40fea",
"calldata_variants": [
"0x0cd40fea",
"0x0cd40fea0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x21c03a97",
"selector": "0x21c03a97",
"calldata_variants": [
"0x21c03a97",
"0x21c03a970000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x32454dbb",
"selector": "0x32454dbb",
"calldata_variants": [
"0x32454dbb",
"0x32454dbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x41c0e1b5",
"selector": "0x41c0e1b5",
"calldata_variants": [
"0x41c0e1b5",
"0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x56a060a2",
"selector": "0x56a060a2",
"calldata_variants": [
"0x56a060a2",
"0x56a060a20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5d0e6672",
"selector": "0x5d0e6672",
"calldata_variants": [
"0x5d0e6672",
"0x5d0e66720000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5da05e2e",
"selector": "0x5da05e2e",
"calldata_variants": [
"0x5da05e2e",
"0x5da05e2e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x76ad3abf",
"selector": "0x76ad3abf",
"calldata_variants": [
"0x76ad3abf",
"0x76ad3abf0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 243,
"type": "tx_origin_used"
},
{
"pc": 429,
"type": "tx_origin_used"
},
{
"pc": 485,
"type": "tx_origin_used"
},
{
"pc": 552,
"type": "tx_origin_used"
},
{
"pc": 721,
"type": "tx_origin_used"
},
{
"pc": 1039,
"type": "tx_origin_used"
},
{
"pc": 1476,
"type": "tx_origin_used"
},
{
"pc": 2150,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x1c41e834e3de35b1a1c0590f7729c462b2b7c1a71a1f014cace71067c7f5792b
call_targets:
0x192e16ba79baa5a043a301c6b22174f6049202c6
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x1c41e834e3de35b1a1c0590f7729c462b2b7c1a71a1f014cace71067c7f5792b",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x192e16ba79baa5a043a301c6b22174f6049202c6"
],
"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": "0x0cd40fea",
"selector": "0x0cd40fea",
"calldata_variants": [
"0x0cd40fea",
"0x0cd40fea0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x21c03a97",
"selector": "0x21c03a97",
"calldata_variants": [
"0x21c03a97",
"0x21c03a970000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x32454dbb",
"selector": "0x32454dbb",
"calldata_variants": [
"0x32454dbb",
"0x32454dbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x41c0e1b5",
"selector": "0x41c0e1b5",
"calldata_variants": [
"0x41c0e1b5",
"0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x56a060a2",
"selector": "0x56a060a2",
"calldata_variants": [
"0x56a060a2",
"0x56a060a20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5d0e6672",
"selector": "0x5d0e6672",
"calldata_variants": [
"0x5d0e6672",
"0x5d0e66720000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5da05e2e",
"selector": "0x5da05e2e",
"calldata_variants": [
"0x5da05e2e",
"0x5da05e2e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x76ad3abf",
"selector": "0x76ad3abf",
"calldata_variants": [
"0x76ad3abf",
"0x76ad3abf0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 285,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "constant",
"target_expression_category": "computed"
},
{
"pc": 466,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "constant"
},
{
"pc": 594,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "constant",
"target_expression_category": "computed"
}
],
"call_count": 16,
"guards_detected": [
{
"pc": 243,
"type": "tx_origin_used"
},
{
"pc": 429,
"type": "tx_origin_used"
},
{
"pc": 485,
"type": "tx_origin_used"
},
{
"pc": 552,
"type": "tx_origin_used"
},
{
"pc": 721,
"type": "tx_origin_used"
},
{
"pc": 1039,
"type": "tx_origin_used"
},
{
"pc": 1476,
"type": "tx_origin_used"
},
{
"pc": 2150,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 16
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x1c41e834e3de35b1a1c0590f7729c462b2b7c1a71a1f014cace71067c7f5792b
call_targets:
0x192e16ba79baa5a043a301c6b22174f6049202c6
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x1c41e834e3de35b1a1c0590f7729c462b2b7c1a71a1f014cace71067c7f5792b",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x192e16ba79baa5a043a301c6b22174f6049202c6"
],
"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": "0x0cd40fea",
"selector": "0x0cd40fea",
"calldata_variants": [
"0x0cd40fea",
"0x0cd40fea0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x21c03a97",
"selector": "0x21c03a97",
"calldata_variants": [
"0x21c03a97",
"0x21c03a970000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x32454dbb",
"selector": "0x32454dbb",
"calldata_variants": [
"0x32454dbb",
"0x32454dbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x41c0e1b5",
"selector": "0x41c0e1b5",
"calldata_variants": [
"0x41c0e1b5",
"0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x56a060a2",
"selector": "0x56a060a2",
"calldata_variants": [
"0x56a060a2",
"0x56a060a20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5d0e6672",
"selector": "0x5d0e6672",
"calldata_variants": [
"0x5d0e6672",
"0x5d0e66720000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5da05e2e",
"selector": "0x5da05e2e",
"calldata_variants": [
"0x5da05e2e",
"0x5da05e2e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x76ad3abf",
"selector": "0x76ad3abf",
"calldata_variants": [
"0x76ad3abf",
"0x76ad3abf0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 285,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "constant",
"target_expression_category": "computed"
},
{
"pc": 466,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "constant"
},
{
"pc": 594,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "constant",
"target_expression_category": "computed"
}
],
"eth_value_calls": 16,
"guards_detected": [
{
"pc": 243,
"type": "tx_origin_used"
},
{
"pc": 429,
"type": "tx_origin_used"
},
{
"pc": 485,
"type": "tx_origin_used"
},
{
"pc": 552,
"type": "tx_origin_used"
},
{
"pc": 721,
"type": "tx_origin_used"
},
{
"pc": 1039,
"type": "tx_origin_used"
},
{
"pc": 1476,
"type": "tx_origin_used"
},
{
"pc": 2150,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | SELFDESTRUCT reachable | 45 | no | no |
viewtrace_id: 0x688dbd3562f14d201b0f3638b37322749c4946bb1ddc94ffd888b7f5ae24380b
validation_json{
"sink": "SELFDESTRUCT",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0x688dbd3562f14d201b0f3638b37322749c4946bb1ddc94ffd888b7f5ae24380b",
"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": "0x0cd40fea",
"selector": "0x0cd40fea",
"calldata_variants": [
"0x0cd40fea",
"0x0cd40fea0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x21c03a97",
"selector": "0x21c03a97",
"calldata_variants": [
"0x21c03a97",
"0x21c03a970000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x32454dbb",
"selector": "0x32454dbb",
"calldata_variants": [
"0x32454dbb",
"0x32454dbb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x41c0e1b5",
"selector": "0x41c0e1b5",
"calldata_variants": [
"0x41c0e1b5",
"0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x56a060a2",
"selector": "0x56a060a2",
"calldata_variants": [
"0x56a060a2",
"0x56a060a20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5d0e6672",
"selector": "0x5d0e6672",
"calldata_variants": [
"0x5d0e6672",
"0x5d0e66720000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5da05e2e",
"selector": "0x5da05e2e",
"calldata_variants": [
"0x5da05e2e",
"0x5da05e2e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x76ad3abf",
"selector": "0x76ad3abf",
"calldata_variants": [
"0x76ad3abf",
"0x76ad3abf0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 243,
"type": "tx_origin_used"
},
{
"pc": 429,
"type": "tx_origin_used"
},
{
"pc": 485,
"type": "tx_origin_used"
},
{
"pc": 552,
"type": "tx_origin_used"
},
{
"pc": 721,
"type": "tx_origin_used"
},
{
"pc": 1039,
"type": "tx_origin_used"
},
{
"pc": 1476,
"type": "tx_origin_used"
},
{
"pc": 2150,
"type": "tx_origin_used"
}
],
"selfdestruct_count": 1
}
|