019ba5f9-b74e-73a6-a910-139e9eb5d395
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 |
|---|---|---|---|---|
| 32120 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 32121 | proxy.resolve | complete | 1 / 3 | 3 months ago |
| 32122 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 32123 | analysis.bundle | complete | 1 / 3 | 3 months ago |
| 32124 | capability.graph | complete | 1 / 3 | 3 months ago |
| 32125 | detector.run | complete | 1 / 3 | 3 months ago |
| 32126 | 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: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x0061 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000030: PUSH1 0x00 00000032: CALLDATALOAD 00000033: DIV 00000034: AND 00000035: PUSH4 0x42cde4e8 0000003a: DUP2 0000003b: EQ 0000003c: PUSH2 0x0063 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0xa0ab9653 00000046: EQ 00000047: PUSH2 0x008a 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0xaa5df9e2 00000051: EQ 00000052: PUSH2 0x01b6 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0xaffed0e0 0000005c: EQ 0000005d: PUSH2 0x01ea 00000060: JUMPI 00000061: JUMPDEST 00000062: STOP 00000063: JUMPDEST 00000064: CALLVALUE 00000065: DUP1 00000066: ISZERO 00000067: PUSH2 0x006f 0000006a: JUMPI 0000006b: PUSH1 0x00 0000006d: DUP1 0000006e: REVERT 0000006f: JUMPDEST 00000070: POP 00000071: PUSH2 0x0078 00000074: PUSH2 0x01ff 00000077: JUMP 00000078: JUMPDEST 00000079: PUSH1 0x40 0000007b: DUP1 0000007c: MLOAD 0000007d: SWAP2 0000007e: DUP3 0000007f: MSTORE 00000080: MLOAD 00000081: SWAP1 00000082: DUP2 00000083: SWAP1 00000084: SUB 00000085: PUSH1 0x20 00000087: ADD 00000088: SWAP1 00000089: RETURN 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: PUSH1 0x40 0000009a: DUP1 0000009b: MLOAD 0000009c: PUSH1 0x20 0000009e: PUSH1 0x04 000000a0: DUP1 000000a1: CALLDATALOAD 000000a2: DUP1 000000a3: DUP3 000000a4: ADD 000000a5: CALLDATALOAD 000000a6: DUP4 000000a7: DUP2 000000a8: MUL 000000a9: DUP1 000000aa: DUP7 000000ab: ADD 000000ac: DUP6 000000ad: ADD 000000ae: SWAP1 000000af: SWAP7 000000b0: MSTORE 000000b1: DUP1 000000b2: DUP6 000000b3: MSTORE 000000b4: PUSH2 0x0061 000000b7: SWAP6 000000b8: CALLDATASIZE 000000b9: SWAP6 000000ba: SWAP4 000000bb: SWAP5 000000bc: PUSH1 0x24 000000be: SWAP5 000000bf: SWAP4 000000c0: DUP6 000000c1: ADD 000000c2: SWAP3 000000c3: SWAP2 000000c4: DUP3 000000c5: SWAP2 000000c6: DUP6 000000c7: ADD 000000c8: SWAP1 000000c9: DUP5 000000ca: SWAP1 000000cb: DUP1 000000cc: DUP3 000000cd: DUP5 000000ce: CALLDATACOPY 000000cf: POP 000000d0: POP 000000d1: PUSH1 0x40 000000d3: DUP1 000000d4: MLOAD 000000d5: DUP8 000000d6: CALLDATALOAD 000000d7: DUP10 000000d8: ADD 000000d9: DUP1 000000da: CALLDATALOAD 000000db: PUSH1 0x20 000000dd: DUP2 000000de: DUP2 000000df: MUL 000000e0: DUP5 000000e1: DUP2 000000e2: ADD 000000e3: DUP3 000000e4: ADD 000000e5: SWAP1 000000e6: SWAP6 000000e7: MSTORE 000000e8: DUP2 000000e9: DUP5 000000ea: MSTORE 000000eb: SWAP9 000000ec: SWAP12 000000ed: SWAP11 000000ee: SWAP10 000000ef: DUP10 000000f0: ADD 000000f1: SWAP9 000000f2: SWAP3 000000f3: SWAP8 000000f4: POP 000000f5: SWAP1 000000f6: DUP3 000000f7: ADD 000000f8: SWAP6 000000f9: POP 000000fa: SWAP4 000000fb: POP 000000fc: DUP4 000000fd: SWAP3 000000fe: POP 000000ff: DUP6 00000100: ADD 00000101: SWAP1 00000102: DUP5 00000103: SWAP1 00000104: DUP1 00000105: DUP3 00000106: DUP5 00000107: CALLDATACOPY 00000108: POP 00000109: POP 0000010a: PUSH1 0x40 0000010c: DUP1 0000010d: MLOAD 0000010e: DUP8 0000010f: CALLDATALOAD 00000110: DUP10 00000111: ADD 00000112: DUP1 00000113: CALLDATALOAD 00000114: PUSH1 0x20 00000116: DUP2 00000117: DUP2 00000118: MUL 00000119: DUP5 0000011a: DUP2 0000011b: ADD 0000011c: DUP3 0000011d: ADD 0000011e: SWAP1 0000011f: SWAP6 00000120: MSTORE 00000121: DUP2 00000122: DUP5 00000123: MSTORE 00000124: SWAP9 00000125: SWAP12 00000126: SWAP11 00000127: SWAP10 00000128: DUP10 00000129: ADD 0000012a: SWAP9 0000012b: SWAP3 0000012c: SWAP8 0000012d: POP 0000012e: SWAP1 0000012f: DUP3 00000130: ADD 00000131: SWAP6 00000132: POP 00000133: SWAP4 00000134: POP 00000135: DUP4 00000136: SWAP3 00000137: POP 00000138: DUP6 00000139: ADD 0000013a: SWAP1 0000013b: DUP5 0000013c: SWAP1 0000013d: DUP1 0000013e: DUP3 0000013f: DUP5 00000140: CALLDATACOPY 00000141: POP 00000142: POP 00000143: PUSH1 0x40 00000145: DUP1 00000146: MLOAD 00000147: PUSH1 0x20 00000149: DUP9 0000014a: DUP4 0000014b: ADD 0000014c: CALLDATALOAD 0000014d: DUP11 0000014e: ADD 0000014f: DUP1 00000150: CALLDATALOAD 00000151: PUSH1 0x1f 00000153: DUP2 00000154: ADD 00000155: DUP4 00000156: SWAP1 00000157: DIV 00000158: DUP4 00000159: MUL 0000015a: DUP5 0000015b: ADD 0000015c: DUP4 0000015d: ADD 0000015e: SWAP1 0000015f: SWAP5 00000160: MSTORE 00000161: DUP4 00000162: DUP4 00000163: MSTORE 00000164: SWAP8 00000165: SWAP11 00000166: DUP10 00000167: CALLDATALOAD 00000168: PUSH1 0x01 0000016a: PUSH1 0xa0 0000016c: PUSH1 0x02 0000016e: EXP 0000016f: SUB 00000170: AND 00000171: SWAP11 00000172: DUP11 00000173: DUP4 00000174: ADD 00000175: CALLDATALOAD 00000176: SWAP11 00000177: SWAP2 00000178: SWAP10 00000179: SWAP1 0000017a: SWAP9 0000017b: POP 0000017c: PUSH1 0x60 0000017e: SWAP1 0000017f: SWAP2 00000180: ADD 00000181: SWAP7 00000182: POP 00000183: SWAP2 00000184: SWAP5 00000185: POP 00000186: SWAP1 00000187: DUP2 00000188: ADD 00000189: SWAP3 0000018a: POP 0000018b: DUP2 0000018c: SWAP1 0000018d: DUP5 0000018e: ADD 0000018f: DUP4 00000190: DUP3 00000191: DUP1 00000192: DUP3 00000193: DUP5 00000194: CALLDATACOPY 00000195: POP 00000196: SWAP5 00000197: SWAP8 00000198: POP 00000199: POP 0000019a: POP 0000019b: DUP4 0000019c: CALLDATALOAD 0000019d: PUSH1 0x01 0000019f: PUSH1 0xa0 000001a1: PUSH1 0x02 000001a3: EXP 000001a4: SUB 000001a5: AND 000001a6: SWAP5 000001a7: POP 000001a8: POP 000001a9: POP 000001aa: PUSH1 0x20 000001ac: SWAP1 000001ad: SWAP2 000001ae: ADD 000001af: CALLDATALOAD 000001b0: SWAP1 000001b1: POP 000001b2: PUSH2 0x0205 000001b5: JUMP 000001b6: JUMPDEST 000001b7: CALLVALUE 000001b8: DUP1 000001b9: ISZERO 000001ba: PUSH2 0x01c2 000001bd: JUMPI 000001be: PUSH1 0x00 000001c0: DUP1 000001c1: REVERT 000001c2: JUMPDEST 000001c3: POP 000001c4: PUSH2 0x01ce 000001c7: PUSH1 0x04 000001c9: CALLDATALOAD 000001ca: PUSH2 0x0588 000001cd: JUMP 000001ce: JUMPDEST 000001cf: PUSH1 0x40 000001d1: DUP1 000001d2: MLOAD 000001d3: PUSH1 0x01 000001d5: PUSH1 0xa0 000001d7: PUSH1 0x02 000001d9: EXP 000001da: SUB 000001db: SWAP1 000001dc: SWAP3 000001dd: AND 000001de: DUP3 000001df: MSTORE 000001e0: MLOAD 000001e1: SWAP1 000001e2: DUP2 000001e3: SWAP1 000001e4: SUB 000001e5: PUSH1 0x20 000001e7: ADD 000001e8: SWAP1 000001e9: RETURN 000001ea: JUMPDEST 000001eb: CALLVALUE 000001ec: DUP1 000001ed: ISZERO 000001ee: PUSH2 0x01f6 000001f1: JUMPI 000001f2: PUSH1 0x00 000001f4: DUP1 000001f5: REVERT 000001f6: JUMPDEST 000001f7: POP 000001f8: PUSH2 0x0078 000001fb: PUSH2 0x05b0 000001fe: JUMP 000001ff: JUMPDEST 00000200: PUSH1 0x01 00000202: SLOAD 00000203: DUP2 00000204: JUMP 00000205: JUMPDEST 00000206: PUSH1 0x00 00000208: DUP1 00000209: PUSH1 0x00 0000020b: DUP1 0000020c: PUSH1 0x00 0000020e: DUP1 0000020f: PUSH1 0x01 00000211: SLOAD 00000212: DUP14 00000213: MLOAD 00000214: EQ 00000215: ISZERO 00000216: ISZERO 00000217: PUSH2 0x021f 0000021a: JUMPI 0000021b: PUSH1 0x00 0000021d: DUP1 0000021e: REVERT 0000021f: JUMPDEST 00000220: DUP12 00000221: MLOAD 00000222: DUP14 00000223: MLOAD 00000224: EQ 00000225: DUP1 00000226: ISZERO 00000227: PUSH2 0x0231 0000022a: JUMPI 0000022b: POP 0000022c: DUP14 0000022d: MLOAD 0000022e: DUP14 0000022f: MLOAD 00000230: EQ 00000231: JUMPDEST 00000232: ISZERO 00000233: ISZERO 00000234: PUSH2 0x023c 00000237: JUMPI 00000238: PUSH1 0x00 0000023a: DUP1 0000023b: REVERT 0000023c: JUMPDEST 0000023d: PUSH1 0x01 0000023f: PUSH1 0xa0 00000241: PUSH1 0x02 00000243: EXP 00000244: SUB 00000245: DUP9 00000246: AND 00000247: CALLER 00000248: EQ 00000249: DUP1 0000024a: PUSH2 0x025a 0000024d: JUMPI 0000024e: POP 0000024f: PUSH1 0x01 00000251: PUSH1 0xa0 00000253: PUSH1 0x02 00000255: EXP 00000256: SUB 00000257: DUP9 00000258: AND 00000259: ISZERO 0000025a: JUMPDEST 0000025b: ISZERO 0000025c: ISZERO 0000025d: PUSH2 0x0265 00000260: JUMPI 00000261: PUSH1 0x00 00000263: DUP1 00000264: REVERT 00000265: JUMPDEST 00000266: PUSH32 0x3ee892349ae4bbe61dce18f95115b5dc02daf49204cc602458cd4c1f540d56d7 00000287: PUSH1 0x01 00000289: MUL 0000028a: DUP12 0000028b: DUP12 0000028c: DUP12 0000028d: PUSH1 0x40 0000028f: MLOAD 00000290: DUP1 00000291: DUP3 00000292: DUP1 00000293: MLOAD 00000294: SWAP1 00000295: PUSH1 0x20 00000297: ADD 00000298: SWAP1 00000299: DUP1 0000029a: DUP4 0000029b: DUP4 0000029c: JUMPDEST 0000029d: PUSH1 0x20 0000029f: DUP4 000002a0: LT 000002a1: PUSH2 0x02bb 000002a4: JUMPI 000002a5: DUP1 000002a6: MLOAD 000002a7: DUP3 000002a8: MSTORE 000002a9: PUSH1 0x1f 000002ab: NOT 000002ac: SWAP1 000002ad: SWAP3 000002ae: ADD 000002af: SWAP2 000002b0: PUSH1 0x20 000002b2: SWAP2 000002b3: DUP3 000002b4: ADD 000002b5: SWAP2 000002b6: ADD 000002b7: PUSH2 0x029c 000002ba: JUMP 000002bb: JUMPDEST 000002bc: MLOAD 000002bd: DUP2 000002be: MLOAD 000002bf: PUSH1 0x00 000002c1: NOT 000002c2: PUSH1 0x20 000002c4: SWAP5 000002c5: DUP6 000002c6: SUB 000002c7: PUSH2 0x0100 000002ca: SWAP1 000002cb: DUP2 000002cc: EXP 000002cd: SWAP2 000002ce: SWAP1 000002cf: SWAP2 000002d0: ADD 000002d1: SWAP2 000002d2: DUP3 000002d3: AND 000002d4: SWAP2 000002d5: NOT 000002d6: SWAP3 000002d7: SWAP1 000002d8: SWAP3 000002d9: AND 000002da: OR 000002db: SWAP1 000002dc: SWAP2 000002dd: MSTORE 000002de: PUSH1 0x40 000002e0: DUP1 000002e1: MLOAD 000002e2: SWAP6 000002e3: SWAP1 000002e4: SWAP4 000002e5: ADD 000002e6: DUP6 000002e7: SWAP1 000002e8: SUB 000002e9: DUP6 000002ea: KECCAK256 000002eb: PUSH1 0x00 000002ed: SLOAD 000002ee: DUP7 000002ef: DUP5 000002f0: ADD 000002f1: SWAP12 000002f2: SWAP1 000002f3: SWAP12 000002f4: MSTORE 000002f5: PUSH1 0x01 000002f7: PUSH1 0xa0 000002f9: PUSH1 0x02 000002fb: EXP 000002fc: SUB 000002fd: SWAP10 000002fe: DUP11 000002ff: AND 00000300: DUP7 00000301: DUP6 00000302: ADD 00000303: MSTORE 00000304: PUSH1 0x60 00000306: DUP7 00000307: ADD 00000308: SWAP9 00000309: SWAP1 0000030a: SWAP9 0000030b: MSTORE 0000030c: PUSH1 0x80 0000030e: DUP6 0000030f: ADD 00000310: SWAP8 00000311: SWAP1 00000312: SWAP8 00000313: MSTORE 00000314: PUSH1 0xa0 00000316: DUP5 00000317: ADD 00000318: SWAP9 00000319: SWAP1 0000031a: SWAP9 0000031b: MSTORE 0000031c: SWAP6 0000031d: DUP16 0000031e: AND 0000031f: PUSH1 0xc0 00000321: DUP4 00000322: ADD 00000323: MSTORE 00000324: POP 00000325: PUSH1 0xe0 00000327: DUP1 00000328: DUP3 00000329: ADD 0000032a: DUP15 0000032b: SWAP1 0000032c: MSTORE 0000032d: DUP6 0000032e: MLOAD 0000032f: DUP1 00000330: DUP4 00000331: SUB 00000332: SWAP1 00000333: SWAP2 00000334: ADD 00000335: DUP2 00000336: MSTORE 00000337: SWAP4 00000338: ADD 00000339: SWAP4 0000033a: DUP5 0000033b: SWAP1 0000033c: MSTORE 0000033d: POP 0000033e: POP 0000033f: DUP1 00000340: MLOAD 00000341: SWAP1 00000342: SWAP3 00000343: DUP3 00000344: SWAP2 00000345: SWAP1 00000346: DUP5 00000347: ADD 00000348: SWAP1 00000349: DUP1 0000034a: DUP4 0000034b: DUP4 0000034c: JUMPDEST 0000034d: PUSH1 0x20 0000034f: DUP4 00000350: LT 00000351: PUSH2 0x036b 00000354: JUMPI 00000355: DUP1 00000356: MLOAD 00000357: DUP3 00000358: MSTORE 00000359: PUSH1 0x1f 0000035b: NOT 0000035c: SWAP1 0000035d: SWAP3 0000035e: ADD 0000035f: SWAP2 00000360: PUSH1 0x20 00000362: SWAP2 00000363: DUP3 00000364: ADD 00000365: SWAP2 00000366: ADD 00000367: PUSH2 0x034c 0000036a: JUMP 0000036b: JUMPDEST 0000036c: MLOAD 0000036d: DUP2 0000036e: MLOAD 0000036f: PUSH1 0x20 00000371: SWAP4 00000372: DUP5 00000373: SUB 00000374: PUSH2 0x0100 00000377: EXP 00000378: PUSH1 0x00 0000037a: NOT 0000037b: ADD 0000037c: DUP1 0000037d: NOT 0000037e: SWAP1 0000037f: SWAP3 00000380: AND 00000381: SWAP2 00000382: AND 00000383: OR 00000384: SWAP1 00000385: MSTORE 00000386: PUSH1 0x40 00000388: DUP1 00000389: MLOAD 0000038a: SWAP3 0000038b: SWAP1 0000038c: SWAP5 0000038d: ADD 0000038e: DUP3 0000038f: SWAP1 00000390: SUB 00000391: DUP3 00000392: KECCAK256 00000393: PUSH1 0x04 00000395: SLOAD 00000396: PUSH32 0x1901000000000000000000000000000000000000000000000000000000000000 000003b7: DUP5 000003b8: DUP5 000003b9: ADD 000003ba: MSTORE 000003bb: PUSH1 0x22 000003bd: DUP5 000003be: ADD 000003bf: MSTORE 000003c0: PUSH1 0x42 000003c2: DUP1 000003c3: DUP5 000003c4: ADD 000003c5: DUP3 000003c6: SWAP1 000003c7: MSTORE 000003c8: DUP6 000003c9: MLOAD 000003ca: DUP1 000003cb: DUP6 000003cc: SUB 000003cd: SWAP1 000003ce: SWAP2 000003cf: ADD 000003d0: DUP2 000003d1: MSTORE 000003d2: PUSH1 0x62 000003d4: SWAP1 000003d5: SWAP4 000003d6: ADD 000003d7: SWAP5 000003d8: DUP6 000003d9: SWAP1 000003da: MSTORE 000003db: DUP3 000003dc: MLOAD 000003dd: SWAP1 000003de: SWAP13 000003df: POP 000003e0: SWAP2 000003e1: SWAP6 000003e2: POP 000003e3: SWAP3 000003e4: SWAP4 000003e5: POP 000003e6: DUP4 000003e7: SWAP3 000003e8: DUP6 000003e9: ADD 000003ea: SWAP2 000003eb: POP 000003ec: DUP1 000003ed: DUP4 000003ee: DUP4 000003ef: JUMPDEST 000003f0: PUSH1 0x20 000003f2: DUP4 000003f3: LT 000003f4: PUSH2 0x040e 000003f7: JUMPI 000003f8: DUP1 000003f9: MLOAD 000003fa: DUP3 000003fb: MSTORE 000003fc: PUSH1 0x1f 000003fe: NOT 000003ff: SWAP1 00000400: SWAP3 00000401: ADD 00000402: SWAP2 00000403: PUSH1 0x20 00000405: SWAP2 00000406: DUP3 00000407: ADD 00000408: SWAP2 00000409: ADD 0000040a: PUSH2 0x03ef 0000040d: JUMP 0000040e: JUMPDEST 0000040f: PUSH1 0x01 00000411: DUP4 00000412: PUSH1 0x20 00000414: SUB 00000415: PUSH2 0x0100 00000418: EXP 00000419: SUB 0000041a: DUP1 0000041b: NOT 0000041c: DUP3 0000041d: MLOAD 0000041e: AND 0000041f: DUP2 00000420: DUP5 00000421: MLOAD 00000422: AND 00000423: DUP1 00000424: DUP3 00000425: OR 00000426: DUP6 00000427: MSTORE 00000428: POP 00000429: POP 0000042a: POP 0000042b: POP 0000042c: POP 0000042d: POP 0000042e: SWAP1 0000042f: POP 00000430: ADD 00000431: SWAP2 00000432: POP 00000433: POP 00000434: PUSH1 0x40 00000436: MLOAD 00000437: DUP1 00000438: SWAP2 00000439: SUB 0000043a: SWAP1 0000043b: KECCAK256 0000043c: SWAP5 0000043d: POP 0000043e: PUSH1 0x00 00000440: SWAP4 00000441: POP 00000442: PUSH1 0x00 00000444: SWAP3 00000445: POP 00000446: JUMPDEST 00000447: PUSH1 0x01 00000449: SLOAD 0000044a: DUP4 0000044b: LT 0000044c: ISZERO 0000044d: PUSH2 0x0552 00000450: JUMPI 00000451: PUSH1 0x01 00000453: DUP6 00000454: DUP16 00000455: DUP6 00000456: DUP2 00000457: MLOAD 00000458: DUP2 00000459: LT 0000045a: ISZERO 0000045b: ISZERO 0000045c: PUSH2 0x0461 0000045f: JUMPI 00000460: INVALID 00000461: JUMPDEST 00000462: SWAP1 00000463: PUSH1 0x20 00000465: ADD 00000466: SWAP1 00000467: PUSH1 0x20 00000469: MUL 0000046a: ADD 0000046b: MLOAD 0000046c: DUP16 0000046d: DUP7 0000046e: DUP2 0000046f: MLOAD 00000470: DUP2 00000471: LT 00000472: ISZERO 00000473: ISZERO 00000474: PUSH2 0x0479 00000477: JUMPI 00000478: INVALID 00000479: JUMPDEST 0000047a: SWAP1 0000047b: PUSH1 0x20 0000047d: ADD 0000047e: SWAP1 0000047f: PUSH1 0x20 00000481: MUL 00000482: ADD 00000483: MLOAD 00000484: DUP16 00000485: DUP8 00000486: DUP2 00000487: MLOAD 00000488: DUP2 00000489: LT 0000048a: ISZERO 0000048b: ISZERO 0000048c: PUSH2 0x0491 0000048f: JUMPI 00000490: INVALID 00000491: JUMPDEST 00000492: PUSH1 0x20 00000494: SWAP1 00000495: DUP2 00000496: MUL 00000497: SWAP1 00000498: SWAP2 00000499: ADD 0000049a: DUP2 0000049b: ADD 0000049c: MLOAD 0000049d: PUSH1 0x40 0000049f: DUP1 000004a0: MLOAD 000004a1: PUSH1 0x00 000004a3: DUP1 000004a4: DUP3 000004a5: MSTORE 000004a6: DUP2 000004a7: DUP6 000004a8: ADD 000004a9: DUP1 000004aa: DUP5 000004ab: MSTORE 000004ac: SWAP8 000004ad: SWAP1 000004ae: SWAP8 000004af: MSTORE 000004b0: PUSH1 0xff 000004b2: SWAP1 000004b3: SWAP6 000004b4: AND 000004b5: DUP6 000004b6: DUP3 000004b7: ADD 000004b8: MSTORE 000004b9: PUSH1 0x60 000004bb: DUP6 000004bc: ADD 000004bd: SWAP4 000004be: SWAP1 000004bf: SWAP4 000004c0: MSTORE 000004c1: PUSH1 0x80 000004c3: DUP5 000004c4: ADD 000004c5: MSTORE 000004c6: SWAP1 000004c7: MLOAD 000004c8: PUSH1 0xa0 000004ca: DUP1 000004cb: DUP5 000004cc: ADD 000004cd: SWAP5 000004ce: SWAP3 000004cf: SWAP4 000004d0: PUSH1 0x1f 000004d2: NOT 000004d3: DUP4 000004d4: ADD 000004d5: SWAP4 000004d6: SWAP1 000004d7: DUP4 000004d8: SWAP1 000004d9: SUB 000004da: SWAP1 000004db: SWAP2 000004dc: ADD 000004dd: SWAP2 000004de: SWAP1 000004df: DUP7 000004e0: GAS 000004e1: CALL 000004e2: ISZERO 000004e3: DUP1 000004e4: ISZERO 000004e5: PUSH2 0x04f2 000004e8: JUMPI 000004e9: RETURNDATASIZE 000004ea: PUSH1 0x00 000004ec: DUP1 000004ed: RETURNDATACOPY 000004ee: RETURNDATASIZE 000004ef: PUSH1 0x00 000004f1: REVERT 000004f2: JUMPDEST 000004f3: POP 000004f4: POP 000004f5: POP 000004f6: PUSH1 0x20 000004f8: PUSH1 0x40 000004fa: MLOAD 000004fb: SUB 000004fc: MLOAD 000004fd: SWAP2 000004fe: POP 000004ff: DUP4 00000500: PUSH1 0x01 00000502: PUSH1 0xa0 00000504: PUSH1 0x02 00000506: EXP 00000507: SUB 00000508: AND 00000509: DUP3 0000050a: PUSH1 0x01 0000050c: PUSH1 0xa0 0000050e: PUSH1 0x02 00000510: EXP 00000511: SUB 00000512: AND 00000513: GT 00000514: DUP1 00000515: ISZERO 00000516: PUSH2 0x0537 00000519: JUMPI 0000051a: POP 0000051b: PUSH1 0x01 0000051d: PUSH1 0xa0 0000051f: PUSH1 0x02 00000521: EXP 00000522: SUB 00000523: DUP3 00000524: AND 00000525: PUSH1 0x00 00000527: SWAP1 00000528: DUP2 00000529: MSTORE 0000052a: PUSH1 0x02 0000052c: PUSH1 0x20 0000052e: MSTORE 0000052f: PUSH1 0x40 00000531: SWAP1 00000532: KECCAK256 00000533: SLOAD 00000534: PUSH1 0xff 00000536: AND 00000537: JUMPDEST 00000538: ISZERO 00000539: ISZERO 0000053a: PUSH2 0x0542 0000053d: JUMPI 0000053e: PUSH1 0x00 00000540: DUP1 00000541: REVERT 00000542: JUMPDEST 00000543: DUP2 00000544: SWAP4 00000545: POP 00000546: DUP3 00000547: DUP1 00000548: PUSH1 0x01 0000054a: ADD 0000054b: SWAP4 0000054c: POP 0000054d: POP 0000054e: PUSH2 0x0446 00000551: JUMP 00000552: JUMPDEST 00000553: POP 00000554: PUSH1 0x00 00000556: DUP1 00000557: SLOAD 00000558: PUSH1 0x01 0000055a: ADD 0000055b: DUP2 0000055c: SSTORE 0000055d: DUP9 0000055e: MLOAD 0000055f: DUP2 00000560: SWAP1 00000561: DUP2 00000562: SWAP1 00000563: PUSH1 0x20 00000565: DUP13 00000566: ADD 00000567: DUP14 00000568: DUP16 00000569: DUP13 0000056a: CALL 0000056b: SWAP1 0000056c: POP 0000056d: DUP1 0000056e: ISZERO 0000056f: ISZERO 00000570: PUSH2 0x0578 00000573: JUMPI 00000574: PUSH1 0x00 00000576: DUP1 00000577: REVERT 00000578: JUMPDEST 00000579: POP 0000057a: POP 0000057b: POP 0000057c: POP 0000057d: POP 0000057e: POP 0000057f: POP 00000580: POP 00000581: POP 00000582: POP 00000583: POP 00000584: POP 00000585: POP 00000586: POP 00000587: JUMP 00000588: JUMPDEST 00000589: PUSH1 0x03 0000058b: DUP1 0000058c: SLOAD 0000058d: DUP3 0000058e: SWAP1 0000058f: DUP2 00000590: LT 00000591: PUSH2 0x0596 00000594: JUMPI 00000595: INVALID 00000596: JUMPDEST 00000597: PUSH1 0x00 00000599: SWAP2 0000059a: DUP3 0000059b: MSTORE 0000059c: PUSH1 0x20 0000059e: SWAP1 0000059f: SWAP2 000005a0: KECCAK256 000005a1: ADD 000005a2: SLOAD 000005a3: PUSH1 0x01 000005a5: PUSH1 0xa0 000005a7: PUSH1 0x02 000005a9: EXP 000005aa: SUB 000005ab: AND 000005ac: SWAP1 000005ad: POP 000005ae: DUP2 000005af: JUMP 000005b0: JUMPDEST 000005b1: PUSH1 0x00 000005b3: SLOAD 000005b4: DUP2 000005b5: JUMP 000005b6: STOP 000005b7: LOG1 000005b8: PUSH6 0x627a7a723058 000005bf: KECCAK256 000005c0: PUSH9 0x18f38e615a79b7e890 000005ca: SIGNEXTEND 000005cb: ORIGIN 000005cc: SWAP7 000005cd: PUSH25
| 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": "0x42cde4e8",
"selector": "0x42cde4e8",
"calldata_variants": [
"0x42cde4e8",
"0x42cde4e80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa0ab9653",
"selector": "0xa0ab9653",
"calldata_variants": [
"0xa0ab9653",
"0xa0ab96530000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xaa5df9e2",
"selector": "0xaa5df9e2",
"calldata_variants": [
"0xaa5df9e2",
"0xaa5df9e20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xaffed0e0",
"selector": "0xaffed0e0",
"calldata_variants": [
"0xaffed0e0",
"0xaffed0e00000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 1483,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x03596c8d330ffe02a314ed9248130758c162fc72b7c6a205d2012d4b5b723681
call_targets:
0xb8d42da24951c20eb0c8b6b074f84b342fc0dbd6
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x03596c8d330ffe02a314ed9248130758c162fc72b7c6a205d2012d4b5b723681",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xb8d42da24951c20eb0c8b6b074f84b342fc0dbd6"
],
"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": "0x42cde4e8",
"selector": "0x42cde4e8",
"calldata_variants": [
"0x42cde4e8",
"0x42cde4e80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa0ab9653",
"selector": "0xa0ab9653",
"calldata_variants": [
"0xa0ab9653",
"0xa0ab96530000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xaa5df9e2",
"selector": "0xaa5df9e2",
"calldata_variants": [
"0xaa5df9e2",
"0xaa5df9e20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xaffed0e0",
"selector": "0xaffed0e0",
"calldata_variants": [
"0xaffed0e0",
"0xaffed0e00000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1249,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1386,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [
{
"pc": 1483,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 2
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x03596c8d330ffe02a314ed9248130758c162fc72b7c6a205d2012d4b5b723681
call_targets:
0xb8d42da24951c20eb0c8b6b074f84b342fc0dbd6
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x03596c8d330ffe02a314ed9248130758c162fc72b7c6a205d2012d4b5b723681",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xb8d42da24951c20eb0c8b6b074f84b342fc0dbd6"
],
"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": "0x42cde4e8",
"selector": "0x42cde4e8",
"calldata_variants": [
"0x42cde4e8",
"0x42cde4e80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa0ab9653",
"selector": "0xa0ab9653",
"calldata_variants": [
"0xa0ab9653",
"0xa0ab96530000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xaa5df9e2",
"selector": "0xaa5df9e2",
"calldata_variants": [
"0xaa5df9e2",
"0xaa5df9e20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xaffed0e0",
"selector": "0xaffed0e0",
"calldata_variants": [
"0xaffed0e0",
"0xaffed0e00000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1249,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1386,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": [
{
"pc": 1483,
"type": "tx_origin_used"
}
]
}
|