019b477e-bf05-728b-a546-b3d7b29ed7ab
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 |
|---|---|---|---|---|
| 24471 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 24472 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 67730 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 67731 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 67732 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 67733 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x0043 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x715018a6 00000019: EQ 0000001a: PUSH2 0x008f 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x8da5cb5b 00000024: EQ 00000025: PUSH2 0x00a6 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0x9fee597b 0000002f: EQ 00000030: PUSH2 0x00d1 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xf2fde38b 0000003a: EQ 0000003b: PUSH2 0x00e8 0000003e: JUMPI 0000003f: PUSH2 0x008a 00000042: JUMP 00000043: JUMPDEST 00000044: CALLDATASIZE 00000045: PUSH2 0x008a 00000048: JUMPI 00000049: PUSH32 0x357b676c439b9e49b4410f8eb8680bee4223724802d8e3fd422e1756f87b475f 0000006a: PUSH2 0x0071 0000006d: PUSH2 0x0111 00000070: JUMP 00000071: JUMPDEST 00000072: CALLVALUE 00000073: PUSH1 0x40 00000075: MLOAD 00000076: PUSH2 0x0080 00000079: SWAP3 0000007a: SWAP2 0000007b: SWAP1 0000007c: PUSH2 0x05ae 0000007f: JUMP 00000080: JUMPDEST 00000081: PUSH1 0x40 00000083: MLOAD 00000084: DUP1 00000085: SWAP2 00000086: SUB 00000087: SWAP1 00000088: LOG1 00000089: STOP 0000008a: JUMPDEST 0000008b: PUSH1 0x00 0000008d: DUP1 0000008e: REVERT 0000008f: JUMPDEST 00000090: CALLVALUE 00000091: DUP1 00000092: ISZERO 00000093: PUSH2 0x009b 00000096: JUMPI 00000097: PUSH1 0x00 00000099: DUP1 0000009a: REVERT 0000009b: JUMPDEST 0000009c: POP 0000009d: PUSH2 0x00a4 000000a0: PUSH2 0x0119 000000a3: JUMP 000000a4: JUMPDEST 000000a5: STOP 000000a6: JUMPDEST 000000a7: CALLVALUE 000000a8: DUP1 000000a9: ISZERO 000000aa: PUSH2 0x00b2 000000ad: JUMPI 000000ae: PUSH1 0x00 000000b0: DUP1 000000b1: REVERT 000000b2: JUMPDEST 000000b3: POP 000000b4: PUSH2 0x00bb 000000b7: PUSH2 0x0253 000000ba: JUMP 000000bb: JUMPDEST 000000bc: PUSH1 0x40 000000be: MLOAD 000000bf: PUSH2 0x00c8 000000c2: SWAP2 000000c3: SWAP1 000000c4: PUSH2 0x0593 000000c7: JUMP 000000c8: JUMPDEST 000000c9: PUSH1 0x40 000000cb: MLOAD 000000cc: DUP1 000000cd: SWAP2 000000ce: SUB 000000cf: SWAP1 000000d0: RETURN 000000d1: JUMPDEST 000000d2: CALLVALUE 000000d3: DUP1 000000d4: ISZERO 000000d5: PUSH2 0x00dd 000000d8: JUMPI 000000d9: PUSH1 0x00 000000db: DUP1 000000dc: REVERT 000000dd: JUMPDEST 000000de: POP 000000df: PUSH2 0x00e6 000000e2: PUSH2 0x027c 000000e5: JUMP 000000e6: JUMPDEST 000000e7: STOP 000000e8: JUMPDEST 000000e9: CALLVALUE 000000ea: DUP1 000000eb: ISZERO 000000ec: PUSH2 0x00f4 000000ef: JUMPI 000000f0: PUSH1 0x00 000000f2: DUP1 000000f3: REVERT 000000f4: JUMPDEST 000000f5: POP 000000f6: PUSH2 0x010f 000000f9: PUSH1 0x04 000000fb: DUP1 000000fc: CALLDATASIZE 000000fd: SUB 000000fe: DUP2 000000ff: ADD 00000100: SWAP1 00000101: PUSH2 0x010a 00000104: SWAP2 00000105: SWAP1 00000106: PUSH2 0x0506 00000109: JUMP 0000010a: JUMPDEST 0000010b: PUSH2 0x0348 0000010e: JUMP 0000010f: JUMPDEST 00000110: STOP 00000111: JUMPDEST 00000112: PUSH1 0x00 00000114: CALLER 00000115: SWAP1 00000116: POP 00000117: SWAP1 00000118: JUMP 00000119: JUMPDEST 0000011a: PUSH2 0x0121 0000011d: PUSH2 0x0111 00000120: JUMP 00000121: JUMPDEST 00000122: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000137: AND 00000138: PUSH2 0x013f 0000013b: PUSH2 0x0253 0000013e: JUMP 0000013f: JUMPDEST 00000140: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000155: AND 00000156: EQ 00000157: PUSH2 0x0195 0000015a: JUMPI 0000015b: PUSH1 0x40 0000015d: MLOAD 0000015e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000017f: DUP2 00000180: MSTORE 00000181: PUSH1 0x04 00000183: ADD 00000184: PUSH2 0x018c 00000187: SWAP1 00000188: PUSH2 0x05f7 0000018b: JUMP 0000018c: JUMPDEST 0000018d: PUSH1 0x40 0000018f: MLOAD 00000190: DUP1 00000191: SWAP2 00000192: SUB 00000193: SWAP1 00000194: REVERT 00000195: JUMPDEST 00000196: PUSH1 0x00 00000198: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001ad: AND 000001ae: PUSH1 0x00 000001b0: DUP1 000001b1: SLOAD 000001b2: SWAP1 000001b3: PUSH2 0x0100 000001b6: EXP 000001b7: SWAP1 000001b8: DIV 000001b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001ce: AND 000001cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001e4: AND 000001e5: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000206: PUSH1 0x40 00000208: MLOAD 00000209: PUSH1 0x40 0000020b: MLOAD 0000020c: DUP1 0000020d: SWAP2 0000020e: SUB 0000020f: SWAP1 00000210: LOG3 00000211: PUSH1 0x00 00000213: DUP1 00000214: PUSH1 0x00 00000216: PUSH2 0x0100 00000219: EXP 0000021a: DUP2 0000021b: SLOAD 0000021c: DUP2 0000021d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000232: MUL 00000233: NOT 00000234: AND 00000235: SWAP1 00000236: DUP4 00000237: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000024c: AND 0000024d: MUL 0000024e: OR 0000024f: SWAP1 00000250: SSTORE 00000251: POP 00000252: JUMP 00000253: JUMPDEST 00000254: PUSH1 0x00 00000256: DUP1 00000257: PUSH1 0x00 00000259: SWAP1 0000025a: SLOAD 0000025b: SWAP1 0000025c: PUSH2 0x0100 0000025f: EXP 00000260: SWAP1 00000261: DIV 00000262: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000277: AND 00000278: SWAP1 00000279: POP 0000027a: SWAP1 0000027b: JUMP 0000027c: JUMPDEST 0000027d: PUSH2 0x0284 00000280: PUSH2 0x0111 00000283: JUMP 00000284: JUMPDEST 00000285: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000029a: AND 0000029b: PUSH2 0x02a2 0000029e: PUSH2 0x0253 000002a1: JUMP 000002a2: JUMPDEST 000002a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002b8: AND 000002b9: EQ 000002ba: PUSH2 0x02f8 000002bd: JUMPI 000002be: PUSH1 0x40 000002c0: MLOAD 000002c1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000002e2: DUP2 000002e3: MSTORE 000002e4: PUSH1 0x04 000002e6: ADD 000002e7: PUSH2 0x02ef 000002ea: SWAP1 000002eb: PUSH2 0x05f7 000002ee: JUMP 000002ef: JUMPDEST 000002f0: PUSH1 0x40 000002f2: MLOAD 000002f3: DUP1 000002f4: SWAP2 000002f5: SUB 000002f6: SWAP1 000002f7: REVERT 000002f8: JUMPDEST 000002f9: PUSH2 0x0300 000002fc: PUSH2 0x0253 000002ff: JUMP 00000300: JUMPDEST 00000301: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000316: AND 00000317: PUSH2 0x08fc 0000031a: SELFBALANCE 0000031b: SWAP1 0000031c: DUP2 0000031d: ISZERO 0000031e: MUL 0000031f: SWAP1 00000320: PUSH1 0x40 00000322: MLOAD 00000323: PUSH1 0x00 00000325: PUSH1 0x40 00000327: MLOAD 00000328: DUP1 00000329: DUP4 0000032a: SUB 0000032b: DUP2 0000032c: DUP6 0000032d: DUP9 0000032e: DUP9 0000032f: CALL 00000330: SWAP4 00000331: POP 00000332: POP 00000333: POP 00000334: POP 00000335: ISZERO 00000336: DUP1 00000337: ISZERO 00000338: PUSH2 0x0345 0000033b: JUMPI 0000033c: RETURNDATASIZE 0000033d: PUSH1 0x00 0000033f: DUP1 00000340: RETURNDATACOPY 00000341: RETURNDATASIZE 00000342: PUSH1 0x00 00000344: REVERT 00000345: JUMPDEST 00000346: POP 00000347: JUMP 00000348: JUMPDEST 00000349: PUSH2 0x0350 0000034c: PUSH2 0x0111 0000034f: JUMP 00000350: JUMPDEST 00000351: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000366: AND 00000367: PUSH2 0x036e 0000036a: PUSH2 0x0253 0000036d: JUMP 0000036e: JUMPDEST 0000036f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000384: AND 00000385: EQ 00000386: PUSH2 0x03c4 00000389: JUMPI 0000038a: PUSH1 0x40 0000038c: MLOAD 0000038d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000003ae: DUP2 000003af: MSTORE 000003b0: PUSH1 0x04 000003b2: ADD 000003b3: PUSH2 0x03bb 000003b6: SWAP1 000003b7: PUSH2 0x05f7 000003ba: JUMP 000003bb: JUMPDEST 000003bc: PUSH1 0x40 000003be: MLOAD 000003bf: DUP1 000003c0: SWAP2 000003c1: SUB 000003c2: SWAP1 000003c3: REVERT 000003c4: JUMPDEST 000003c5: PUSH1 0x00 000003c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003dc: AND 000003dd: DUP2 000003de: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003f3: AND 000003f4: EQ 000003f5: ISZERO 000003f6: PUSH2 0x0434 000003f9: JUMPI 000003fa: PUSH1 0x40 000003fc: MLOAD 000003fd: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000041e: DUP2 0000041f: MSTORE 00000420: PUSH1 0x04 00000422: ADD 00000423: PUSH2 0x042b 00000426: SWAP1 00000427: PUSH2 0x05d7 0000042a: JUMP 0000042b: JUMPDEST 0000042c: PUSH1 0x40 0000042e: MLOAD 0000042f: DUP1 00000430: SWAP2 00000431: SUB 00000432: SWAP1 00000433: REVERT 00000434: JUMPDEST 00000435: DUP1 00000436: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000044b: AND 0000044c: PUSH1 0x00 0000044e: DUP1 0000044f: SLOAD 00000450: SWAP1 00000451: PUSH2 0x0100 00000454: EXP 00000455: SWAP1 00000456: DIV 00000457: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000046c: AND 0000046d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000482: AND 00000483: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 000004a4: PUSH1 0x40 000004a6: MLOAD 000004a7: PUSH1 0x40 000004a9: MLOAD 000004aa: DUP1 000004ab: SWAP2 000004ac: SUB 000004ad: SWAP1 000004ae: LOG3 000004af: DUP1 000004b0: PUSH1 0x00 000004b2: DUP1 000004b3: PUSH2 0x0100 000004b6: EXP 000004b7: DUP2 000004b8: SLOAD 000004b9: DUP2 000004ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004cf: MUL 000004d0: NOT 000004d1: AND 000004d2: SWAP1 000004d3: DUP4 000004d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004e9: AND 000004ea: MUL 000004eb: OR 000004ec: SWAP1 000004ed: SSTORE 000004ee: POP 000004ef: POP 000004f0: JUMP 000004f1: JUMPDEST 000004f2: PUSH1 0x00 000004f4: DUP2 000004f5: CALLDATALOAD 000004f6: SWAP1 000004f7: POP 000004f8: PUSH2 0x0500 000004fb: DUP2 000004fc: PUSH2 0x06dc 000004ff: JUMP 00000500: JUMPDEST 00000501: SWAP3 00000502: SWAP2 00000503: POP 00000504: POP 00000505: JUMP 00000506: JUMPDEST 00000507: PUSH1 0x00 00000509: PUSH1 0x20 0000050b: DUP3 0000050c: DUP5 0000050d: SUB 0000050e: SLT 0000050f: ISZERO 00000510: PUSH2 0x0518 00000513: JUMPI 00000514: PUSH1 0x00 00000516: DUP1 00000517: REVERT 00000518: JUMPDEST 00000519: PUSH1 0x00 0000051b: PUSH2 0x0526 0000051e: DUP5 0000051f: DUP3 00000520: DUP6 00000521: ADD 00000522: PUSH2 0x04f1 00000525: JUMP 00000526: JUMPDEST 00000527: SWAP2 00000528: POP 00000529: POP 0000052a: SWAP3 0000052b: SWAP2 0000052c: POP 0000052d: POP 0000052e: JUMP 0000052f: JUMPDEST 00000530: PUSH2 0x0538 00000533: DUP2 00000534: PUSH2 0x0628 00000537: JUMP 00000538: JUMPDEST 00000539: DUP3 0000053a: MSTORE 0000053b: POP 0000053c: POP 0000053d: JUMP 0000053e: JUMPDEST 0000053f: PUSH1 0x00 00000541: PUSH2 0x054b 00000544: PUSH1 0x26 00000546: DUP4 00000547: PUSH2 0x0617 0000054a: JUMP 0000054b: JUMPDEST 0000054c: SWAP2 0000054d: POP 0000054e: PUSH2 0x0556 00000551: DUP3 00000552: PUSH2 0x0664 00000555: JUMP 00000556: JUMPDEST 00000557: PUSH1 0x40 00000559: DUP3 0000055a: ADD 0000055b: SWAP1 0000055c: POP 0000055d: SWAP2 0000055e: SWAP1 0000055f: POP 00000560: JUMP 00000561: JUMPDEST 00000562: PUSH1 0x00 00000564: PUSH2 0x056e 00000567: PUSH1 0x20 00000569: DUP4 0000056a: PUSH2 0x0617 0000056d: JUMP 0000056e: JUMPDEST 0000056f: SWAP2 00000570: POP 00000571: PUSH2 0x0579 00000574: DUP3 00000575: PUSH2 0x06b3 00000578: JUMP 00000579: JUMPDEST 0000057a: PUSH1 0x20 0000057c: DUP3 0000057d: ADD 0000057e: SWAP1 0000057f: POP 00000580: SWAP2 00000581: SWAP1 00000582: POP 00000583: JUMP 00000584: JUMPDEST 00000585: PUSH2 0x058d 00000588: DUP2 00000589: PUSH2 0x065a 0000058c: JUMP 0000058d: JUMPDEST 0000058e: DUP3 0000058f: MSTORE 00000590: POP 00000591: POP 00000592: JUMP 00000593: JUMPDEST 00000594: PUSH1 0x00 00000596: PUSH1 0x20 00000598: DUP3 00000599: ADD 0000059a: SWAP1 0000059b: POP 0000059c: PUSH2 0x05a8 0000059f: PUSH1 0x00 000005a1: DUP4 000005a2: ADD 000005a3: DUP5 000005a4: PUSH2 0x052f 000005a7: JUMP 000005a8: JUMPDEST 000005a9: SWAP3 000005aa: SWAP2 000005ab: POP 000005ac: POP 000005ad: JUMP 000005ae: JUMPDEST 000005af: PUSH1 0x00 000005b1: PUSH1 0x40 000005b3: DUP3 000005b4: ADD 000005b5: SWAP1 000005b6: POP 000005b7: PUSH2 0x05c3 000005ba: PUSH1 0x00 000005bc: DUP4 000005bd: ADD 000005be: DUP6 000005bf: PUSH2 0x052f 000005c2: JUMP 000005c3: JUMPDEST 000005c4: PUSH2 0x05d0 000005c7: PUSH1 0x20 000005c9: DUP4 000005ca: ADD 000005cb: DUP5 000005cc: PUSH2 0x0584 000005cf: JUMP 000005d0: JUMPDEST 000005d1: SWAP4 000005d2: SWAP3 000005d3: POP 000005d4: POP 000005d5: POP 000005d6: JUMP 000005d7: JUMPDEST 000005d8: PUSH1 0x00 000005da: PUSH1 0x20 000005dc: DUP3 000005dd: ADD 000005de: SWAP1 000005df: POP 000005e0: DUP2 000005e1: DUP2 000005e2: SUB 000005e3: PUSH1 0x00 000005e5: DUP4 000005e6: ADD 000005e7: MSTORE 000005e8: PUSH2 0x05f0 000005eb: DUP2 000005ec: PUSH2 0x053e 000005ef: JUMP 000005f0: JUMPDEST 000005f1: SWAP1 000005f2: POP 000005f3: SWAP2 000005f4: SWAP1 000005f5: POP 000005f6: JUMP 000005f7: JUMPDEST 000005f8: PUSH1 0x00 000005fa: PUSH1 0x20 000005fc: DUP3 000005fd: ADD 000005fe: SWAP1 000005ff: POP 00000600: DUP2 00000601: DUP2 00000602: SUB 00000603: PUSH1 0x00 00000605: DUP4 00000606: ADD 00000607: MSTORE 00000608: PUSH2 0x0610 0000060b: DUP2 0000060c: PUSH2 0x0561 0000060f: JUMP 00000610: JUMPDEST 00000611: SWAP1 00000612: POP 00000613: SWAP2 00000614: SWAP1 00000615: POP 00000616: JUMP 00000617: JUMPDEST 00000618: PUSH1 0x00 0000061a: DUP3 0000061b: DUP3 0000061c: MSTORE 0000061d: PUSH1 0x20 0000061f: DUP3 00000620: ADD 00000621: SWAP1 00000622: POP 00000623: SWAP3 00000624: SWAP2 00000625: POP 00000626: POP 00000627: JUMP 00000628: JUMPDEST 00000629: PUSH1 0x00 0000062b: PUSH2 0x0633 0000062e: DUP3 0000062f: PUSH2 0x063a 00000632: JUMP 00000633: JUMPDEST 00000634: SWAP1 00000635: POP 00000636: SWAP2 00000637: SWAP1 00000638: POP 00000639: JUMP 0000063a: JUMPDEST 0000063b: PUSH1 0x00 0000063d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000652: DUP3 00000653: AND 00000654: SWAP1 00000655: POP 00000656: SWAP2 00000657: SWAP1 00000658: POP 00000659: JUMP 0000065a: JUMPDEST 0000065b: PUSH1 0x00 0000065d: DUP2 0000065e: SWAP1 0000065f: POP 00000660: SWAP2 00000661: SWAP1 00000662: POP 00000663: JUMP 00000664: JUMPDEST 00000665: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 00000686: PUSH1 0x00 00000688: DUP3 00000689: ADD 0000068a: MSTORE 0000068b: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000 000006ac: PUSH1 0x20 000006ae: DUP3 000006af: ADD 000006b0: MSTORE 000006b1: POP 000006b2: JUMP 000006b3: JUMPDEST 000006b4: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 000006d5: PUSH1 0x00 000006d7: DUP3 000006d8: ADD 000006d9: MSTORE 000006da: POP 000006db: JUMP 000006dc: JUMPDEST 000006dd: PUSH2 0x06e5 000006e0: DUP2 000006e1: PUSH2 0x0628 000006e4: JUMP 000006e5: JUMPDEST 000006e6: DUP2 000006e7: EQ 000006e8: PUSH2 0x06f0 000006eb: JUMPI 000006ec: PUSH1 0x00 000006ee: DUP1 000006ef: REVERT 000006f0: JUMPDEST 000006f1: POP 000006f2: JUMP 000006f3: INVALID 000006f4: LOG2 000006f5: PUSH5 0x6970667358 000006fb: UNKNOWN(0x22) 000006fc: SLT 000006fd: KECCAK256 000006fe: SELFBALANCE 000006ff: PUSH10 0x2373d7e31f674d8232dd 0000070a: PUSH2 0x5018 0000070d: GT 0000070e: DUP8 0000070f: UNKNOWN(0xAA) 00000710: PUSH12 0xe81dbd344a8c06c19af89d26 0000071d: SWAP1 0000071e: PUSH5 0x736f6c6343 00000724: STOP 00000725: ADDMOD 00000726: ADD 00000727: STOP 00000728: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x9ca6767dab33385eacf7b85cbe210cbb26d60fc43fb5e6373f868b2a9cd230d0
call_targets:
0x5c7f056572a0a97060970c1fcb6a47e8af2e5174
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x9ca6767dab33385eacf7b85cbe210cbb26d60fc43fb5e6373f868b2a9cd230d0",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x5c7f056572a0a97060970c1fcb6a47e8af2e5174"
],
"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": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9fee597b",
"selector": "0x9fee597b",
"calldata_variants": [
"0x9fee597b",
"0x9fee597b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 815,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [],
"untrusted_call_count": 1
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x9ca6767dab33385eacf7b85cbe210cbb26d60fc43fb5e6373f868b2a9cd230d0
call_targets:
0x5c7f056572a0a97060970c1fcb6a47e8af2e5174
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x9ca6767dab33385eacf7b85cbe210cbb26d60fc43fb5e6373f868b2a9cd230d0",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x5c7f056572a0a97060970c1fcb6a47e8af2e5174"
],
"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": "0x715018a6",
"selector": "0x715018a6",
"calldata_variants": [
"0x715018a6",
"0x715018a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9fee597b",
"selector": "0x9fee597b",
"calldata_variants": [
"0x9fee597b",
"0x9fee597b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 815,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": []
}
|