019b477e-d964-73f5-ab06-19371525e207
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 |
|---|---|---|---|---|
| 29255 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 29256 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 73036 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 73037 | capability.graph | complete | 1 / 3 | 1 week ago |
| 73038 | detector.run | complete | 1 / 3 | 1 week ago |
| 73039 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x0034 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x13d98d13 00000019: EQ 0000001a: PUSH2 0x0039 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x6485ba2a 00000024: EQ 00000025: PUSH2 0x004e 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xb438689f 0000002f: EQ 00000030: PUSH2 0x006e 00000033: JUMPI 00000034: JUMPDEST 00000035: PUSH1 0x00 00000037: DUP1 00000038: REVERT 00000039: JUMPDEST 0000003a: PUSH2 0x004c 0000003d: PUSH2 0x0047 00000040: CALLDATASIZE 00000041: PUSH1 0x04 00000043: PUSH2 0x02c7 00000046: JUMP 00000047: JUMPDEST 00000048: PUSH2 0x0081 0000004b: JUMP 0000004c: JUMPDEST 0000004d: STOP 0000004e: JUMPDEST 0000004f: CALLVALUE 00000050: DUP1 00000051: ISZERO 00000052: PUSH2 0x005a 00000055: JUMPI 00000056: PUSH1 0x00 00000058: DUP1 00000059: REVERT 0000005a: JUMPDEST 0000005b: POP 0000005c: PUSH2 0x004c 0000005f: PUSH2 0x0069 00000062: CALLDATASIZE 00000063: PUSH1 0x04 00000065: PUSH2 0x0258 00000068: JUMP 00000069: JUMPDEST 0000006a: PUSH2 0x012a 0000006d: JUMP 0000006e: JUMPDEST 0000006f: PUSH2 0x004c 00000072: PUSH2 0x007c 00000075: CALLDATASIZE 00000076: PUSH1 0x04 00000078: PUSH2 0x0321 0000007b: JUMP 0000007c: JUMPDEST 0000007d: PUSH2 0x0198 00000080: JUMP 00000081: JUMPDEST 00000082: PUSH1 0x40 00000084: MLOAD 00000085: PUSH4 0xb214faa5 0000008a: PUSH1 0xe0 0000008c: SHL 0000008d: DUP2 0000008e: MSTORE 0000008f: PUSH1 0x01 00000091: PUSH1 0x01 00000093: PUSH1 0xa0 00000095: SHL 00000096: SUB 00000097: DUP6 00000098: AND 00000099: SWAP1 0000009a: PUSH4 0xb214faa5 0000009f: SWAP1 000000a0: CALLVALUE 000000a1: SWAP1 000000a2: PUSH2 0x00af 000000a5: SWAP1 000000a6: DUP8 000000a7: SWAP1 000000a8: PUSH1 0x04 000000aa: ADD 000000ab: PUSH2 0x03ec 000000ae: JUMP 000000af: JUMPDEST 000000b0: PUSH1 0x00 000000b2: PUSH1 0x40 000000b4: MLOAD 000000b5: DUP1 000000b6: DUP4 000000b7: SUB 000000b8: DUP2 000000b9: DUP6 000000ba: DUP9 000000bb: DUP1 000000bc: EXTCODESIZE 000000bd: ISZERO 000000be: DUP1 000000bf: ISZERO 000000c0: PUSH2 0x00c8 000000c3: JUMPI 000000c4: PUSH1 0x00 000000c6: DUP1 000000c7: REVERT 000000c8: JUMPDEST 000000c9: POP 000000ca: GAS 000000cb: CALL 000000cc: ISZERO 000000cd: DUP1 000000ce: ISZERO 000000cf: PUSH2 0x00dc 000000d2: JUMPI 000000d3: RETURNDATASIZE 000000d4: PUSH1 0x00 000000d6: DUP1 000000d7: RETURNDATACOPY 000000d8: RETURNDATASIZE 000000d9: PUSH1 0x00 000000db: REVERT 000000dc: JUMPDEST 000000dd: POP 000000de: POP 000000df: POP 000000e0: POP 000000e1: POP 000000e2: CALLER 000000e3: PUSH1 0x01 000000e5: PUSH1 0x01 000000e7: PUSH1 0xa0 000000e9: SHL 000000ea: SUB 000000eb: AND 000000ec: PUSH32 0xfa28df43db3553771f7209dcef046f3bdfea15870ab625dcda30ac58b82b4008 0000010d: DUP4 0000010e: DUP4 0000010f: PUSH1 0x40 00000111: MLOAD 00000112: PUSH2 0x011c 00000115: SWAP3 00000116: SWAP2 00000117: SWAP1 00000118: PUSH2 0x03f5 0000011b: JUMP 0000011c: JUMPDEST 0000011d: PUSH1 0x40 0000011f: MLOAD 00000120: DUP1 00000121: SWAP2 00000122: SUB 00000123: SWAP1 00000124: LOG2 00000125: POP 00000126: POP 00000127: POP 00000128: POP 00000129: JUMP 0000012a: JUMPDEST 0000012b: PUSH1 0x00 0000012d: JUMPDEST 0000012e: DUP2 0000012f: DUP2 00000130: LT 00000131: ISZERO 00000132: PUSH2 0x0193 00000135: JUMPI 00000136: CALLER 00000137: PUSH32 0xfa28df43db3553771f7209dcef046f3bdfea15870ab625dcda30ac58b82b4008 00000158: DUP5 00000159: DUP5 0000015a: DUP5 0000015b: DUP2 0000015c: DUP2 0000015d: LT 0000015e: PUSH2 0x0163 00000161: JUMPI 00000162: INVALID 00000163: JUMPDEST 00000164: SWAP1 00000165: POP 00000166: PUSH1 0x20 00000168: MUL 00000169: DUP2 0000016a: ADD 0000016b: SWAP1 0000016c: PUSH2 0x0175 0000016f: SWAP2 00000170: SWAP1 00000171: PUSH2 0x0463 00000174: JUMP 00000175: JUMPDEST 00000176: PUSH1 0x40 00000178: MLOAD 00000179: PUSH2 0x0183 0000017c: SWAP3 0000017d: SWAP2 0000017e: SWAP1 0000017f: PUSH2 0x03f5 00000182: JUMP 00000183: JUMPDEST 00000184: PUSH1 0x40 00000186: MLOAD 00000187: DUP1 00000188: SWAP2 00000189: SUB 0000018a: SWAP1 0000018b: LOG2 0000018c: PUSH1 0x01 0000018e: ADD 0000018f: PUSH2 0x012d 00000192: JUMP 00000193: JUMPDEST 00000194: POP 00000195: POP 00000196: POP 00000197: JUMP 00000198: JUMPDEST 00000199: PUSH1 0x40 0000019b: MLOAD 0000019c: PUSH4 0x10d056db 000001a1: PUSH1 0xe1 000001a3: SHL 000001a4: DUP2 000001a5: MSTORE 000001a6: PUSH1 0x01 000001a8: PUSH1 0x01 000001aa: PUSH1 0xa0 000001ac: SHL 000001ad: SUB 000001ae: DUP11 000001af: AND 000001b0: SWAP1 000001b1: PUSH4 0x21a0adb6 000001b6: SWAP1 000001b7: CALLVALUE 000001b8: SWAP1 000001b9: PUSH2 0x01d4 000001bc: SWAP1 000001bd: DUP13 000001be: SWAP1 000001bf: DUP13 000001c0: SWAP1 000001c1: DUP13 000001c2: SWAP1 000001c3: DUP13 000001c4: SWAP1 000001c5: DUP13 000001c6: SWAP1 000001c7: DUP13 000001c8: SWAP1 000001c9: DUP13 000001ca: SWAP1 000001cb: DUP13 000001cc: SWAP1 000001cd: PUSH1 0x04 000001cf: ADD 000001d0: PUSH2 0x0411 000001d3: JUMP 000001d4: JUMPDEST 000001d5: PUSH1 0x00 000001d7: PUSH1 0x40 000001d9: MLOAD 000001da: DUP1 000001db: DUP4 000001dc: SUB 000001dd: DUP2 000001de: DUP6 000001df: DUP9 000001e0: DUP1 000001e1: EXTCODESIZE 000001e2: ISZERO 000001e3: DUP1 000001e4: ISZERO 000001e5: PUSH2 0x01ed 000001e8: JUMPI 000001e9: PUSH1 0x00 000001eb: DUP1 000001ec: REVERT 000001ed: JUMPDEST 000001ee: POP 000001ef: GAS 000001f0: CALL 000001f1: ISZERO 000001f2: DUP1 000001f3: ISZERO 000001f4: PUSH2 0x0201 000001f7: JUMPI 000001f8: RETURNDATASIZE 000001f9: PUSH1 0x00 000001fb: DUP1 000001fc: RETURNDATACOPY 000001fd: RETURNDATASIZE 000001fe: PUSH1 0x00 00000200: REVERT 00000201: JUMPDEST 00000202: POP 00000203: POP 00000204: POP 00000205: POP 00000206: POP 00000207: POP 00000208: POP 00000209: POP 0000020a: POP 0000020b: POP 0000020c: POP 0000020d: POP 0000020e: POP 0000020f: POP 00000210: JUMP 00000211: JUMPDEST 00000212: PUSH1 0x00 00000214: DUP1 00000215: DUP4 00000216: PUSH1 0x1f 00000218: DUP5 00000219: ADD 0000021a: SLT 0000021b: PUSH2 0x0222 0000021e: JUMPI 0000021f: DUP2 00000220: DUP3 00000221: REVERT 00000222: JUMPDEST 00000223: POP 00000224: DUP2 00000225: CALLDATALOAD 00000226: PUSH8 0xffffffffffffffff 0000022f: DUP2 00000230: GT 00000231: ISZERO 00000232: PUSH2 0x0239 00000235: JUMPI 00000236: DUP2 00000237: DUP3 00000238: REVERT 00000239: JUMPDEST 0000023a: PUSH1 0x20 0000023c: DUP4 0000023d: ADD 0000023e: SWAP2 0000023f: POP 00000240: DUP4 00000241: PUSH1 0x20 00000243: DUP3 00000244: DUP6 00000245: ADD 00000246: ADD 00000247: GT 00000248: ISZERO 00000249: PUSH2 0x0251 0000024c: JUMPI 0000024d: PUSH1 0x00 0000024f: DUP1 00000250: REVERT 00000251: JUMPDEST 00000252: SWAP3 00000253: POP 00000254: SWAP3 00000255: SWAP1 00000256: POP 00000257: JUMP 00000258: JUMPDEST 00000259: PUSH1 0x00 0000025b: DUP1 0000025c: PUSH1 0x20 0000025e: DUP4 0000025f: DUP6 00000260: SUB 00000261: SLT 00000262: ISZERO 00000263: PUSH2 0x026a 00000266: JUMPI 00000267: DUP2 00000268: DUP3 00000269: REVERT 0000026a: JUMPDEST 0000026b: DUP3 0000026c: CALLDATALOAD 0000026d: PUSH8 0xffffffffffffffff 00000276: DUP1 00000277: DUP3 00000278: GT 00000279: ISZERO 0000027a: PUSH2 0x0281 0000027d: JUMPI 0000027e: DUP4 0000027f: DUP5 00000280: REVERT 00000281: JUMPDEST 00000282: DUP2 00000283: DUP6 00000284: ADD 00000285: SWAP2 00000286: POP 00000287: DUP6 00000288: PUSH1 0x1f 0000028a: DUP4 0000028b: ADD 0000028c: SLT 0000028d: PUSH2 0x0294 00000290: JUMPI 00000291: DUP4 00000292: DUP5 00000293: REVERT 00000294: JUMPDEST 00000295: DUP2 00000296: CALLDATALOAD 00000297: DUP2 00000298: DUP2 00000299: GT 0000029a: ISZERO 0000029b: PUSH2 0x02a2 0000029e: JUMPI 0000029f: DUP5 000002a0: DUP6 000002a1: REVERT 000002a2: JUMPDEST 000002a3: DUP7 000002a4: PUSH1 0x20 000002a6: DUP1 000002a7: DUP4 000002a8: MUL 000002a9: DUP6 000002aa: ADD 000002ab: ADD 000002ac: GT 000002ad: ISZERO 000002ae: PUSH2 0x02b5 000002b1: JUMPI 000002b2: DUP5 000002b3: DUP6 000002b4: REVERT 000002b5: JUMPDEST 000002b6: PUSH1 0x20 000002b8: SWAP3 000002b9: SWAP1 000002ba: SWAP3 000002bb: ADD 000002bc: SWAP7 000002bd: SWAP2 000002be: SWAP6 000002bf: POP 000002c0: SWAP1 000002c1: SWAP4 000002c2: POP 000002c3: POP 000002c4: POP 000002c5: POP 000002c6: JUMP 000002c7: JUMPDEST 000002c8: PUSH1 0x00 000002ca: DUP1 000002cb: PUSH1 0x00 000002cd: DUP1 000002ce: PUSH1 0x60 000002d0: DUP6 000002d1: DUP8 000002d2: SUB 000002d3: SLT 000002d4: ISZERO 000002d5: PUSH2 0x02dc 000002d8: JUMPI 000002d9: DUP2 000002da: DUP3 000002db: REVERT 000002dc: JUMPDEST 000002dd: DUP5 000002de: CALLDATALOAD 000002df: PUSH2 0x02e7 000002e2: DUP2 000002e3: PUSH2 0x04a8 000002e6: JUMP 000002e7: JUMPDEST 000002e8: SWAP4 000002e9: POP 000002ea: PUSH1 0x20 000002ec: DUP6 000002ed: ADD 000002ee: CALLDATALOAD 000002ef: SWAP3 000002f0: POP 000002f1: PUSH1 0x40 000002f3: DUP6 000002f4: ADD 000002f5: CALLDATALOAD 000002f6: PUSH8 0xffffffffffffffff 000002ff: DUP2 00000300: GT 00000301: ISZERO 00000302: PUSH2 0x0309 00000305: JUMPI 00000306: DUP3 00000307: DUP4 00000308: REVERT 00000309: JUMPDEST 0000030a: PUSH2 0x0315 0000030d: DUP8 0000030e: DUP3 0000030f: DUP9 00000310: ADD 00000311: PUSH2 0x0211 00000314: JUMP 00000315: JUMPDEST 00000316: SWAP6 00000317: SWAP9 00000318: SWAP5 00000319: SWAP8 0000031a: POP 0000031b: SWAP6 0000031c: POP 0000031d: POP 0000031e: POP 0000031f: POP 00000320: JUMP 00000321: JUMPDEST 00000322: PUSH1 0x00 00000324: DUP1 00000325: PUSH1 0x00 00000327: DUP1 00000328: PUSH1 0x00 0000032a: DUP1 0000032b: PUSH1 0x00 0000032d: DUP1 0000032e: PUSH1 0x00 00000330: PUSH2 0x0100 00000333: DUP11 00000334: DUP13 00000335: SUB 00000336: SLT 00000337: ISZERO 00000338: PUSH2 0x033f 0000033b: JUMPI 0000033c: DUP5 0000033d: DUP6 0000033e: REVERT 0000033f: JUMPDEST 00000340: DUP10 00000341: CALLDATALOAD 00000342: PUSH2 0x034a 00000345: DUP2 00000346: PUSH2 0x04a8 00000349: JUMP 0000034a: JUMPDEST 0000034b: SWAP9 0000034c: POP 0000034d: PUSH1 0x20 0000034f: DUP11 00000350: ADD 00000351: CALLDATALOAD 00000352: PUSH8 0xffffffffffffffff 0000035b: DUP2 0000035c: GT 0000035d: ISZERO 0000035e: PUSH2 0x0365 00000361: JUMPI 00000362: DUP6 00000363: DUP7 00000364: REVERT 00000365: JUMPDEST 00000366: PUSH2 0x0371 00000369: DUP13 0000036a: DUP3 0000036b: DUP14 0000036c: ADD 0000036d: PUSH2 0x0211 00000370: JUMP 00000371: JUMPDEST 00000372: SWAP1 00000373: SWAP10 00000374: POP 00000375: SWAP8 00000376: POP 00000377: POP 00000378: PUSH1 0x40 0000037a: DUP11 0000037b: ADD 0000037c: CALLDATALOAD 0000037d: SWAP6 0000037e: POP 0000037f: PUSH1 0x60 00000381: DUP11 00000382: ADD 00000383: CALLDATALOAD 00000384: SWAP5 00000385: POP 00000386: PUSH1 0x80 00000388: DUP11 00000389: ADD 0000038a: CALLDATALOAD 0000038b: PUSH2 0x0393 0000038e: DUP2 0000038f: PUSH2 0x04a8 00000392: JUMP 00000393: JUMPDEST 00000394: SWAP4 00000395: POP 00000396: PUSH1 0xa0 00000398: DUP11 00000399: ADD 0000039a: CALLDATALOAD 0000039b: PUSH2 0x03a3 0000039e: DUP2 0000039f: PUSH2 0x04a8 000003a2: JUMP 000003a3: JUMPDEST 000003a4: DUP1 000003a5: SWAP4 000003a6: POP 000003a7: POP 000003a8: PUSH1 0xc0 000003aa: DUP11 000003ab: ADD 000003ac: CALLDATALOAD 000003ad: SWAP2 000003ae: POP 000003af: PUSH1 0xe0 000003b1: DUP11 000003b2: ADD 000003b3: CALLDATALOAD 000003b4: SWAP1 000003b5: POP 000003b6: SWAP3 000003b7: SWAP6 000003b8: SWAP9 000003b9: POP 000003ba: SWAP3 000003bb: SWAP6 000003bc: SWAP9 000003bd: POP 000003be: SWAP3 000003bf: SWAP6 000003c0: SWAP9 000003c1: JUMP 000003c2: JUMPDEST 000003c3: PUSH1 0x00 000003c5: DUP3 000003c6: DUP5 000003c7: MSTORE 000003c8: DUP3 000003c9: DUP3 000003ca: PUSH1 0x20 000003cc: DUP7 000003cd: ADD 000003ce: CALLDATACOPY 000003cf: DUP1 000003d0: PUSH1 0x20 000003d2: DUP5 000003d3: DUP7 000003d4: ADD 000003d5: ADD 000003d6: MSTORE 000003d7: PUSH1 0x20 000003d9: PUSH1 0x1f 000003db: NOT 000003dc: PUSH1 0x1f 000003de: DUP6 000003df: ADD 000003e0: AND 000003e1: DUP6 000003e2: ADD 000003e3: ADD 000003e4: SWAP1 000003e5: POP 000003e6: SWAP4 000003e7: SWAP3 000003e8: POP 000003e9: POP 000003ea: POP 000003eb: JUMP 000003ec: JUMPDEST 000003ed: SWAP1 000003ee: DUP2 000003ef: MSTORE 000003f0: PUSH1 0x20 000003f2: ADD 000003f3: SWAP1 000003f4: JUMP 000003f5: JUMPDEST 000003f6: PUSH1 0x00 000003f8: PUSH1 0x20 000003fa: DUP3 000003fb: MSTORE 000003fc: PUSH2 0x0409 000003ff: PUSH1 0x20 00000401: DUP4 00000402: ADD 00000403: DUP5 00000404: DUP7 00000405: PUSH2 0x03c2 00000408: JUMP 00000409: JUMPDEST 0000040a: SWAP5 0000040b: SWAP4 0000040c: POP 0000040d: POP 0000040e: POP 0000040f: POP 00000410: JUMP 00000411: JUMPDEST 00000412: PUSH1 0x00 00000414: PUSH1 0xe0 00000416: DUP3 00000417: MSTORE 00000418: PUSH2 0x0425 0000041b: PUSH1 0xe0 0000041d: DUP4 0000041e: ADD 0000041f: DUP11 00000420: DUP13 00000421: PUSH2 0x03c2 00000424: JUMP 00000425: JUMPDEST 00000426: PUSH1 0x20 00000428: DUP4 00000429: ADD 0000042a: SWAP9 0000042b: SWAP1 0000042c: SWAP9 0000042d: MSTORE 0000042e: POP 0000042f: PUSH1 0x40 00000431: DUP2 00000432: ADD 00000433: SWAP6 00000434: SWAP1 00000435: SWAP6 00000436: MSTORE 00000437: PUSH1 0x01 00000439: PUSH1 0x01 0000043b: PUSH1 0xa0 0000043d: SHL 0000043e: SUB 0000043f: SWAP4 00000440: DUP5 00000441: AND 00000442: PUSH1 0x60 00000444: DUP7 00000445: ADD 00000446: MSTORE 00000447: SWAP2 00000448: SWAP1 00000449: SWAP3 0000044a: AND 0000044b: PUSH1 0x80 0000044d: DUP5 0000044e: ADD 0000044f: MSTORE 00000450: PUSH1 0xa0 00000452: DUP4 00000453: ADD 00000454: SWAP2 00000455: SWAP1 00000456: SWAP2 00000457: MSTORE 00000458: PUSH1 0xc0 0000045a: SWAP1 0000045b: SWAP2 0000045c: ADD 0000045d: MSTORE 0000045e: SWAP3 0000045f: SWAP2 00000460: POP 00000461: POP 00000462: JUMP 00000463: JUMPDEST 00000464: PUSH1 0x00 00000466: DUP1 00000467: DUP4 00000468: CALLDATALOAD 00000469: PUSH1 0x1e 0000046b: NOT 0000046c: DUP5 0000046d: CALLDATASIZE 0000046e: SUB 0000046f: ADD 00000470: DUP2 00000471: SLT 00000472: PUSH2 0x0479 00000475: JUMPI 00000476: DUP3 00000477: DUP4 00000478: REVERT 00000479: JUMPDEST 0000047a: DUP4 0000047b: ADD 0000047c: DUP1 0000047d: CALLDATALOAD 0000047e: SWAP2 0000047f: POP 00000480: PUSH8 0xffffffffffffffff 00000489: DUP3 0000048a: GT 0000048b: ISZERO 0000048c: PUSH2 0x0493 0000048f: JUMPI 00000490: DUP3 00000491: DUP4 00000492: REVERT 00000493: JUMPDEST 00000494: PUSH1 0x20 00000496: ADD 00000497: SWAP2 00000498: POP 00000499: CALLDATASIZE 0000049a: DUP2 0000049b: SWAP1 0000049c: SUB 0000049d: DUP3 0000049e: SGT 0000049f: ISZERO 000004a0: PUSH2 0x0251 000004a3: JUMPI 000004a4: PUSH1 0x00 000004a6: DUP1 000004a7: REVERT 000004a8: JUMPDEST 000004a9: PUSH1 0x01 000004ab: PUSH1 0x01 000004ad: PUSH1 0xa0 000004af: SHL 000004b0: SUB 000004b1: DUP2 000004b2: AND 000004b3: DUP2 000004b4: EQ 000004b5: PUSH2 0x04bd 000004b8: JUMPI 000004b9: PUSH1 0x00 000004bb: DUP1 000004bc: REVERT 000004bd: JUMPDEST 000004be: POP 000004bf: JUMP 000004c0: INVALID 000004c1: LOG2 000004c2: PUSH5 0x6970667358 000004c8: UNKNOWN(0x22) 000004c9: SLT 000004ca: KECCAK256 000004cb: SWAP4 000004cc: GASPRICE 000004cd: PUSH6 0xb015e49cd3af 000004d4: UNKNOWN(0xD0) 000004d5: SWAP4 000004d6: UNKNOWN(0xE3) 000004d7: PUSH12 0x796373f0ceea1956cc4c0ea4 000004e4: UNKNOWN(0xCA) 000004e5: OR 000004e6: SWAP16 000004e7: EXTCODECOPY 000004e8: UNKNOWN(0x2F) 000004e9: UNKNOWN(0xD5) 000004ea: UNKNOWN(0xCB) 000004eb: PUSH5 0x736f6c6343 000004f1: STOP 000004f2: MOD 000004f3: UNKNOWN(0x0C) 000004f4: STOP 000004f5: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x1e0e31ae8defc8aa84a86839c6bb2accb3568a64af3996ae296d0c03cac10f7e
call_targets:
0x0d5550d52428e7e3175bfc9550207e4ad3859b17
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x1e0e31ae8defc8aa84a86839c6bb2accb3568a64af3996ae296d0c03cac10f7e",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x0d5550d52428e7e3175bfc9550207e4ad3859b17"
],
"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": "0x13d98d13",
"selector": "0x13d98d13",
"calldata_variants": [
"0x13d98d13",
"0x13d98d130000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6485ba2a",
"selector": "0x6485ba2a",
"calldata_variants": [
"0x6485ba2a",
"0x6485ba2a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb438689f",
"selector": "0xb438689f",
"calldata_variants": [
"0xb438689f",
"0xb438689f0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 203,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 496,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [],
"untrusted_call_count": 2
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x1e0e31ae8defc8aa84a86839c6bb2accb3568a64af3996ae296d0c03cac10f7e
call_targets:
0x0d5550d52428e7e3175bfc9550207e4ad3859b17
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x1e0e31ae8defc8aa84a86839c6bb2accb3568a64af3996ae296d0c03cac10f7e",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x0d5550d52428e7e3175bfc9550207e4ad3859b17"
],
"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": "0x13d98d13",
"selector": "0x13d98d13",
"calldata_variants": [
"0x13d98d13",
"0x13d98d130000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6485ba2a",
"selector": "0x6485ba2a",
"calldata_variants": [
"0x6485ba2a",
"0x6485ba2a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb438689f",
"selector": "0xb438689f",
"calldata_variants": [
"0xb438689f",
"0xb438689f0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 203,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 496,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": []
}
|