019b477e-d43c-7100-afe9-daad9ba749be
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 |
|---|---|---|---|---|
| 28301 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 28302 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 71355 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 71356 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 71357 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 71358 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x006f 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x10badf4e 00000019: EQ 0000001a: PUSH2 0x007b 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x3ccfd60b 00000024: EQ 00000025: PUSH2 0x009d 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0x627cdcb9 0000002f: EQ 00000030: PUSH2 0x00b2 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0x715018a6 0000003a: EQ 0000003b: PUSH2 0x00c7 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0x8da5cb5b 00000045: EQ 00000046: PUSH2 0x00dc 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xaffed0e0 00000050: EQ 00000051: PUSH2 0x010e 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xdf6a6b38 0000005b: EQ 0000005c: PUSH2 0x0132 0000005f: JUMPI 00000060: DUP1 00000061: PUSH4 0xf2fde38b 00000066: EQ 00000067: PUSH2 0x017d 0000006a: JUMPI 0000006b: PUSH1 0x00 0000006d: DUP1 0000006e: REVERT 0000006f: JUMPDEST 00000070: CALLDATASIZE 00000071: PUSH2 0x0076 00000074: JUMPI 00000075: STOP 00000076: JUMPDEST 00000077: PUSH1 0x00 00000079: DUP1 0000007a: REVERT 0000007b: JUMPDEST 0000007c: CALLVALUE 0000007d: DUP1 0000007e: ISZERO 0000007f: PUSH2 0x0087 00000082: JUMPI 00000083: PUSH1 0x00 00000085: DUP1 00000086: REVERT 00000087: JUMPDEST 00000088: POP 00000089: PUSH2 0x009b 0000008c: PUSH2 0x0096 0000008f: CALLDATASIZE 00000090: PUSH1 0x04 00000092: PUSH2 0x08ab 00000095: JUMP 00000096: JUMPDEST 00000097: PUSH2 0x019d 0000009a: JUMP 0000009b: JUMPDEST 0000009c: STOP 0000009d: JUMPDEST 0000009e: CALLVALUE 0000009f: DUP1 000000a0: ISZERO 000000a1: PUSH2 0x00a9 000000a4: JUMPI 000000a5: PUSH1 0x00 000000a7: DUP1 000000a8: REVERT 000000a9: JUMPDEST 000000aa: POP 000000ab: PUSH2 0x009b 000000ae: PUSH2 0x03dc 000000b1: JUMP 000000b2: JUMPDEST 000000b3: CALLVALUE 000000b4: DUP1 000000b5: ISZERO 000000b6: PUSH2 0x00be 000000b9: JUMPI 000000ba: PUSH1 0x00 000000bc: DUP1 000000bd: REVERT 000000be: JUMPDEST 000000bf: POP 000000c0: PUSH2 0x009b 000000c3: PUSH2 0x04a0 000000c6: JUMP 000000c7: JUMPDEST 000000c8: CALLVALUE 000000c9: DUP1 000000ca: ISZERO 000000cb: PUSH2 0x00d3 000000ce: JUMPI 000000cf: PUSH1 0x00 000000d1: DUP1 000000d2: REVERT 000000d3: JUMPDEST 000000d4: POP 000000d5: PUSH2 0x009b 000000d8: PUSH2 0x04c1 000000db: JUMP 000000dc: JUMPDEST 000000dd: CALLVALUE 000000de: DUP1 000000df: ISZERO 000000e0: PUSH2 0x00e8 000000e3: JUMPI 000000e4: PUSH1 0x00 000000e6: DUP1 000000e7: REVERT 000000e8: JUMPDEST 000000e9: POP 000000ea: PUSH2 0x00f1 000000ed: PUSH2 0x04d5 000000f0: JUMP 000000f1: JUMPDEST 000000f2: PUSH1 0x40 000000f4: MLOAD 000000f5: PUSH1 0x01 000000f7: PUSH1 0x01 000000f9: PUSH1 0xa0 000000fb: SHL 000000fc: SUB 000000fd: SWAP1 000000fe: SWAP2 000000ff: AND 00000100: DUP2 00000101: MSTORE 00000102: PUSH1 0x20 00000104: ADD 00000105: JUMPDEST 00000106: PUSH1 0x40 00000108: MLOAD 00000109: DUP1 0000010a: SWAP2 0000010b: SUB 0000010c: SWAP1 0000010d: RETURN 0000010e: JUMPDEST 0000010f: CALLVALUE 00000110: DUP1 00000111: ISZERO 00000112: PUSH2 0x011a 00000115: JUMPI 00000116: PUSH1 0x00 00000118: DUP1 00000119: REVERT 0000011a: JUMPDEST 0000011b: POP 0000011c: PUSH2 0x0124 0000011f: PUSH1 0x01 00000121: SLOAD 00000122: DUP2 00000123: JUMP 00000124: JUMPDEST 00000125: PUSH1 0x40 00000127: MLOAD 00000128: SWAP1 00000129: DUP2 0000012a: MSTORE 0000012b: PUSH1 0x20 0000012d: ADD 0000012e: PUSH2 0x0105 00000131: JUMP 00000132: JUMPDEST 00000133: CALLVALUE 00000134: DUP1 00000135: ISZERO 00000136: PUSH2 0x013e 00000139: JUMPI 0000013a: PUSH1 0x00 0000013c: DUP1 0000013d: REVERT 0000013e: JUMPDEST 0000013f: POP 00000140: PUSH2 0x016d 00000143: PUSH2 0x014d 00000146: CALLDATASIZE 00000147: PUSH1 0x04 00000149: PUSH2 0x0975 0000014c: JUMP 0000014d: JUMPDEST 0000014e: PUSH1 0x02 00000150: PUSH1 0x20 00000152: SWAP1 00000153: DUP2 00000154: MSTORE 00000155: PUSH1 0x00 00000157: SWAP3 00000158: DUP4 00000159: MSTORE 0000015a: PUSH1 0x40 0000015c: DUP1 0000015d: DUP5 0000015e: KECCAK256 0000015f: SWAP1 00000160: SWAP2 00000161: MSTORE 00000162: SWAP1 00000163: DUP3 00000164: MSTORE 00000165: SWAP1 00000166: KECCAK256 00000167: SLOAD 00000168: PUSH1 0xff 0000016a: AND 0000016b: DUP2 0000016c: JUMP 0000016d: JUMPDEST 0000016e: PUSH1 0x40 00000170: MLOAD 00000171: SWAP1 00000172: ISZERO 00000173: ISZERO 00000174: DUP2 00000175: MSTORE 00000176: PUSH1 0x20 00000178: ADD 00000179: PUSH2 0x0105 0000017c: JUMP 0000017d: JUMPDEST 0000017e: CALLVALUE 0000017f: DUP1 00000180: ISZERO 00000181: PUSH2 0x0189 00000184: JUMPI 00000185: PUSH1 0x00 00000187: DUP1 00000188: REVERT 00000189: JUMPDEST 0000018a: POP 0000018b: PUSH2 0x009b 0000018e: PUSH2 0x0198 00000191: CALLDATASIZE 00000192: PUSH1 0x04 00000194: PUSH2 0x099f 00000197: JUMP 00000198: JUMPDEST 00000199: PUSH2 0x04e4 0000019c: JUMP 0000019d: JUMPDEST 0000019e: PUSH1 0x01 000001a0: PUSH1 0x01 000001a2: PUSH1 0xa0 000001a4: SHL 000001a5: SUB 000001a6: DUP4 000001a7: AND 000001a8: PUSH1 0x00 000001aa: SWAP1 000001ab: DUP2 000001ac: MSTORE 000001ad: PUSH1 0x02 000001af: PUSH1 0x20 000001b1: SWAP1 000001b2: DUP2 000001b3: MSTORE 000001b4: PUSH1 0x40 000001b6: DUP1 000001b7: DUP4 000001b8: KECCAK256 000001b9: PUSH1 0x01 000001bb: SLOAD 000001bc: DUP5 000001bd: MSTORE 000001be: SWAP1 000001bf: SWAP2 000001c0: MSTORE 000001c1: SWAP1 000001c2: KECCAK256 000001c3: SLOAD 000001c4: PUSH1 0xff 000001c6: AND 000001c7: ISZERO 000001c8: PUSH2 0x020a 000001cb: JUMPI 000001cc: PUSH1 0x40 000001ce: MLOAD 000001cf: PUSH3 0x461bcd 000001d3: PUSH1 0xe5 000001d5: SHL 000001d6: DUP2 000001d7: MSTORE 000001d8: PUSH1 0x20 000001da: PUSH1 0x04 000001dc: DUP3 000001dd: ADD 000001de: MSTORE 000001df: PUSH1 0x0f 000001e1: PUSH1 0x24 000001e3: DUP3 000001e4: ADD 000001e5: MSTORE 000001e6: PUSH15 0x105b1c9958591e4818db185a5b5959 000001f6: PUSH1 0x8a 000001f8: SHL 000001f9: PUSH1 0x44 000001fb: DUP3 000001fc: ADD 000001fd: MSTORE 000001fe: PUSH1 0x64 00000200: ADD 00000201: JUMPDEST 00000202: PUSH1 0x40 00000204: MLOAD 00000205: DUP1 00000206: SWAP2 00000207: SUB 00000208: SWAP1 00000209: REVERT 0000020a: JUMPDEST 0000020b: PUSH1 0x01 0000020d: SLOAD 0000020e: PUSH1 0x40 00000210: MLOAD 00000211: PUSH1 0x01 00000213: PUSH1 0x01 00000215: PUSH1 0x60 00000217: SHL 00000218: SUB 00000219: NOT 0000021a: PUSH1 0x60 0000021c: DUP7 0000021d: SWAP1 0000021e: SHL 0000021f: AND 00000220: PUSH1 0x20 00000222: DUP3 00000223: ADD 00000224: MSTORE 00000225: PUSH1 0x34 00000227: DUP2 00000228: ADD 00000229: DUP5 0000022a: SWAP1 0000022b: MSTORE 0000022c: PUSH1 0x54 0000022e: DUP2 0000022f: ADD 00000230: SWAP2 00000231: SWAP1 00000232: SWAP2 00000233: MSTORE 00000234: PUSH1 0x00 00000236: SWAP1 00000237: PUSH1 0x74 00000239: ADD 0000023a: PUSH1 0x40 0000023c: MLOAD 0000023d: PUSH1 0x20 0000023f: DUP2 00000240: DUP4 00000241: SUB 00000242: SUB 00000243: DUP2 00000244: MSTORE 00000245: SWAP1 00000246: PUSH1 0x40 00000248: MSTORE 00000249: DUP1 0000024a: MLOAD 0000024b: SWAP1 0000024c: PUSH1 0x20 0000024e: ADD 0000024f: KECCAK256 00000250: SWAP1 00000251: POP 00000252: PUSH1 0x00 00000254: PUSH2 0x0289 00000257: DUP3 00000258: PUSH28 0x0ca2ba3432b932bab69029b4b3b732b21026b2b9b9b0b3b29d051999 00000275: PUSH1 0x21 00000277: SHL 00000278: PUSH1 0x00 0000027a: SWAP1 0000027b: DUP2 0000027c: MSTORE 0000027d: PUSH1 0x1c 0000027f: SWAP2 00000280: SWAP1 00000281: SWAP2 00000282: MSTORE 00000283: PUSH1 0x3c 00000285: SWAP1 00000286: KECCAK256 00000287: SWAP1 00000288: JUMP 00000289: JUMPDEST 0000028a: SWAP1 0000028b: POP 0000028c: PUSH2 0x0293 0000028f: PUSH2 0x04d5 00000292: JUMP 00000293: JUMPDEST 00000294: PUSH1 0x01 00000296: PUSH1 0x01 00000298: PUSH1 0xa0 0000029a: SHL 0000029b: SUB 0000029c: AND 0000029d: PUSH2 0x02a6 000002a0: DUP3 000002a1: DUP6 000002a2: PUSH2 0x055d 000002a5: JUMP 000002a6: JUMPDEST 000002a7: PUSH1 0x01 000002a9: PUSH1 0x01 000002ab: PUSH1 0xa0 000002ad: SHL 000002ae: SUB 000002af: AND 000002b0: EQ 000002b1: PUSH2 0x02f0 000002b4: JUMPI 000002b5: PUSH1 0x40 000002b7: MLOAD 000002b8: PUSH3 0x461bcd 000002bc: PUSH1 0xe5 000002be: SHL 000002bf: DUP2 000002c0: MSTORE 000002c1: PUSH1 0x20 000002c3: PUSH1 0x04 000002c5: DUP3 000002c6: ADD 000002c7: MSTORE 000002c8: PUSH1 0x11 000002ca: PUSH1 0x24 000002cc: DUP3 000002cd: ADD 000002ce: MSTORE 000002cf: PUSH17 0x496e76616c6964207369676e6174757265 000002e1: PUSH1 0x78 000002e3: SHL 000002e4: PUSH1 0x44 000002e6: DUP3 000002e7: ADD 000002e8: MSTORE 000002e9: PUSH1 0x64 000002eb: ADD 000002ec: PUSH2 0x0201 000002ef: JUMP 000002f0: JUMPDEST 000002f1: PUSH1 0x01 000002f3: PUSH1 0x01 000002f5: PUSH1 0xa0 000002f7: SHL 000002f8: SUB 000002f9: DUP6 000002fa: AND 000002fb: PUSH1 0x00 000002fd: DUP2 000002fe: DUP2 000002ff: MSTORE 00000300: PUSH1 0x02 00000302: PUSH1 0x20 00000304: SWAP1 00000305: DUP2 00000306: MSTORE 00000307: PUSH1 0x40 00000309: DUP1 0000030a: DUP4 0000030b: KECCAK256 0000030c: PUSH1 0x01 0000030e: DUP1 0000030f: SLOAD 00000310: DUP6 00000311: MSTORE 00000312: SWAP3 00000313: MSTORE 00000314: DUP1 00000315: DUP4 00000316: KECCAK256 00000317: DUP1 00000318: SLOAD 00000319: PUSH1 0xff 0000031b: NOT 0000031c: AND 0000031d: SWAP1 0000031e: SWAP3 0000031f: OR 00000320: SWAP1 00000321: SWAP2 00000322: SSTORE 00000323: MLOAD 00000324: SWAP1 00000325: SWAP2 00000326: SWAP1 00000327: DUP7 00000328: SWAP1 00000329: DUP4 0000032a: DUP2 0000032b: DUP2 0000032c: DUP2 0000032d: DUP6 0000032e: DUP8 0000032f: GAS 00000330: CALL 00000331: SWAP3 00000332: POP 00000333: POP 00000334: POP 00000335: RETURNDATASIZE 00000336: DUP1 00000337: PUSH1 0x00 00000339: DUP2 0000033a: EQ 0000033b: PUSH2 0x0360 0000033e: JUMPI 0000033f: PUSH1 0x40 00000341: MLOAD 00000342: SWAP2 00000343: POP 00000344: PUSH1 0x1f 00000346: NOT 00000347: PUSH1 0x3f 00000349: RETURNDATASIZE 0000034a: ADD 0000034b: AND 0000034c: DUP3 0000034d: ADD 0000034e: PUSH1 0x40 00000350: MSTORE 00000351: RETURNDATASIZE 00000352: DUP3 00000353: MSTORE 00000354: RETURNDATASIZE 00000355: PUSH1 0x00 00000357: PUSH1 0x20 00000359: DUP5 0000035a: ADD 0000035b: RETURNDATACOPY 0000035c: PUSH2 0x0365 0000035f: JUMP 00000360: JUMPDEST 00000361: PUSH1 0x60 00000363: SWAP2 00000364: POP 00000365: JUMPDEST 00000366: POP 00000367: POP 00000368: SWAP1 00000369: POP 0000036a: DUP1 0000036b: PUSH2 0x0386 0000036e: JUMPI 0000036f: PUSH1 0x40 00000371: MLOAD 00000372: PUSH3 0x461bcd 00000376: PUSH1 0xe5 00000378: SHL 00000379: DUP2 0000037a: MSTORE 0000037b: PUSH1 0x04 0000037d: ADD 0000037e: PUSH2 0x0201 00000381: SWAP1 00000382: PUSH2 0x09c1 00000385: JUMP 00000386: JUMPDEST 00000387: DUP6 00000388: PUSH1 0x01 0000038a: PUSH1 0x01 0000038c: PUSH1 0xa0 0000038e: SHL 0000038f: SUB 00000390: AND 00000391: PUSH32 0xc37465ff193f774057dca6e5213393c0be6539811e14d27361449666b618ecff 000003b2: DUP7 000003b3: PUSH1 0x01 000003b5: SLOAD 000003b6: PUSH1 0x40 000003b8: MLOAD 000003b9: PUSH2 0x03cc 000003bc: SWAP3 000003bd: SWAP2 000003be: SWAP1 000003bf: SWAP2 000003c0: DUP3 000003c1: MSTORE 000003c2: PUSH1 0x20 000003c4: DUP3 000003c5: ADD 000003c6: MSTORE 000003c7: PUSH1 0x40 000003c9: ADD 000003ca: SWAP1 000003cb: JUMP 000003cc: JUMPDEST 000003cd: PUSH1 0x40 000003cf: MLOAD 000003d0: DUP1 000003d1: SWAP2 000003d2: SUB 000003d3: SWAP1 000003d4: LOG2 000003d5: POP 000003d6: POP 000003d7: POP 000003d8: POP 000003d9: POP 000003da: POP 000003db: JUMP 000003dc: JUMPDEST 000003dd: PUSH2 0x03e4 000003e0: PUSH2 0x0581 000003e3: JUMP 000003e4: JUMPDEST 000003e5: SELFBALANCE 000003e6: DUP1 000003e7: PUSH2 0x0422 000003ea: JUMPI 000003eb: PUSH1 0x40 000003ed: MLOAD 000003ee: PUSH3 0x461bcd 000003f2: PUSH1 0xe5 000003f4: SHL 000003f5: DUP2 000003f6: MSTORE 000003f7: PUSH1 0x20 000003f9: PUSH1 0x04 000003fb: DUP3 000003fc: ADD 000003fd: MSTORE 000003fe: PUSH1 0x0d 00000400: PUSH1 0x24 00000402: DUP3 00000403: ADD 00000404: MSTORE 00000405: PUSH13 0x456d7074792062616c616e6365 00000413: PUSH1 0x98 00000415: SHL 00000416: PUSH1 0x44 00000418: DUP3 00000419: ADD 0000041a: MSTORE 0000041b: PUSH1 0x64 0000041d: ADD 0000041e: PUSH2 0x0201 00000421: JUMP 00000422: JUMPDEST 00000423: PUSH1 0x00 00000425: PUSH2 0x042c 00000428: PUSH2 0x04d5 0000042b: JUMP 0000042c: JUMPDEST 0000042d: PUSH1 0x01 0000042f: PUSH1 0x01 00000431: PUSH1 0xa0 00000433: SHL 00000434: SUB 00000435: AND 00000436: DUP3 00000437: PUSH1 0x40 00000439: MLOAD 0000043a: PUSH1 0x00 0000043c: PUSH1 0x40 0000043e: MLOAD 0000043f: DUP1 00000440: DUP4 00000441: SUB 00000442: DUP2 00000443: DUP6 00000444: DUP8 00000445: GAS 00000446: CALL 00000447: SWAP3 00000448: POP 00000449: POP 0000044a: POP 0000044b: RETURNDATASIZE 0000044c: DUP1 0000044d: PUSH1 0x00 0000044f: DUP2 00000450: EQ 00000451: PUSH2 0x0476 00000454: JUMPI 00000455: PUSH1 0x40 00000457: MLOAD 00000458: SWAP2 00000459: POP 0000045a: PUSH1 0x1f 0000045c: NOT 0000045d: PUSH1 0x3f 0000045f: RETURNDATASIZE 00000460: ADD 00000461: AND 00000462: DUP3 00000463: ADD 00000464: PUSH1 0x40 00000466: MSTORE 00000467: RETURNDATASIZE 00000468: DUP3 00000469: MSTORE 0000046a: RETURNDATASIZE 0000046b: PUSH1 0x00 0000046d: PUSH1 0x20 0000046f: DUP5 00000470: ADD 00000471: RETURNDATACOPY 00000472: PUSH2 0x047b 00000475: JUMP 00000476: JUMPDEST 00000477: PUSH1 0x60 00000479: SWAP2 0000047a: POP 0000047b: JUMPDEST 0000047c: POP 0000047d: POP 0000047e: SWAP1 0000047f: POP 00000480: DUP1 00000481: PUSH2 0x049c 00000484: JUMPI 00000485: PUSH1 0x40 00000487: MLOAD 00000488: PUSH3 0x461bcd 0000048c: PUSH1 0xe5 0000048e: SHL 0000048f: DUP2 00000490: MSTORE 00000491: PUSH1 0x04 00000493: ADD 00000494: PUSH2 0x0201 00000497: SWAP1 00000498: PUSH2 0x09c1 0000049b: JUMP 0000049c: JUMPDEST 0000049d: POP 0000049e: POP 0000049f: JUMP 000004a0: JUMPDEST 000004a1: PUSH2 0x04a8 000004a4: PUSH2 0x0581 000004a7: JUMP 000004a8: JUMPDEST 000004a9: PUSH1 0x01 000004ab: DUP1 000004ac: PUSH1 0x00 000004ae: DUP3 000004af: DUP3 000004b0: SLOAD 000004b1: PUSH2 0x04ba 000004b4: SWAP2 000004b5: SWAP1 000004b6: PUSH2 0x09ea 000004b9: JUMP 000004ba: JUMPDEST 000004bb: SWAP1 000004bc: SWAP2 000004bd: SSTORE 000004be: POP 000004bf: POP 000004c0: JUMP 000004c1: JUMPDEST 000004c2: PUSH2 0x04c9 000004c5: PUSH2 0x0581 000004c8: JUMP 000004c9: JUMPDEST 000004ca: PUSH2 0x04d3 000004cd: PUSH1 0x00 000004cf: PUSH2 0x05e0 000004d2: JUMP 000004d3: JUMPDEST 000004d4: JUMP 000004d5: JUMPDEST 000004d6: PUSH1 0x00 000004d8: SLOAD 000004d9: PUSH1 0x01 000004db: PUSH1 0x01 000004dd: PUSH1 0xa0 000004df: SHL 000004e0: SUB 000004e1: AND 000004e2: SWAP1 000004e3: JUMP 000004e4: JUMPDEST 000004e5: PUSH2 0x04ec 000004e8: PUSH2 0x0581 000004eb: JUMP 000004ec: JUMPDEST 000004ed: PUSH1 0x01 000004ef: PUSH1 0x01 000004f1: PUSH1 0xa0 000004f3: SHL 000004f4: SUB 000004f5: DUP2 000004f6: AND 000004f7: PUSH2 0x0551 000004fa: JUMPI 000004fb: PUSH1 0x40 000004fd: MLOAD 000004fe: PUSH3 0x461bcd 00000502: PUSH1 0xe5 00000504: SHL 00000505: DUP2 00000506: MSTORE 00000507: PUSH1 0x20 00000509: PUSH1 0x04 0000050b: DUP3 0000050c: ADD 0000050d: MSTORE 0000050e: PUSH1 0x26 00000510: PUSH1 0x24 00000512: DUP3 00000513: ADD 00000514: MSTORE 00000515: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 00000536: PUSH1 0x44 00000538: DUP3 00000539: ADD 0000053a: MSTORE 0000053b: PUSH6 0x646472657373 00000542: PUSH1 0xd0 00000544: SHL 00000545: PUSH1 0x64 00000547: DUP3 00000548: ADD 00000549: MSTORE 0000054a: PUSH1 0x84 0000054c: ADD 0000054d: PUSH2 0x0201 00000550: JUMP 00000551: JUMPDEST 00000552: PUSH2 0x055a 00000555: DUP2 00000556: PUSH2 0x05e0 00000559: JUMP 0000055a: JUMPDEST 0000055b: POP 0000055c: JUMP 0000055d: JUMPDEST 0000055e: PUSH1 0x00 00000560: DUP1 00000561: PUSH1 0x00 00000563: PUSH2 0x056c 00000566: DUP6 00000567: DUP6 00000568: PUSH2 0x0630 0000056b: JUMP 0000056c: JUMPDEST 0000056d: SWAP2 0000056e: POP 0000056f: SWAP2 00000570: POP 00000571: PUSH2 0x0579 00000574: DUP2 00000575: PUSH2 0x0676 00000578: JUMP 00000579: JUMPDEST 0000057a: POP 0000057b: SWAP4 0000057c: SWAP3 0000057d: POP 0000057e: POP 0000057f: POP 00000580: JUMP 00000581: JUMPDEST 00000582: CALLER 00000583: PUSH2 0x058a 00000586: PUSH2 0x04d5 00000589: JUMP 0000058a: JUMPDEST 0000058b: PUSH1 0x01 0000058d: PUSH1 0x01 0000058f: PUSH1 0xa0 00000591: SHL 00000592: SUB 00000593: AND 00000594: EQ 00000595: PUSH2 0x04d3 00000598: JUMPI 00000599: PUSH1 0x40 0000059b: MLOAD 0000059c: PUSH3 0x461bcd 000005a0: PUSH1 0xe5 000005a2: SHL 000005a3: DUP2 000005a4: MSTORE 000005a5: PUSH1 0x20 000005a7: PUSH1 0x04 000005a9: DUP3 000005aa: ADD 000005ab: DUP2 000005ac: SWAP1 000005ad: MSTORE 000005ae: PUSH1 0x24 000005b0: DUP3 000005b1: ADD 000005b2: MSTORE 000005b3: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 000005d4: PUSH1 0x44 000005d6: DUP3 000005d7: ADD 000005d8: MSTORE 000005d9: PUSH1 0x64 000005db: ADD 000005dc: PUSH2 0x0201 000005df: JUMP 000005e0: JUMPDEST 000005e1: PUSH1 0x00 000005e3: DUP1 000005e4: SLOAD 000005e5: PUSH1 0x01 000005e7: PUSH1 0x01 000005e9: PUSH1 0xa0 000005eb: SHL 000005ec: SUB 000005ed: DUP4 000005ee: DUP2 000005ef: AND 000005f0: PUSH1 0x01 000005f2: PUSH1 0x01 000005f4: PUSH1 0xa0 000005f6: SHL 000005f7: SUB 000005f8: NOT 000005f9: DUP4 000005fa: AND 000005fb: DUP2 000005fc: OR 000005fd: DUP5 000005fe: SSTORE 000005ff: PUSH1 0x40 00000601: MLOAD 00000602: SWAP2 00000603: SWAP1 00000604: SWAP3 00000605: AND 00000606: SWAP3 00000607: DUP4 00000608: SWAP2 00000609: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 0000062a: SWAP2 0000062b: SWAP1 0000062c: LOG3 0000062d: POP 0000062e: POP 0000062f: JUMP 00000630: JUMPDEST 00000631: PUSH1 0x00 00000633: DUP1 00000634: DUP3 00000635: MLOAD 00000636: PUSH1 0x41 00000638: EQ 00000639: ISZERO 0000063a: PUSH2 0x0667 0000063d: JUMPI 0000063e: PUSH1 0x20 00000640: DUP4 00000641: ADD 00000642: MLOAD 00000643: PUSH1 0x40 00000645: DUP5 00000646: ADD 00000647: MLOAD 00000648: PUSH1 0x60 0000064a: DUP6 0000064b: ADD 0000064c: MLOAD 0000064d: PUSH1 0x00 0000064f: BYTE 00000650: PUSH2 0x065b 00000653: DUP8 00000654: DUP3 00000655: DUP6 00000656: DUP6 00000657: PUSH2 0x07bf 0000065a: JUMP 0000065b: JUMPDEST 0000065c: SWAP5 0000065d: POP 0000065e: SWAP5 0000065f: POP 00000660: POP 00000661: POP 00000662: POP 00000663: PUSH2 0x066f 00000666: JUMP 00000667: JUMPDEST 00000668: POP 00000669: PUSH1 0x00 0000066b: SWAP1 0000066c: POP 0000066d: PUSH1 0x02 0000066f: JUMPDEST 00000670: SWAP3 00000671: POP 00000672: SWAP3 00000673: SWAP1 00000674: POP 00000675: JUMP 00000676: JUMPDEST 00000677: PUSH1 0x00 00000679: DUP2 0000067a: PUSH1 0x04 0000067c: DUP2 0000067d: GT 0000067e: ISZERO 0000067f: PUSH2 0x068a 00000682: JUMPI 00000683: PUSH2 0x068a 00000686: PUSH2 0x0a10 00000689: JUMP 0000068a: JUMPDEST 0000068b: EQ 0000068c: ISZERO 0000068d: PUSH2 0x0693 00000690: JUMPI 00000691: POP 00000692: JUMP 00000693: JUMPDEST 00000694: PUSH1 0x01 00000696: DUP2 00000697: PUSH1 0x04 00000699: DUP2 0000069a: GT 0000069b: ISZERO 0000069c: PUSH2 0x06a7 0000069f: JUMPI 000006a0: PUSH2 0x06a7 000006a3: PUSH2 0x0a10 000006a6: JUMP 000006a7: JUMPDEST 000006a8: EQ 000006a9: ISZERO 000006aa: PUSH2 0x06f0 000006ad: JUMPI 000006ae: PUSH1 0x40 000006b0: MLOAD 000006b1: PUSH3 0x461bcd 000006b5: PUSH1 0xe5 000006b7: SHL 000006b8: DUP2 000006b9: MSTORE 000006ba: PUSH1 0x20 000006bc: PUSH1 0x04 000006be: DUP3 000006bf: ADD 000006c0: MSTORE 000006c1: PUSH1 0x18 000006c3: PUSH1 0x24 000006c5: DUP3 000006c6: ADD 000006c7: MSTORE 000006c8: PUSH24 0x45434453413a20696e76616c6964207369676e6174757265 000006e1: PUSH1 0x40 000006e3: SHL 000006e4: PUSH1 0x44 000006e6: DUP3 000006e7: ADD 000006e8: MSTORE 000006e9: PUSH1 0x64 000006eb: ADD 000006ec: PUSH2 0x0201 000006ef: JUMP 000006f0: JUMPDEST 000006f1: PUSH1 0x02 000006f3: DUP2 000006f4: PUSH1 0x04 000006f6: DUP2 000006f7: GT 000006f8: ISZERO 000006f9: PUSH2 0x0704 000006fc: JUMPI 000006fd: PUSH2 0x0704 00000700: PUSH2 0x0a10 00000703: JUMP 00000704: JUMPDEST 00000705: EQ 00000706: ISZERO 00000707: PUSH2 0x0752 0000070a: JUMPI 0000070b: PUSH1 0x40 0000070d: MLOAD 0000070e: PUSH3 0x461bcd 00000712: PUSH1 0xe5 00000714: SHL 00000715: DUP2 00000716: MSTORE 00000717: PUSH1 0x20 00000719: PUSH1 0x04 0000071b: DUP3 0000071c: ADD 0000071d: MSTORE 0000071e: PUSH1 0x1f 00000720: PUSH1 0x24 00000722: DUP3 00000723: ADD 00000724: MSTORE 00000725: PUSH32 0x45434453413a20696e76616c6964207369676e6174757265206c656e67746800 00000746: PUSH1 0x44 00000748: DUP3 00000749: ADD 0000074a: MSTORE 0000074b: PUSH1 0x64 0000074d: ADD 0000074e: PUSH2 0x0201 00000751: JUMP 00000752: JUMPDEST 00000753: PUSH1 0x03 00000755: DUP2 00000756: PUSH1 0x04 00000758: DUP2 00000759: GT 0000075a: ISZERO 0000075b: PUSH2 0x0766 0000075e: JUMPI 0000075f: PUSH2 0x0766 00000762: PUSH2 0x0a10 00000765: JUMP 00000766: JUMPDEST 00000767: EQ 00000768: ISZERO 00000769: PUSH2 0x055a 0000076c: JUMPI 0000076d: PUSH1 0x40 0000076f: MLOAD 00000770: PUSH3 0x461bcd 00000774: PUSH1 0xe5 00000776: SHL 00000777: DUP2 00000778: MSTORE 00000779: PUSH1 0x20 0000077b: PUSH1 0x04 0000077d: DUP3 0000077e: ADD 0000077f: MSTORE 00000780: PUSH1 0x22 00000782: PUSH1 0x24 00000784: DUP3 00000785: ADD 00000786: MSTORE 00000787: PUSH32 0x45434453413a20696e76616c6964207369676e6174757265202773272076616c 000007a8: PUSH1 0x44 000007aa: DUP3 000007ab: ADD 000007ac: MSTORE 000007ad: PUSH2 0x7565 000007b0: PUSH1 0xf0 000007b2: SHL 000007b3: PUSH1 0x64 000007b5: DUP3 000007b6: ADD 000007b7: MSTORE 000007b8: PUSH1 0x84 000007ba: ADD 000007bb: PUSH2 0x0201 000007be: JUMP 000007bf: JUMPDEST 000007c0: PUSH1 0x00 000007c2: DUP1 000007c3: PUSH16 0xa2a8918ca85bafe22016d0b997e4df60 000007d4: PUSH1 0x01 000007d6: PUSH1 0xff 000007d8: SHL 000007d9: SUB 000007da: DUP4 000007db: GT 000007dc: ISZERO 000007dd: PUSH2 0x07ec 000007e0: JUMPI 000007e1: POP 000007e2: PUSH1 0x00 000007e4: SWAP1 000007e5: POP 000007e6: PUSH1 0x03 000007e8: PUSH2 0x0870 000007eb: JUMP 000007ec: JUMPDEST 000007ed: PUSH1 0x40 000007ef: DUP1 000007f0: MLOAD 000007f1: PUSH1 0x00 000007f3: DUP1 000007f4: DUP3 000007f5: MSTORE 000007f6: PUSH1 0x20 000007f8: DUP3 000007f9: ADD 000007fa: DUP1 000007fb: DUP5 000007fc: MSTORE 000007fd: DUP10 000007fe: SWAP1 000007ff: MSTORE 00000800: PUSH1 0xff 00000802: DUP9 00000803: AND 00000804: SWAP3 00000805: DUP3 00000806: ADD 00000807: SWAP3 00000808: SWAP1 00000809: SWAP3 0000080a: MSTORE 0000080b: PUSH1 0x60 0000080d: DUP2 0000080e: ADD 0000080f: DUP7 00000810: SWAP1 00000811: MSTORE 00000812: PUSH1 0x80 00000814: DUP2 00000815: ADD 00000816: DUP6 00000817: SWAP1 00000818: MSTORE 00000819: PUSH1 0x01 0000081b: SWAP1 0000081c: PUSH1 0xa0 0000081e: ADD 0000081f: PUSH1 0x20 00000821: PUSH1 0x40 00000823: MLOAD 00000824: PUSH1 0x20 00000826: DUP2 00000827: SUB 00000828: SWAP1 00000829: DUP1 0000082a: DUP5 0000082b: SUB 0000082c: SWAP1 0000082d: DUP6 0000082e: GAS 0000082f: STATICCALL 00000830: ISZERO 00000831: DUP1 00000832: ISZERO 00000833: PUSH2 0x0840 00000836: JUMPI 00000837: RETURNDATASIZE 00000838: PUSH1 0x00 0000083a: DUP1 0000083b: RETURNDATACOPY 0000083c: RETURNDATASIZE 0000083d: PUSH1 0x00 0000083f: REVERT 00000840: JUMPDEST 00000841: POP 00000842: POP 00000843: PUSH1 0x40 00000845: MLOAD 00000846: PUSH1 0x1f 00000848: NOT 00000849: ADD 0000084a: MLOAD 0000084b: SWAP2 0000084c: POP 0000084d: POP 0000084e: PUSH1 0x01 00000850: PUSH1 0x01 00000852: PUSH1 0xa0 00000854: SHL 00000855: SUB 00000856: DUP2 00000857: AND 00000858: PUSH2 0x0869 0000085b: JUMPI 0000085c: PUSH1 0x00 0000085e: PUSH1 0x01 00000860: SWAP3 00000861: POP 00000862: SWAP3 00000863: POP 00000864: POP 00000865: PUSH2 0x0870 00000868: JUMP 00000869: JUMPDEST 0000086a: SWAP2 0000086b: POP 0000086c: PUSH1 0x00 0000086e: SWAP1 0000086f: POP 00000870: JUMPDEST 00000871: SWAP5 00000872: POP 00000873: SWAP5 00000874: SWAP3 00000875: POP 00000876: POP 00000877: POP 00000878: JUMP 00000879: JUMPDEST 0000087a: DUP1 0000087b: CALLDATALOAD 0000087c: PUSH1 0x01 0000087e: PUSH1 0x01 00000880: PUSH1 0xa0 00000882: SHL 00000883: SUB 00000884: DUP2 00000885: AND 00000886: DUP2 00000887: EQ 00000888: PUSH2 0x0890 0000088b: JUMPI 0000088c: PUSH1 0x00 0000088e: DUP1 0000088f: REVERT 00000890: JUMPDEST 00000891: SWAP2 00000892: SWAP1 00000893: POP 00000894: JUMP 00000895: JUMPDEST 00000896: PUSH4 0x4e487b71 0000089b: PUSH1 0xe0 0000089d: SHL 0000089e: PUSH1 0x00 000008a0: MSTORE 000008a1: PUSH1 0x41 000008a3: PUSH1 0x04 000008a5: MSTORE 000008a6: PUSH1 0x24 000008a8: PUSH1 0x00 000008aa: REVERT 000008ab: JUMPDEST 000008ac: PUSH1 0x00 000008ae: DUP1 000008af: PUSH1 0x00 000008b1: PUSH1 0x60 000008b3: DUP5 000008b4: DUP7 000008b5: SUB 000008b6: SLT 000008b7: ISZERO 000008b8: PUSH2 0x08c0 000008bb: JUMPI 000008bc: PUSH1 0x00 000008be: DUP1 000008bf: REVERT 000008c0: JUMPDEST 000008c1: PUSH2 0x08c9 000008c4: DUP5 000008c5: PUSH2 0x0879 000008c8: JUMP 000008c9: JUMPDEST 000008ca: SWAP3 000008cb: POP 000008cc: PUSH1 0x20 000008ce: DUP5 000008cf: ADD 000008d0: CALLDATALOAD 000008d1: SWAP2 000008d2: POP 000008d3: PUSH1 0x40 000008d5: DUP5 000008d6: ADD 000008d7: CALLDATALOAD 000008d8: PUSH1 0x01 000008da: PUSH1 0x01 000008dc: PUSH1 0x40 000008de: SHL 000008df: SUB 000008e0: DUP1 000008e1: DUP3 000008e2: GT 000008e3: ISZERO 000008e4: PUSH2 0x08ec 000008e7: JUMPI 000008e8: PUSH1 0x00 000008ea: DUP1 000008eb: REVERT 000008ec: JUMPDEST 000008ed: DUP2 000008ee: DUP7 000008ef: ADD 000008f0: SWAP2 000008f1: POP 000008f2: DUP7 000008f3: PUSH1 0x1f 000008f5: DUP4 000008f6: ADD 000008f7: SLT 000008f8: PUSH2 0x0900 000008fb: JUMPI 000008fc: PUSH1 0x00 000008fe: DUP1 000008ff: REVERT 00000900: JUMPDEST 00000901: DUP2 00000902: CALLDATALOAD 00000903: DUP2 00000904: DUP2 00000905: GT 00000906: ISZERO 00000907: PUSH2 0x0912 0000090a: JUMPI 0000090b: PUSH2 0x0912 0000090e: PUSH2 0x0895 00000911: JUMP 00000912: JUMPDEST 00000913: PUSH1 0x40 00000915: MLOAD 00000916: PUSH1 0x1f 00000918: DUP3 00000919: ADD 0000091a: PUSH1 0x1f 0000091c: NOT 0000091d: SWAP1 0000091e: DUP2 0000091f: AND 00000920: PUSH1 0x3f 00000922: ADD 00000923: AND 00000924: DUP2 00000925: ADD 00000926: SWAP1 00000927: DUP4 00000928: DUP3 00000929: GT 0000092a: DUP2 0000092b: DUP4 0000092c: LT 0000092d: OR 0000092e: ISZERO 0000092f: PUSH2 0x093a 00000932: JUMPI 00000933: PUSH2 0x093a 00000936: PUSH2 0x0895 00000939: JUMP 0000093a: JUMPDEST 0000093b: DUP2 0000093c: PUSH1 0x40 0000093e: MSTORE 0000093f: DUP3 00000940: DUP2 00000941: MSTORE 00000942: DUP10 00000943: PUSH1 0x20 00000945: DUP5 00000946: DUP8 00000947: ADD 00000948: ADD 00000949: GT 0000094a: ISZERO 0000094b: PUSH2 0x0953 0000094e: JUMPI 0000094f: PUSH1 0x00 00000951: DUP1 00000952: REVERT 00000953: JUMPDEST 00000954: DUP3 00000955: PUSH1 0x20 00000957: DUP7 00000958: ADD 00000959: PUSH1 0x20 0000095b: DUP4 0000095c: ADD 0000095d: CALLDATACOPY 0000095e: PUSH1 0x00 00000960: PUSH1 0x20 00000962: DUP5 00000963: DUP4 00000964: ADD 00000965: ADD 00000966: MSTORE 00000967: DUP1 00000968: SWAP6 00000969: POP 0000096a: POP 0000096b: POP 0000096c: POP 0000096d: POP 0000096e: POP 0000096f: SWAP3 00000970: POP 00000971: SWAP3 00000972: POP 00000973: SWAP3 00000974: JUMP 00000975: JUMPDEST 00000976: PUSH1 0x00 00000978: DUP1 00000979: PUSH1 0x40 0000097b: DUP4 0000097c: DUP6 0000097d: SUB 0000097e: SLT 0000097f: ISZERO 00000980: PUSH2 0x0988 00000983: JUMPI 00000984: PUSH1 0x00 00000986: DUP1 00000987: REVERT 00000988: JUMPDEST 00000989: PUSH2 0x0991 0000098c: DUP4 0000098d: PUSH2 0x0879 00000990: JUMP 00000991: JUMPDEST 00000992: SWAP5 00000993: PUSH1 0x20 00000995: SWAP4 00000996: SWAP1 00000997: SWAP4 00000998: ADD 00000999: CALLDATALOAD 0000099a: SWAP4 0000099b: POP 0000099c: POP 0000099d: POP 0000099e: JUMP 0000099f: JUMPDEST 000009a0: PUSH1 0x00 000009a2: PUSH1 0x20 000009a4: DUP3 000009a5: DUP5 000009a6: SUB 000009a7: SLT 000009a8: ISZERO 000009a9: PUSH2 0x09b1 000009ac: JUMPI 000009ad: PUSH1 0x00 000009af: DUP1 000009b0: REVERT 000009b1: JUMPDEST 000009b2: PUSH2 0x09ba 000009b5: DUP3 000009b6: PUSH2 0x0879 000009b9: JUMP 000009ba: JUMPDEST 000009bb: SWAP4 000009bc: SWAP3 000009bd: POP 000009be: POP 000009bf: POP 000009c0: JUMP 000009c1: JUMPDEST 000009c2: PUSH1 0x20 000009c4: DUP1 000009c5: DUP3 000009c6: MSTORE 000009c7: PUSH1 0x0f 000009c9: SWAP1 000009ca: DUP3 000009cb: ADD 000009cc: MSTORE 000009cd: PUSH15 0x151c985b9cd9995c8819985a5b1959 000009dd: PUSH1 0x8a 000009df: SHL 000009e0: PUSH1 0x40 000009e2: DUP3 000009e3: ADD 000009e4: MSTORE 000009e5: PUSH1 0x60 000009e7: ADD 000009e8: SWAP1 000009e9: JUMP 000009ea: JUMPDEST 000009eb: PUSH1 0x00 000009ed: DUP3 000009ee: NOT 000009ef: DUP3 000009f0: GT 000009f1: ISZERO 000009f2: PUSH2 0x0a0b 000009f5: JUMPI 000009f6: PUSH4 0x4e487b71 000009fb: PUSH1 0xe0 000009fd: SHL 000009fe: PUSH1 0x00 00000a00: MSTORE 00000a01: PUSH1 0x11 00000a03: PUSH1 0x04 00000a05: MSTORE 00000a06: PUSH1 0x24 00000a08: PUSH1 0x00 00000a0a: REVERT 00000a0b: JUMPDEST 00000a0c: POP 00000a0d: ADD 00000a0e: SWAP1 00000a0f: JUMP 00000a10: JUMPDEST 00000a11: PUSH4 0x4e487b71 00000a16: PUSH1 0xe0 00000a18: SHL 00000a19: PUSH1 0x00 00000a1b: MSTORE 00000a1c: PUSH1 0x21 00000a1e: PUSH1 0x04 00000a20: MSTORE 00000a21: PUSH1 0x24 00000a23: PUSH1 0x00 00000a25: REVERT 00000a26: INVALID 00000a27: LOG2 00000a28: PUSH5 0x6970667358 00000a2e: UNKNOWN(0x22) 00000a2f: SLT 00000a30: KECCAK256 00000a31: ORIGIN 00000a32: SWAP9 00000a33: LOG3 00000a34: MCOPY 00000a35: BYTE 00000a36: GASLIMIT 00000a37: UNKNOWN(0xD1) 00000a38: UNKNOWN(0xE0) 00000a39: CALLDATALOAD 00000a3a: PUSH19 0x67203b7378575ed85b646838a56497fed754df 00000a4e: PUSH23
| 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": "0x10badf4e",
"selector": "0x10badf4e",
"calldata_variants": [
"0x10badf4e",
"0x10badf4e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x627cdcb9",
"selector": "0x627cdcb9",
"calldata_variants": [
"0x627cdcb9",
"0x627cdcb90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xaffed0e0",
"selector": "0xaffed0e0",
"calldata_variants": [
"0xaffed0e0",
"0xaffed0e00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdf6a6b38",
"selector": "0xdf6a6b38",
"calldata_variants": [
"0xdf6a6b38",
"0xdf6a6b380000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 2609,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xa61cb8620481df2b991947519dc5ddc9db1be96bd90d1247ad45a5e60eb4d7cd
call_targets:
0x6c152a7fcfe50f499be3977358fac9d6d8b06451
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xa61cb8620481df2b991947519dc5ddc9db1be96bd90d1247ad45a5e60eb4d7cd",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x6c152a7fcfe50f499be3977358fac9d6d8b06451"
],
"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": "0x10badf4e",
"selector": "0x10badf4e",
"calldata_variants": [
"0x10badf4e",
"0x10badf4e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x627cdcb9",
"selector": "0x627cdcb9",
"calldata_variants": [
"0x627cdcb9",
"0x627cdcb90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xaffed0e0",
"selector": "0xaffed0e0",
"calldata_variants": [
"0xaffed0e0",
"0xaffed0e00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdf6a6b38",
"selector": "0xdf6a6b38",
"calldata_variants": [
"0xdf6a6b38",
"0xdf6a6b380000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 816,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1094,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [
{
"pc": 2609,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 2
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xa61cb8620481df2b991947519dc5ddc9db1be96bd90d1247ad45a5e60eb4d7cd
call_targets:
0x6c152a7fcfe50f499be3977358fac9d6d8b06451
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xa61cb8620481df2b991947519dc5ddc9db1be96bd90d1247ad45a5e60eb4d7cd",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x6c152a7fcfe50f499be3977358fac9d6d8b06451"
],
"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": "0x10badf4e",
"selector": "0x10badf4e",
"calldata_variants": [
"0x10badf4e",
"0x10badf4e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x627cdcb9",
"selector": "0x627cdcb9",
"calldata_variants": [
"0x627cdcb9",
"0x627cdcb90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xaffed0e0",
"selector": "0xaffed0e0",
"calldata_variants": [
"0xaffed0e0",
"0xaffed0e00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdf6a6b38",
"selector": "0xdf6a6b38",
"calldata_variants": [
"0xdf6a6b38",
"0xdf6a6b380000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 816,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1094,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": [
{
"pc": 2609,
"type": "tx_origin_used"
}
]
}
|