019b477e-b5d3-7336-b621-fc29fb5a2991
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 |
|---|---|---|---|---|
| 23005 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 23006 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 66914 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 66915 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 66916 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 66917 | 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 0x0091 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x8da5cb5b 00000019: GT 0000001a: PUSH2 0x0059 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x8da5cb5b 00000024: EQ 00000025: PUSH2 0x015c 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xa6f9dae1 0000002f: EQ 00000030: PUSH2 0x0171 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xbc017637 0000003a: EQ 0000003b: PUSH2 0x01a4 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xbeabacc8 00000045: EQ 00000046: PUSH2 0x01dd 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xda72c1e8 00000050: EQ 00000051: PUSH2 0x0220 00000054: JUMPI 00000055: PUSH2 0x0091 00000058: JUMP 00000059: JUMPDEST 0000005a: DUP1 0000005b: PUSH4 0x0f15f4c0 00000060: EQ 00000061: PUSH2 0x0093 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0x5c975abb 0000006b: EQ 0000006c: PUSH2 0x00a8 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x78b92c1e 00000076: EQ 00000077: PUSH2 0x00d1 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x837b5c03 00000081: EQ 00000082: PUSH2 0x0116 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0x8456cb59 0000008c: EQ 0000008d: PUSH2 0x0147 00000090: JUMPI 00000091: JUMPDEST 00000092: STOP 00000093: JUMPDEST 00000094: CALLVALUE 00000095: DUP1 00000096: ISZERO 00000097: PUSH2 0x009f 0000009a: JUMPI 0000009b: PUSH1 0x00 0000009d: DUP1 0000009e: REVERT 0000009f: JUMPDEST 000000a0: POP 000000a1: PUSH2 0x0091 000000a4: PUSH2 0x0263 000000a7: JUMP 000000a8: JUMPDEST 000000a9: CALLVALUE 000000aa: DUP1 000000ab: ISZERO 000000ac: PUSH2 0x00b4 000000af: JUMPI 000000b0: PUSH1 0x00 000000b2: DUP1 000000b3: REVERT 000000b4: JUMPDEST 000000b5: POP 000000b6: PUSH2 0x00bd 000000b9: PUSH2 0x0316 000000bc: JUMP 000000bd: JUMPDEST 000000be: PUSH1 0x40 000000c0: DUP1 000000c1: MLOAD 000000c2: SWAP2 000000c3: ISZERO 000000c4: ISZERO 000000c5: DUP3 000000c6: MSTORE 000000c7: MLOAD 000000c8: SWAP1 000000c9: DUP2 000000ca: SWAP1 000000cb: SUB 000000cc: PUSH1 0x20 000000ce: ADD 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 0x0104 000000e2: PUSH1 0x04 000000e4: DUP1 000000e5: CALLDATASIZE 000000e6: SUB 000000e7: PUSH1 0x20 000000e9: DUP2 000000ea: LT 000000eb: ISZERO 000000ec: PUSH2 0x00f4 000000ef: JUMPI 000000f0: PUSH1 0x00 000000f2: DUP1 000000f3: REVERT 000000f4: JUMPDEST 000000f5: POP 000000f6: CALLDATALOAD 000000f7: PUSH1 0x01 000000f9: PUSH1 0x01 000000fb: PUSH1 0xa0 000000fd: SHL 000000fe: SUB 000000ff: AND 00000100: PUSH2 0x031f 00000103: JUMP 00000104: JUMPDEST 00000105: PUSH1 0x40 00000107: DUP1 00000108: MLOAD 00000109: SWAP2 0000010a: DUP3 0000010b: MSTORE 0000010c: MLOAD 0000010d: SWAP1 0000010e: DUP2 0000010f: SWAP1 00000110: SUB 00000111: PUSH1 0x20 00000113: ADD 00000114: SWAP1 00000115: RETURN 00000116: JUMPDEST 00000117: CALLVALUE 00000118: DUP1 00000119: ISZERO 0000011a: PUSH2 0x0122 0000011d: JUMPI 0000011e: PUSH1 0x00 00000120: DUP1 00000121: REVERT 00000122: JUMPDEST 00000123: POP 00000124: PUSH2 0x012b 00000127: PUSH2 0x0331 0000012a: JUMP 0000012b: JUMPDEST 0000012c: PUSH1 0x40 0000012e: DUP1 0000012f: MLOAD 00000130: PUSH1 0x01 00000132: PUSH1 0x01 00000134: PUSH1 0xa0 00000136: SHL 00000137: SUB 00000138: SWAP1 00000139: SWAP3 0000013a: AND 0000013b: DUP3 0000013c: MSTORE 0000013d: MLOAD 0000013e: SWAP1 0000013f: DUP2 00000140: SWAP1 00000141: SUB 00000142: PUSH1 0x20 00000144: ADD 00000145: SWAP1 00000146: RETURN 00000147: JUMPDEST 00000148: CALLVALUE 00000149: DUP1 0000014a: ISZERO 0000014b: PUSH2 0x0153 0000014e: JUMPI 0000014f: PUSH1 0x00 00000151: DUP1 00000152: REVERT 00000153: JUMPDEST 00000154: POP 00000155: PUSH2 0x0091 00000158: PUSH2 0x0340 0000015b: JUMP 0000015c: JUMPDEST 0000015d: CALLVALUE 0000015e: DUP1 0000015f: ISZERO 00000160: PUSH2 0x0168 00000163: JUMPI 00000164: PUSH1 0x00 00000166: DUP1 00000167: REVERT 00000168: JUMPDEST 00000169: POP 0000016a: PUSH2 0x012b 0000016d: PUSH2 0x049c 00000170: JUMP 00000171: JUMPDEST 00000172: CALLVALUE 00000173: DUP1 00000174: ISZERO 00000175: PUSH2 0x017d 00000178: JUMPI 00000179: PUSH1 0x00 0000017b: DUP1 0000017c: REVERT 0000017d: JUMPDEST 0000017e: POP 0000017f: PUSH2 0x0091 00000182: PUSH1 0x04 00000184: DUP1 00000185: CALLDATASIZE 00000186: SUB 00000187: PUSH1 0x20 00000189: DUP2 0000018a: LT 0000018b: ISZERO 0000018c: PUSH2 0x0194 0000018f: JUMPI 00000190: PUSH1 0x00 00000192: DUP1 00000193: REVERT 00000194: JUMPDEST 00000195: POP 00000196: CALLDATALOAD 00000197: PUSH1 0x01 00000199: PUSH1 0x01 0000019b: PUSH1 0xa0 0000019d: SHL 0000019e: SUB 0000019f: AND 000001a0: PUSH2 0x04ab 000001a3: JUMP 000001a4: JUMPDEST 000001a5: CALLVALUE 000001a6: DUP1 000001a7: ISZERO 000001a8: PUSH2 0x01b0 000001ab: JUMPI 000001ac: PUSH1 0x00 000001ae: DUP1 000001af: REVERT 000001b0: JUMPDEST 000001b1: POP 000001b2: PUSH2 0x0091 000001b5: PUSH1 0x04 000001b7: DUP1 000001b8: CALLDATASIZE 000001b9: SUB 000001ba: PUSH1 0x40 000001bc: DUP2 000001bd: LT 000001be: ISZERO 000001bf: PUSH2 0x01c7 000001c2: JUMPI 000001c3: PUSH1 0x00 000001c5: DUP1 000001c6: REVERT 000001c7: JUMPDEST 000001c8: POP 000001c9: PUSH1 0x01 000001cb: PUSH1 0x01 000001cd: PUSH1 0xa0 000001cf: SHL 000001d0: SUB 000001d1: DUP2 000001d2: CALLDATALOAD 000001d3: AND 000001d4: SWAP1 000001d5: PUSH1 0x20 000001d7: ADD 000001d8: CALLDATALOAD 000001d9: PUSH2 0x04e4 000001dc: JUMP 000001dd: JUMPDEST 000001de: CALLVALUE 000001df: DUP1 000001e0: ISZERO 000001e1: PUSH2 0x01e9 000001e4: JUMPI 000001e5: PUSH1 0x00 000001e7: DUP1 000001e8: REVERT 000001e9: JUMPDEST 000001ea: POP 000001eb: PUSH2 0x00bd 000001ee: PUSH1 0x04 000001f0: DUP1 000001f1: CALLDATASIZE 000001f2: SUB 000001f3: PUSH1 0x60 000001f5: DUP2 000001f6: LT 000001f7: ISZERO 000001f8: PUSH2 0x0200 000001fb: JUMPI 000001fc: PUSH1 0x00 000001fe: DUP1 000001ff: REVERT 00000200: JUMPDEST 00000201: POP 00000202: PUSH1 0x01 00000204: PUSH1 0x01 00000206: PUSH1 0xa0 00000208: SHL 00000209: SUB 0000020a: DUP2 0000020b: CALLDATALOAD 0000020c: DUP2 0000020d: AND 0000020e: SWAP2 0000020f: PUSH1 0x20 00000211: DUP2 00000212: ADD 00000213: CALLDATALOAD 00000214: SWAP1 00000215: SWAP2 00000216: AND 00000217: SWAP1 00000218: PUSH1 0x40 0000021a: ADD 0000021b: CALLDATALOAD 0000021c: PUSH2 0x0517 0000021f: JUMP 00000220: JUMPDEST 00000221: CALLVALUE 00000222: DUP1 00000223: ISZERO 00000224: PUSH2 0x022c 00000227: JUMPI 00000228: PUSH1 0x00 0000022a: DUP1 0000022b: REVERT 0000022c: JUMPDEST 0000022d: POP 0000022e: PUSH2 0x00bd 00000231: PUSH1 0x04 00000233: DUP1 00000234: CALLDATASIZE 00000235: SUB 00000236: PUSH1 0x60 00000238: DUP2 00000239: LT 0000023a: ISZERO 0000023b: PUSH2 0x0243 0000023e: JUMPI 0000023f: PUSH1 0x00 00000241: DUP1 00000242: REVERT 00000243: JUMPDEST 00000244: POP 00000245: PUSH1 0x01 00000247: PUSH1 0x01 00000249: PUSH1 0xa0 0000024b: SHL 0000024c: SUB 0000024d: DUP2 0000024e: CALLDATALOAD 0000024f: DUP2 00000250: AND 00000251: SWAP2 00000252: PUSH1 0x20 00000254: DUP2 00000255: ADD 00000256: CALLDATALOAD 00000257: SWAP1 00000258: SWAP2 00000259: AND 0000025a: SWAP1 0000025b: PUSH1 0x40 0000025d: ADD 0000025e: CALLDATALOAD 0000025f: PUSH2 0x0709 00000262: JUMP 00000263: JUMPDEST 00000264: PUSH1 0x03 00000266: SLOAD 00000267: PUSH1 0xff 00000269: AND 0000026a: ISZERO 0000026b: ISZERO 0000026c: PUSH1 0x01 0000026e: EQ 0000026f: PUSH2 0x02bf 00000272: JUMPI 00000273: PUSH1 0x40 00000275: DUP1 00000276: MLOAD 00000277: PUSH3 0x461bcd 0000027b: PUSH1 0xe5 0000027d: SHL 0000027e: DUP2 0000027f: MSTORE 00000280: PUSH1 0x20 00000282: PUSH1 0x04 00000284: DUP3 00000285: ADD 00000286: MSTORE 00000287: PUSH1 0x17 00000289: PUSH1 0x24 0000028b: DUP3 0000028c: ADD 0000028d: MSTORE 0000028e: PUSH32 0x436f6e7472616374206973206e6f74207061757365642e000000000000000000 000002af: PUSH1 0x44 000002b1: DUP3 000002b2: ADD 000002b3: MSTORE 000002b4: SWAP1 000002b5: MLOAD 000002b6: SWAP1 000002b7: DUP2 000002b8: SWAP1 000002b9: SUB 000002ba: PUSH1 0x64 000002bc: ADD 000002bd: SWAP1 000002be: REVERT 000002bf: JUMPDEST 000002c0: PUSH1 0x00 000002c2: SLOAD 000002c3: PUSH1 0x01 000002c5: PUSH1 0x01 000002c7: PUSH1 0xa0 000002c9: SHL 000002ca: SUB 000002cb: AND 000002cc: CALLER 000002cd: EQ 000002ce: PUSH2 0x02d6 000002d1: JUMPI 000002d2: PUSH1 0x00 000002d4: DUP1 000002d5: REVERT 000002d6: JUMPDEST 000002d7: PUSH1 0x03 000002d9: DUP1 000002da: SLOAD 000002db: PUSH1 0xff 000002dd: NOT 000002de: AND 000002df: SWAP1 000002e0: SSTORE 000002e1: PUSH1 0x40 000002e3: DUP1 000002e4: MLOAD 000002e5: PUSH1 0x00 000002e7: DUP2 000002e8: MSTORE 000002e9: SWAP1 000002ea: MLOAD 000002eb: PUSH32 0x0e2fb031ee032dc02d8011dc50b816eb450cf856abd8261680dac74f72165bd2 0000030c: SWAP2 0000030d: DUP2 0000030e: SWAP1 0000030f: SUB 00000310: PUSH1 0x20 00000312: ADD 00000313: SWAP1 00000314: LOG1 00000315: JUMP 00000316: JUMPDEST 00000317: PUSH1 0x03 00000319: SLOAD 0000031a: PUSH1 0xff 0000031c: AND 0000031d: DUP2 0000031e: JUMP 0000031f: JUMPDEST 00000320: PUSH1 0x02 00000322: PUSH1 0x20 00000324: MSTORE 00000325: PUSH1 0x00 00000327: SWAP1 00000328: DUP2 00000329: MSTORE 0000032a: PUSH1 0x40 0000032c: SWAP1 0000032d: KECCAK256 0000032e: SLOAD 0000032f: DUP2 00000330: JUMP 00000331: JUMPDEST 00000332: PUSH1 0x01 00000334: SLOAD 00000335: PUSH1 0x01 00000337: PUSH1 0x01 00000339: PUSH1 0xa0 0000033b: SHL 0000033c: SUB 0000033d: AND 0000033e: DUP2 0000033f: JUMP 00000340: JUMPDEST 00000341: PUSH1 0x03 00000343: SLOAD 00000344: PUSH1 0xff 00000346: AND 00000347: ISZERO 00000348: PUSH2 0x038e 0000034b: JUMPI 0000034c: PUSH1 0x40 0000034e: DUP1 0000034f: MLOAD 00000350: PUSH3 0x461bcd 00000354: PUSH1 0xe5 00000356: SHL 00000357: DUP2 00000358: MSTORE 00000359: PUSH1 0x20 0000035b: PUSH1 0x04 0000035d: DUP3 0000035e: ADD 0000035f: MSTORE 00000360: PUSH1 0x13 00000362: PUSH1 0x24 00000364: DUP3 00000365: ADD 00000366: MSTORE 00000367: PUSH19 0x21b7b73a3930b1ba1034b9903830bab9b2b217 0000037b: PUSH1 0x69 0000037d: SHL 0000037e: PUSH1 0x44 00000380: DUP3 00000381: ADD 00000382: MSTORE 00000383: SWAP1 00000384: MLOAD 00000385: SWAP1 00000386: DUP2 00000387: SWAP1 00000388: SUB 00000389: PUSH1 0x64 0000038b: ADD 0000038c: SWAP1 0000038d: REVERT 0000038e: JUMPDEST 0000038f: PUSH1 0x01 00000391: SLOAD 00000392: PUSH1 0x40 00000394: DUP1 00000395: MLOAD 00000396: PUSH4 0xb9181611 0000039b: PUSH1 0xe0 0000039d: SHL 0000039e: DUP2 0000039f: MSTORE 000003a0: CALLER 000003a1: PUSH1 0x04 000003a3: DUP3 000003a4: ADD 000003a5: MSTORE 000003a6: SWAP1 000003a7: MLOAD 000003a8: PUSH1 0x01 000003aa: PUSH1 0x01 000003ac: PUSH1 0xa0 000003ae: SHL 000003af: SUB 000003b0: SWAP1 000003b1: SWAP3 000003b2: AND 000003b3: SWAP2 000003b4: PUSH4 0xb9181611 000003b9: SWAP2 000003ba: PUSH1 0x24 000003bc: DUP1 000003bd: DUP3 000003be: ADD 000003bf: SWAP3 000003c0: PUSH1 0x20 000003c2: SWAP3 000003c3: SWAP1 000003c4: SWAP2 000003c5: SWAP1 000003c6: DUP3 000003c7: SWAP1 000003c8: SUB 000003c9: ADD 000003ca: DUP2 000003cb: DUP7 000003cc: DUP1 000003cd: EXTCODESIZE 000003ce: ISZERO 000003cf: DUP1 000003d0: ISZERO 000003d1: PUSH2 0x03d9 000003d4: JUMPI 000003d5: PUSH1 0x00 000003d7: DUP1 000003d8: REVERT 000003d9: JUMPDEST 000003da: POP 000003db: GAS 000003dc: STATICCALL 000003dd: ISZERO 000003de: DUP1 000003df: ISZERO 000003e0: PUSH2 0x03ed 000003e3: JUMPI 000003e4: RETURNDATASIZE 000003e5: PUSH1 0x00 000003e7: DUP1 000003e8: RETURNDATACOPY 000003e9: RETURNDATASIZE 000003ea: PUSH1 0x00 000003ec: REVERT 000003ed: JUMPDEST 000003ee: POP 000003ef: POP 000003f0: POP 000003f1: POP 000003f2: PUSH1 0x40 000003f4: MLOAD 000003f5: RETURNDATASIZE 000003f6: PUSH1 0x20 000003f8: DUP2 000003f9: LT 000003fa: ISZERO 000003fb: PUSH2 0x0403 000003fe: JUMPI 000003ff: PUSH1 0x00 00000401: DUP1 00000402: REVERT 00000403: JUMPDEST 00000404: POP 00000405: MLOAD 00000406: PUSH2 0x0452 00000409: JUMPI 0000040a: PUSH1 0x40 0000040c: DUP1 0000040d: MLOAD 0000040e: PUSH3 0x461bcd 00000412: PUSH1 0xe5 00000414: SHL 00000415: DUP2 00000416: MSTORE 00000417: PUSH1 0x20 00000419: PUSH1 0x04 0000041b: DUP3 0000041c: ADD 0000041d: MSTORE 0000041e: PUSH1 0x19 00000420: PUSH1 0x24 00000422: DUP3 00000423: ADD 00000424: MSTORE 00000425: PUSH25 0x29b2b73232b91034b9903737ba1030baba3437b934bd32b217 0000043f: PUSH1 0x39 00000441: SHL 00000442: PUSH1 0x44 00000444: DUP3 00000445: ADD 00000446: MSTORE 00000447: SWAP1 00000448: MLOAD 00000449: SWAP1 0000044a: DUP2 0000044b: SWAP1 0000044c: SUB 0000044d: PUSH1 0x64 0000044f: ADD 00000450: SWAP1 00000451: REVERT 00000452: JUMPDEST 00000453: PUSH1 0x03 00000455: DUP1 00000456: SLOAD 00000457: PUSH1 0xff 00000459: NOT 0000045a: AND 0000045b: PUSH1 0x01 0000045d: OR 0000045e: SWAP1 0000045f: DUP2 00000460: SWAP1 00000461: SSTORE 00000462: PUSH1 0x40 00000464: DUP1 00000465: MLOAD 00000466: PUSH1 0xff 00000468: SWAP3 00000469: SWAP1 0000046a: SWAP3 0000046b: AND 0000046c: ISZERO 0000046d: ISZERO 0000046e: DUP3 0000046f: MSTORE 00000470: MLOAD 00000471: PUSH32 0x0e2fb031ee032dc02d8011dc50b816eb450cf856abd8261680dac74f72165bd2 00000492: SWAP2 00000493: DUP2 00000494: SWAP1 00000495: SUB 00000496: PUSH1 0x20 00000498: ADD 00000499: SWAP1 0000049a: LOG1 0000049b: JUMP 0000049c: JUMPDEST 0000049d: PUSH1 0x00 0000049f: SLOAD 000004a0: PUSH1 0x01 000004a2: PUSH1 0x01 000004a4: PUSH1 0xa0 000004a6: SHL 000004a7: SUB 000004a8: AND 000004a9: DUP2 000004aa: JUMP 000004ab: JUMPDEST 000004ac: PUSH1 0x00 000004ae: SLOAD 000004af: PUSH1 0x01 000004b1: PUSH1 0x01 000004b3: PUSH1 0xa0 000004b5: SHL 000004b6: SUB 000004b7: AND 000004b8: CALLER 000004b9: EQ 000004ba: PUSH2 0x04c2 000004bd: JUMPI 000004be: PUSH1 0x00 000004c0: DUP1 000004c1: REVERT 000004c2: JUMPDEST 000004c3: PUSH1 0x00 000004c5: DUP1 000004c6: SLOAD 000004c7: PUSH1 0x01 000004c9: PUSH1 0x01 000004cb: PUSH1 0xa0 000004cd: SHL 000004ce: SUB 000004cf: NOT 000004d0: AND 000004d1: PUSH1 0x01 000004d3: PUSH1 0x01 000004d5: PUSH1 0xa0 000004d7: SHL 000004d8: SUB 000004d9: SWAP3 000004da: SWAP1 000004db: SWAP3 000004dc: AND 000004dd: SWAP2 000004de: SWAP1 000004df: SWAP2 000004e0: OR 000004e1: SWAP1 000004e2: SSTORE 000004e3: JUMP 000004e4: JUMPDEST 000004e5: PUSH1 0x00 000004e7: SLOAD 000004e8: PUSH1 0x01 000004ea: PUSH1 0x01 000004ec: PUSH1 0xa0 000004ee: SHL 000004ef: SUB 000004f0: AND 000004f1: CALLER 000004f2: EQ 000004f3: PUSH2 0x04fb 000004f6: JUMPI 000004f7: PUSH1 0x00 000004f9: DUP1 000004fa: REVERT 000004fb: JUMPDEST 000004fc: PUSH1 0x01 000004fe: PUSH1 0x01 00000500: PUSH1 0xa0 00000502: SHL 00000503: SUB 00000504: SWAP1 00000505: SWAP2 00000506: AND 00000507: PUSH1 0x00 00000509: SWAP1 0000050a: DUP2 0000050b: MSTORE 0000050c: PUSH1 0x02 0000050e: PUSH1 0x20 00000510: MSTORE 00000511: PUSH1 0x40 00000513: SWAP1 00000514: KECCAK256 00000515: SSTORE 00000516: JUMP 00000517: JUMPDEST 00000518: PUSH1 0x03 0000051a: SLOAD 0000051b: PUSH1 0x00 0000051d: SWAP1 0000051e: PUSH1 0xff 00000520: AND 00000521: ISZERO 00000522: PUSH2 0x0568 00000525: JUMPI 00000526: PUSH1 0x40 00000528: DUP1 00000529: MLOAD 0000052a: PUSH3 0x461bcd 0000052e: PUSH1 0xe5 00000530: SHL 00000531: DUP2 00000532: MSTORE 00000533: PUSH1 0x20 00000535: PUSH1 0x04 00000537: DUP3 00000538: ADD 00000539: MSTORE 0000053a: PUSH1 0x13 0000053c: PUSH1 0x24 0000053e: DUP3 0000053f: ADD 00000540: MSTORE 00000541: PUSH19 0x21b7b73a3930b1ba1034b9903830bab9b2b217 00000555: PUSH1 0x69 00000557: SHL 00000558: PUSH1 0x44 0000055a: DUP3 0000055b: ADD 0000055c: MSTORE 0000055d: SWAP1 0000055e: MLOAD 0000055f: SWAP1 00000560: DUP2 00000561: SWAP1 00000562: SUB 00000563: PUSH1 0x64 00000565: ADD 00000566: SWAP1 00000567: REVERT 00000568: JUMPDEST 00000569: PUSH1 0x01 0000056b: SLOAD 0000056c: PUSH1 0x40 0000056e: DUP1 0000056f: MLOAD 00000570: PUSH4 0xb9181611 00000575: PUSH1 0xe0 00000577: SHL 00000578: DUP2 00000579: MSTORE 0000057a: CALLER 0000057b: PUSH1 0x04 0000057d: DUP3 0000057e: ADD 0000057f: MSTORE 00000580: SWAP1 00000581: MLOAD 00000582: PUSH1 0x01 00000584: PUSH1 0x01 00000586: PUSH1 0xa0 00000588: SHL 00000589: SUB 0000058a: SWAP1 0000058b: SWAP3 0000058c: AND 0000058d: SWAP2 0000058e: PUSH4 0xb9181611 00000593: SWAP2 00000594: PUSH1 0x24 00000596: DUP1 00000597: DUP3 00000598: ADD 00000599: SWAP3 0000059a: PUSH1 0x20 0000059c: SWAP3 0000059d: SWAP1 0000059e: SWAP2 0000059f: SWAP1 000005a0: DUP3 000005a1: SWAP1 000005a2: SUB 000005a3: ADD 000005a4: DUP2 000005a5: DUP7 000005a6: DUP1 000005a7: EXTCODESIZE 000005a8: ISZERO 000005a9: DUP1 000005aa: ISZERO 000005ab: PUSH2 0x05b3 000005ae: JUMPI 000005af: PUSH1 0x00 000005b1: DUP1 000005b2: REVERT 000005b3: JUMPDEST 000005b4: POP 000005b5: GAS 000005b6: STATICCALL 000005b7: ISZERO 000005b8: DUP1 000005b9: ISZERO 000005ba: PUSH2 0x05c7 000005bd: JUMPI 000005be: RETURNDATASIZE 000005bf: PUSH1 0x00 000005c1: DUP1 000005c2: RETURNDATACOPY 000005c3: RETURNDATASIZE 000005c4: PUSH1 0x00 000005c6: REVERT 000005c7: JUMPDEST 000005c8: POP 000005c9: POP 000005ca: POP 000005cb: POP 000005cc: PUSH1 0x40 000005ce: MLOAD 000005cf: RETURNDATASIZE 000005d0: PUSH1 0x20 000005d2: DUP2 000005d3: LT 000005d4: ISZERO 000005d5: PUSH2 0x05dd 000005d8: JUMPI 000005d9: PUSH1 0x00 000005db: DUP1 000005dc: REVERT 000005dd: JUMPDEST 000005de: POP 000005df: MLOAD 000005e0: PUSH2 0x062c 000005e3: JUMPI 000005e4: PUSH1 0x40 000005e6: DUP1 000005e7: MLOAD 000005e8: PUSH3 0x461bcd 000005ec: PUSH1 0xe5 000005ee: SHL 000005ef: DUP2 000005f0: MSTORE 000005f1: PUSH1 0x20 000005f3: PUSH1 0x04 000005f5: DUP3 000005f6: ADD 000005f7: MSTORE 000005f8: PUSH1 0x19 000005fa: PUSH1 0x24 000005fc: DUP3 000005fd: ADD 000005fe: MSTORE 000005ff: PUSH25 0x29b2b73232b91034b9903737ba1030baba3437b934bd32b217 00000619: PUSH1 0x39 0000061b: SHL 0000061c: PUSH1 0x44 0000061e: DUP3 0000061f: ADD 00000620: MSTORE 00000621: SWAP1 00000622: MLOAD 00000623: SWAP1 00000624: DUP2 00000625: SWAP1 00000626: SUB 00000627: PUSH1 0x64 00000629: ADD 0000062a: SWAP1 0000062b: REVERT 0000062c: JUMPDEST 0000062d: PUSH1 0x01 0000062f: PUSH1 0x01 00000631: PUSH1 0xa0 00000633: SHL 00000634: SUB 00000635: DUP5 00000636: AND 00000637: PUSH1 0x00 00000639: SWAP1 0000063a: DUP2 0000063b: MSTORE 0000063c: PUSH1 0x02 0000063e: PUSH1 0x20 00000640: MSTORE 00000641: PUSH1 0x40 00000643: SWAP1 00000644: KECCAK256 00000645: SLOAD 00000646: ISZERO 00000647: DUP1 00000648: PUSH2 0x0669 0000064b: JUMPI 0000064c: POP 0000064d: PUSH1 0x01 0000064f: PUSH1 0x01 00000651: PUSH1 0xa0 00000653: SHL 00000654: SUB 00000655: DUP5 00000656: AND 00000657: PUSH1 0x00 00000659: SWAP1 0000065a: DUP2 0000065b: MSTORE 0000065c: PUSH1 0x02 0000065e: PUSH1 0x20 00000660: MSTORE 00000661: PUSH1 0x40 00000663: SWAP1 00000664: KECCAK256 00000665: SLOAD 00000666: DUP3 00000667: GT 00000668: ISZERO 00000669: JUMPDEST 0000066a: PUSH2 0x06a4 0000066d: JUMPI 0000066e: PUSH1 0x40 00000670: MLOAD 00000671: PUSH3 0x461bcd 00000675: PUSH1 0xe5 00000677: SHL 00000678: DUP2 00000679: MSTORE 0000067a: PUSH1 0x04 0000067c: ADD 0000067d: DUP1 0000067e: DUP1 0000067f: PUSH1 0x20 00000681: ADD 00000682: DUP3 00000683: DUP2 00000684: SUB 00000685: DUP3 00000686: MSTORE 00000687: PUSH1 0x28 00000689: DUP2 0000068a: MSTORE 0000068b: PUSH1 0x20 0000068d: ADD 0000068e: DUP1 0000068f: PUSH2 0x09f0 00000692: PUSH1 0x28 00000694: SWAP2 00000695: CODECOPY 00000696: PUSH1 0x40 00000698: ADD 00000699: SWAP2 0000069a: POP 0000069b: POP 0000069c: PUSH1 0x40 0000069e: MLOAD 0000069f: DUP1 000006a0: SWAP2 000006a1: SUB 000006a2: SWAP1 000006a3: REVERT 000006a4: JUMPDEST 000006a5: PUSH2 0x06af 000006a8: DUP5 000006a9: DUP5 000006aa: DUP5 000006ab: PUSH2 0x0785 000006ae: JUMP 000006af: JUMPDEST 000006b0: SWAP1 000006b1: POP 000006b2: DUP1 000006b3: ISZERO 000006b4: PUSH2 0x0702 000006b7: JUMPI 000006b8: PUSH1 0x40 000006ba: DUP1 000006bb: MLOAD 000006bc: PUSH1 0x01 000006be: PUSH1 0x01 000006c0: PUSH1 0xa0 000006c2: SHL 000006c3: SUB 000006c4: DUP1 000006c5: DUP8 000006c6: AND 000006c7: DUP3 000006c8: MSTORE 000006c9: DUP6 000006ca: AND 000006cb: PUSH1 0x20 000006cd: DUP3 000006ce: ADD 000006cf: MSTORE 000006d0: DUP1 000006d1: DUP3 000006d2: ADD 000006d3: DUP5 000006d4: SWAP1 000006d5: MSTORE 000006d6: SWAP1 000006d7: MLOAD 000006d8: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 000006f9: SWAP2 000006fa: DUP2 000006fb: SWAP1 000006fc: SUB 000006fd: PUSH1 0x60 000006ff: ADD 00000700: SWAP1 00000701: LOG1 00000702: JUMPDEST 00000703: SWAP4 00000704: SWAP3 00000705: POP 00000706: POP 00000707: POP 00000708: JUMP 00000709: JUMPDEST 0000070a: PUSH1 0x00 0000070c: DUP1 0000070d: SLOAD 0000070e: PUSH1 0x01 00000710: PUSH1 0x01 00000712: PUSH1 0xa0 00000714: SHL 00000715: SUB 00000716: AND 00000717: CALLER 00000718: EQ 00000719: PUSH2 0x0721 0000071c: JUMPI 0000071d: PUSH1 0x00 0000071f: DUP1 00000720: REVERT 00000721: JUMPDEST 00000722: PUSH2 0x072c 00000725: DUP5 00000726: DUP5 00000727: DUP5 00000728: PUSH2 0x0785 0000072b: JUMP 0000072c: JUMPDEST 0000072d: SWAP1 0000072e: POP 0000072f: DUP1 00000730: ISZERO 00000731: PUSH2 0x0702 00000734: JUMPI 00000735: PUSH1 0x40 00000737: DUP1 00000738: MLOAD 00000739: PUSH1 0x01 0000073b: PUSH1 0x01 0000073d: PUSH1 0xa0 0000073f: SHL 00000740: SUB 00000741: DUP1 00000742: DUP8 00000743: AND 00000744: DUP3 00000745: MSTORE 00000746: DUP6 00000747: AND 00000748: PUSH1 0x20 0000074a: DUP3 0000074b: ADD 0000074c: MSTORE 0000074d: DUP1 0000074e: DUP3 0000074f: ADD 00000750: DUP5 00000751: SWAP1 00000752: MSTORE 00000753: SWAP1 00000754: MLOAD 00000755: PUSH32 0x2717ead6b9200dd235aad468c9809ea400fe33ac69b5bfaa6d3e90fc922b6398 00000776: SWAP2 00000777: DUP2 00000778: SWAP1 00000779: SUB 0000077a: PUSH1 0x60 0000077c: ADD 0000077d: SWAP1 0000077e: LOG1 0000077f: SWAP4 00000780: SWAP3 00000781: POP 00000782: POP 00000783: POP 00000784: JUMP 00000785: JUMPDEST 00000786: PUSH1 0x00 00000788: PUSH1 0x01 0000078a: PUSH1 0x01 0000078c: PUSH1 0xa0 0000078e: SHL 0000078f: SUB 00000790: DUP4 00000791: AND 00000792: PUSH2 0x07cc 00000795: JUMPI 00000796: PUSH1 0x40 00000798: MLOAD 00000799: PUSH3 0x461bcd 0000079d: PUSH1 0xe5 0000079f: SHL 000007a0: DUP2 000007a1: MSTORE 000007a2: PUSH1 0x04 000007a4: ADD 000007a5: DUP1 000007a6: DUP1 000007a7: PUSH1 0x20 000007a9: ADD 000007aa: DUP3 000007ab: DUP2 000007ac: SUB 000007ad: DUP3 000007ae: MSTORE 000007af: PUSH1 0x29 000007b1: DUP2 000007b2: MSTORE 000007b3: PUSH1 0x20 000007b5: ADD 000007b6: DUP1 000007b7: PUSH2 0x09c7 000007ba: PUSH1 0x29 000007bc: SWAP2 000007bd: CODECOPY 000007be: PUSH1 0x40 000007c0: ADD 000007c1: SWAP2 000007c2: POP 000007c3: POP 000007c4: PUSH1 0x40 000007c6: MLOAD 000007c7: DUP1 000007c8: SWAP2 000007c9: SUB 000007ca: SWAP1 000007cb: REVERT 000007cc: JUMPDEST 000007cd: POP 000007ce: PUSH1 0x00 000007d0: PUSH1 0x01 000007d2: PUSH1 0x01 000007d4: PUSH1 0xa0 000007d6: SHL 000007d7: SUB 000007d8: DUP5 000007d9: AND 000007da: PUSH2 0x0866 000007dd: JUMPI 000007de: ADDRESS 000007df: BALANCE 000007e0: DUP3 000007e1: GT 000007e2: ISZERO 000007e3: PUSH2 0x0833 000007e6: JUMPI 000007e7: PUSH1 0x40 000007e9: DUP1 000007ea: MLOAD 000007eb: PUSH3 0x461bcd 000007ef: PUSH1 0xe5 000007f1: SHL 000007f2: DUP2 000007f3: MSTORE 000007f4: PUSH1 0x20 000007f6: PUSH1 0x04 000007f8: DUP3 000007f9: ADD 000007fa: MSTORE 000007fb: PUSH1 0x19 000007fd: PUSH1 0x24 000007ff: DUP3 00000800: ADD 00000801: MSTORE 00000802: PUSH32 0x4574682062616c616e636520697320746f6f20736d616c6c2e00000000000000 00000823: PUSH1 0x44 00000825: DUP3 00000826: ADD 00000827: MSTORE 00000828: SWAP1 00000829: MLOAD 0000082a: SWAP1 0000082b: DUP2 0000082c: SWAP1 0000082d: SUB 0000082e: PUSH1 0x64 00000830: ADD 00000831: SWAP1 00000832: REVERT 00000833: JUMPDEST 00000834: PUSH1 0x40 00000836: MLOAD 00000837: PUSH1 0x01 00000839: PUSH1 0x01 0000083b: PUSH1 0xa0 0000083d: SHL 0000083e: SUB 0000083f: DUP5 00000840: AND 00000841: SWAP1 00000842: DUP4 00000843: ISZERO 00000844: PUSH2 0x08fc 00000847: MUL 00000848: SWAP1 00000849: DUP5 0000084a: SWAP1 0000084b: PUSH1 0x00 0000084d: DUP2 0000084e: DUP2 0000084f: DUP2 00000850: DUP6 00000851: DUP9 00000852: DUP9 00000853: CALL 00000854: SWAP4 00000855: POP 00000856: POP 00000857: POP 00000858: POP 00000859: SWAP1 0000085a: POP 0000085b: DUP1 0000085c: PUSH2 0x0861 0000085f: JUMPI 00000860: INVALID 00000861: JUMPDEST 00000862: PUSH2 0x0702 00000865: JUMP 00000866: JUMPDEST 00000867: PUSH1 0x40 00000869: DUP1 0000086a: MLOAD 0000086b: PUSH4 0x70a08231 00000870: PUSH1 0xe0 00000872: SHL 00000873: DUP2 00000874: MSTORE 00000875: ADDRESS 00000876: PUSH1 0x04 00000878: DUP3 00000879: ADD 0000087a: MSTORE 0000087b: SWAP1 0000087c: MLOAD 0000087d: DUP6 0000087e: SWAP2 0000087f: PUSH1 0x01 00000881: PUSH1 0x01 00000883: PUSH1 0xa0 00000885: SHL 00000886: SUB 00000887: DUP4 00000888: AND 00000889: SWAP2 0000088a: PUSH4 0x70a08231 0000088f: SWAP2 00000890: PUSH1 0x24 00000892: DUP1 00000893: DUP3 00000894: ADD 00000895: SWAP3 00000896: PUSH1 0x20 00000898: SWAP3 00000899: SWAP1 0000089a: SWAP2 0000089b: SWAP1 0000089c: DUP3 0000089d: SWAP1 0000089e: SUB 0000089f: ADD 000008a0: DUP2 000008a1: PUSH1 0x00 000008a3: DUP8 000008a4: DUP1 000008a5: EXTCODESIZE 000008a6: ISZERO 000008a7: DUP1 000008a8: ISZERO 000008a9: PUSH2 0x08b1 000008ac: JUMPI 000008ad: PUSH1 0x00 000008af: DUP1 000008b0: REVERT 000008b1: JUMPDEST 000008b2: POP 000008b3: GAS 000008b4: CALL 000008b5: ISZERO 000008b6: DUP1 000008b7: ISZERO 000008b8: PUSH2 0x08c5 000008bb: JUMPI 000008bc: RETURNDATASIZE 000008bd: PUSH1 0x00 000008bf: DUP1 000008c0: RETURNDATACOPY 000008c1: RETURNDATASIZE 000008c2: PUSH1 0x00 000008c4: REVERT 000008c5: JUMPDEST 000008c6: POP 000008c7: POP 000008c8: POP 000008c9: POP 000008ca: PUSH1 0x40 000008cc: MLOAD 000008cd: RETURNDATASIZE 000008ce: PUSH1 0x20 000008d0: DUP2 000008d1: LT 000008d2: ISZERO 000008d3: PUSH2 0x08db 000008d6: JUMPI 000008d7: PUSH1 0x00 000008d9: DUP1 000008da: REVERT 000008db: JUMPDEST 000008dc: POP 000008dd: MLOAD 000008de: DUP4 000008df: GT 000008e0: ISZERO 000008e1: PUSH2 0x0931 000008e4: JUMPI 000008e5: PUSH1 0x40 000008e7: DUP1 000008e8: MLOAD 000008e9: PUSH3 0x461bcd 000008ed: PUSH1 0xe5 000008ef: SHL 000008f0: DUP2 000008f1: MSTORE 000008f2: PUSH1 0x20 000008f4: PUSH1 0x04 000008f6: DUP3 000008f7: ADD 000008f8: MSTORE 000008f9: PUSH1 0x1b 000008fb: PUSH1 0x24 000008fd: DUP3 000008fe: ADD 000008ff: MSTORE 00000900: PUSH32 0x41737365742062616c616e636520697320746f6f20736d616c6c2e0000000000 00000921: PUSH1 0x44 00000923: DUP3 00000924: ADD 00000925: MSTORE 00000926: SWAP1 00000927: MLOAD 00000928: SWAP1 00000929: DUP2 0000092a: SWAP1 0000092b: SUB 0000092c: PUSH1 0x64 0000092e: ADD 0000092f: SWAP1 00000930: REVERT 00000931: JUMPDEST 00000932: DUP1 00000933: PUSH1 0x01 00000935: PUSH1 0x01 00000937: PUSH1 0xa0 00000939: SHL 0000093a: SUB 0000093b: AND 0000093c: PUSH4 0xa9059cbb 00000941: DUP6 00000942: DUP6 00000943: PUSH1 0x40 00000945: MLOAD 00000946: DUP4 00000947: PUSH4 0xffffffff 0000094c: AND 0000094d: PUSH1 0xe0 0000094f: SHL 00000950: DUP2 00000951: MSTORE 00000952: PUSH1 0x04 00000954: ADD 00000955: DUP1 00000956: DUP4 00000957: PUSH1 0x01 00000959: PUSH1 0x01 0000095b: PUSH1 0xa0 0000095d: SHL 0000095e: SUB 0000095f: AND 00000960: PUSH1 0x01 00000962: PUSH1 0x01 00000964: PUSH1 0xa0 00000966: SHL 00000967: SUB 00000968: AND 00000969: DUP2 0000096a: MSTORE 0000096b: PUSH1 0x20 0000096d: ADD 0000096e: DUP3 0000096f: DUP2 00000970: MSTORE 00000971: PUSH1 0x20 00000973: ADD 00000974: SWAP3 00000975: POP 00000976: POP 00000977: POP 00000978: PUSH1 0x20 0000097a: PUSH1 0x40 0000097c: MLOAD 0000097d: DUP1 0000097e: DUP4 0000097f: SUB 00000980: DUP2 00000981: PUSH1 0x00 00000983: DUP8 00000984: DUP1 00000985: EXTCODESIZE 00000986: ISZERO 00000987: DUP1 00000988: ISZERO 00000989: PUSH2 0x0991 0000098c: JUMPI 0000098d: PUSH1 0x00 0000098f: DUP1 00000990: REVERT 00000991: JUMPDEST 00000992: POP 00000993: GAS 00000994: CALL 00000995: ISZERO 00000996: DUP1 00000997: ISZERO 00000998: PUSH2 0x09a5 0000099b: JUMPI 0000099c: RETURNDATASIZE 0000099d: PUSH1 0x00 0000099f: DUP1 000009a0: RETURNDATACOPY 000009a1: RETURNDATASIZE 000009a2: PUSH1 0x00 000009a4: REVERT 000009a5: JUMPDEST 000009a6: POP 000009a7: POP 000009a8: POP 000009a9: POP 000009aa: PUSH1 0x40 000009ac: MLOAD 000009ad: RETURNDATASIZE 000009ae: PUSH1 0x20 000009b0: DUP2 000009b1: LT 000009b2: ISZERO 000009b3: PUSH2 0x09bb 000009b6: JUMPI 000009b7: PUSH1 0x00 000009b9: DUP1 000009ba: REVERT 000009bb: JUMPDEST 000009bc: POP 000009bd: MLOAD 000009be: SWAP6 000009bf: SWAP5 000009c0: POP 000009c1: POP 000009c2: POP 000009c3: POP 000009c4: POP 000009c5: JUMP 000009c6: INVALID 000009c7: POP 000009c8: PUSH13 0x65617365207573652076616c69 000009d6: PUSH5 0x2072656365 000009dc: PUSH10 0x7665722077616c6c6574 000009e7: KECCAK256 000009e8: PUSH2 0x6464 000009eb: PUSH19 0x6573732e416d6f756e74206578636565647320 000009ff: PUSH21 0x72616e73666572206c696d697420666f7220617373 00000a15: PUSH6 0x742ea265627a 00000a1c: PUSH27 0x72305820031096f23850ab8627e1e77c5f4466ac18feb4d71bb7fb 00000a38: DUP2 00000a39: UNKNOWN(0x4B) 00000a3a: UNKNOWN(0xDE) 00000a3b: PUSH32
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x4ae4e8d4148baebf6865e43f37e96cd6141280f096546a08df1338d7a8b5eaf9
call_targets:
0x465d3bd8ba9879352796a2337b58d2ad9f4b8175
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x4ae4e8d4148baebf6865e43f37e96cd6141280f096546a08df1338d7a8b5eaf9",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x465d3bd8ba9879352796a2337b58d2ad9f4b8175"
],
"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": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa6f9dae1",
"selector": "0xa6f9dae1",
"calldata_variants": [
"0xa6f9dae1",
"0xa6f9dae10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbc017637",
"selector": "0xbc017637",
"calldata_variants": [
"0xbc017637",
"0xbc0176370000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbeabacc8",
"selector": "0xbeabacc8",
"calldata_variants": [
"0xbeabacc8",
"0xbeabacc80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xda72c1e8",
"selector": "0xda72c1e8",
"calldata_variants": [
"0xda72c1e8",
"0xda72c1e80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0f15f4c0",
"selector": "0x0f15f4c0",
"calldata_variants": [
"0x0f15f4c0",
"0x0f15f4c00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c975abb",
"selector": "0x5c975abb",
"calldata_variants": [
"0x5c975abb",
"0x5c975abb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x78b92c1e",
"selector": "0x78b92c1e",
"calldata_variants": [
"0x78b92c1e",
"0x78b92c1e0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2131,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2228,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2452,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [],
"untrusted_call_count": 3
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x4ae4e8d4148baebf6865e43f37e96cd6141280f096546a08df1338d7a8b5eaf9
call_targets:
0x465d3bd8ba9879352796a2337b58d2ad9f4b8175
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x4ae4e8d4148baebf6865e43f37e96cd6141280f096546a08df1338d7a8b5eaf9",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x465d3bd8ba9879352796a2337b58d2ad9f4b8175"
],
"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": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa6f9dae1",
"selector": "0xa6f9dae1",
"calldata_variants": [
"0xa6f9dae1",
"0xa6f9dae10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbc017637",
"selector": "0xbc017637",
"calldata_variants": [
"0xbc017637",
"0xbc0176370000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbeabacc8",
"selector": "0xbeabacc8",
"calldata_variants": [
"0xbeabacc8",
"0xbeabacc80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xda72c1e8",
"selector": "0xda72c1e8",
"calldata_variants": [
"0xda72c1e8",
"0xda72c1e80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0f15f4c0",
"selector": "0x0f15f4c0",
"calldata_variants": [
"0x0f15f4c0",
"0x0f15f4c00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c975abb",
"selector": "0x5c975abb",
"calldata_variants": [
"0x5c975abb",
"0x5c975abb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x78b92c1e",
"selector": "0x78b92c1e",
"calldata_variants": [
"0x78b92c1e",
"0x78b92c1e0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2131,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2228,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2452,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": []
}
|