019b3836-2216-72f7-b0b1-fd6a1ff04959
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 |
|---|---|---|---|---|
| 221 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 222 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 43275 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 43276 | capability.graph | complete | 1 / 3 | 1 week ago |
| 43277 | detector.run | complete | 1 / 3 | 1 week ago |
| 43278 | validation.fork | complete | 1 / 3 | 1 week 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 0x00ae 0000000a: JUMPI 0000000b: PUSH1 0xe0 0000000d: PUSH1 0x02 0000000f: EXP 00000010: PUSH1 0x00 00000012: CALLDATALOAD 00000013: DIV 00000014: PUSH4 0x083b2732 00000019: DUP2 0000001a: EQ 0000001b: PUSH2 0x00de 0000001e: JUMPI 0000001f: DUP1 00000020: PUSH4 0x187c5903 00000025: EQ 00000026: PUSH2 0x0123 00000029: JUMPI 0000002a: DUP1 0000002b: PUSH4 0x1bccca14 00000030: EQ 00000031: PUSH2 0x0153 00000034: JUMPI 00000035: DUP1 00000036: PUSH4 0x29f8df0d 0000003b: EQ 0000003c: PUSH2 0x0174 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x3f32e918 00000046: EQ 00000047: PUSH2 0x017d 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x437600bc 00000051: EQ 00000052: PUSH2 0x01b1 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x444bdb1b 0000005c: EQ 0000005d: PUSH2 0x01c9 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x51870150 00000067: EQ 00000068: PUSH2 0x0214 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x6d4ce63c 00000072: EQ 00000073: PUSH2 0x0315 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x6e723e24 0000007d: EQ 0000007e: PUSH2 0x0341 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x71ad7221 00000088: EQ 00000089: PUSH2 0x034a 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0xa32da9d1 00000093: EQ 00000094: PUSH2 0x036a 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0xbf37df2f 0000009e: EQ 0000009f: PUSH2 0x038b 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0xe8b5e51f 000000a9: EQ 000000aa: PUSH2 0x03a3 000000ad: JUMPI 000000ae: JUMPDEST 000000af: PUSH2 0x0412 000000b2: CALLER 000000b3: PUSH1 0x01 000000b5: PUSH1 0xa0 000000b7: PUSH1 0x02 000000b9: EXP 000000ba: SUB 000000bb: AND 000000bc: PUSH20 0x26588a9301b0428d95e6fc3a5024fce8bec12d51 000000d1: EQ 000000d2: ISZERO 000000d3: PUSH2 0x0414 000000d6: JUMPI 000000d7: PUSH2 0x0414 000000da: PUSH2 0x00e2 000000dd: JUMP 000000de: JUMPDEST 000000df: PUSH2 0x0412 000000e2: JUMPDEST 000000e3: PUSH1 0x00 000000e5: DUP1 000000e6: DUP1 000000e7: DUP1 000000e8: DUP1 000000e9: JUMPDEST 000000ea: PUSH1 0x14 000000ec: DUP5 000000ed: LT 000000ee: ISZERO 000000ef: PUSH2 0x0865 000000f2: JUMPI 000000f3: PUSH2 0x0100 000000f6: SWAP5 000000f7: SWAP1 000000f8: SWAP5 000000f9: MUL 000000fa: SWAP4 000000fb: PUSH1 0x00 000000fd: DUP5 000000fe: CALLDATASIZE 000000ff: DUP2 00000100: LT 00000101: ISZERO 00000102: PUSH2 0x0002 00000105: JUMPI 00000106: PUSH1 0xf8 00000108: PUSH1 0x02 0000010a: EXP 0000010b: SWAP1 0000010c: CALLDATALOAD 0000010d: DUP2 0000010e: SWAP1 0000010f: DIV 00000110: DUP2 00000111: MUL 00000112: DIV 00000113: SWAP1 00000114: SWAP6 00000115: ADD 00000116: SWAP5 00000117: POP 00000118: PUSH1 0x01 0000011a: SWAP4 0000011b: SWAP1 0000011c: SWAP4 0000011d: ADD 0000011e: SWAP3 0000011f: PUSH2 0x00e9 00000122: JUMP 00000123: JUMPDEST 00000124: PUSH2 0x0412 00000127: CALLER 00000128: PUSH1 0x01 0000012a: PUSH1 0xa0 0000012c: PUSH1 0x02 0000012e: EXP 0000012f: SUB 00000130: AND 00000131: PUSH1 0x00 00000133: SWAP1 00000134: DUP2 00000135: MSTORE 00000136: PUSH1 0x0d 00000138: PUSH1 0x20 0000013a: MSTORE 0000013b: PUSH1 0x40 0000013d: DUP2 0000013e: KECCAK256 0000013f: SLOAD 00000140: DUP2 00000141: SWAP1 00000142: DUP2 00000143: SWAP1 00000144: DUP2 00000145: SWAP1 00000146: DUP2 00000147: EQ 00000148: ISZERO 00000149: PUSH2 0x068c 0000014c: JUMPI 0000014d: JUMPDEST 0000014e: POP 0000014f: POP 00000150: POP 00000151: POP 00000152: JUMP 00000153: JUMPDEST 00000154: PUSH2 0x0416 00000157: PUSH1 0x04 00000159: CALLDATALOAD 0000015a: PUSH1 0x07 0000015c: DUP2 0000015d: PUSH1 0x05 0000015f: DUP2 00000160: LT 00000161: ISZERO 00000162: PUSH2 0x0002 00000165: JUMPI 00000166: POP 00000167: ADD 00000168: SLOAD 00000169: PUSH1 0x01 0000016b: PUSH1 0xa0 0000016d: PUSH1 0x02 0000016f: EXP 00000170: SUB 00000171: AND 00000172: DUP2 00000173: JUMP 00000174: JUMPDEST 00000175: PUSH2 0x032f 00000178: PUSH1 0x05 0000017a: SLOAD 0000017b: DUP2 0000017c: JUMP 0000017d: JUMPDEST 0000017e: PUSH2 0x0412 00000181: JUMPDEST 00000182: PUSH1 0x40 00000184: MLOAD 00000185: PUSH1 0x00 00000187: SWAP1 00000188: DUP2 00000189: DUP2 0000018a: DUP2 0000018b: DUP2 0000018c: DUP2 0000018d: DUP1 0000018e: PUSH2 0x61da 00000191: GAS 00000192: SUB 00000193: CALL 00000194: POP 00000195: CALLER 00000196: PUSH1 0x01 00000198: PUSH1 0xa0 0000019a: PUSH1 0x02 0000019c: EXP 0000019d: SUB 0000019e: AND 0000019f: SWAP2 000001a0: SWAP1 000001a1: CALLVALUE 000001a2: SWAP1 000001a3: DUP3 000001a4: DUP2 000001a5: DUP2 000001a6: DUP2 000001a7: DUP6 000001a8: DUP9 000001a9: DUP4 000001aa: CALL 000001ab: POP 000001ac: POP 000001ad: POP 000001ae: POP 000001af: POP 000001b0: JUMP 000001b1: JUMPDEST 000001b2: PUSH2 0x032f 000001b5: PUSH1 0x04 000001b7: CALLDATALOAD 000001b8: PUSH1 0x06 000001ba: PUSH1 0x20 000001bc: MSTORE 000001bd: PUSH1 0x00 000001bf: SWAP1 000001c0: DUP2 000001c1: MSTORE 000001c2: PUSH1 0x40 000001c4: SWAP1 000001c5: KECCAK256 000001c6: SLOAD 000001c7: DUP2 000001c8: JUMP 000001c9: JUMPDEST 000001ca: PUSH2 0x032f 000001cd: PUSH1 0x00 000001cf: DUP1 000001d0: DUP1 000001d1: DUP1 000001d2: DUP1 000001d3: JUMPDEST 000001d4: PUSH1 0x05 000001d6: SLOAD 000001d7: DUP4 000001d8: LT 000001d9: ISZERO 000001da: PUSH2 0x07fd 000001dd: JUMPI 000001de: PUSH1 0x06 000001e0: PUSH1 0x00 000001e2: DUP1 000001e3: DUP6 000001e4: PUSH1 0x05 000001e6: DUP2 000001e7: LT 000001e8: ISZERO 000001e9: PUSH2 0x0002 000001ec: JUMPI 000001ed: SLOAD 000001ee: PUSH1 0x01 000001f0: PUSH1 0xa0 000001f2: PUSH1 0x02 000001f4: EXP 000001f5: SUB 000001f6: AND 000001f7: SWAP1 000001f8: MSTORE 000001f9: PUSH1 0x20 000001fb: SWAP2 000001fc: SWAP1 000001fd: SWAP2 000001fe: MSTORE 000001ff: PUSH1 0x40 00000201: SWAP1 00000202: KECCAK256 00000203: SLOAD 00000204: SWAP4 00000205: SWAP1 00000206: SWAP4 00000207: ADD 00000208: SWAP3 00000209: PUSH1 0x01 0000020b: SWAP3 0000020c: SWAP1 0000020d: SWAP3 0000020e: ADD 0000020f: SWAP2 00000210: PUSH2 0x01d3 00000213: JUMP 00000214: JUMPDEST 00000215: PUSH1 0x40 00000217: DUP1 00000218: MLOAD 00000219: PUSH1 0x04 0000021b: DUP1 0000021c: CALLDATALOAD 0000021d: SWAP1 0000021e: DUP2 0000021f: ADD 00000220: CALLDATALOAD 00000221: PUSH1 0x20 00000223: DUP2 00000224: DUP2 00000225: MUL 00000226: DUP5 00000227: DUP2 00000228: ADD 00000229: DUP3 0000022a: ADD 0000022b: SWAP1 0000022c: SWAP6 0000022d: MSTORE 0000022e: DUP2 0000022f: DUP5 00000230: MSTORE 00000231: PUSH2 0x0412 00000234: SWAP5 00000235: PUSH1 0x24 00000237: SWAP5 00000238: SWAP4 00000239: DUP6 0000023a: ADD 0000023b: SWAP3 0000023c: SWAP2 0000023d: DUP3 0000023e: SWAP2 0000023f: SWAP1 00000240: DUP6 00000241: ADD 00000242: SWAP1 00000243: DUP5 00000244: SWAP1 00000245: DUP1 00000246: DUP3 00000247: DUP5 00000248: CALLDATACOPY 00000249: POP 0000024a: POP 0000024b: PUSH1 0x40 0000024d: DUP1 0000024e: MLOAD 0000024f: DUP8 00000250: CALLDATALOAD 00000251: PUSH1 0x04 00000253: DUP2 00000254: ADD 00000255: CALLDATALOAD 00000256: PUSH1 0x20 00000258: DUP2 00000259: DUP2 0000025a: MUL 0000025b: DUP5 0000025c: DUP2 0000025d: ADD 0000025e: DUP3 0000025f: ADD 00000260: SWAP1 00000261: SWAP6 00000262: MSTORE 00000263: DUP2 00000264: DUP5 00000265: MSTORE 00000266: SWAP9 00000267: SWAP10 00000268: PUSH1 0x44 0000026a: SWAP10 0000026b: SWAP4 0000026c: SWAP9 0000026d: POP 0000026e: SWAP2 0000026f: SWAP1 00000270: SWAP2 00000271: ADD 00000272: SWAP6 00000273: POP 00000274: SWAP4 00000275: POP 00000276: DUP4 00000277: SWAP3 00000278: POP 00000279: DUP6 0000027a: ADD 0000027b: SWAP1 0000027c: DUP5 0000027d: SWAP1 0000027e: DUP1 0000027f: DUP3 00000280: DUP5 00000281: CALLDATACOPY 00000282: POP 00000283: POP 00000284: PUSH1 0x40 00000286: DUP1 00000287: MLOAD 00000288: SWAP7 00000289: CALLDATALOAD 0000028a: PUSH1 0x04 0000028c: DUP2 0000028d: ADD 0000028e: CALLDATALOAD 0000028f: PUSH1 0x20 00000291: DUP2 00000292: DUP2 00000293: MUL 00000294: DUP11 00000295: DUP2 00000296: ADD 00000297: DUP3 00000298: ADD 00000299: SWAP1 0000029a: SWAP5 0000029b: MSTORE 0000029c: DUP2 0000029d: DUP11 0000029e: MSTORE 0000029f: SWAP8 000002a0: SWAP9 000002a1: PUSH1 0x64 000002a3: SWAP9 000002a4: SWAP1 000002a5: SWAP8 000002a6: POP 000002a7: PUSH1 0x24 000002a9: SWAP3 000002aa: SWAP1 000002ab: SWAP3 000002ac: ADD 000002ad: SWAP6 000002ae: POP 000002af: SWAP4 000002b0: POP 000002b1: DUP4 000002b2: SWAP3 000002b3: POP 000002b4: DUP6 000002b5: ADD 000002b6: SWAP1 000002b7: DUP5 000002b8: SWAP1 000002b9: DUP1 000002ba: DUP3 000002bb: DUP5 000002bc: CALLDATACOPY 000002bd: POP 000002be: POP 000002bf: PUSH1 0x40 000002c1: DUP1 000002c2: MLOAD 000002c3: SWAP7 000002c4: CALLDATALOAD 000002c5: PUSH1 0x04 000002c7: DUP2 000002c8: ADD 000002c9: CALLDATALOAD 000002ca: PUSH1 0x20 000002cc: DUP2 000002cd: DUP2 000002ce: MUL 000002cf: DUP11 000002d0: DUP2 000002d1: ADD 000002d2: DUP3 000002d3: ADD 000002d4: SWAP1 000002d5: SWAP5 000002d6: MSTORE 000002d7: DUP2 000002d8: DUP11 000002d9: MSTORE 000002da: SWAP8 000002db: SWAP9 000002dc: PUSH1 0x84 000002de: SWAP9 000002df: SWAP1 000002e0: SWAP8 000002e1: POP 000002e2: PUSH1 0x24 000002e4: SWAP3 000002e5: SWAP1 000002e6: SWAP3 000002e7: ADD 000002e8: SWAP6 000002e9: POP 000002ea: SWAP4 000002eb: POP 000002ec: DUP4 000002ed: SWAP3 000002ee: POP 000002ef: DUP6 000002f0: ADD 000002f1: SWAP1 000002f2: DUP5 000002f3: SWAP1 000002f4: DUP1 000002f5: DUP3 000002f6: DUP5 000002f7: CALLDATACOPY 000002f8: POP 000002f9: SWAP5 000002fa: SWAP6 000002fb: CALLDATALOAD 000002fc: SWAP5 000002fd: POP 000002fe: POP 000002ff: POP 00000300: POP 00000301: POP 00000302: PUSH1 0x00 00000304: PUSH1 0x00 00000306: PUSH1 0x00 00000308: CALLVALUE 00000309: PUSH1 0x00 0000030b: EQ 0000030c: ISZERO 0000030d: PUSH2 0x05e1 00000310: JUMPI 00000311: PUSH2 0x05d7 00000314: JUMP 00000315: JUMPDEST 00000316: PUSH1 0x01 00000318: PUSH1 0xa0 0000031a: PUSH1 0x02 0000031c: EXP 0000031d: SUB 0000031e: CALLER 0000031f: AND 00000320: PUSH1 0x00 00000322: SWAP1 00000323: DUP2 00000324: MSTORE 00000325: PUSH1 0x06 00000327: PUSH1 0x20 00000329: MSTORE 0000032a: PUSH1 0x40 0000032c: SWAP1 0000032d: KECCAK256 0000032e: SLOAD 0000032f: JUMPDEST 00000330: PUSH1 0x40 00000332: DUP1 00000333: MLOAD 00000334: SWAP2 00000335: DUP3 00000336: MSTORE 00000337: MLOAD 00000338: SWAP1 00000339: DUP2 0000033a: SWAP1 0000033b: SUB 0000033c: PUSH1 0x20 0000033e: ADD 0000033f: SWAP1 00000340: RETURN 00000341: JUMPDEST 00000342: PUSH2 0x032f 00000345: PUSH1 0x0c 00000347: SLOAD 00000348: DUP2 00000349: JUMP 0000034a: JUMPDEST 0000034b: PUSH1 0x04 0000034d: CALLDATALOAD 0000034e: PUSH1 0x01 00000350: PUSH1 0xa0 00000352: PUSH1 0x02 00000354: EXP 00000355: SUB 00000356: AND 00000357: PUSH1 0x00 00000359: SWAP1 0000035a: DUP2 0000035b: MSTORE 0000035c: PUSH1 0x06 0000035e: PUSH1 0x20 00000360: MSTORE 00000361: PUSH1 0x40 00000363: SWAP1 00000364: KECCAK256 00000365: SLOAD 00000366: PUSH2 0x032f 00000369: JUMP 0000036a: JUMPDEST 0000036b: PUSH2 0x0416 0000036e: PUSH1 0x04 00000370: CALLDATALOAD 00000371: PUSH1 0x00 00000373: DUP2 00000374: PUSH1 0x05 00000376: DUP2 00000377: LT 00000378: ISZERO 00000379: PUSH2 0x0002 0000037c: JUMPI 0000037d: POP 0000037e: POP 0000037f: SLOAD 00000380: PUSH1 0x01 00000382: PUSH1 0xa0 00000384: PUSH1 0x02 00000386: EXP 00000387: SUB 00000388: AND 00000389: DUP2 0000038a: JUMP 0000038b: JUMPDEST 0000038c: PUSH2 0x032f 0000038f: PUSH1 0x04 00000391: CALLDATALOAD 00000392: PUSH1 0x0d 00000394: PUSH1 0x20 00000396: MSTORE 00000397: PUSH1 0x00 00000399: SWAP1 0000039a: DUP2 0000039b: MSTORE 0000039c: PUSH1 0x40 0000039e: SWAP1 0000039f: KECCAK256 000003a0: SLOAD 000003a1: DUP2 000003a2: JUMP 000003a3: JUMPDEST 000003a4: PUSH2 0x0412 000003a7: CALLER 000003a8: PUSH1 0x01 000003aa: PUSH1 0xa0 000003ac: PUSH1 0x02 000003ae: EXP 000003af: SUB 000003b0: AND 000003b1: PUSH1 0x00 000003b3: SWAP1 000003b4: DUP2 000003b5: MSTORE 000003b6: PUSH1 0x0d 000003b8: PUSH1 0x20 000003ba: MSTORE 000003bb: PUSH1 0x40 000003bd: DUP2 000003be: KECCAK256 000003bf: SLOAD 000003c0: EQ 000003c1: ISZERO 000003c2: PUSH2 0x03f2 000003c5: JUMPI 000003c6: PUSH1 0x0c 000003c8: SLOAD 000003c9: CALLER 000003ca: SWAP1 000003cb: PUSH1 0x07 000003cd: SWAP1 000003ce: PUSH1 0x05 000003d0: DUP2 000003d1: LT 000003d2: ISZERO 000003d3: PUSH2 0x0002 000003d6: JUMPI 000003d7: ADD 000003d8: DUP1 000003d9: SLOAD 000003da: PUSH1 0x01 000003dc: PUSH1 0xa0 000003de: PUSH1 0x02 000003e0: EXP 000003e1: SUB 000003e2: NOT 000003e3: AND 000003e4: SWAP1 000003e5: SWAP2 000003e6: OR 000003e7: SWAP1 000003e8: SSTORE 000003e9: PUSH1 0x0c 000003eb: DUP1 000003ec: SLOAD 000003ed: PUSH1 0x01 000003ef: ADD 000003f0: SWAP1 000003f1: SSTORE 000003f2: JUMPDEST 000003f3: CALLER 000003f4: PUSH1 0x01 000003f6: PUSH1 0xa0 000003f8: PUSH1 0x02 000003fa: EXP 000003fb: SUB 000003fc: AND 000003fd: PUSH1 0x00 000003ff: SWAP1 00000400: DUP2 00000401: MSTORE 00000402: PUSH1 0x0d 00000404: PUSH1 0x20 00000406: MSTORE 00000407: PUSH1 0x40 00000409: SWAP1 0000040a: KECCAK256 0000040b: DUP1 0000040c: SLOAD 0000040d: CALLVALUE 0000040e: ADD 0000040f: SWAP1 00000410: SSTORE 00000411: JUMP 00000412: JUMPDEST 00000413: STOP 00000414: JUMPDEST 00000415: JUMP 00000416: JUMPDEST 00000417: PUSH1 0x40 00000419: DUP1 0000041a: MLOAD 0000041b: PUSH1 0x01 0000041d: PUSH1 0xa0 0000041f: PUSH1 0x02 00000421: EXP 00000422: SUB 00000423: SWAP3 00000424: SWAP1 00000425: SWAP3 00000426: AND 00000427: DUP3 00000428: MSTORE 00000429: MLOAD 0000042a: SWAP1 0000042b: DUP2 0000042c: SWAP1 0000042d: SUB 0000042e: PUSH1 0x20 00000430: ADD 00000431: SWAP1 00000432: RETURN 00000433: JUMPDEST 00000434: PUSH20 0x393519c01e80b188d326d461e4639bc0e3f62af0 00000449: SWAP1 0000044a: POP 0000044b: DUP1 0000044c: PUSH1 0x01 0000044e: PUSH1 0xa0 00000450: PUSH1 0x02 00000452: EXP 00000453: SUB 00000454: AND 00000455: PUSH4 0xa0a1cddb 0000045a: DUP6 0000045b: PUSH2 0x2a30 0000045e: ADD 0000045f: CALLER 00000460: DUP12 00000461: DUP12 00000462: DUP12 00000463: DUP12 00000464: PUSH1 0x40 00000466: MLOAD 00000467: DUP8 00000468: PUSH1 0xe0 0000046a: PUSH1 0x02 0000046c: EXP 0000046d: MUL 0000046e: DUP2 0000046f: MSTORE 00000470: PUSH1 0x04 00000472: ADD 00000473: DUP1 00000474: DUP8 00000475: DUP2 00000476: MSTORE 00000477: PUSH1 0x20 00000479: ADD 0000047a: DUP7 0000047b: PUSH1 0x01 0000047d: PUSH1 0xa0 0000047f: PUSH1 0x02 00000481: EXP 00000482: SUB 00000483: AND 00000484: DUP2 00000485: MSTORE 00000486: PUSH1 0x20 00000488: ADD 00000489: DUP1 0000048a: PUSH1 0x20 0000048c: ADD 0000048d: DUP1 0000048e: PUSH1 0x20 00000490: ADD 00000491: DUP1 00000492: PUSH1 0x20 00000494: ADD 00000495: DUP1 00000496: PUSH1 0x20 00000498: ADD 00000499: DUP6 0000049a: DUP2 0000049b: SUB 0000049c: DUP6 0000049d: MSTORE 0000049e: DUP10 0000049f: DUP2 000004a0: DUP2 000004a1: MLOAD 000004a2: DUP2 000004a3: MSTORE 000004a4: PUSH1 0x20 000004a6: ADD 000004a7: SWAP2 000004a8: POP 000004a9: DUP1 000004aa: MLOAD 000004ab: SWAP1 000004ac: PUSH1 0x20 000004ae: ADD 000004af: SWAP1 000004b0: PUSH1 0x20 000004b2: MUL 000004b3: DUP1 000004b4: DUP4 000004b5: DUP4 000004b6: DUP3 000004b7: SWAP1 000004b8: PUSH1 0x00 000004ba: PUSH1 0x04 000004bc: PUSH1 0x20 000004be: DUP5 000004bf: PUSH1 0x1f 000004c1: ADD 000004c2: DIV 000004c3: PUSH1 0x03 000004c5: MUL 000004c6: PUSH1 0x0f 000004c8: ADD 000004c9: CALL 000004ca: POP 000004cb: SWAP1 000004cc: POP 000004cd: ADD 000004ce: DUP6 000004cf: DUP2 000004d0: SUB 000004d1: DUP5 000004d2: MSTORE 000004d3: DUP9 000004d4: DUP2 000004d5: DUP2 000004d6: MLOAD 000004d7: DUP2 000004d8: MSTORE 000004d9: PUSH1 0x20 000004db: ADD 000004dc: SWAP2 000004dd: POP 000004de: DUP1 000004df: MLOAD 000004e0: SWAP1 000004e1: PUSH1 0x20 000004e3: ADD 000004e4: SWAP1 000004e5: PUSH1 0x20 000004e7: MUL 000004e8: DUP1 000004e9: DUP4 000004ea: DUP4 000004eb: DUP3 000004ec: SWAP1 000004ed: PUSH1 0x00 000004ef: PUSH1 0x04 000004f1: PUSH1 0x20 000004f3: DUP5 000004f4: PUSH1 0x1f 000004f6: ADD 000004f7: DIV 000004f8: PUSH1 0x03 000004fa: MUL 000004fb: PUSH1 0x0f 000004fd: ADD 000004fe: CALL 000004ff: POP 00000500: SWAP1 00000501: POP 00000502: ADD 00000503: DUP6 00000504: DUP2 00000505: SUB 00000506: DUP4 00000507: MSTORE 00000508: DUP8 00000509: DUP2 0000050a: DUP2 0000050b: MLOAD 0000050c: DUP2 0000050d: MSTORE 0000050e: PUSH1 0x20 00000510: ADD 00000511: SWAP2 00000512: POP 00000513: DUP1 00000514: MLOAD 00000515: SWAP1 00000516: PUSH1 0x20 00000518: ADD 00000519: SWAP1 0000051a: PUSH1 0x20 0000051c: MUL 0000051d: DUP1 0000051e: DUP4 0000051f: DUP4 00000520: DUP3 00000521: SWAP1 00000522: PUSH1 0x00 00000524: PUSH1 0x04 00000526: PUSH1 0x20 00000528: DUP5 00000529: PUSH1 0x1f 0000052b: ADD 0000052c: DIV 0000052d: PUSH1 0x03 0000052f: MUL 00000530: PUSH1 0x0f 00000532: ADD 00000533: CALL 00000534: POP 00000535: SWAP1 00000536: POP 00000537: ADD 00000538: DUP6 00000539: DUP2 0000053a: SUB 0000053b: DUP3 0000053c: MSTORE 0000053d: DUP7 0000053e: DUP2 0000053f: DUP2 00000540: MLOAD 00000541: DUP2 00000542: MSTORE 00000543: PUSH1 0x20 00000545: ADD 00000546: SWAP2 00000547: POP 00000548: DUP1 00000549: MLOAD 0000054a: SWAP1 0000054b: PUSH1 0x20 0000054d: ADD 0000054e: SWAP1 0000054f: PUSH1 0x20 00000551: MUL 00000552: DUP1 00000553: DUP4 00000554: DUP4 00000555: DUP3 00000556: SWAP1 00000557: PUSH1 0x00 00000559: PUSH1 0x04 0000055b: PUSH1 0x20 0000055d: DUP5 0000055e: PUSH1 0x1f 00000560: ADD 00000561: DIV 00000562: PUSH1 0x03 00000564: MUL 00000565: PUSH1 0x0f 00000567: ADD 00000568: CALL 00000569: POP 0000056a: SWAP1 0000056b: POP 0000056c: ADD 0000056d: SWAP11 0000056e: POP 0000056f: POP 00000570: POP 00000571: POP 00000572: POP 00000573: POP 00000574: POP 00000575: POP 00000576: POP 00000577: POP 00000578: POP 00000579: PUSH1 0x00 0000057b: PUSH1 0x40 0000057d: MLOAD 0000057e: DUP1 0000057f: DUP4 00000580: SUB 00000581: DUP2 00000582: PUSH1 0x00 00000584: DUP8 00000585: PUSH2 0x61da 00000588: GAS 00000589: SUB 0000058a: CALL 0000058b: ISZERO 0000058c: PUSH2 0x0002 0000058f: JUMPI 00000590: POP 00000591: POP 00000592: POP 00000593: CALLER 00000594: PUSH1 0x01 00000596: PUSH1 0xa0 00000598: PUSH1 0x02 0000059a: EXP 0000059b: SUB 0000059c: DUP2 0000059d: AND 0000059e: PUSH1 0x00 000005a0: SWAP1 000005a1: DUP2 000005a2: MSTORE 000005a3: PUSH1 0x06 000005a5: PUSH1 0x20 000005a7: MSTORE 000005a8: PUSH1 0x40 000005aa: DUP2 000005ab: KECCAK256 000005ac: CALLVALUE 000005ad: SWAP1 000005ae: SSTORE 000005af: PUSH1 0x05 000005b1: DUP1 000005b2: SLOAD 000005b3: SWAP1 000005b4: DUP2 000005b5: LT 000005b6: ISZERO 000005b7: PUSH2 0x0002 000005ba: JUMPI 000005bb: DUP1 000005bc: SLOAD 000005bd: PUSH1 0x01 000005bf: PUSH1 0xa0 000005c1: PUSH1 0x02 000005c3: EXP 000005c4: SUB 000005c5: NOT 000005c6: AND 000005c7: SWAP1 000005c8: SWAP3 000005c9: OR 000005ca: SWAP1 000005cb: SWAP2 000005cc: SSTORE 000005cd: POP 000005ce: PUSH1 0x05 000005d0: DUP1 000005d1: SLOAD 000005d2: PUSH1 0x01 000005d4: ADD 000005d5: SWAP1 000005d6: SSTORE 000005d7: JUMPDEST 000005d8: POP 000005d9: POP 000005da: POP 000005db: POP 000005dc: POP 000005dd: POP 000005de: POP 000005df: POP 000005e0: JUMP 000005e1: JUMPDEST 000005e2: PUSH1 0x05 000005e4: SLOAD 000005e5: PUSH1 0x04 000005e7: SWAP1 000005e8: GT 000005e9: ISZERO 000005ea: PUSH2 0x05f5 000005ed: JUMPI 000005ee: PUSH2 0x061c 000005f1: PUSH2 0x0181 000005f4: JUMP 000005f5: JUMPDEST 000005f6: CALLER 000005f7: PUSH1 0x01 000005f9: PUSH1 0xa0 000005fb: PUSH1 0x02 000005fd: EXP 000005fe: SUB 000005ff: AND 00000600: PUSH1 0x00 00000602: SWAP1 00000603: DUP2 00000604: MSTORE 00000605: PUSH1 0x06 00000607: PUSH1 0x20 00000609: MSTORE 0000060a: PUSH1 0x40 0000060c: DUP2 0000060d: KECCAK256 0000060e: SLOAD 0000060f: GT 00000610: ISZERO 00000611: PUSH2 0x0621 00000614: JUMPI 00000615: PUSH2 0x061c 00000618: PUSH2 0x0181 0000061b: JUMP 0000061c: JUMPDEST 0000061d: PUSH2 0x05d7 00000620: JUMP 00000621: JUMPDEST 00000622: PUSH1 0x00 00000624: SWAP3 00000625: POP 00000626: PUSH1 0x00 00000628: SWAP2 00000629: POP 0000062a: JUMPDEST 0000062b: PUSH1 0x05 0000062d: SLOAD 0000062e: DUP3 0000062f: LT 00000630: ISZERO 00000631: PUSH2 0x066d 00000634: JUMPI 00000635: PUSH1 0x06 00000637: PUSH1 0x00 00000639: DUP1 0000063a: DUP5 0000063b: PUSH1 0x05 0000063d: DUP2 0000063e: LT 0000063f: ISZERO 00000640: PUSH2 0x0002 00000643: JUMPI 00000644: SLOAD 00000645: PUSH1 0x01 00000647: PUSH1 0xa0 00000649: PUSH1 0x02 0000064b: EXP 0000064c: SUB 0000064d: AND 0000064e: SWAP1 0000064f: MSTORE 00000650: PUSH1 0x20 00000652: SWAP2 00000653: SWAP1 00000654: SWAP2 00000655: MSTORE 00000656: PUSH1 0x40 00000658: SWAP1 00000659: KECCAK256 0000065a: SLOAD 0000065b: PUSH1 0x05 0000065d: MUL 0000065e: SWAP1 0000065f: SWAP3 00000660: ADD 00000661: SWAP2 00000662: PUSH1 0x01 00000664: SWAP2 00000665: SWAP1 00000666: SWAP2 00000667: ADD 00000668: SWAP1 00000669: PUSH2 0x062a 0000066c: JUMP 0000066d: JUMPDEST 0000066e: CALLVALUE 0000066f: PUSH1 0x05 00000671: MUL 00000672: DUP4 00000673: ADDRESS 00000674: PUSH1 0x01 00000676: PUSH1 0xa0 00000678: PUSH1 0x02 0000067a: EXP 0000067b: SUB 0000067c: AND 0000067d: BALANCE 0000067e: SUB 0000067f: LT 00000680: ISZERO 00000681: PUSH2 0x0433 00000684: JUMPI 00000685: PUSH2 0x061c 00000688: PUSH2 0x0181 0000068b: JUMP 0000068c: JUMPDEST 0000068d: PUSH1 0x00 0000068f: SWAP4 00000690: POP 00000691: PUSH1 0x00 00000693: SWAP3 00000694: POP 00000695: JUMPDEST 00000696: PUSH1 0x05 00000698: SLOAD 00000699: DUP4 0000069a: LT 0000069b: ISZERO 0000069c: PUSH2 0x06d8 0000069f: JUMPI 000006a0: PUSH1 0x06 000006a2: PUSH1 0x00 000006a4: DUP1 000006a5: DUP6 000006a6: PUSH1 0x05 000006a8: DUP2 000006a9: LT 000006aa: ISZERO 000006ab: PUSH2 0x0002 000006ae: JUMPI 000006af: SLOAD 000006b0: PUSH1 0x01 000006b2: PUSH1 0xa0 000006b4: PUSH1 0x02 000006b6: EXP 000006b7: SUB 000006b8: AND 000006b9: SWAP1 000006ba: MSTORE 000006bb: PUSH1 0x20 000006bd: SWAP2 000006be: SWAP1 000006bf: SWAP2 000006c0: MSTORE 000006c1: PUSH1 0x40 000006c3: SWAP1 000006c4: KECCAK256 000006c5: SLOAD 000006c6: PUSH1 0x05 000006c8: MUL 000006c9: SWAP1 000006ca: SWAP4 000006cb: ADD 000006cc: SWAP3 000006cd: PUSH1 0x01 000006cf: SWAP3 000006d0: SWAP1 000006d1: SWAP3 000006d2: ADD 000006d3: SWAP2 000006d4: PUSH2 0x0695 000006d7: JUMP 000006d8: JUMPDEST 000006d9: PUSH1 0x00 000006db: SWAP3 000006dc: POP 000006dd: DUP3 000006de: SWAP2 000006df: POP 000006e0: JUMPDEST 000006e1: PUSH1 0x0c 000006e3: SLOAD 000006e4: DUP4 000006e5: LT 000006e6: ISZERO 000006e7: PUSH2 0x0723 000006ea: JUMPI 000006eb: PUSH1 0x0d 000006ed: PUSH1 0x00 000006ef: PUSH1 0x07 000006f1: DUP6 000006f2: PUSH1 0x05 000006f4: DUP2 000006f5: LT 000006f6: ISZERO 000006f7: PUSH2 0x0002 000006fa: JUMPI 000006fb: ADD 000006fc: SLOAD 000006fd: PUSH1 0x01 000006ff: PUSH1 0xa0 00000701: PUSH1 0x02 00000703: EXP 00000704: SUB 00000705: AND 00000706: DUP2 00000707: MSTORE 00000708: PUSH1 0x20 0000070a: SWAP2 0000070b: SWAP1 0000070c: SWAP2 0000070d: MSTORE 0000070e: PUSH1 0x40 00000710: SWAP1 00000711: KECCAK256 00000712: SLOAD 00000713: SWAP2 00000714: SWAP1 00000715: SWAP2 00000716: ADD 00000717: SWAP1 00000718: PUSH1 0x01 0000071a: SWAP3 0000071b: SWAP1 0000071c: SWAP3 0000071d: ADD 0000071e: SWAP2 0000071f: PUSH2 0x06e0 00000722: JUMP 00000723: JUMPDEST 00000724: DUP4 00000725: ADDRESS 00000726: PUSH1 0x01 00000728: PUSH1 0xa0 0000072a: PUSH1 0x02 0000072c: EXP 0000072d: SUB 0000072e: AND 0000072f: BALANCE 00000730: SUB 00000731: DUP3 00000732: PUSH1 0x0d 00000734: PUSH1 0x00 00000736: POP 00000737: PUSH1 0x00 00000739: CALLER 0000073a: PUSH1 0x01 0000073c: PUSH1 0xa0 0000073e: PUSH1 0x02 00000740: EXP 00000741: SUB 00000742: AND 00000743: DUP2 00000744: MSTORE 00000745: PUSH1 0x20 00000747: ADD 00000748: SWAP1 00000749: DUP2 0000074a: MSTORE 0000074b: PUSH1 0x20 0000074d: ADD 0000074e: PUSH1 0x00 00000750: KECCAK256 00000751: PUSH1 0x00 00000753: POP 00000754: SLOAD 00000755: DIV 00000756: MUL 00000757: SWAP1 00000758: POP 00000759: DUP4 0000075a: ADDRESS 0000075b: PUSH1 0x01 0000075d: PUSH1 0xa0 0000075f: PUSH1 0x02 00000761: EXP 00000762: SUB 00000763: AND 00000764: BALANCE 00000765: SUB 00000766: DUP2 00000767: GT 00000768: ISZERO 00000769: PUSH2 0x0771 0000076c: JUMPI 0000076d: PUSH2 0x014d 00000770: JUMP 00000771: JUMPDEST 00000772: PUSH1 0x40 00000774: MLOAD 00000775: CALLER 00000776: PUSH1 0x01 00000778: PUSH1 0xa0 0000077a: PUSH1 0x02 0000077c: EXP 0000077d: SUB 0000077e: AND 0000077f: SWAP1 00000780: PUSH1 0x00 00000782: SWAP1 00000783: DUP4 00000784: SWAP1 00000785: DUP3 00000786: DUP2 00000787: DUP2 00000788: DUP2 00000789: DUP6 0000078a: DUP9 0000078b: DUP4 0000078c: CALL 0000078d: POP 0000078e: POP 0000078f: POP 00000790: SWAP1 00000791: DUP2 00000792: MSTORE 00000793: PUSH1 0x0d 00000795: PUSH1 0x20 00000797: MSTORE 00000798: PUSH1 0x40 0000079a: DUP2 0000079b: KECCAK256 0000079c: DUP2 0000079d: SWAP1 0000079e: SSTORE 0000079f: SWAP3 000007a0: POP 000007a1: JUMPDEST 000007a2: PUSH1 0x0c 000007a4: SLOAD 000007a5: DUP4 000007a6: LT 000007a7: ISZERO 000007a8: PUSH2 0x014d 000007ab: JUMPI 000007ac: CALLER 000007ad: PUSH1 0x01 000007af: PUSH1 0xa0 000007b1: PUSH1 0x02 000007b3: EXP 000007b4: SUB 000007b5: AND 000007b6: PUSH1 0x07 000007b8: DUP5 000007b9: PUSH1 0x05 000007bb: DUP2 000007bc: LT 000007bd: ISZERO 000007be: PUSH2 0x0002 000007c1: JUMPI 000007c2: ADD 000007c3: SLOAD 000007c4: PUSH1 0x01 000007c6: PUSH1 0xa0 000007c8: PUSH1 0x02 000007ca: EXP 000007cb: SUB 000007cc: AND 000007cd: EQ 000007ce: ISZERO 000007cf: PUSH2 0x07f1 000007d2: JUMPI 000007d3: PUSH1 0x00 000007d5: PUSH1 0x07 000007d7: DUP5 000007d8: PUSH1 0x05 000007da: DUP2 000007db: LT 000007dc: ISZERO 000007dd: PUSH2 0x0002 000007e0: JUMPI 000007e1: ADD 000007e2: DUP1 000007e3: SLOAD 000007e4: PUSH1 0x01 000007e6: PUSH1 0xa0 000007e8: PUSH1 0x02 000007ea: EXP 000007eb: SUB 000007ec: NOT 000007ed: AND 000007ee: SWAP1 000007ef: SSTORE 000007f0: POP 000007f1: JUMPDEST 000007f2: PUSH1 0x01 000007f4: SWAP3 000007f5: SWAP1 000007f6: SWAP3 000007f7: ADD 000007f8: SWAP2 000007f9: PUSH2 0x07a1 000007fc: JUMP 000007fd: JUMPDEST 000007fe: PUSH1 0x00 00000800: SWAP3 00000801: POP 00000802: DUP3 00000803: SWAP2 00000804: POP 00000805: JUMPDEST 00000806: PUSH1 0x0c 00000808: SLOAD 00000809: DUP4 0000080a: LT 0000080b: ISZERO 0000080c: PUSH2 0x0848 0000080f: JUMPI 00000810: PUSH1 0x0d 00000812: PUSH1 0x00 00000814: PUSH1 0x07 00000816: DUP6 00000817: PUSH1 0x05 00000819: DUP2 0000081a: LT 0000081b: ISZERO 0000081c: PUSH2 0x0002 0000081f: JUMPI 00000820: ADD 00000821: SLOAD 00000822: PUSH1 0x01 00000824: PUSH1 0xa0 00000826: PUSH1 0x02 00000828: EXP 00000829: SUB 0000082a: AND 0000082b: DUP2 0000082c: MSTORE 0000082d: PUSH1 0x20 0000082f: SWAP2 00000830: SWAP1 00000831: SWAP2 00000832: MSTORE 00000833: PUSH1 0x40 00000835: SWAP1 00000836: KECCAK256 00000837: SLOAD 00000838: SWAP2 00000839: SWAP1 0000083a: SWAP2 0000083b: ADD 0000083c: SWAP1 0000083d: PUSH1 0x01 0000083f: SWAP3 00000840: SWAP1 00000841: SWAP3 00000842: ADD 00000843: SWAP2 00000844: PUSH2 0x0805 00000847: JUMP 00000848: JUMPDEST 00000849: POP 0000084a: ADDRESS 0000084b: PUSH1 0x01 0000084d: PUSH1 0xa0 0000084f: PUSH1 0x02 00000851: EXP 00000852: SUB 00000853: AND 00000854: BALANCE 00000855: SWAP3 00000856: SWAP1 00000857: SWAP3 00000858: SUB 00000859: SWAP2 0000085a: SWAP1 0000085b: SWAP2 0000085c: DIV 0000085d: PUSH1 0x64 0000085f: MUL 00000860: SWAP3 00000861: SWAP2 00000862: POP 00000863: POP 00000864: JUMP 00000865: JUMPDEST 00000866: PUSH1 0x01 00000868: PUSH1 0xa0 0000086a: PUSH1 0x02 0000086c: EXP 0000086d: SUB 0000086e: DUP6 0000086f: AND 00000870: PUSH1 0x00 00000872: DUP2 00000873: DUP2 00000874: MSTORE 00000875: PUSH1 0x06 00000877: PUSH1 0x20 00000879: MSTORE 0000087a: PUSH1 0x40 0000087c: DUP1 0000087d: DUP3 0000087e: KECCAK256 0000087f: DUP1 00000880: SLOAD 00000881: SWAP1 00000882: DUP4 00000883: SWAP1 00000884: SSTORE 00000885: SWAP1 00000886: MLOAD 00000887: DUP9 00000888: SWAP7 00000889: POP 0000088a: SWAP1 0000088b: SWAP5 0000088c: POP 0000088d: PUSH1 0x05 0000088f: DUP6 00000890: MUL 00000891: SWAP1 00000892: DUP3 00000893: DUP2 00000894: DUP2 00000895: DUP2 00000896: DUP6 00000897: DUP9 00000898: DUP4 00000899: CALL 0000089a: POP 0000089b: SWAP2 0000089c: SWAP4 0000089d: POP 0000089e: POP 0000089f: POP 000008a0: POP 000008a1: JUMPDEST 000008a2: PUSH1 0x05 000008a4: SLOAD 000008a5: DUP2 000008a6: LT 000008a7: ISZERO 000008a8: PUSH2 0x08fc 000008ab: JUMPI 000008ac: PUSH1 0x01 000008ae: PUSH1 0xa0 000008b0: PUSH1 0x02 000008b2: EXP 000008b3: SUB 000008b4: DUP4 000008b5: AND 000008b6: PUSH1 0x00 000008b8: DUP3 000008b9: PUSH1 0x05 000008bb: DUP2 000008bc: LT 000008bd: ISZERO 000008be: PUSH2 0x0002 000008c1: JUMPI 000008c2: SLOAD 000008c3: PUSH1 0x01 000008c5: PUSH1 0xa0 000008c7: PUSH1 0x02 000008c9: EXP 000008ca: SUB 000008cb: AND 000008cc: SWAP2 000008cd: SWAP1 000008ce: SWAP2 000008cf: EQ 000008d0: ISZERO 000008d1: SWAP1 000008d2: POP 000008d3: PUSH2 0x08f4 000008d6: JUMPI 000008d7: PUSH1 0x00 000008d9: DUP1 000008da: DUP3 000008db: PUSH1 0x05 000008dd: DUP2 000008de: LT 000008df: ISZERO 000008e0: PUSH2 0x0002 000008e3: JUMPI 000008e4: DUP1 000008e5: SLOAD 000008e6: PUSH1 0x01 000008e8: PUSH1 0xa0 000008ea: PUSH1 0x02 000008ec: EXP 000008ed: SUB 000008ee: NOT 000008ef: AND 000008f0: SWAP1 000008f1: SSTORE 000008f2: POP 000008f3: POP 000008f4: JUMPDEST 000008f5: PUSH1 0x01 000008f7: ADD 000008f8: PUSH2 0x08a1 000008fb: JUMP 000008fc: JUMPDEST 000008fd: POP 000008fe: POP 000008ff: POP 00000900: POP 00000901: POP 00000902: 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 |
|---|---|---|---|---|---|---|---|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x5a090ddac2f52a4e0fa397f7fae776bcab1b48926ed279e7be8add9e29d4bb3e
call_targets:
0x2e40dbc8cd19d81363641a87b39f6274582b3547
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x5a090ddac2f52a4e0fa397f7fae776bcab1b48926ed279e7be8add9e29d4bb3e",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x2e40dbc8cd19d81363641a87b39f6274582b3547"
],
"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": "0x083b2732",
"selector": "0x083b2732",
"calldata_variants": [
"0x083b2732",
"0x083b27320000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x187c5903",
"selector": "0x187c5903",
"calldata_variants": [
"0x187c5903",
"0x187c59030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1bccca14",
"selector": "0x1bccca14",
"calldata_variants": [
"0x1bccca14",
"0x1bccca140000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x29f8df0d",
"selector": "0x29f8df0d",
"calldata_variants": [
"0x29f8df0d",
"0x29f8df0d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3f32e918",
"selector": "0x3f32e918",
"calldata_variants": [
"0x3f32e918",
"0x3f32e9180000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x437600bc",
"selector": "0x437600bc",
"calldata_variants": [
"0x437600bc",
"0x437600bc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x444bdb1b",
"selector": "0x444bdb1b",
"calldata_variants": [
"0x444bdb1b",
"0x444bdb1b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x51870150",
"selector": "0x51870150",
"calldata_variants": [
"0x51870150",
"0x518701500000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 403,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 426,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1225,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 9,
"guards_detected": []
}
|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x5a090ddac2f52a4e0fa397f7fae776bcab1b48926ed279e7be8add9e29d4bb3e
call_targets:
0x2e40dbc8cd19d81363641a87b39f6274582b3547
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x5a090ddac2f52a4e0fa397f7fae776bcab1b48926ed279e7be8add9e29d4bb3e",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x2e40dbc8cd19d81363641a87b39f6274582b3547"
],
"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": "0x083b2732",
"selector": "0x083b2732",
"calldata_variants": [
"0x083b2732",
"0x083b27320000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x187c5903",
"selector": "0x187c5903",
"calldata_variants": [
"0x187c5903",
"0x187c59030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1bccca14",
"selector": "0x1bccca14",
"calldata_variants": [
"0x1bccca14",
"0x1bccca140000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x29f8df0d",
"selector": "0x29f8df0d",
"calldata_variants": [
"0x29f8df0d",
"0x29f8df0d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3f32e918",
"selector": "0x3f32e918",
"calldata_variants": [
"0x3f32e918",
"0x3f32e9180000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x437600bc",
"selector": "0x437600bc",
"calldata_variants": [
"0x437600bc",
"0x437600bc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x444bdb1b",
"selector": "0x444bdb1b",
"calldata_variants": [
"0x444bdb1b",
"0x444bdb1b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x51870150",
"selector": "0x51870150",
"calldata_variants": [
"0x51870150",
"0x518701500000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 403,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 426,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1225,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 9,
"guards_detected": [],
"untrusted_call_count": 9
}
|