019b477e-cc21-73ba-a6a5-941fa131ef1d
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 |
|---|---|---|---|---|
| 26813 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 26814 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 113195 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 113196 | capability.graph | complete | 1 / 3 | 1 week ago |
| 113197 | detector.run | complete | 1 / 3 | 1 week ago |
| 113198 | 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 0x0055 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x3853682c 00000019: EQ 0000001a: PUSH2 0x0064 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x3fad9ae0 00000024: EQ 00000025: PUSH2 0x0079 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0x70f2d602 0000002f: EQ 00000030: PUSH2 0x00a4 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0x83197ef0 0000003a: EQ 0000003b: PUSH2 0x00b7 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xbedf0f4a 00000045: EQ 00000046: PUSH2 0x00cc 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xc76de3e9 00000050: EQ 00000051: PUSH2 0x00d4 00000054: JUMPI 00000055: JUMPDEST 00000056: CALLVALUE 00000057: DUP1 00000058: ISZERO 00000059: PUSH2 0x0061 0000005c: JUMPI 0000005d: PUSH1 0x00 0000005f: DUP1 00000060: REVERT 00000061: JUMPDEST 00000062: POP 00000063: STOP 00000064: JUMPDEST 00000065: PUSH2 0x0077 00000068: PUSH2 0x0072 0000006b: CALLDATASIZE 0000006c: PUSH1 0x04 0000006e: PUSH2 0x0617 00000071: JUMP 00000072: JUMPDEST 00000073: PUSH2 0x00e7 00000076: JUMP 00000077: JUMPDEST 00000078: STOP 00000079: JUMPDEST 0000007a: CALLVALUE 0000007b: DUP1 0000007c: ISZERO 0000007d: PUSH2 0x0085 00000080: JUMPI 00000081: PUSH1 0x00 00000083: DUP1 00000084: REVERT 00000085: JUMPDEST 00000086: POP 00000087: PUSH2 0x008e 0000008a: PUSH2 0x01e6 0000008d: JUMP 0000008e: JUMPDEST 0000008f: PUSH1 0x40 00000091: MLOAD 00000092: PUSH2 0x009b 00000095: SWAP2 00000096: SWAP1 00000097: PUSH2 0x070e 0000009a: JUMP 0000009b: JUMPDEST 0000009c: PUSH1 0x40 0000009e: MLOAD 0000009f: DUP1 000000a0: SWAP2 000000a1: SUB 000000a2: SWAP1 000000a3: RETURN 000000a4: JUMPDEST 000000a5: PUSH2 0x0077 000000a8: PUSH2 0x00b2 000000ab: CALLDATASIZE 000000ac: PUSH1 0x04 000000ae: PUSH2 0x055c 000000b1: JUMP 000000b2: JUMPDEST 000000b3: PUSH2 0x0274 000000b6: JUMP 000000b7: JUMPDEST 000000b8: CALLVALUE 000000b9: DUP1 000000ba: ISZERO 000000bb: PUSH2 0x00c3 000000be: JUMPI 000000bf: PUSH1 0x00 000000c1: DUP1 000000c2: REVERT 000000c3: JUMPDEST 000000c4: POP 000000c5: PUSH2 0x0077 000000c8: PUSH2 0x02ea 000000cb: JUMP 000000cc: JUMPDEST 000000cd: PUSH2 0x0077 000000d0: PUSH2 0x0349 000000d3: JUMP 000000d4: JUMPDEST 000000d5: PUSH2 0x0077 000000d8: PUSH2 0x00e2 000000db: CALLDATASIZE 000000dc: PUSH1 0x04 000000de: PUSH2 0x05ac 000000e1: JUMP 000000e2: JUMPDEST 000000e3: PUSH2 0x03d1 000000e6: JUMP 000000e7: JUMPDEST 000000e8: CALLER 000000e9: ORIGIN 000000ea: EQ 000000eb: PUSH2 0x00f3 000000ee: JUMPI 000000ef: PUSH1 0x00 000000f1: DUP1 000000f2: REVERT 000000f3: JUMPDEST 000000f4: DUP1 000000f5: PUSH1 0x40 000000f7: MLOAD 000000f8: PUSH1 0x20 000000fa: ADD 000000fb: PUSH2 0x0104 000000fe: SWAP2 000000ff: SWAP1 00000100: PUSH2 0x070e 00000103: JUMP 00000104: JUMPDEST 00000105: PUSH1 0x40 00000107: MLOAD 00000108: PUSH1 0x20 0000010a: DUP2 0000010b: DUP4 0000010c: SUB 0000010d: SUB 0000010e: DUP2 0000010f: MSTORE 00000110: SWAP1 00000111: PUSH1 0x40 00000113: MSTORE 00000114: DUP1 00000115: MLOAD 00000116: SWAP1 00000117: PUSH1 0x20 00000119: ADD 0000011a: KECCAK256 0000011b: PUSH1 0x02 0000011d: SLOAD 0000011e: EQ 0000011f: DUP1 00000120: ISZERO 00000121: PUSH2 0x0131 00000124: JUMPI 00000125: POP 00000126: PUSH8 0x0de0b6b3a7640000 0000012f: CALLVALUE 00000130: GT 00000131: JUMPDEST 00000132: ISZERO 00000133: PUSH2 0x0164 00000136: JUMPI 00000137: PUSH1 0x40 00000139: MLOAD 0000013a: CALLER 0000013b: SWAP1 0000013c: SELFBALANCE 0000013d: DUP1 0000013e: ISZERO 0000013f: PUSH2 0x08fc 00000142: MUL 00000143: SWAP2 00000144: PUSH1 0x00 00000146: DUP2 00000147: DUP2 00000148: DUP2 00000149: DUP6 0000014a: DUP9 0000014b: DUP9 0000014c: CALL 0000014d: SWAP4 0000014e: POP 0000014f: POP 00000150: POP 00000151: POP 00000152: ISZERO 00000153: DUP1 00000154: ISZERO 00000155: PUSH2 0x0162 00000158: JUMPI 00000159: RETURNDATASIZE 0000015a: PUSH1 0x00 0000015c: DUP1 0000015d: RETURNDATACOPY 0000015e: RETURNDATASIZE 0000015f: PUSH1 0x00 00000161: REVERT 00000162: JUMPDEST 00000163: POP 00000164: JUMPDEST 00000165: PUSH8 0x0de0b6b3a7640000 0000016e: CALLVALUE 0000016f: GT 00000170: ISZERO 00000171: PUSH2 0x01e3 00000174: JUMPI 00000175: CALLER 00000176: PUSH1 0x00 00000178: SWAP1 00000179: DUP2 0000017a: MSTORE 0000017b: PUSH1 0x05 0000017d: PUSH1 0x20 0000017f: MSTORE 00000180: PUSH1 0x40 00000182: SWAP1 00000183: KECCAK256 00000184: SLOAD 00000185: PUSH2 0x018f 00000188: SWAP1 00000189: PUSH1 0x01 0000018b: PUSH2 0x0763 0000018e: JUMP 0000018f: JUMPDEST 00000190: CALLER 00000191: PUSH1 0x00 00000193: SWAP1 00000194: DUP2 00000195: MSTORE 00000196: PUSH1 0x05 00000198: PUSH1 0x20 0000019a: MSTORE 0000019b: PUSH1 0x40 0000019d: SWAP1 0000019e: KECCAK256 0000019f: DUP2 000001a0: SWAP1 000001a1: SSTORE 000001a2: PUSH1 0x06 000001a4: SLOAD 000001a5: PUSH2 0x01ad 000001a8: SWAP2 000001a9: PUSH2 0x07c4 000001ac: JUMP 000001ad: JUMPDEST 000001ae: PUSH2 0x01e3 000001b1: JUMPI 000001b2: PUSH1 0x40 000001b4: MLOAD 000001b5: CALLER 000001b6: SWAP1 000001b7: PUSH1 0x00 000001b9: SWAP1 000001ba: PUSH8 0x29a2241af62c0000 000001c3: SWAP1 000001c4: DUP3 000001c5: DUP2 000001c6: DUP2 000001c7: DUP2 000001c8: DUP6 000001c9: DUP9 000001ca: DUP4 000001cb: CALL 000001cc: SWAP4 000001cd: POP 000001ce: POP 000001cf: POP 000001d0: POP 000001d1: ISZERO 000001d2: DUP1 000001d3: ISZERO 000001d4: PUSH2 0x01e1 000001d7: JUMPI 000001d8: RETURNDATASIZE 000001d9: PUSH1 0x00 000001db: DUP1 000001dc: RETURNDATACOPY 000001dd: RETURNDATASIZE 000001de: PUSH1 0x00 000001e0: REVERT 000001e1: JUMPDEST 000001e2: POP 000001e3: JUMPDEST 000001e4: POP 000001e5: JUMP 000001e6: JUMPDEST 000001e7: PUSH1 0x01 000001e9: DUP1 000001ea: SLOAD 000001eb: PUSH2 0x01f3 000001ee: SWAP1 000001ef: PUSH2 0x0789 000001f2: JUMP 000001f3: JUMPDEST 000001f4: DUP1 000001f5: PUSH1 0x1f 000001f7: ADD 000001f8: PUSH1 0x20 000001fa: DUP1 000001fb: SWAP2 000001fc: DIV 000001fd: MUL 000001fe: PUSH1 0x20 00000200: ADD 00000201: PUSH1 0x40 00000203: MLOAD 00000204: SWAP1 00000205: DUP2 00000206: ADD 00000207: PUSH1 0x40 00000209: MSTORE 0000020a: DUP1 0000020b: SWAP3 0000020c: SWAP2 0000020d: SWAP1 0000020e: DUP2 0000020f: DUP2 00000210: MSTORE 00000211: PUSH1 0x20 00000213: ADD 00000214: DUP3 00000215: DUP1 00000216: SLOAD 00000217: PUSH2 0x021f 0000021a: SWAP1 0000021b: PUSH2 0x0789 0000021e: JUMP 0000021f: JUMPDEST 00000220: DUP1 00000221: ISZERO 00000222: PUSH2 0x026c 00000225: JUMPI 00000226: DUP1 00000227: PUSH1 0x1f 00000229: LT 0000022a: PUSH2 0x0241 0000022d: JUMPI 0000022e: PUSH2 0x0100 00000231: DUP1 00000232: DUP4 00000233: SLOAD 00000234: DIV 00000235: MUL 00000236: DUP4 00000237: MSTORE 00000238: SWAP2 00000239: PUSH1 0x20 0000023b: ADD 0000023c: SWAP2 0000023d: PUSH2 0x026c 00000240: JUMP 00000241: JUMPDEST 00000242: DUP3 00000243: ADD 00000244: SWAP2 00000245: SWAP1 00000246: PUSH1 0x00 00000248: MSTORE 00000249: PUSH1 0x20 0000024b: PUSH1 0x00 0000024d: KECCAK256 0000024e: SWAP1 0000024f: JUMPDEST 00000250: DUP2 00000251: SLOAD 00000252: DUP2 00000253: MSTORE 00000254: SWAP1 00000255: PUSH1 0x01 00000257: ADD 00000258: SWAP1 00000259: PUSH1 0x20 0000025b: ADD 0000025c: DUP1 0000025d: DUP4 0000025e: GT 0000025f: PUSH2 0x024f 00000262: JUMPI 00000263: DUP3 00000264: SWAP1 00000265: SUB 00000266: PUSH1 0x1f 00000268: AND 00000269: DUP3 0000026a: ADD 0000026b: SWAP2 0000026c: JUMPDEST 0000026d: POP 0000026e: POP 0000026f: POP 00000270: POP 00000271: POP 00000272: DUP2 00000273: JUMP 00000274: JUMPDEST 00000275: PUSH1 0x03 00000277: PUSH1 0x00 00000279: CALLER 0000027a: PUSH1 0x40 0000027c: MLOAD 0000027d: PUSH1 0x20 0000027f: ADD 00000280: PUSH2 0x0289 00000283: SWAP2 00000284: SWAP1 00000285: PUSH2 0x06c7 00000288: JUMP 00000289: JUMPDEST 0000028a: PUSH1 0x40 0000028c: DUP1 0000028d: MLOAD 0000028e: PUSH1 0x1f 00000290: NOT 00000291: DUP2 00000292: DUP5 00000293: SUB 00000294: ADD 00000295: DUP2 00000296: MSTORE 00000297: SWAP2 00000298: DUP2 00000299: MSTORE 0000029a: DUP2 0000029b: MLOAD 0000029c: PUSH1 0x20 0000029e: SWAP3 0000029f: DUP4 000002a0: ADD 000002a1: KECCAK256 000002a2: DUP4 000002a3: MSTORE 000002a4: SWAP1 000002a5: DUP3 000002a6: ADD 000002a7: SWAP3 000002a8: SWAP1 000002a9: SWAP3 000002aa: MSTORE 000002ab: ADD 000002ac: PUSH1 0x00 000002ae: KECCAK256 000002af: SLOAD 000002b0: PUSH1 0xff 000002b2: AND 000002b3: DUP1 000002b4: PUSH2 0x02c7 000002b7: JUMPI 000002b8: POP 000002b9: PUSH1 0x04 000002bb: SLOAD 000002bc: PUSH1 0x01 000002be: PUSH1 0x01 000002c0: PUSH1 0xa0 000002c2: SHL 000002c3: SUB 000002c4: AND 000002c5: CALLER 000002c6: EQ 000002c7: JUMPDEST 000002c8: PUSH2 0x02d0 000002cb: JUMPI 000002cc: PUSH1 0x00 000002ce: DUP1 000002cf: REVERT 000002d0: JUMPDEST 000002d1: PUSH2 0x02dc 000002d4: PUSH1 0x01 000002d6: DUP6 000002d7: DUP6 000002d8: PUSH2 0x047b 000002db: JUMP 000002dc: JUMPDEST 000002dd: POP 000002de: PUSH1 0x02 000002e0: SWAP2 000002e1: SWAP1 000002e2: SWAP2 000002e3: SSTORE 000002e4: PUSH1 0x06 000002e6: SSTORE 000002e7: POP 000002e8: POP 000002e9: JUMP 000002ea: JUMPDEST 000002eb: PUSH1 0x03 000002ed: PUSH1 0x00 000002ef: CALLER 000002f0: PUSH1 0x40 000002f2: MLOAD 000002f3: PUSH1 0x20 000002f5: ADD 000002f6: PUSH2 0x02ff 000002f9: SWAP2 000002fa: SWAP1 000002fb: PUSH2 0x06c7 000002fe: JUMP 000002ff: JUMPDEST 00000300: PUSH1 0x40 00000302: DUP1 00000303: MLOAD 00000304: PUSH1 0x1f 00000306: NOT 00000307: DUP2 00000308: DUP5 00000309: SUB 0000030a: ADD 0000030b: DUP2 0000030c: MSTORE 0000030d: SWAP2 0000030e: DUP2 0000030f: MSTORE 00000310: DUP2 00000311: MLOAD 00000312: PUSH1 0x20 00000314: SWAP3 00000315: DUP4 00000316: ADD 00000317: KECCAK256 00000318: DUP4 00000319: MSTORE 0000031a: SWAP1 0000031b: DUP3 0000031c: ADD 0000031d: SWAP3 0000031e: SWAP1 0000031f: SWAP3 00000320: MSTORE 00000321: ADD 00000322: PUSH1 0x00 00000324: KECCAK256 00000325: SLOAD 00000326: PUSH1 0xff 00000328: AND 00000329: DUP1 0000032a: PUSH2 0x033d 0000032d: JUMPI 0000032e: POP 0000032f: PUSH1 0x04 00000331: SLOAD 00000332: PUSH1 0x01 00000334: PUSH1 0x01 00000336: PUSH1 0xa0 00000338: SHL 00000339: SUB 0000033a: AND 0000033b: CALLER 0000033c: EQ 0000033d: JUMPDEST 0000033e: PUSH2 0x0346 00000341: JUMPI 00000342: PUSH1 0x00 00000344: DUP1 00000345: REVERT 00000346: JUMPDEST 00000347: CALLER 00000348: SELFDESTRUCT 00000349: JUMPDEST 0000034a: PUSH1 0x03 0000034c: PUSH1 0x00 0000034e: CALLER 0000034f: PUSH1 0x40 00000351: MLOAD 00000352: PUSH1 0x20 00000354: ADD 00000355: PUSH2 0x035e 00000358: SWAP2 00000359: SWAP1 0000035a: PUSH2 0x06c7 0000035d: JUMP 0000035e: JUMPDEST 0000035f: PUSH1 0x40 00000361: DUP1 00000362: MLOAD 00000363: PUSH1 0x1f 00000365: NOT 00000366: DUP2 00000367: DUP5 00000368: SUB 00000369: ADD 0000036a: DUP2 0000036b: MSTORE 0000036c: SWAP2 0000036d: DUP2 0000036e: MSTORE 0000036f: DUP2 00000370: MLOAD 00000371: PUSH1 0x20 00000373: SWAP3 00000374: DUP4 00000375: ADD 00000376: KECCAK256 00000377: DUP4 00000378: MSTORE 00000379: SWAP1 0000037a: DUP3 0000037b: ADD 0000037c: SWAP3 0000037d: SWAP1 0000037e: SWAP3 0000037f: MSTORE 00000380: ADD 00000381: PUSH1 0x00 00000383: KECCAK256 00000384: SLOAD 00000385: PUSH1 0xff 00000387: AND 00000388: DUP1 00000389: PUSH2 0x039c 0000038c: JUMPI 0000038d: POP 0000038e: PUSH1 0x04 00000390: SLOAD 00000391: PUSH1 0x01 00000393: PUSH1 0x01 00000395: PUSH1 0xa0 00000397: SHL 00000398: SUB 00000399: AND 0000039a: CALLER 0000039b: EQ 0000039c: JUMPDEST 0000039d: PUSH2 0x03a5 000003a0: JUMPI 000003a1: PUSH1 0x00 000003a3: DUP1 000003a4: REVERT 000003a5: JUMPDEST 000003a6: PUSH1 0x40 000003a8: MLOAD 000003a9: CALLER 000003aa: SWAP1 000003ab: SELFBALANCE 000003ac: DUP1 000003ad: ISZERO 000003ae: PUSH2 0x08fc 000003b1: MUL 000003b2: SWAP2 000003b3: PUSH1 0x00 000003b5: DUP2 000003b6: DUP2 000003b7: DUP2 000003b8: DUP6 000003b9: DUP9 000003ba: DUP9 000003bb: CALL 000003bc: SWAP4 000003bd: POP 000003be: POP 000003bf: POP 000003c0: POP 000003c1: ISZERO 000003c2: DUP1 000003c3: ISZERO 000003c4: PUSH2 0x01e3 000003c7: JUMPI 000003c8: RETURNDATASIZE 000003c9: PUSH1 0x00 000003cb: DUP1 000003cc: RETURNDATACOPY 000003cd: RETURNDATASIZE 000003ce: PUSH1 0x00 000003d0: REVERT 000003d1: JUMPDEST 000003d2: PUSH1 0x03 000003d4: PUSH1 0x00 000003d6: CALLER 000003d7: PUSH1 0x40 000003d9: MLOAD 000003da: PUSH1 0x20 000003dc: ADD 000003dd: PUSH2 0x03e6 000003e0: SWAP2 000003e1: SWAP1 000003e2: PUSH2 0x06c7 000003e5: JUMP 000003e6: JUMPDEST 000003e7: PUSH1 0x40 000003e9: DUP1 000003ea: MLOAD 000003eb: PUSH1 0x1f 000003ed: NOT 000003ee: DUP2 000003ef: DUP5 000003f0: SUB 000003f1: ADD 000003f2: DUP2 000003f3: MSTORE 000003f4: SWAP2 000003f5: DUP2 000003f6: MSTORE 000003f7: DUP2 000003f8: MLOAD 000003f9: PUSH1 0x20 000003fb: SWAP3 000003fc: DUP4 000003fd: ADD 000003fe: KECCAK256 000003ff: DUP4 00000400: MSTORE 00000401: SWAP1 00000402: DUP3 00000403: ADD 00000404: SWAP3 00000405: SWAP1 00000406: SWAP3 00000407: MSTORE 00000408: ADD 00000409: PUSH1 0x00 0000040b: KECCAK256 0000040c: SLOAD 0000040d: PUSH1 0xff 0000040f: AND 00000410: DUP1 00000411: PUSH2 0x0424 00000414: JUMPI 00000415: POP 00000416: PUSH1 0x04 00000418: SLOAD 00000419: PUSH1 0x01 0000041b: PUSH1 0x01 0000041d: PUSH1 0xa0 0000041f: SHL 00000420: SUB 00000421: AND 00000422: CALLER 00000423: EQ 00000424: JUMPDEST 00000425: PUSH2 0x042d 00000428: JUMPI 00000429: PUSH1 0x00 0000042b: DUP1 0000042c: REVERT 0000042d: JUMPDEST 0000042e: PUSH1 0x02 00000430: SLOAD 00000431: PUSH2 0x0475 00000434: JUMPI 00000435: DUP2 00000436: DUP2 00000437: PUSH1 0x40 00000439: MLOAD 0000043a: PUSH1 0x20 0000043c: ADD 0000043d: PUSH2 0x0447 00000440: SWAP3 00000441: SWAP2 00000442: SWAP1 00000443: PUSH2 0x06df 00000446: JUMP 00000447: JUMPDEST 00000448: PUSH1 0x40 0000044a: DUP1 0000044b: MLOAD 0000044c: PUSH1 0x1f 0000044e: NOT 0000044f: DUP2 00000450: DUP5 00000451: SUB 00000452: ADD 00000453: DUP2 00000454: MSTORE 00000455: SWAP2 00000456: SWAP1 00000457: MSTORE 00000458: DUP1 00000459: MLOAD 0000045a: PUSH1 0x20 0000045c: SWAP1 0000045d: SWAP2 0000045e: ADD 0000045f: KECCAK256 00000460: PUSH1 0x02 00000462: SSTORE 00000463: PUSH2 0x046e 00000466: PUSH1 0x01 00000468: DUP6 00000469: DUP6 0000046a: PUSH2 0x047b 0000046d: JUMP 0000046e: JUMPDEST 0000046f: POP 00000470: PUSH1 0x03 00000472: PUSH1 0x06 00000474: SSTORE 00000475: JUMPDEST 00000476: POP 00000477: POP 00000478: POP 00000479: POP 0000047a: JUMP 0000047b: JUMPDEST 0000047c: DUP3 0000047d: DUP1 0000047e: SLOAD 0000047f: PUSH2 0x0487 00000482: SWAP1 00000483: PUSH2 0x0789 00000486: JUMP 00000487: JUMPDEST 00000488: SWAP1 00000489: PUSH1 0x00 0000048b: MSTORE 0000048c: PUSH1 0x20 0000048e: PUSH1 0x00 00000490: KECCAK256 00000491: SWAP1 00000492: PUSH1 0x1f 00000494: ADD 00000495: PUSH1 0x20 00000497: SWAP1 00000498: DIV 00000499: DUP2 0000049a: ADD 0000049b: SWAP3 0000049c: DUP3 0000049d: PUSH2 0x04a9 000004a0: JUMPI 000004a1: PUSH1 0x00 000004a3: DUP6 000004a4: SSTORE 000004a5: PUSH2 0x04ef 000004a8: JUMP 000004a9: JUMPDEST 000004aa: DUP3 000004ab: PUSH1 0x1f 000004ad: LT 000004ae: PUSH2 0x04c2 000004b1: JUMPI 000004b2: DUP3 000004b3: DUP1 000004b4: ADD 000004b5: PUSH1 0xff 000004b7: NOT 000004b8: DUP3 000004b9: CALLDATALOAD 000004ba: AND 000004bb: OR 000004bc: DUP6 000004bd: SSTORE 000004be: PUSH2 0x04ef 000004c1: JUMP 000004c2: JUMPDEST 000004c3: DUP3 000004c4: DUP1 000004c5: ADD 000004c6: PUSH1 0x01 000004c8: ADD 000004c9: DUP6 000004ca: SSTORE 000004cb: DUP3 000004cc: ISZERO 000004cd: PUSH2 0x04ef 000004d0: JUMPI 000004d1: SWAP2 000004d2: DUP3 000004d3: ADD 000004d4: JUMPDEST 000004d5: DUP3 000004d6: DUP2 000004d7: GT 000004d8: ISZERO 000004d9: PUSH2 0x04ef 000004dc: JUMPI 000004dd: DUP3 000004de: CALLDATALOAD 000004df: DUP3 000004e0: SSTORE 000004e1: SWAP2 000004e2: PUSH1 0x20 000004e4: ADD 000004e5: SWAP2 000004e6: SWAP1 000004e7: PUSH1 0x01 000004e9: ADD 000004ea: SWAP1 000004eb: PUSH2 0x04d4 000004ee: JUMP 000004ef: JUMPDEST 000004f0: POP 000004f1: PUSH2 0x04fb 000004f4: SWAP3 000004f5: SWAP2 000004f6: POP 000004f7: PUSH2 0x04ff 000004fa: JUMP 000004fb: JUMPDEST 000004fc: POP 000004fd: SWAP1 000004fe: JUMP 000004ff: JUMPDEST 00000500: JUMPDEST 00000501: DUP1 00000502: DUP3 00000503: GT 00000504: ISZERO 00000505: PUSH2 0x04fb 00000508: JUMPI 00000509: PUSH1 0x00 0000050b: DUP2 0000050c: SSTORE 0000050d: PUSH1 0x01 0000050f: ADD 00000510: PUSH2 0x0500 00000513: JUMP 00000514: JUMPDEST 00000515: PUSH1 0x00 00000517: DUP1 00000518: DUP4 00000519: PUSH1 0x1f 0000051b: DUP5 0000051c: ADD 0000051d: SLT 0000051e: PUSH2 0x0526 00000521: JUMPI 00000522: PUSH1 0x00 00000524: DUP1 00000525: REVERT 00000526: JUMPDEST 00000527: POP 00000528: DUP2 00000529: CALLDATALOAD 0000052a: PUSH1 0x01 0000052c: PUSH1 0x01 0000052e: PUSH1 0x40 00000530: SHL 00000531: SUB 00000532: DUP2 00000533: GT 00000534: ISZERO 00000535: PUSH2 0x053d 00000538: JUMPI 00000539: PUSH1 0x00 0000053b: DUP1 0000053c: REVERT 0000053d: JUMPDEST 0000053e: PUSH1 0x20 00000540: DUP4 00000541: ADD 00000542: SWAP2 00000543: POP 00000544: DUP4 00000545: PUSH1 0x20 00000547: DUP3 00000548: DUP6 00000549: ADD 0000054a: ADD 0000054b: GT 0000054c: ISZERO 0000054d: PUSH2 0x0555 00000550: JUMPI 00000551: PUSH1 0x00 00000553: DUP1 00000554: REVERT 00000555: JUMPDEST 00000556: SWAP3 00000557: POP 00000558: SWAP3 00000559: SWAP1 0000055a: POP 0000055b: JUMP 0000055c: JUMPDEST 0000055d: PUSH1 0x00 0000055f: DUP1 00000560: PUSH1 0x00 00000562: DUP1 00000563: PUSH1 0x60 00000565: DUP6 00000566: DUP8 00000567: SUB 00000568: SLT 00000569: ISZERO 0000056a: PUSH2 0x0572 0000056d: JUMPI 0000056e: PUSH1 0x00 00000570: DUP1 00000571: REVERT 00000572: JUMPDEST 00000573: DUP5 00000574: CALLDATALOAD 00000575: PUSH1 0x01 00000577: PUSH1 0x01 00000579: PUSH1 0x40 0000057b: SHL 0000057c: SUB 0000057d: DUP2 0000057e: GT 0000057f: ISZERO 00000580: PUSH2 0x0588 00000583: JUMPI 00000584: PUSH1 0x00 00000586: DUP1 00000587: REVERT 00000588: JUMPDEST 00000589: PUSH2 0x0594 0000058c: DUP8 0000058d: DUP3 0000058e: DUP9 0000058f: ADD 00000590: PUSH2 0x0514 00000593: JUMP 00000594: JUMPDEST 00000595: SWAP1 00000596: SWAP9 00000597: SWAP1 00000598: SWAP8 00000599: POP 0000059a: PUSH1 0x20 0000059c: DUP8 0000059d: ADD 0000059e: CALLDATALOAD 0000059f: SWAP7 000005a0: PUSH1 0x40 000005a2: ADD 000005a3: CALLDATALOAD 000005a4: SWAP6 000005a5: POP 000005a6: SWAP4 000005a7: POP 000005a8: POP 000005a9: POP 000005aa: POP 000005ab: JUMP 000005ac: JUMPDEST 000005ad: PUSH1 0x00 000005af: DUP1 000005b0: PUSH1 0x00 000005b2: DUP1 000005b3: PUSH1 0x40 000005b5: DUP6 000005b6: DUP8 000005b7: SUB 000005b8: SLT 000005b9: ISZERO 000005ba: PUSH2 0x05c2 000005bd: JUMPI 000005be: PUSH1 0x00 000005c0: DUP1 000005c1: REVERT 000005c2: JUMPDEST 000005c3: DUP5 000005c4: CALLDATALOAD 000005c5: PUSH1 0x01 000005c7: PUSH1 0x01 000005c9: PUSH1 0x40 000005cb: SHL 000005cc: SUB 000005cd: DUP1 000005ce: DUP3 000005cf: GT 000005d0: ISZERO 000005d1: PUSH2 0x05d9 000005d4: JUMPI 000005d5: PUSH1 0x00 000005d7: DUP1 000005d8: REVERT 000005d9: JUMPDEST 000005da: PUSH2 0x05e5 000005dd: DUP9 000005de: DUP4 000005df: DUP10 000005e0: ADD 000005e1: PUSH2 0x0514 000005e4: JUMP 000005e5: JUMPDEST 000005e6: SWAP1 000005e7: SWAP7 000005e8: POP 000005e9: SWAP5 000005ea: POP 000005eb: PUSH1 0x20 000005ed: DUP8 000005ee: ADD 000005ef: CALLDATALOAD 000005f0: SWAP2 000005f1: POP 000005f2: DUP1 000005f3: DUP3 000005f4: GT 000005f5: ISZERO 000005f6: PUSH2 0x05fe 000005f9: JUMPI 000005fa: PUSH1 0x00 000005fc: DUP1 000005fd: REVERT 000005fe: JUMPDEST 000005ff: POP 00000600: PUSH2 0x060b 00000603: DUP8 00000604: DUP3 00000605: DUP9 00000606: ADD 00000607: PUSH2 0x0514 0000060a: JUMP 0000060b: JUMPDEST 0000060c: SWAP6 0000060d: SWAP9 0000060e: SWAP5 0000060f: SWAP8 00000610: POP 00000611: SWAP6 00000612: POP 00000613: POP 00000614: POP 00000615: POP 00000616: JUMP 00000617: JUMPDEST 00000618: PUSH1 0x00 0000061a: PUSH1 0x20 0000061c: DUP3 0000061d: DUP5 0000061e: SUB 0000061f: SLT 00000620: ISZERO 00000621: PUSH2 0x0629 00000624: JUMPI 00000625: PUSH1 0x00 00000627: DUP1 00000628: REVERT 00000629: JUMPDEST 0000062a: DUP2 0000062b: CALLDATALOAD 0000062c: PUSH1 0x01 0000062e: PUSH1 0x01 00000630: PUSH1 0x40 00000632: SHL 00000633: SUB 00000634: DUP1 00000635: DUP3 00000636: GT 00000637: ISZERO 00000638: PUSH2 0x0640 0000063b: JUMPI 0000063c: PUSH1 0x00 0000063e: DUP1 0000063f: REVERT 00000640: JUMPDEST 00000641: DUP2 00000642: DUP5 00000643: ADD 00000644: SWAP2 00000645: POP 00000646: DUP5 00000647: PUSH1 0x1f 00000649: DUP4 0000064a: ADD 0000064b: SLT 0000064c: PUSH2 0x0654 0000064f: JUMPI 00000650: PUSH1 0x00 00000652: DUP1 00000653: REVERT 00000654: JUMPDEST 00000655: DUP2 00000656: CALLDATALOAD 00000657: DUP2 00000658: DUP2 00000659: GT 0000065a: ISZERO 0000065b: PUSH2 0x0666 0000065e: JUMPI 0000065f: PUSH2 0x0666 00000662: PUSH2 0x07e6 00000665: JUMP 00000666: JUMPDEST 00000667: PUSH1 0x40 00000669: MLOAD 0000066a: PUSH1 0x1f 0000066c: DUP3 0000066d: ADD 0000066e: PUSH1 0x1f 00000670: NOT 00000671: SWAP1 00000672: DUP2 00000673: AND 00000674: PUSH1 0x3f 00000676: ADD 00000677: AND 00000678: DUP2 00000679: ADD 0000067a: SWAP1 0000067b: DUP4 0000067c: DUP3 0000067d: GT 0000067e: DUP2 0000067f: DUP4 00000680: LT 00000681: OR 00000682: ISZERO 00000683: PUSH2 0x068e 00000686: JUMPI 00000687: PUSH2 0x068e 0000068a: PUSH2 0x07e6 0000068d: JUMP 0000068e: JUMPDEST 0000068f: DUP2 00000690: PUSH1 0x40 00000692: MSTORE 00000693: DUP3 00000694: DUP2 00000695: MSTORE 00000696: DUP8 00000697: PUSH1 0x20 00000699: DUP5 0000069a: DUP8 0000069b: ADD 0000069c: ADD 0000069d: GT 0000069e: ISZERO 0000069f: PUSH2 0x06a7 000006a2: JUMPI 000006a3: PUSH1 0x00 000006a5: DUP1 000006a6: REVERT 000006a7: JUMPDEST 000006a8: DUP3 000006a9: PUSH1 0x20 000006ab: DUP7 000006ac: ADD 000006ad: PUSH1 0x20 000006af: DUP4 000006b0: ADD 000006b1: CALLDATACOPY 000006b2: PUSH1 0x00 000006b4: SWAP3 000006b5: DUP2 000006b6: ADD 000006b7: PUSH1 0x20 000006b9: ADD 000006ba: SWAP3 000006bb: SWAP1 000006bc: SWAP3 000006bd: MSTORE 000006be: POP 000006bf: SWAP6 000006c0: SWAP5 000006c1: POP 000006c2: POP 000006c3: POP 000006c4: POP 000006c5: POP 000006c6: JUMP 000006c7: JUMPDEST 000006c8: PUSH1 0x60 000006ca: SWAP2 000006cb: SWAP1 000006cc: SWAP2 000006cd: SHL 000006ce: PUSH1 0x01 000006d0: PUSH1 0x01 000006d2: PUSH1 0x60 000006d4: SHL 000006d5: SUB 000006d6: NOT 000006d7: AND 000006d8: DUP2 000006d9: MSTORE 000006da: PUSH1 0x14 000006dc: ADD 000006dd: SWAP1 000006de: JUMP 000006df: JUMPDEST 000006e0: PUSH1 0x20 000006e2: DUP2 000006e3: MSTORE 000006e4: DUP2 000006e5: PUSH1 0x20 000006e7: DUP3 000006e8: ADD 000006e9: MSTORE 000006ea: DUP2 000006eb: DUP4 000006ec: PUSH1 0x40 000006ee: DUP4 000006ef: ADD 000006f0: CALLDATACOPY 000006f1: PUSH1 0x00 000006f3: DUP2 000006f4: DUP4 000006f5: ADD 000006f6: PUSH1 0x40 000006f8: SWAP1 000006f9: DUP2 000006fa: ADD 000006fb: SWAP2 000006fc: SWAP1 000006fd: SWAP2 000006fe: MSTORE 000006ff: PUSH1 0x1f 00000701: SWAP1 00000702: SWAP3 00000703: ADD 00000704: PUSH1 0x1f 00000706: NOT 00000707: AND 00000708: ADD 00000709: ADD 0000070a: SWAP2 0000070b: SWAP1 0000070c: POP 0000070d: JUMP 0000070e: JUMPDEST 0000070f: PUSH1 0x00 00000711: PUSH1 0x20 00000713: DUP1 00000714: DUP4 00000715: MSTORE 00000716: DUP4 00000717: MLOAD 00000718: DUP1 00000719: DUP3 0000071a: DUP6 0000071b: ADD 0000071c: MSTORE 0000071d: PUSH1 0x00 0000071f: JUMPDEST 00000720: DUP2 00000721: DUP2 00000722: LT 00000723: ISZERO 00000724: PUSH2 0x073b 00000727: JUMPI 00000728: DUP6 00000729: DUP2 0000072a: ADD 0000072b: DUP4 0000072c: ADD 0000072d: MLOAD 0000072e: DUP6 0000072f: DUP3 00000730: ADD 00000731: PUSH1 0x40 00000733: ADD 00000734: MSTORE 00000735: DUP3 00000736: ADD 00000737: PUSH2 0x071f 0000073a: JUMP 0000073b: JUMPDEST 0000073c: DUP2 0000073d: DUP2 0000073e: GT 0000073f: ISZERO 00000740: PUSH2 0x074d 00000743: JUMPI 00000744: PUSH1 0x00 00000746: PUSH1 0x40 00000748: DUP4 00000749: DUP8 0000074a: ADD 0000074b: ADD 0000074c: MSTORE 0000074d: JUMPDEST 0000074e: POP 0000074f: PUSH1 0x1f 00000751: ADD 00000752: PUSH1 0x1f 00000754: NOT 00000755: AND 00000756: SWAP3 00000757: SWAP1 00000758: SWAP3 00000759: ADD 0000075a: PUSH1 0x40 0000075c: ADD 0000075d: SWAP4 0000075e: SWAP3 0000075f: POP 00000760: POP 00000761: POP 00000762: JUMP 00000763: JUMPDEST 00000764: PUSH1 0x00 00000766: DUP3 00000767: NOT 00000768: DUP3 00000769: GT 0000076a: ISZERO 0000076b: PUSH2 0x0784 0000076e: JUMPI 0000076f: PUSH4 0x4e487b71 00000774: PUSH1 0xe0 00000776: SHL 00000777: PUSH1 0x00 00000779: MSTORE 0000077a: PUSH1 0x11 0000077c: PUSH1 0x04 0000077e: MSTORE 0000077f: PUSH1 0x24 00000781: PUSH1 0x00 00000783: REVERT 00000784: JUMPDEST 00000785: POP 00000786: ADD 00000787: SWAP1 00000788: JUMP 00000789: JUMPDEST 0000078a: PUSH1 0x01 0000078c: DUP2 0000078d: DUP2 0000078e: SHR 0000078f: SWAP1 00000790: DUP3 00000791: AND 00000792: DUP1 00000793: PUSH2 0x079d 00000796: JUMPI 00000797: PUSH1 0x7f 00000799: DUP3 0000079a: AND 0000079b: SWAP2 0000079c: POP 0000079d: JUMPDEST 0000079e: PUSH1 0x20 000007a0: DUP3 000007a1: LT 000007a2: DUP2 000007a3: EQ 000007a4: ISZERO 000007a5: PUSH2 0x07be 000007a8: JUMPI 000007a9: PUSH4 0x4e487b71 000007ae: PUSH1 0xe0 000007b0: SHL 000007b1: PUSH1 0x00 000007b3: MSTORE 000007b4: PUSH1 0x22 000007b6: PUSH1 0x04 000007b8: MSTORE 000007b9: PUSH1 0x24 000007bb: PUSH1 0x00 000007bd: REVERT 000007be: JUMPDEST 000007bf: POP 000007c0: SWAP2 000007c1: SWAP1 000007c2: POP 000007c3: JUMP 000007c4: JUMPDEST 000007c5: PUSH1 0x00 000007c7: DUP3 000007c8: PUSH2 0x07e1 000007cb: JUMPI 000007cc: PUSH4 0x4e487b71 000007d1: PUSH1 0xe0 000007d3: SHL 000007d4: PUSH1 0x00 000007d6: MSTORE 000007d7: PUSH1 0x12 000007d9: PUSH1 0x04 000007db: MSTORE 000007dc: PUSH1 0x24 000007de: PUSH1 0x00 000007e0: REVERT 000007e1: JUMPDEST 000007e2: POP 000007e3: MOD 000007e4: SWAP1 000007e5: JUMP 000007e6: JUMPDEST 000007e7: PUSH4 0x4e487b71 000007ec: PUSH1 0xe0 000007ee: SHL 000007ef: PUSH1 0x00 000007f1: MSTORE 000007f2: PUSH1 0x41 000007f4: PUSH1 0x04 000007f6: MSTORE 000007f7: PUSH1 0x24 000007f9: PUSH1 0x00 000007fb: REVERT 000007fc: INVALID 000007fd: LOG2 000007fe: PUSH5 0x6970667358 00000804: UNKNOWN(0x22) 00000805: SLT 00000806: KECCAK256 00000807: UNKNOWN(0x28) 00000808: DUP4 00000809: UNKNOWN(0xF8) 0000080a: UNKNOWN(0xBF) 0000080b: UNKNOWN(0xAA) 0000080c: UNKNOWN(0xA8) 0000080d: BLOBBASEFEE 0000080e: PUSH3 0xac4cb9 00000812: PUSH3 0x93ce25 00000816: UNKNOWN(0xFC) 00000817: SWAP6 00000818: UNKNOWN(0x28) 00000819: UNKNOWN(0xE1) 0000081a: UNKNOWN(0xA7) 0000081b: UNKNOWN(0xE0) 0000081c: UNKNOWN(0xC3) 0000081d: BYTE 0000081e: PUSH28
| 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": "0x3853682c",
"selector": "0x3853682c",
"calldata_variants": [
"0x3853682c",
"0x3853682c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3fad9ae0",
"selector": "0x3fad9ae0",
"calldata_variants": [
"0x3fad9ae0",
"0x3fad9ae00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x70f2d602",
"selector": "0x70f2d602",
"calldata_variants": [
"0x70f2d602",
"0x70f2d6020000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x83197ef0",
"selector": "0x83197ef0",
"calldata_variants": [
"0x83197ef0",
"0x83197ef00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbedf0f4a",
"selector": "0xbedf0f4a",
"calldata_variants": [
"0xbedf0f4a",
"0xbedf0f4a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc76de3e9",
"selector": "0xc76de3e9",
"calldata_variants": [
"0xc76de3e9",
"0xc76de3e90000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 234,
"type": "tx_origin_used"
},
{
"pc": 233,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xa1182ff499ecaec85cf9126b722181f6724757613d08f1a00ce8cf1dfe50b1eb
call_targets:
0x1231d62a583ad4c9a006ab81b44d3521e1fd6be7
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xa1182ff499ecaec85cf9126b722181f6724757613d08f1a00ce8cf1dfe50b1eb",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x1231d62a583ad4c9a006ab81b44d3521e1fd6be7"
],
"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": "0x3853682c",
"selector": "0x3853682c",
"calldata_variants": [
"0x3853682c",
"0x3853682c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3fad9ae0",
"selector": "0x3fad9ae0",
"calldata_variants": [
"0x3fad9ae0",
"0x3fad9ae00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x70f2d602",
"selector": "0x70f2d602",
"calldata_variants": [
"0x70f2d602",
"0x70f2d6020000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x83197ef0",
"selector": "0x83197ef0",
"calldata_variants": [
"0x83197ef0",
"0x83197ef00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbedf0f4a",
"selector": "0xbedf0f4a",
"calldata_variants": [
"0xbedf0f4a",
"0xbedf0f4a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc76de3e9",
"selector": "0xc76de3e9",
"calldata_variants": [
"0xc76de3e9",
"0xc76de3e90000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 332,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 459,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 955,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [
{
"pc": 234,
"type": "tx_origin_used"
},
{
"pc": 233,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 3
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xa1182ff499ecaec85cf9126b722181f6724757613d08f1a00ce8cf1dfe50b1eb
call_targets:
0x1231d62a583ad4c9a006ab81b44d3521e1fd6be7
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xa1182ff499ecaec85cf9126b722181f6724757613d08f1a00ce8cf1dfe50b1eb",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x1231d62a583ad4c9a006ab81b44d3521e1fd6be7"
],
"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": "0x3853682c",
"selector": "0x3853682c",
"calldata_variants": [
"0x3853682c",
"0x3853682c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3fad9ae0",
"selector": "0x3fad9ae0",
"calldata_variants": [
"0x3fad9ae0",
"0x3fad9ae00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x70f2d602",
"selector": "0x70f2d602",
"calldata_variants": [
"0x70f2d602",
"0x70f2d6020000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x83197ef0",
"selector": "0x83197ef0",
"calldata_variants": [
"0x83197ef0",
"0x83197ef00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbedf0f4a",
"selector": "0xbedf0f4a",
"calldata_variants": [
"0xbedf0f4a",
"0xbedf0f4a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc76de3e9",
"selector": "0xc76de3e9",
"calldata_variants": [
"0xc76de3e9",
"0xc76de3e90000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 332,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 459,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 955,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": [
{
"pc": 234,
"type": "tx_origin_used"
},
{
"pc": 233,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | SELFDESTRUCT reachable | 45 | no | no |
viewtrace_id: 0xae71633275f3036773e5f8f6695903a3d0452e25e40730ba7b91c2ea7345f2cb
validation_json{
"sink": "SELFDESTRUCT",
"errors": 0,
"status": "unknown",
"attempts": 12,
"trace_id": "0xae71633275f3036773e5f8f6695903a3d0452e25e40730ba7b91c2ea7345f2cb",
"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": "0x3853682c",
"selector": "0x3853682c",
"calldata_variants": [
"0x3853682c",
"0x3853682c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3fad9ae0",
"selector": "0x3fad9ae0",
"calldata_variants": [
"0x3fad9ae0",
"0x3fad9ae00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x70f2d602",
"selector": "0x70f2d602",
"calldata_variants": [
"0x70f2d602",
"0x70f2d6020000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x83197ef0",
"selector": "0x83197ef0",
"calldata_variants": [
"0x83197ef0",
"0x83197ef00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbedf0f4a",
"selector": "0xbedf0f4a",
"calldata_variants": [
"0xbedf0f4a",
"0xbedf0f4a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc76de3e9",
"selector": "0xc76de3e9",
"calldata_variants": [
"0xc76de3e9",
"0xc76de3e90000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 234,
"type": "tx_origin_used"
},
{
"pc": 233,
"type": "tx_origin_used"
}
],
"selfdestruct_count": 1
}
|