019b3836-3505-735c-83c7-5ad633708400
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 |
|---|---|---|---|---|
| 3355 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 3356 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 105233 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 105234 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 105235 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 105236 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLDATASIZE 00000006: ISZERO 00000007: PUSH2 0x008a 0000000a: JUMPI 0000000b: PUSH1 0x00 0000000d: CALLDATALOAD 0000000e: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002c: SWAP1 0000002d: DIV 0000002e: DUP1 0000002f: PUSH4 0x06fdde03 00000034: EQ 00000035: PUSH2 0x025f 00000038: JUMPI 00000039: DUP1 0000003a: PUSH4 0x21f8a721 0000003f: EQ 00000040: PUSH2 0x0282 00000043: JUMPI 00000044: DUP1 00000045: PUSH4 0x3751707c 0000004a: EQ 0000004b: PUSH2 0x02c4 0000004e: JUMPI 0000004f: DUP1 00000050: PUSH4 0x3ed48679 00000055: EQ 00000056: PUSH2 0x02fd 00000059: JUMPI 0000005a: DUP1 0000005b: PUSH4 0x651e723c 00000060: EQ 00000061: PUSH2 0x03cc 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0x7948f523 0000006b: EQ 0000006c: PUSH2 0x04d6 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x93423e9c 00000076: EQ 00000077: PUSH2 0x050b 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xa7f43779 00000081: EQ 00000082: PUSH2 0x0537 00000085: JUMPI 00000086: PUSH2 0x008a 00000089: JUMP 0000008a: JUMPDEST 0000008b: PUSH2 0x0249 0000008e: JUMPDEST 0000008f: PUSH1 0x00 00000091: PUSH32 0x7369676e65720000000000000000000000000000000000000000000000000000 000000b2: PUSH1 0x00 000000b4: PUSH1 0x00 000000b6: PUSH1 0x00 000000b8: SWAP1 000000b9: SLOAD 000000ba: SWAP1 000000bb: PUSH2 0x0100 000000be: EXP 000000bf: SWAP1 000000c0: DIV 000000c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000d6: AND 000000d7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000ec: AND 000000ed: EQ 000000ee: ISZERO 000000ef: DUP1 000000f0: ISZERO 000000f1: PUSH2 0x01b6 000000f4: JUMPI 000000f5: POP 000000f6: PUSH1 0x01 000000f8: PUSH1 0x00 000000fa: SWAP1 000000fb: SLOAD 000000fc: SWAP1 000000fd: PUSH2 0x0100 00000100: EXP 00000101: SWAP1 00000102: DIV 00000103: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000118: AND 00000119: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000012e: AND 0000012f: PUSH4 0xa1add510 00000134: PUSH1 0x02 00000136: PUSH1 0x00 00000138: POP 00000139: SLOAD 0000013a: DUP4 0000013b: CALLER 0000013c: PUSH1 0x40 0000013e: MLOAD 0000013f: DUP5 00000140: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000015e: MUL 0000015f: DUP2 00000160: MSTORE 00000161: PUSH1 0x04 00000163: ADD 00000164: DUP1 00000165: DUP5 00000166: DUP2 00000167: MSTORE 00000168: PUSH1 0x20 0000016a: ADD 0000016b: DUP4 0000016c: DUP2 0000016d: MSTORE 0000016e: PUSH1 0x20 00000170: ADD 00000171: DUP3 00000172: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000187: AND 00000188: DUP2 00000189: MSTORE 0000018a: PUSH1 0x20 0000018c: ADD 0000018d: SWAP4 0000018e: POP 0000018f: POP 00000190: POP 00000191: POP 00000192: PUSH1 0x20 00000194: PUSH1 0x40 00000196: MLOAD 00000197: DUP1 00000198: DUP4 00000199: SUB 0000019a: DUP2 0000019b: PUSH1 0x00 0000019d: DUP8 0000019e: PUSH2 0x61da 000001a1: GAS 000001a2: SUB 000001a3: CALL 000001a4: ISZERO 000001a5: PUSH2 0x0002 000001a8: JUMPI 000001a9: POP 000001aa: POP 000001ab: POP 000001ac: PUSH1 0x40 000001ae: MLOAD 000001af: DUP1 000001b0: MLOAD 000001b1: SWAP1 000001b2: PUSH1 0x20 000001b4: ADD 000001b5: POP 000001b6: JUMPDEST 000001b7: ISZERO 000001b8: PUSH2 0x0244 000001bb: JUMPI 000001bc: PUSH1 0x00 000001be: PUSH1 0x00 000001c0: CALLDATASIZE 000001c1: SWAP1 000001c2: POP 000001c3: GT 000001c4: ISZERO 000001c5: PUSH2 0x023a 000001c8: JUMPI 000001c9: PUSH2 0x01f1 000001cc: PUSH32 0x656c636f696e0000000000000000000000000000000000000000000000000000 000001ed: PUSH2 0x0575 000001f0: JUMP 000001f1: JUMPDEST 000001f2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000207: AND 00000208: PUSH1 0x00 0000020a: CALLDATASIZE 0000020b: PUSH1 0x40 0000020d: MLOAD 0000020e: DUP1 0000020f: DUP4 00000210: DUP4 00000211: DUP1 00000212: DUP3 00000213: DUP5 00000214: CALLDATACOPY 00000215: DUP3 00000216: ADD 00000217: SWAP2 00000218: POP 00000219: POP 0000021a: SWAP3 0000021b: POP 0000021c: POP 0000021d: POP 0000021e: PUSH1 0x00 00000220: PUSH1 0x40 00000222: MLOAD 00000223: DUP1 00000224: DUP4 00000225: SUB 00000226: DUP2 00000227: PUSH1 0x00 00000229: DUP7 0000022a: PUSH2 0x61da 0000022d: GAS 0000022e: SUB 0000022f: CALL 00000230: SWAP2 00000231: POP 00000232: POP 00000233: SWAP2 00000234: POP 00000235: POP 00000236: PUSH2 0x0246 00000239: JUMP 0000023a: JUMPDEST 0000023b: PUSH1 0x00 0000023d: SWAP2 0000023e: POP 0000023f: POP 00000240: PUSH2 0x0246 00000243: JUMP 00000244: JUMPDEST 00000245: POP 00000246: JUMPDEST 00000247: SWAP1 00000248: JUMP 00000249: JUMPDEST 0000024a: PUSH1 0x40 0000024c: MLOAD 0000024d: DUP1 0000024e: DUP3 0000024f: DUP2 00000250: MSTORE 00000251: PUSH1 0x20 00000253: ADD 00000254: SWAP2 00000255: POP 00000256: POP 00000257: PUSH1 0x40 00000259: MLOAD 0000025a: DUP1 0000025b: SWAP2 0000025c: SUB 0000025d: SWAP1 0000025e: RETURN 0000025f: JUMPDEST 00000260: PUSH2 0x026c 00000263: PUSH1 0x04 00000265: DUP1 00000266: POP 00000267: POP 00000268: PUSH2 0x056c 0000026b: JUMP 0000026c: JUMPDEST 0000026d: PUSH1 0x40 0000026f: MLOAD 00000270: DUP1 00000271: DUP3 00000272: DUP2 00000273: MSTORE 00000274: PUSH1 0x20 00000276: ADD 00000277: SWAP2 00000278: POP 00000279: POP 0000027a: PUSH1 0x40 0000027c: MLOAD 0000027d: DUP1 0000027e: SWAP2 0000027f: SUB 00000280: SWAP1 00000281: RETURN 00000282: JUMPDEST 00000283: PUSH2 0x0298 00000286: PUSH1 0x04 00000288: DUP1 00000289: DUP1 0000028a: CALLDATALOAD 0000028b: SWAP1 0000028c: PUSH1 0x20 0000028e: ADD 0000028f: SWAP1 00000290: SWAP2 00000291: SWAP1 00000292: POP 00000293: POP 00000294: PUSH2 0x0575 00000297: JUMP 00000298: JUMPDEST 00000299: PUSH1 0x40 0000029b: MLOAD 0000029c: DUP1 0000029d: DUP3 0000029e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002b3: AND 000002b4: DUP2 000002b5: MSTORE 000002b6: PUSH1 0x20 000002b8: ADD 000002b9: SWAP2 000002ba: POP 000002bb: POP 000002bc: PUSH1 0x40 000002be: MLOAD 000002bf: DUP1 000002c0: SWAP2 000002c1: SUB 000002c2: SWAP1 000002c3: RETURN 000002c4: JUMPDEST 000002c5: PUSH2 0x02d1 000002c8: PUSH1 0x04 000002ca: DUP1 000002cb: POP 000002cc: POP 000002cd: PUSH2 0x0546 000002d0: JUMP 000002d1: JUMPDEST 000002d2: PUSH1 0x40 000002d4: MLOAD 000002d5: DUP1 000002d6: DUP3 000002d7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002ec: AND 000002ed: DUP2 000002ee: MSTORE 000002ef: PUSH1 0x20 000002f1: ADD 000002f2: SWAP2 000002f3: POP 000002f4: POP 000002f5: PUSH1 0x40 000002f7: MLOAD 000002f8: DUP1 000002f9: SWAP2 000002fa: SUB 000002fb: SWAP1 000002fc: RETURN 000002fd: JUMPDEST 000002fe: PUSH2 0x03b6 00000301: PUSH1 0x04 00000303: DUP1 00000304: DUP1 00000305: CALLDATALOAD 00000306: SWAP1 00000307: PUSH1 0x20 00000309: ADD 0000030a: SWAP1 0000030b: SWAP2 0000030c: SWAP1 0000030d: DUP1 0000030e: CALLDATALOAD 0000030f: SWAP1 00000310: PUSH1 0x20 00000312: ADD 00000313: SWAP1 00000314: SWAP2 00000315: SWAP1 00000316: DUP1 00000317: CALLDATALOAD 00000318: SWAP1 00000319: PUSH1 0x20 0000031b: ADD 0000031c: SWAP1 0000031d: DUP3 0000031e: ADD 0000031f: DUP1 00000320: CALLDATALOAD 00000321: SWAP1 00000322: PUSH1 0x20 00000324: ADD 00000325: SWAP2 00000326: SWAP2 00000327: SWAP1 00000328: DUP1 00000329: DUP1 0000032a: PUSH1 0x20 0000032c: MUL 0000032d: PUSH1 0x20 0000032f: ADD 00000330: PUSH1 0x40 00000332: MLOAD 00000333: SWAP1 00000334: DUP2 00000335: ADD 00000336: PUSH1 0x40 00000338: MSTORE 00000339: DUP1 0000033a: SWAP4 0000033b: SWAP3 0000033c: SWAP2 0000033d: SWAP1 0000033e: DUP2 0000033f: DUP2 00000340: MSTORE 00000341: PUSH1 0x20 00000343: ADD 00000344: DUP4 00000345: DUP4 00000346: PUSH1 0x20 00000348: MUL 00000349: DUP1 0000034a: DUP3 0000034b: DUP5 0000034c: CALLDATACOPY 0000034d: DUP3 0000034e: ADD 0000034f: SWAP2 00000350: POP 00000351: POP 00000352: POP 00000353: POP 00000354: POP 00000355: POP 00000356: SWAP1 00000357: SWAP1 00000358: SWAP2 00000359: SWAP1 0000035a: DUP1 0000035b: CALLDATALOAD 0000035c: SWAP1 0000035d: PUSH1 0x20 0000035f: ADD 00000360: SWAP1 00000361: DUP3 00000362: ADD 00000363: DUP1 00000364: CALLDATALOAD 00000365: SWAP1 00000366: PUSH1 0x20 00000368: ADD 00000369: SWAP2 0000036a: SWAP2 0000036b: SWAP1 0000036c: DUP1 0000036d: DUP1 0000036e: PUSH1 0x20 00000370: MUL 00000371: PUSH1 0x20 00000373: ADD 00000374: PUSH1 0x40 00000376: MLOAD 00000377: SWAP1 00000378: DUP2 00000379: ADD 0000037a: PUSH1 0x40 0000037c: MSTORE 0000037d: DUP1 0000037e: SWAP4 0000037f: SWAP3 00000380: SWAP2 00000381: SWAP1 00000382: DUP2 00000383: DUP2 00000384: MSTORE 00000385: PUSH1 0x20 00000387: ADD 00000388: DUP4 00000389: DUP4 0000038a: PUSH1 0x20 0000038c: MUL 0000038d: DUP1 0000038e: DUP3 0000038f: DUP5 00000390: CALLDATACOPY 00000391: DUP3 00000392: ADD 00000393: SWAP2 00000394: POP 00000395: POP 00000396: POP 00000397: POP 00000398: POP 00000399: POP 0000039a: SWAP1 0000039b: SWAP1 0000039c: SWAP2 0000039d: SWAP1 0000039e: DUP1 0000039f: CALLDATALOAD 000003a0: SWAP1 000003a1: PUSH1 0x20 000003a3: ADD 000003a4: SWAP1 000003a5: SWAP2 000003a6: SWAP1 000003a7: DUP1 000003a8: CALLDATALOAD 000003a9: SWAP1 000003aa: PUSH1 0x20 000003ac: ADD 000003ad: SWAP1 000003ae: SWAP2 000003af: SWAP1 000003b0: POP 000003b1: POP 000003b2: PUSH2 0x09f0 000003b5: JUMP 000003b6: JUMPDEST 000003b7: PUSH1 0x40 000003b9: MLOAD 000003ba: DUP1 000003bb: DUP3 000003bc: DUP2 000003bd: MSTORE 000003be: PUSH1 0x20 000003c0: ADD 000003c1: SWAP2 000003c2: POP 000003c3: POP 000003c4: PUSH1 0x40 000003c6: MLOAD 000003c7: DUP1 000003c8: SWAP2 000003c9: SUB 000003ca: SWAP1 000003cb: RETURN 000003cc: JUMPDEST 000003cd: PUSH2 0x04c0 000003d0: PUSH1 0x04 000003d2: DUP1 000003d3: DUP1 000003d4: CALLDATALOAD 000003d5: SWAP1 000003d6: PUSH1 0x20 000003d8: ADD 000003d9: SWAP1 000003da: SWAP2 000003db: SWAP1 000003dc: DUP1 000003dd: CALLDATALOAD 000003de: SWAP1 000003df: PUSH1 0x20 000003e1: ADD 000003e2: SWAP1 000003e3: SWAP2 000003e4: SWAP1 000003e5: DUP1 000003e6: CALLDATALOAD 000003e7: SWAP1 000003e8: PUSH1 0x20 000003ea: ADD 000003eb: SWAP1 000003ec: DUP3 000003ed: ADD 000003ee: DUP1 000003ef: CALLDATALOAD 000003f0: SWAP1 000003f1: PUSH1 0x20 000003f3: ADD 000003f4: SWAP2 000003f5: SWAP2 000003f6: SWAP1 000003f7: DUP1 000003f8: DUP1 000003f9: PUSH1 0x20 000003fb: MUL 000003fc: PUSH1 0x20 000003fe: ADD 000003ff: PUSH1 0x40 00000401: MLOAD 00000402: SWAP1 00000403: DUP2 00000404: ADD 00000405: PUSH1 0x40 00000407: MSTORE 00000408: DUP1 00000409: SWAP4 0000040a: SWAP3 0000040b: SWAP2 0000040c: SWAP1 0000040d: DUP2 0000040e: DUP2 0000040f: MSTORE 00000410: PUSH1 0x20 00000412: ADD 00000413: DUP4 00000414: DUP4 00000415: PUSH1 0x20 00000417: MUL 00000418: DUP1 00000419: DUP3 0000041a: DUP5 0000041b: CALLDATACOPY 0000041c: DUP3 0000041d: ADD 0000041e: SWAP2 0000041f: POP 00000420: POP 00000421: POP 00000422: POP 00000423: POP 00000424: POP 00000425: SWAP1 00000426: SWAP1 00000427: SWAP2 00000428: SWAP1 00000429: DUP1 0000042a: CALLDATALOAD 0000042b: SWAP1 0000042c: PUSH1 0x20 0000042e: ADD 0000042f: SWAP1 00000430: DUP3 00000431: ADD 00000432: DUP1 00000433: CALLDATALOAD 00000434: SWAP1 00000435: PUSH1 0x20 00000437: ADD 00000438: SWAP2 00000439: SWAP2 0000043a: SWAP1 0000043b: DUP1 0000043c: DUP1 0000043d: PUSH1 0x20 0000043f: MUL 00000440: PUSH1 0x20 00000442: ADD 00000443: PUSH1 0x40 00000445: MLOAD 00000446: SWAP1 00000447: DUP2 00000448: ADD 00000449: PUSH1 0x40 0000044b: MSTORE 0000044c: DUP1 0000044d: SWAP4 0000044e: SWAP3 0000044f: SWAP2 00000450: SWAP1 00000451: DUP2 00000452: DUP2 00000453: MSTORE 00000454: PUSH1 0x20 00000456: ADD 00000457: DUP4 00000458: DUP4 00000459: PUSH1 0x20 0000045b: MUL 0000045c: DUP1 0000045d: DUP3 0000045e: DUP5 0000045f: CALLDATACOPY 00000460: DUP3 00000461: ADD 00000462: SWAP2 00000463: POP 00000464: POP 00000465: POP 00000466: POP 00000467: POP 00000468: POP 00000469: SWAP1 0000046a: SWAP1 0000046b: SWAP2 0000046c: SWAP1 0000046d: DUP1 0000046e: CALLDATALOAD 0000046f: SWAP1 00000470: PUSH1 0x20 00000472: ADD 00000473: SWAP1 00000474: SWAP2 00000475: SWAP1 00000476: DUP1 00000477: CALLDATALOAD 00000478: SWAP1 00000479: PUSH1 0x20 0000047b: ADD 0000047c: SWAP1 0000047d: DUP3 0000047e: ADD 0000047f: DUP1 00000480: CALLDATALOAD 00000481: SWAP1 00000482: PUSH1 0x20 00000484: ADD 00000485: SWAP2 00000486: SWAP2 00000487: SWAP1 00000488: DUP1 00000489: DUP1 0000048a: PUSH1 0x20 0000048c: MUL 0000048d: PUSH1 0x20 0000048f: ADD 00000490: PUSH1 0x40 00000492: MLOAD 00000493: SWAP1 00000494: DUP2 00000495: ADD 00000496: PUSH1 0x40 00000498: MSTORE 00000499: DUP1 0000049a: SWAP4 0000049b: SWAP3 0000049c: SWAP2 0000049d: SWAP1 0000049e: DUP2 0000049f: DUP2 000004a0: MSTORE 000004a1: PUSH1 0x20 000004a3: ADD 000004a4: DUP4 000004a5: DUP4 000004a6: PUSH1 0x20 000004a8: MUL 000004a9: DUP1 000004aa: DUP3 000004ab: DUP5 000004ac: CALLDATACOPY 000004ad: DUP3 000004ae: ADD 000004af: SWAP2 000004b0: POP 000004b1: POP 000004b2: POP 000004b3: POP 000004b4: POP 000004b5: POP 000004b6: SWAP1 000004b7: SWAP1 000004b8: SWAP2 000004b9: SWAP1 000004ba: POP 000004bb: POP 000004bc: PUSH2 0x0916 000004bf: JUMP 000004c0: JUMPDEST 000004c1: PUSH1 0x40 000004c3: MLOAD 000004c4: DUP1 000004c5: DUP3 000004c6: DUP2 000004c7: MSTORE 000004c8: PUSH1 0x20 000004ca: ADD 000004cb: SWAP2 000004cc: POP 000004cd: POP 000004ce: PUSH1 0x40 000004d0: MLOAD 000004d1: DUP1 000004d2: SWAP2 000004d3: SUB 000004d4: SWAP1 000004d5: RETURN 000004d6: JUMPDEST 000004d7: PUSH2 0x04f5 000004da: PUSH1 0x04 000004dc: DUP1 000004dd: DUP1 000004de: CALLDATALOAD 000004df: SWAP1 000004e0: PUSH1 0x20 000004e2: ADD 000004e3: SWAP1 000004e4: SWAP2 000004e5: SWAP1 000004e6: DUP1 000004e7: CALLDATALOAD 000004e8: SWAP1 000004e9: PUSH1 0x20 000004eb: ADD 000004ec: SWAP1 000004ed: SWAP2 000004ee: SWAP1 000004ef: POP 000004f0: POP 000004f1: PUSH2 0x0618 000004f4: JUMP 000004f5: JUMPDEST 000004f6: PUSH1 0x40 000004f8: MLOAD 000004f9: DUP1 000004fa: DUP3 000004fb: DUP2 000004fc: MSTORE 000004fd: PUSH1 0x20 000004ff: ADD 00000500: SWAP2 00000501: POP 00000502: POP 00000503: PUSH1 0x40 00000505: MLOAD 00000506: DUP1 00000507: SWAP2 00000508: SUB 00000509: SWAP1 0000050a: RETURN 0000050b: JUMPDEST 0000050c: PUSH2 0x0521 0000050f: PUSH1 0x04 00000511: DUP1 00000512: DUP1 00000513: CALLDATALOAD 00000514: SWAP1 00000515: PUSH1 0x20 00000517: ADD 00000518: SWAP1 00000519: SWAP2 0000051a: SWAP1 0000051b: POP 0000051c: POP 0000051d: PUSH2 0x092b 00000520: JUMP 00000521: JUMPDEST 00000522: PUSH1 0x40 00000524: MLOAD 00000525: DUP1 00000526: DUP3 00000527: DUP2 00000528: MSTORE 00000529: PUSH1 0x20 0000052b: ADD 0000052c: SWAP2 0000052d: POP 0000052e: POP 0000052f: PUSH1 0x40 00000531: MLOAD 00000532: DUP1 00000533: SWAP2 00000534: SUB 00000535: SWAP1 00000536: RETURN 00000537: JUMPDEST 00000538: PUSH2 0x0544 0000053b: PUSH1 0x04 0000053d: DUP1 0000053e: POP 0000053f: POP 00000540: PUSH2 0x0882 00000543: JUMP 00000544: JUMPDEST 00000545: STOP 00000546: JUMPDEST 00000547: PUSH1 0x00 00000549: PUSH1 0x00 0000054b: SWAP1 0000054c: SLOAD 0000054d: SWAP1 0000054e: PUSH2 0x0100 00000551: EXP 00000552: SWAP1 00000553: DIV 00000554: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000569: AND 0000056a: DUP2 0000056b: JUMP 0000056c: JUMPDEST 0000056d: PUSH1 0x02 0000056f: PUSH1 0x00 00000571: POP 00000572: SLOAD 00000573: DUP2 00000574: JUMP 00000575: JUMPDEST 00000576: PUSH1 0x00 00000578: PUSH1 0x01 0000057a: PUSH1 0x00 0000057c: SWAP1 0000057d: SLOAD 0000057e: SWAP1 0000057f: PUSH2 0x0100 00000582: EXP 00000583: SWAP1 00000584: DIV 00000585: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000059a: AND 0000059b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005b0: AND 000005b1: PUSH4 0x2ade6c36 000005b6: DUP4 000005b7: PUSH1 0x40 000005b9: MLOAD 000005ba: DUP3 000005bb: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 000005d9: MUL 000005da: DUP2 000005db: MSTORE 000005dc: PUSH1 0x04 000005de: ADD 000005df: DUP1 000005e0: DUP3 000005e1: DUP2 000005e2: MSTORE 000005e3: PUSH1 0x20 000005e5: ADD 000005e6: SWAP2 000005e7: POP 000005e8: POP 000005e9: PUSH1 0x20 000005eb: PUSH1 0x40 000005ed: MLOAD 000005ee: DUP1 000005ef: DUP4 000005f0: SUB 000005f1: DUP2 000005f2: PUSH1 0x00 000005f4: DUP8 000005f5: PUSH2 0x61da 000005f8: GAS 000005f9: SUB 000005fa: CALL 000005fb: ISZERO 000005fc: PUSH2 0x0002 000005ff: JUMPI 00000600: POP 00000601: POP 00000602: POP 00000603: PUSH1 0x40 00000605: MLOAD 00000606: DUP1 00000607: MLOAD 00000608: SWAP1 00000609: PUSH1 0x20 0000060b: ADD 0000060c: POP 0000060d: SWAP1 0000060e: POP 0000060f: PUSH2 0x0613 00000612: JUMP 00000613: JUMPDEST 00000614: SWAP2 00000615: SWAP1 00000616: POP 00000617: JUMP 00000618: JUMPDEST 00000619: PUSH1 0x00 0000061b: PUSH1 0x00 0000061d: PUSH1 0x00 0000061f: PUSH1 0x00 00000621: PUSH1 0x00 00000623: PUSH1 0x00 00000625: SWAP1 00000626: SLOAD 00000627: SWAP1 00000628: PUSH2 0x0100 0000062b: EXP 0000062c: SWAP1 0000062d: DIV 0000062e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000643: AND 00000644: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000659: AND 0000065a: EQ 0000065b: ISZERO 0000065c: DUP1 0000065d: ISZERO 0000065e: PUSH2 0x06b5 00000661: JUMPI 00000662: POP 00000663: PUSH1 0x00 00000665: PUSH1 0x00 00000667: SWAP1 00000668: SLOAD 00000669: SWAP1 0000066a: PUSH2 0x0100 0000066d: EXP 0000066e: SWAP1 0000066f: DIV 00000670: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000685: AND 00000686: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000069b: AND 0000069c: DUP6 0000069d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006b2: AND 000006b3: EQ 000006b4: ISZERO 000006b5: JUMPDEST 000006b6: ISZERO 000006b7: PUSH2 0x06c3 000006ba: JUMPI 000006bb: PUSH1 0x00 000006bd: SWAP3 000006be: POP 000006bf: PUSH2 0x087a 000006c2: JUMP 000006c3: JUMPDEST 000006c4: DUP5 000006c5: SWAP2 000006c6: POP 000006c7: ADDRESS 000006c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006dd: AND 000006de: DUP3 000006df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006f4: AND 000006f5: PUSH4 0x2ade6c36 000006fa: DUP7 000006fb: PUSH1 0x40 000006fd: MLOAD 000006fe: DUP3 000006ff: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000071d: MUL 0000071e: DUP2 0000071f: MSTORE 00000720: PUSH1 0x04 00000722: ADD 00000723: DUP1 00000724: DUP3 00000725: DUP2 00000726: MSTORE 00000727: PUSH1 0x20 00000729: ADD 0000072a: SWAP2 0000072b: POP 0000072c: POP 0000072d: PUSH1 0x20 0000072f: PUSH1 0x40 00000731: MLOAD 00000732: DUP1 00000733: DUP4 00000734: SUB 00000735: DUP2 00000736: PUSH1 0x00 00000738: DUP8 00000739: PUSH2 0x61da 0000073c: GAS 0000073d: SUB 0000073e: CALL 0000073f: ISZERO 00000740: PUSH2 0x0002 00000743: JUMPI 00000744: POP 00000745: POP 00000746: POP 00000747: PUSH1 0x40 00000749: MLOAD 0000074a: DUP1 0000074b: MLOAD 0000074c: SWAP1 0000074d: PUSH1 0x20 0000074f: ADD 00000750: POP 00000751: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000766: AND 00000767: EQ 00000768: ISZERO 00000769: ISZERO 0000076a: PUSH2 0x0811 0000076d: JUMPI 0000076e: DUP2 0000076f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000784: AND 00000785: PUSH4 0x76849376 0000078a: DUP6 0000078b: ADDRESS 0000078c: PUSH1 0x40 0000078e: MLOAD 0000078f: DUP4 00000790: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 000007ae: MUL 000007af: DUP2 000007b0: MSTORE 000007b1: PUSH1 0x04 000007b3: ADD 000007b4: DUP1 000007b5: DUP4 000007b6: DUP2 000007b7: MSTORE 000007b8: PUSH1 0x20 000007ba: ADD 000007bb: DUP3 000007bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007d1: AND 000007d2: DUP2 000007d3: MSTORE 000007d4: PUSH1 0x20 000007d6: ADD 000007d7: SWAP3 000007d8: POP 000007d9: POP 000007da: POP 000007db: PUSH1 0x20 000007dd: PUSH1 0x40 000007df: MLOAD 000007e0: DUP1 000007e1: DUP4 000007e2: SUB 000007e3: DUP2 000007e4: PUSH1 0x00 000007e6: DUP8 000007e7: PUSH2 0x61da 000007ea: GAS 000007eb: SUB 000007ec: CALL 000007ed: ISZERO 000007ee: PUSH2 0x0002 000007f1: JUMPI 000007f2: POP 000007f3: POP 000007f4: POP 000007f5: PUSH1 0x40 000007f7: MLOAD 000007f8: DUP1 000007f9: MLOAD 000007fa: SWAP1 000007fb: PUSH1 0x20 000007fd: ADD 000007fe: POP 000007ff: SWAP1 00000800: POP 00000801: DUP1 00000802: ISZERO 00000803: ISZERO 00000804: PUSH2 0x0810 00000807: JUMPI 00000808: PUSH1 0x00 0000080a: SWAP3 0000080b: POP 0000080c: PUSH2 0x087a 0000080f: JUMP 00000810: JUMPDEST 00000811: JUMPDEST 00000812: DUP4 00000813: PUSH1 0x02 00000815: PUSH1 0x00 00000817: POP 00000818: DUP2 00000819: SWAP1 0000081a: SSTORE 0000081b: POP 0000081c: DUP5 0000081d: PUSH1 0x00 0000081f: PUSH1 0x00 00000821: PUSH2 0x0100 00000824: EXP 00000825: DUP2 00000826: SLOAD 00000827: DUP2 00000828: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000083d: MUL 0000083e: NOT 0000083f: AND 00000840: SWAP1 00000841: DUP4 00000842: MUL 00000843: OR 00000844: SWAP1 00000845: SSTORE 00000846: POP 00000847: DUP2 00000848: PUSH1 0x01 0000084a: PUSH1 0x00 0000084c: PUSH2 0x0100 0000084f: EXP 00000850: DUP2 00000851: SLOAD 00000852: DUP2 00000853: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000868: MUL 00000869: NOT 0000086a: AND 0000086b: SWAP1 0000086c: DUP4 0000086d: MUL 0000086e: OR 0000086f: SWAP1 00000870: SSTORE 00000871: POP 00000872: PUSH1 0x01 00000874: SWAP3 00000875: POP 00000876: PUSH2 0x087a 00000879: JUMP 0000087a: JUMPDEST 0000087b: POP 0000087c: POP 0000087d: SWAP3 0000087e: SWAP2 0000087f: POP 00000880: POP 00000881: JUMP 00000882: JUMPDEST 00000883: PUSH1 0x00 00000885: PUSH1 0x00 00000887: SWAP1 00000888: SLOAD 00000889: SWAP1 0000088a: PUSH2 0x0100 0000088d: EXP 0000088e: SWAP1 0000088f: DIV 00000890: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008a5: AND 000008a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008bb: AND 000008bc: CALLER 000008bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008d2: AND 000008d3: EQ 000008d4: ISZERO 000008d5: PUSH2 0x0913 000008d8: JUMPI 000008d9: PUSH1 0x00 000008db: PUSH1 0x00 000008dd: SWAP1 000008de: SLOAD 000008df: SWAP1 000008e0: PUSH2 0x0100 000008e3: EXP 000008e4: SWAP1 000008e5: DIV 000008e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008fb: AND 000008fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000911: AND 00000912: SELFDESTRUCT 00000913: JUMPDEST 00000914: JUMPDEST 00000915: JUMP 00000916: JUMPDEST 00000917: PUSH1 0x00 00000919: PUSH1 0x01 0000091b: SWAP1 0000091c: POP 0000091d: PUSH2 0x0921 00000920: JUMP 00000921: JUMPDEST 00000922: SWAP7 00000923: SWAP6 00000924: POP 00000925: POP 00000926: POP 00000927: POP 00000928: POP 00000929: POP 0000092a: JUMP 0000092b: JUMPDEST 0000092c: PUSH1 0x00 0000092e: PUSH1 0x00 00000930: PUSH2 0x0958 00000933: PUSH32 0x656c636f696e4462000000000000000000000000000000000000000000000000 00000954: PUSH2 0x0575 00000957: JUMP 00000958: JUMPDEST 00000959: SWAP1 0000095a: POP 0000095b: DUP1 0000095c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000971: AND 00000972: PUSH4 0xf8b2cb4f 00000977: DUP5 00000978: PUSH1 0x40 0000097a: MLOAD 0000097b: DUP3 0000097c: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000099a: MUL 0000099b: DUP2 0000099c: MSTORE 0000099d: PUSH1 0x04 0000099f: ADD 000009a0: DUP1 000009a1: DUP3 000009a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009b7: AND 000009b8: DUP2 000009b9: MSTORE 000009ba: PUSH1 0x20 000009bc: ADD 000009bd: SWAP2 000009be: POP 000009bf: POP 000009c0: PUSH1 0x20 000009c2: PUSH1 0x40 000009c4: MLOAD 000009c5: DUP1 000009c6: DUP4 000009c7: SUB 000009c8: DUP2 000009c9: PUSH1 0x00 000009cb: DUP8 000009cc: PUSH2 0x61da 000009cf: GAS 000009d0: SUB 000009d1: CALL 000009d2: ISZERO 000009d3: PUSH2 0x0002 000009d6: JUMPI 000009d7: POP 000009d8: POP 000009d9: POP 000009da: PUSH1 0x40 000009dc: MLOAD 000009dd: DUP1 000009de: MLOAD 000009df: SWAP1 000009e0: PUSH1 0x20 000009e2: ADD 000009e3: POP 000009e4: SWAP2 000009e5: POP 000009e6: PUSH2 0x09ea 000009e9: JUMP 000009ea: JUMPDEST 000009eb: POP 000009ec: SWAP2 000009ed: SWAP1 000009ee: POP 000009ef: JUMP 000009f0: JUMPDEST 000009f1: PUSH1 0x00 000009f3: PUSH1 0x00 000009f5: PUSH32 0x7369676e65720000000000000000000000000000000000000000000000000000 00000a16: PUSH1 0x00 00000a18: PUSH1 0x00 00000a1a: PUSH1 0x00 00000a1c: SWAP1 00000a1d: SLOAD 00000a1e: SWAP1 00000a1f: PUSH2 0x0100 00000a22: EXP 00000a23: SWAP1 00000a24: DIV 00000a25: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a3a: AND 00000a3b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a50: AND 00000a51: EQ 00000a52: ISZERO 00000a53: DUP1 00000a54: ISZERO 00000a55: PUSH2 0x0b1a 00000a58: JUMPI 00000a59: POP 00000a5a: PUSH1 0x01 00000a5c: PUSH1 0x00 00000a5e: SWAP1 00000a5f: SLOAD 00000a60: SWAP1 00000a61: PUSH2 0x0100 00000a64: EXP 00000a65: SWAP1 00000a66: DIV 00000a67: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a7c: AND 00000a7d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a92: AND 00000a93: PUSH4 0xa1add510 00000a98: PUSH1 0x02 00000a9a: PUSH1 0x00 00000a9c: POP 00000a9d: SLOAD 00000a9e: DUP4 00000a9f: CALLER 00000aa0: PUSH1 0x40 00000aa2: MLOAD 00000aa3: DUP5 00000aa4: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000ac2: MUL 00000ac3: DUP2 00000ac4: MSTORE 00000ac5: PUSH1 0x04 00000ac7: ADD 00000ac8: DUP1 00000ac9: DUP5 00000aca: DUP2 00000acb: MSTORE 00000acc: PUSH1 0x20 00000ace: ADD 00000acf: DUP4 00000ad0: DUP2 00000ad1: MSTORE 00000ad2: PUSH1 0x20 00000ad4: ADD 00000ad5: DUP3 00000ad6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000aeb: AND 00000aec: DUP2 00000aed: MSTORE 00000aee: PUSH1 0x20 00000af0: ADD 00000af1: SWAP4 00000af2: POP 00000af3: POP 00000af4: POP 00000af5: POP 00000af6: PUSH1 0x20 00000af8: PUSH1 0x40 00000afa: MLOAD 00000afb: DUP1 00000afc: DUP4 00000afd: SUB 00000afe: DUP2 00000aff: PUSH1 0x00 00000b01: DUP8 00000b02: PUSH2 0x61da 00000b05: GAS 00000b06: SUB 00000b07: CALL 00000b08: ISZERO 00000b09: PUSH2 0x0002 00000b0c: JUMPI 00000b0d: POP 00000b0e: POP 00000b0f: POP 00000b10: PUSH1 0x40 00000b12: MLOAD 00000b13: DUP1 00000b14: MLOAD 00000b15: SWAP1 00000b16: PUSH1 0x20 00000b18: ADD 00000b19: POP 00000b1a: JUMPDEST 00000b1b: ISZERO 00000b1c: PUSH2 0x0c01 00000b1f: JUMPI 00000b20: PUSH2 0x0b48 00000b23: PUSH32 0x656c636f696e0000000000000000000000000000000000000000000000000000 00000b44: PUSH2 0x0575 00000b47: JUMP 00000b48: JUMPDEST 00000b49: SWAP2 00000b4a: POP 00000b4b: DUP2 00000b4c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b61: AND 00000b62: PUSH4 0xaa64c43b 00000b67: DUP11 00000b68: DUP8 00000b69: DUP8 00000b6a: PUSH1 0x40 00000b6c: MLOAD 00000b6d: DUP5 00000b6e: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000b8c: MUL 00000b8d: DUP2 00000b8e: MSTORE 00000b8f: PUSH1 0x04 00000b91: ADD 00000b92: DUP1 00000b93: DUP5 00000b94: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ba9: AND 00000baa: DUP2 00000bab: MSTORE 00000bac: PUSH1 0x20 00000bae: ADD 00000baf: DUP4 00000bb0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bc5: AND 00000bc6: DUP2 00000bc7: MSTORE 00000bc8: PUSH1 0x20 00000bca: ADD 00000bcb: DUP3 00000bcc: DUP2 00000bcd: MSTORE 00000bce: PUSH1 0x20 00000bd0: ADD 00000bd1: SWAP4 00000bd2: POP 00000bd3: POP 00000bd4: POP 00000bd5: POP 00000bd6: PUSH1 0x20 00000bd8: PUSH1 0x40 00000bda: MLOAD 00000bdb: DUP1 00000bdc: DUP4 00000bdd: SUB 00000bde: DUP2 00000bdf: PUSH1 0x00 00000be1: DUP8 00000be2: PUSH2 0x61da 00000be5: GAS 00000be6: SUB 00000be7: CALL 00000be8: ISZERO 00000be9: PUSH2 0x0002 00000bec: JUMPI 00000bed: POP 00000bee: POP 00000bef: POP 00000bf0: PUSH1 0x40 00000bf2: MLOAD 00000bf3: DUP1 00000bf4: MLOAD 00000bf5: SWAP1 00000bf6: PUSH1 0x20 00000bf8: ADD 00000bf9: POP 00000bfa: SWAP3 00000bfb: POP 00000bfc: POP 00000bfd: PUSH2 0x0c03 00000c00: JUMP 00000c01: JUMPDEST 00000c02: POP 00000c03: JUMPDEST 00000c04: POP 00000c05: SWAP7 00000c06: SWAP6 00000c07: POP 00000c08: POP 00000c09: POP 00000c0a: POP 00000c0b: POP 00000c0c: POP 00000c0d: JUMP
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x430cfa222c5926bc1c693895430f61aab160aace9a2a9224435b3a44319b1558
call_targets:
0x7493c7b2e021dbac7ba703c00af66824d35096bd
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x430cfa222c5926bc1c693895430f61aab160aace9a2a9224435b3a44319b1558",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x7493c7b2e021dbac7ba703c00af66824d35096bd"
],
"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": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x21f8a721",
"selector": "0x21f8a721",
"calldata_variants": [
"0x21f8a721",
"0x21f8a7210000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3751707c",
"selector": "0x3751707c",
"calldata_variants": [
"0x3751707c",
"0x3751707c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ed48679",
"selector": "0x3ed48679",
"calldata_variants": [
"0x3ed48679",
"0x3ed486790000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x651e723c",
"selector": "0x651e723c",
"calldata_variants": [
"0x651e723c",
"0x651e723c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7948f523",
"selector": "0x7948f523",
"calldata_variants": [
"0x7948f523",
"0x7948f5230000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x93423e9c",
"selector": "0x93423e9c",
"calldata_variants": [
"0x93423e9c",
"0x93423e9c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa7f43779",
"selector": "0xa7f43779",
"calldata_variants": [
"0xa7f43779",
"0xa7f437790000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 419,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 559,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1530,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 8,
"guards_detected": [
{
"pc": 2236,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 8
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x430cfa222c5926bc1c693895430f61aab160aace9a2a9224435b3a44319b1558
call_targets:
0x7493c7b2e021dbac7ba703c00af66824d35096bd
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x430cfa222c5926bc1c693895430f61aab160aace9a2a9224435b3a44319b1558",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x7493c7b2e021dbac7ba703c00af66824d35096bd"
],
"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": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x21f8a721",
"selector": "0x21f8a721",
"calldata_variants": [
"0x21f8a721",
"0x21f8a7210000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3751707c",
"selector": "0x3751707c",
"calldata_variants": [
"0x3751707c",
"0x3751707c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ed48679",
"selector": "0x3ed48679",
"calldata_variants": [
"0x3ed48679",
"0x3ed486790000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x651e723c",
"selector": "0x651e723c",
"calldata_variants": [
"0x651e723c",
"0x651e723c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7948f523",
"selector": "0x7948f523",
"calldata_variants": [
"0x7948f523",
"0x7948f5230000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x93423e9c",
"selector": "0x93423e9c",
"calldata_variants": [
"0x93423e9c",
"0x93423e9c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa7f43779",
"selector": "0xa7f43779",
"calldata_variants": [
"0xa7f43779",
"0xa7f437790000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 419,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 559,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1530,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 8,
"guards_detected": [
{
"pc": 2236,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|
| medium | other | detector | SELFDESTRUCT reachable | 45 | no | no |
viewtrace_id: 0xe88df12c8b7d63ea2a6bb10ac5e5eb796c028ce5403ff7dbb9b8252c25e392ab
validation_json{
"sink": "SELFDESTRUCT",
"errors": 0,
"status": "unknown",
"attempts": 16,
"trace_id": "0xe88df12c8b7d63ea2a6bb10ac5e5eb796c028ce5403ff7dbb9b8252c25e392ab",
"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": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x21f8a721",
"selector": "0x21f8a721",
"calldata_variants": [
"0x21f8a721",
"0x21f8a7210000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3751707c",
"selector": "0x3751707c",
"calldata_variants": [
"0x3751707c",
"0x3751707c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ed48679",
"selector": "0x3ed48679",
"calldata_variants": [
"0x3ed48679",
"0x3ed486790000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x651e723c",
"selector": "0x651e723c",
"calldata_variants": [
"0x651e723c",
"0x651e723c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7948f523",
"selector": "0x7948f523",
"calldata_variants": [
"0x7948f523",
"0x7948f5230000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x93423e9c",
"selector": "0x93423e9c",
"calldata_variants": [
"0x93423e9c",
"0x93423e9c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa7f43779",
"selector": "0xa7f43779",
"calldata_variants": [
"0xa7f43779",
"0xa7f437790000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 2236,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"selfdestruct_count": 1
}
|