019b3836-5d0a-7262-b3e0-e95cedc99b55
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 |
|---|---|---|---|---|
| 9271 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 9272 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 83180 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 83181 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 83182 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 83183 | 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 0x003d 0000000a: JUMPI 0000000b: PUSH1 0x00 0000000d: CALLDATALOAD 0000000e: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002c: SWAP1 0000002d: DIV 0000002e: DUP1 0000002f: PUSH4 0x41c0e1b5 00000034: EQ 00000035: PUSH2 0x0117 00000038: JUMPI 00000039: PUSH2 0x003d 0000003c: JUMP 0000003d: JUMPDEST 0000003e: PUSH2 0x0115 00000041: JUMPDEST 00000042: PUSH1 0x00 00000044: PUSH2 0x010f 00000047: PUSH1 0x40 00000049: PUSH1 0x40 0000004b: MLOAD 0000004c: SWAP1 0000004d: DUP2 0000004e: ADD 0000004f: PUSH1 0x40 00000051: MSTORE 00000052: DUP1 00000053: PUSH1 0x03 00000055: DUP2 00000056: MSTORE 00000057: PUSH1 0x20 00000059: ADD 0000005a: PUSH32 0x55524c0000000000000000000000000000000000000000000000000000000000 0000007b: DUP2 0000007c: MSTORE 0000007d: PUSH1 0x20 0000007f: ADD 00000080: POP 00000081: PUSH1 0x80 00000083: PUSH1 0x40 00000085: MLOAD 00000086: SWAP1 00000087: DUP2 00000088: ADD 00000089: PUSH1 0x40 0000008b: MSTORE 0000008c: DUP1 0000008d: PUSH1 0x57 0000008f: DUP2 00000090: MSTORE 00000091: PUSH1 0x20 00000093: ADD 00000094: PUSH32 0x68747470733a2f2f7777772e72616e646f6d2e6f72672f696e7465676572732f 000000b5: DUP2 000000b6: MSTORE 000000b7: PUSH1 0x20 000000b9: ADD 000000ba: PUSH32 0x3f6e756d3d31266d696e3d30266d61783d31303026636f6c3d3126626173653d 000000db: DUP2 000000dc: MSTORE 000000dd: PUSH1 0x20 000000df: ADD 000000e0: PUSH32 0x313026666f726d61743d706c61696e26726e643d6e6577000000000000000000 00000101: DUP2 00000102: MSTORE 00000103: PUSH1 0x20 00000105: ADD 00000106: POP 00000107: PUSH3 0x0249f0 0000010b: PUSH2 0x0126 0000010e: JUMP 0000010f: JUMPDEST 00000110: SWAP1 00000111: POP 00000112: JUMPDEST 00000113: POP 00000114: JUMP 00000115: JUMPDEST 00000116: STOP 00000117: JUMPDEST 00000118: PUSH2 0x0124 0000011b: PUSH1 0x04 0000011d: DUP1 0000011e: POP 0000011f: POP 00000120: PUSH2 0x052a 00000123: JUMP 00000124: JUMPDEST 00000125: STOP 00000126: JUMPDEST 00000127: PUSH1 0x00 00000129: PUSH1 0x00 0000012b: PUSH1 0x00 0000012d: PUSH1 0x01 0000012f: PUSH1 0x00 00000131: SWAP1 00000132: SLOAD 00000133: SWAP1 00000134: PUSH2 0x0100 00000137: EXP 00000138: SWAP1 00000139: DIV 0000013a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000014f: AND 00000150: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000165: AND 00000166: PUSH4 0x38cc4831 0000016b: PUSH1 0x40 0000016d: MLOAD 0000016e: DUP2 0000016f: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000018d: MUL 0000018e: DUP2 0000018f: MSTORE 00000190: PUSH1 0x04 00000192: ADD 00000193: DUP1 00000194: SWAP1 00000195: POP 00000196: PUSH1 0x20 00000198: PUSH1 0x40 0000019a: MLOAD 0000019b: DUP1 0000019c: DUP4 0000019d: SUB 0000019e: DUP2 0000019f: PUSH1 0x00 000001a1: DUP8 000001a2: PUSH2 0x61da 000001a5: GAS 000001a6: SUB 000001a7: CALL 000001a8: ISZERO 000001a9: PUSH2 0x0002 000001ac: JUMPI 000001ad: POP 000001ae: POP 000001af: POP 000001b0: PUSH1 0x40 000001b2: MLOAD 000001b3: DUP1 000001b4: MLOAD 000001b5: SWAP1 000001b6: PUSH1 0x20 000001b8: ADD 000001b9: POP 000001ba: SWAP1 000001bb: POP 000001bc: PUSH1 0x00 000001be: DUP2 000001bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001d4: AND 000001d5: EQ 000001d6: ISZERO 000001d7: PUSH2 0x0277 000001da: JUMPI 000001db: PUSH2 0x01e4 000001de: PUSH1 0x00 000001e0: PUSH2 0x05be 000001e3: JUMP 000001e4: JUMPDEST 000001e5: POP 000001e6: PUSH1 0x01 000001e8: PUSH1 0x00 000001ea: SWAP1 000001eb: SLOAD 000001ec: SWAP1 000001ed: PUSH2 0x0100 000001f0: EXP 000001f1: SWAP1 000001f2: DIV 000001f3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000208: AND 00000209: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000021e: AND 0000021f: PUSH4 0x38cc4831 00000224: PUSH1 0x40 00000226: MLOAD 00000227: DUP2 00000228: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000246: MUL 00000247: DUP2 00000248: MSTORE 00000249: PUSH1 0x04 0000024b: ADD 0000024c: DUP1 0000024d: SWAP1 0000024e: POP 0000024f: PUSH1 0x20 00000251: PUSH1 0x40 00000253: MLOAD 00000254: DUP1 00000255: DUP4 00000256: SUB 00000257: DUP2 00000258: PUSH1 0x00 0000025a: DUP8 0000025b: PUSH2 0x61da 0000025e: GAS 0000025f: SUB 00000260: CALL 00000261: ISZERO 00000262: PUSH2 0x0002 00000265: JUMPI 00000266: POP 00000267: POP 00000268: POP 00000269: PUSH1 0x40 0000026b: MLOAD 0000026c: DUP1 0000026d: MLOAD 0000026e: SWAP1 0000026f: PUSH1 0x20 00000271: ADD 00000272: POP 00000273: SWAP1 00000274: POP 00000275: DUP1 00000276: POP 00000277: JUMPDEST 00000278: DUP1 00000279: PUSH1 0x02 0000027b: PUSH1 0x00 0000027d: PUSH2 0x0100 00000280: EXP 00000281: DUP2 00000282: SLOAD 00000283: DUP2 00000284: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000299: MUL 0000029a: NOT 0000029b: AND 0000029c: SWAP1 0000029d: DUP4 0000029e: MUL 0000029f: OR 000002a0: SWAP1 000002a1: SSTORE 000002a2: POP 000002a3: PUSH1 0x02 000002a5: PUSH1 0x00 000002a7: SWAP1 000002a8: SLOAD 000002a9: SWAP1 000002aa: PUSH2 0x0100 000002ad: EXP 000002ae: SWAP1 000002af: DIV 000002b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002c5: AND 000002c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002db: AND 000002dc: PUSH4 0x2ef3accc 000002e1: DUP8 000002e2: DUP7 000002e3: PUSH1 0x40 000002e5: MLOAD 000002e6: DUP4 000002e7: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000305: MUL 00000306: DUP2 00000307: MSTORE 00000308: PUSH1 0x04 0000030a: ADD 0000030b: DUP1 0000030c: DUP1 0000030d: PUSH1 0x20 0000030f: ADD 00000310: DUP4 00000311: DUP2 00000312: MSTORE 00000313: PUSH1 0x20 00000315: ADD 00000316: DUP3 00000317: DUP2 00000318: SUB 00000319: DUP3 0000031a: MSTORE 0000031b: DUP5 0000031c: DUP2 0000031d: DUP2 0000031e: MLOAD 0000031f: DUP2 00000320: MSTORE 00000321: PUSH1 0x20 00000323: ADD 00000324: SWAP2 00000325: POP 00000326: DUP1 00000327: MLOAD 00000328: SWAP1 00000329: PUSH1 0x20 0000032b: ADD 0000032c: SWAP1 0000032d: DUP1 0000032e: DUP4 0000032f: DUP4 00000330: DUP3 00000331: SWAP1 00000332: PUSH1 0x00 00000334: PUSH1 0x04 00000336: PUSH1 0x20 00000338: DUP5 00000339: PUSH1 0x1f 0000033b: ADD 0000033c: DIV 0000033d: PUSH1 0x03 0000033f: MUL 00000340: PUSH1 0x0f 00000342: ADD 00000343: CALL 00000344: POP 00000345: SWAP1 00000346: POP 00000347: SWAP1 00000348: DUP2 00000349: ADD 0000034a: SWAP1 0000034b: PUSH1 0x1f 0000034d: AND 0000034e: DUP1 0000034f: ISZERO 00000350: PUSH2 0x036d 00000353: JUMPI 00000354: DUP1 00000355: DUP3 00000356: SUB 00000357: DUP1 00000358: MLOAD 00000359: PUSH1 0x01 0000035b: DUP4 0000035c: PUSH1 0x20 0000035e: SUB 0000035f: PUSH2 0x0100 00000362: EXP 00000363: SUB 00000364: NOT 00000365: AND 00000366: DUP2 00000367: MSTORE 00000368: PUSH1 0x20 0000036a: ADD 0000036b: SWAP2 0000036c: POP 0000036d: JUMPDEST 0000036e: POP 0000036f: SWAP4 00000370: POP 00000371: POP 00000372: POP 00000373: POP 00000374: PUSH1 0x20 00000376: PUSH1 0x40 00000378: MLOAD 00000379: DUP1 0000037a: DUP4 0000037b: SUB 0000037c: DUP2 0000037d: PUSH1 0x00 0000037f: DUP8 00000380: PUSH2 0x61da 00000383: GAS 00000384: SUB 00000385: CALL 00000386: ISZERO 00000387: PUSH2 0x0002 0000038a: JUMPI 0000038b: POP 0000038c: POP 0000038d: POP 0000038e: PUSH1 0x40 00000390: MLOAD 00000391: DUP1 00000392: MLOAD 00000393: SWAP1 00000394: PUSH1 0x20 00000396: ADD 00000397: POP 00000398: SWAP2 00000399: POP 0000039a: DUP4 0000039b: GASPRICE 0000039c: MUL 0000039d: PUSH8 0x0de0b6b3a7640000 000003a6: ADD 000003a7: DUP3 000003a8: GT 000003a9: ISZERO 000003aa: PUSH2 0x03ba 000003ad: JUMPI 000003ae: PUSH1 0x00 000003b0: PUSH1 0x01 000003b2: MUL 000003b3: SWAP3 000003b4: POP 000003b5: POP 000003b6: PUSH2 0x0522 000003b9: JUMP 000003ba: JUMPDEST 000003bb: PUSH1 0x02 000003bd: PUSH1 0x00 000003bf: SWAP1 000003c0: SLOAD 000003c1: SWAP1 000003c2: PUSH2 0x0100 000003c5: EXP 000003c6: SWAP1 000003c7: DIV 000003c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003dd: AND 000003de: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003f3: AND 000003f4: PUSH4 0xc51be90f 000003f9: DUP4 000003fa: PUSH1 0x00 000003fc: DUP10 000003fd: DUP10 000003fe: DUP10 000003ff: PUSH1 0x40 00000401: MLOAD 00000402: DUP7 00000403: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000421: MUL 00000422: DUP2 00000423: MSTORE 00000424: PUSH1 0x04 00000426: ADD 00000427: DUP1 00000428: DUP6 00000429: DUP2 0000042a: MSTORE 0000042b: PUSH1 0x20 0000042d: ADD 0000042e: DUP1 0000042f: PUSH1 0x20 00000431: ADD 00000432: DUP1 00000433: PUSH1 0x20 00000435: ADD 00000436: DUP5 00000437: DUP2 00000438: MSTORE 00000439: PUSH1 0x20 0000043b: ADD 0000043c: DUP4 0000043d: DUP2 0000043e: SUB 0000043f: DUP4 00000440: MSTORE 00000441: DUP7 00000442: DUP2 00000443: DUP2 00000444: MLOAD 00000445: DUP2 00000446: MSTORE 00000447: PUSH1 0x20 00000449: ADD 0000044a: SWAP2 0000044b: POP 0000044c: DUP1 0000044d: MLOAD 0000044e: SWAP1 0000044f: PUSH1 0x20 00000451: ADD 00000452: SWAP1 00000453: DUP1 00000454: DUP4 00000455: DUP4 00000456: DUP3 00000457: SWAP1 00000458: PUSH1 0x00 0000045a: PUSH1 0x04 0000045c: PUSH1 0x20 0000045e: DUP5 0000045f: PUSH1 0x1f 00000461: ADD 00000462: DIV 00000463: PUSH1 0x03 00000465: MUL 00000466: PUSH1 0x0f 00000468: ADD 00000469: CALL 0000046a: POP 0000046b: SWAP1 0000046c: POP 0000046d: SWAP1 0000046e: DUP2 0000046f: ADD 00000470: SWAP1 00000471: PUSH1 0x1f 00000473: AND 00000474: DUP1 00000475: ISZERO 00000476: PUSH2 0x0493 00000479: JUMPI 0000047a: DUP1 0000047b: DUP3 0000047c: SUB 0000047d: DUP1 0000047e: MLOAD 0000047f: PUSH1 0x01 00000481: DUP4 00000482: PUSH1 0x20 00000484: SUB 00000485: PUSH2 0x0100 00000488: EXP 00000489: SUB 0000048a: NOT 0000048b: AND 0000048c: DUP2 0000048d: MSTORE 0000048e: PUSH1 0x20 00000490: ADD 00000491: SWAP2 00000492: POP 00000493: JUMPDEST 00000494: POP 00000495: DUP4 00000496: DUP2 00000497: SUB 00000498: DUP3 00000499: MSTORE 0000049a: DUP6 0000049b: DUP2 0000049c: DUP2 0000049d: MLOAD 0000049e: DUP2 0000049f: MSTORE 000004a0: PUSH1 0x20 000004a2: ADD 000004a3: SWAP2 000004a4: POP 000004a5: DUP1 000004a6: MLOAD 000004a7: SWAP1 000004a8: PUSH1 0x20 000004aa: ADD 000004ab: SWAP1 000004ac: DUP1 000004ad: DUP4 000004ae: DUP4 000004af: DUP3 000004b0: SWAP1 000004b1: PUSH1 0x00 000004b3: PUSH1 0x04 000004b5: PUSH1 0x20 000004b7: DUP5 000004b8: PUSH1 0x1f 000004ba: ADD 000004bb: DIV 000004bc: PUSH1 0x03 000004be: MUL 000004bf: PUSH1 0x0f 000004c1: ADD 000004c2: CALL 000004c3: POP 000004c4: SWAP1 000004c5: POP 000004c6: SWAP1 000004c7: DUP2 000004c8: ADD 000004c9: SWAP1 000004ca: PUSH1 0x1f 000004cc: AND 000004cd: DUP1 000004ce: ISZERO 000004cf: PUSH2 0x04ec 000004d2: JUMPI 000004d3: DUP1 000004d4: DUP3 000004d5: SUB 000004d6: DUP1 000004d7: MLOAD 000004d8: PUSH1 0x01 000004da: DUP4 000004db: PUSH1 0x20 000004dd: SUB 000004de: PUSH2 0x0100 000004e1: EXP 000004e2: SUB 000004e3: NOT 000004e4: AND 000004e5: DUP2 000004e6: MSTORE 000004e7: PUSH1 0x20 000004e9: ADD 000004ea: SWAP2 000004eb: POP 000004ec: JUMPDEST 000004ed: POP 000004ee: SWAP7 000004ef: POP 000004f0: POP 000004f1: POP 000004f2: POP 000004f3: POP 000004f4: POP 000004f5: POP 000004f6: PUSH1 0x20 000004f8: PUSH1 0x40 000004fa: MLOAD 000004fb: DUP1 000004fc: DUP4 000004fd: SUB 000004fe: DUP2 000004ff: DUP6 00000500: DUP9 00000501: PUSH2 0x8502 00000504: GAS 00000505: SUB 00000506: CALL 00000507: ISZERO 00000508: PUSH2 0x0002 0000050b: JUMPI 0000050c: POP 0000050d: POP 0000050e: POP 0000050f: POP 00000510: PUSH1 0x40 00000512: MLOAD 00000513: DUP1 00000514: MLOAD 00000515: SWAP1 00000516: PUSH1 0x20 00000518: ADD 00000519: POP 0000051a: SWAP3 0000051b: POP 0000051c: POP 0000051d: PUSH2 0x0522 00000520: JUMP 00000521: POP 00000522: JUMPDEST 00000523: POP 00000524: SWAP4 00000525: SWAP3 00000526: POP 00000527: POP 00000528: POP 00000529: JUMP 0000052a: JUMPDEST 0000052b: PUSH1 0x00 0000052d: PUSH1 0x00 0000052f: SWAP1 00000530: SLOAD 00000531: SWAP1 00000532: PUSH2 0x0100 00000535: EXP 00000536: SWAP1 00000537: DIV 00000538: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000054d: AND 0000054e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000563: AND 00000564: CALLER 00000565: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000057a: AND 0000057b: EQ 0000057c: ISZERO 0000057d: PUSH2 0x05bb 00000580: JUMPI 00000581: PUSH1 0x00 00000583: PUSH1 0x00 00000585: SWAP1 00000586: SLOAD 00000587: SWAP1 00000588: PUSH2 0x0100 0000058b: EXP 0000058c: SWAP1 0000058d: DIV 0000058e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005a3: AND 000005a4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005b9: AND 000005ba: SELFDESTRUCT 000005bb: JUMPDEST 000005bc: JUMPDEST 000005bd: JUMP 000005be: JUMPDEST 000005bf: PUSH1 0x00 000005c1: PUSH1 0x00 000005c3: PUSH2 0x05df 000005c6: PUSH20 0x1d3b2638a7cc9f2cb3d298a3da7a90b67e5506ed 000005db: PUSH2 0x0715 000005de: JUMP 000005df: JUMPDEST 000005e0: GT 000005e1: ISZERO 000005e2: PUSH2 0x062d 000005e5: JUMPI 000005e6: PUSH20 0x1d3b2638a7cc9f2cb3d298a3da7a90b67e5506ed 000005fb: PUSH1 0x01 000005fd: PUSH1 0x00 000005ff: PUSH2 0x0100 00000602: EXP 00000603: DUP2 00000604: SLOAD 00000605: DUP2 00000606: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000061b: MUL 0000061c: NOT 0000061d: AND 0000061e: SWAP1 0000061f: DUP4 00000620: MUL 00000621: OR 00000622: SWAP1 00000623: SSTORE 00000624: POP 00000625: PUSH1 0x01 00000627: SWAP1 00000628: POP 00000629: PUSH2 0x0710 0000062c: JUMP 0000062d: JUMPDEST 0000062e: PUSH1 0x00 00000630: PUSH2 0x064c 00000633: PUSH20 0x9efbea6358bed926b293d2ce63a730d6d98d43dd 00000648: PUSH2 0x0715 0000064b: JUMP 0000064c: JUMPDEST 0000064d: GT 0000064e: ISZERO 0000064f: PUSH2 0x069a 00000652: JUMPI 00000653: PUSH20 0x9efbea6358bed926b293d2ce63a730d6d98d43dd 00000668: PUSH1 0x01 0000066a: PUSH1 0x00 0000066c: PUSH2 0x0100 0000066f: EXP 00000670: DUP2 00000671: SLOAD 00000672: DUP2 00000673: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000688: MUL 00000689: NOT 0000068a: AND 0000068b: SWAP1 0000068c: DUP4 0000068d: MUL 0000068e: OR 0000068f: SWAP1 00000690: SSTORE 00000691: POP 00000692: PUSH1 0x01 00000694: SWAP1 00000695: POP 00000696: PUSH2 0x0710 00000699: JUMP 0000069a: JUMPDEST 0000069b: PUSH1 0x00 0000069d: PUSH2 0x06b9 000006a0: PUSH20 0x20e12a1f859b3feae5fb2a0a32c18f5a65555bbf 000006b5: PUSH2 0x0715 000006b8: JUMP 000006b9: JUMPDEST 000006ba: GT 000006bb: ISZERO 000006bc: PUSH2 0x0707 000006bf: JUMPI 000006c0: PUSH20 0x20e12a1f859b3feae5fb2a0a32c18f5a65555bbf 000006d5: PUSH1 0x01 000006d7: PUSH1 0x00 000006d9: PUSH2 0x0100 000006dc: EXP 000006dd: DUP2 000006de: SLOAD 000006df: DUP2 000006e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006f5: MUL 000006f6: NOT 000006f7: AND 000006f8: SWAP1 000006f9: DUP4 000006fa: MUL 000006fb: OR 000006fc: SWAP1 000006fd: SSTORE 000006fe: POP 000006ff: PUSH1 0x01 00000701: SWAP1 00000702: POP 00000703: PUSH2 0x0710 00000706: JUMP 00000707: JUMPDEST 00000708: PUSH1 0x00 0000070a: SWAP1 0000070b: POP 0000070c: PUSH2 0x0710 0000070f: JUMP 00000710: JUMPDEST 00000711: SWAP2 00000712: SWAP1 00000713: POP 00000714: JUMP 00000715: JUMPDEST 00000716: PUSH1 0x00 00000718: DUP2 00000719: EXTCODESIZE 0000071a: SWAP1 0000071b: POP 0000071c: JUMPDEST 0000071d: SWAP2 0000071e: SWAP1 0000071f: POP 00000720: 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: 0x419849ffd436b0ac97486b2f861a60c39c015c5504fe14682604a7853f0ebb10
call_targets:
0x0d00be66287a989adb6b8cc434e9e934e6076695
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x419849ffd436b0ac97486b2f861a60c39c015c5504fe14682604a7853f0ebb10",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x0d00be66287a989adb6b8cc434e9e934e6076695"
],
"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": "0x41c0e1b5",
"selector": "0x41c0e1b5",
"calldata_variants": [
"0x41c0e1b5",
"0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 608,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 835,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 901,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 7,
"guards_detected": [
{
"pc": 1380,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 6
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x419849ffd436b0ac97486b2f861a60c39c015c5504fe14682604a7853f0ebb10
call_targets:
0x0d00be66287a989adb6b8cc434e9e934e6076695
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x419849ffd436b0ac97486b2f861a60c39c015c5504fe14682604a7853f0ebb10",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x0d00be66287a989adb6b8cc434e9e934e6076695"
],
"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": "0x41c0e1b5",
"selector": "0x41c0e1b5",
"calldata_variants": [
"0x41c0e1b5",
"0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 608,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 835,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 901,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 6,
"guards_detected": [
{
"pc": 1380,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|
| medium | other | detector | SELFDESTRUCT reachable | 45 | no | no |
viewtrace_id: 0x09f63e900f01563c4e3c8d6cc47c32812b52e573640fda7075ff2038954bb987
validation_json{
"sink": "SELFDESTRUCT",
"errors": 0,
"status": "unknown",
"attempts": 2,
"trace_id": "0x09f63e900f01563c4e3c8d6cc47c32812b52e573640fda7075ff2038954bb987",
"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": "0x41c0e1b5",
"selector": "0x41c0e1b5",
"calldata_variants": [
"0x41c0e1b5",
"0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 1380,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"selfdestruct_count": 1
}
|