019b3836-4f17-7389-b35d-7a0b93f0a4e3
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 |
|---|---|---|---|---|
| 7481 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 7482 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 109326 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 109327 | capability.graph | complete | 1 / 3 | 1 week ago |
| 109328 | detector.run | complete | 1 / 3 | 1 week ago |
| 109329 | 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 0x0098 0000000a: JUMPI 0000000b: PUSH1 0xe0 0000000d: PUSH1 0x02 0000000f: EXP 00000010: PUSH1 0x00 00000012: CALLDATALOAD 00000013: DIV 00000014: PUSH4 0x16ece9db 00000019: DUP2 0000001a: EQ 0000001b: PUSH2 0x009a 0000001e: JUMPI 0000001f: DUP1 00000020: PUSH4 0x1982ed58 00000025: EQ 00000026: PUSH2 0x016a 00000029: JUMPI 0000002a: DUP1 0000002b: PUSH4 0x31a73991 00000030: EQ 00000031: PUSH2 0x01a3 00000034: JUMPI 00000035: DUP1 00000036: PUSH4 0x3773930e 0000003b: EQ 0000003c: PUSH2 0x01ef 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x5f52e9fd 00000046: EQ 00000047: PUSH2 0x021d 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x6169a7ed 00000051: EQ 00000052: PUSH2 0x024e 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x79799193 0000005c: EQ 0000005d: PUSH2 0x0257 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x7e7307c5 00000067: EQ 00000068: PUSH2 0x0260 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x8fe58eb9 00000072: EQ 00000073: PUSH2 0x0274 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x9894221a 0000007d: EQ 0000007e: PUSH2 0x02a0 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0xa9fb4385 00000088: EQ 00000089: PUSH2 0x02ad 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0xd3c65384 00000093: EQ 00000094: PUSH2 0x030d 00000097: JUMPI 00000098: JUMPDEST 00000099: STOP 0000009a: JUMPDEST 0000009b: PUSH2 0xffff 0000009e: PUSH1 0x04 000000a0: DUP1 000000a1: CALLDATALOAD 000000a2: DUP3 000000a3: AND 000000a4: PUSH1 0x00 000000a6: DUP2 000000a7: DUP2 000000a8: MSTORE 000000a9: PUSH1 0x08 000000ab: PUSH1 0x20 000000ad: DUP2 000000ae: DUP2 000000af: MSTORE 000000b0: PUSH1 0x40 000000b2: DUP1 000000b3: DUP5 000000b4: KECCAK256 000000b5: PUSH1 0x24 000000b7: CALLDATALOAD 000000b8: DUP9 000000b9: AND 000000ba: DUP6 000000bb: MSTORE 000000bc: PUSH1 0x01 000000be: DUP2 000000bf: DUP2 000000c0: ADD 000000c1: DUP5 000000c2: MSTORE 000000c3: DUP3 000000c4: DUP7 000000c5: KECCAK256 000000c6: DUP1 000000c7: SLOAD 000000c8: SWAP9 000000c9: DUP2 000000ca: ADD 000000cb: SLOAD 000000cc: SWAP2 000000cd: DUP2 000000ce: ADD 000000cf: SLOAD 000000d0: PUSH1 0x02 000000d2: DUP3 000000d3: ADD 000000d4: SLOAD 000000d5: PUSH1 0x03 000000d7: DUP4 000000d8: ADD 000000d9: SLOAD 000000da: PUSH1 0x05 000000dc: DUP5 000000dd: ADD 000000de: SLOAD 000000df: PUSH1 0x06 000000e1: DUP6 000000e2: ADD 000000e3: SLOAD 000000e4: PUSH1 0x07 000000e6: DUP7 000000e7: ADD 000000e8: SLOAD 000000e9: SWAP6 000000ea: DUP12 000000eb: ADD 000000ec: SLOAD 000000ed: SWAP13 000000ee: SWAP1 000000ef: SWAP12 000000f0: MSTORE 000000f1: SWAP9 000000f2: DUP9 000000f3: MSTORE 000000f4: SWAP5 000000f5: SLOAD 000000f6: DUP7 000000f7: MLOAD 000000f8: SWAP12 000000f9: DUP13 000000fa: MSTORE 000000fb: SWAP7 000000fc: DUP12 000000fd: ADD 000000fe: SWAP2 000000ff: SWAP1 00000100: SWAP2 00000101: MSTORE 00000102: SWAP1 00000103: SWAP10 00000104: AND 00000105: DUP9 00000106: DUP5 00000107: ADD 00000108: MSTORE 00000109: PUSH1 0x60 0000010b: DUP9 0000010c: ADD 0000010d: SWAP2 0000010e: SWAP1 0000010f: SWAP2 00000110: MSTORE 00000111: PUSH1 0xff 00000113: SWAP1 00000114: DUP2 00000115: AND 00000116: PUSH1 0x80 00000118: DUP9 00000119: ADD 0000011a: MSTORE 0000011b: PUSH1 0xa0 0000011d: DUP8 0000011e: ADD 0000011f: SWAP4 00000120: SWAP1 00000121: SWAP4 00000122: MSTORE 00000123: PUSH1 0xc0 00000125: DUP7 00000126: ADD 00000127: SWAP4 00000128: SWAP1 00000129: SWAP4 0000012a: MSTORE 0000012b: PUSH1 0xe0 0000012d: DUP6 0000012e: ADD 0000012f: SWAP6 00000130: SWAP1 00000131: SWAP6 00000132: MSTORE 00000133: DUP3 00000134: DUP2 00000135: AND 00000136: PUSH2 0x0100 00000139: DUP6 0000013a: DUP2 0000013b: ADD 0000013c: SWAP2 0000013d: SWAP1 0000013e: SWAP2 0000013f: MSTORE 00000140: SWAP1 00000141: SWAP3 00000142: DIV 00000143: SWAP1 00000144: SWAP2 00000145: AND 00000146: PUSH2 0x0120 00000149: DUP4 0000014a: ADD 0000014b: MSTORE 0000014c: PUSH1 0x01 0000014e: PUSH1 0xa0 00000150: PUSH1 0x02 00000152: EXP 00000153: SUB 00000154: SWAP3 00000155: SWAP1 00000156: SWAP3 00000157: AND 00000158: PUSH2 0x0140 0000015b: DUP3 0000015c: ADD 0000015d: MSTORE 0000015e: SWAP1 0000015f: MLOAD 00000160: SWAP1 00000161: DUP2 00000162: SWAP1 00000163: SUB 00000164: PUSH2 0x0160 00000167: ADD 00000168: SWAP1 00000169: RETURN 0000016a: JUMPDEST 0000016b: PUSH2 0x0098 0000016e: PUSH1 0x04 00000170: CALLDATALOAD 00000171: PUSH1 0x24 00000173: CALLDATALOAD 00000174: PUSH1 0x44 00000176: CALLDATALOAD 00000177: PUSH2 0xffff 0000017a: DUP3 0000017b: AND 0000017c: PUSH1 0x00 0000017e: SWAP1 0000017f: DUP2 00000180: MSTORE 00000181: PUSH1 0x08 00000183: PUSH1 0x20 00000185: MSTORE 00000186: PUSH1 0x40 00000188: SWAP1 00000189: KECCAK256 0000018a: SLOAD 0000018b: PUSH1 0x01 0000018d: PUSH1 0xa0 0000018f: PUSH1 0x02 00000191: EXP 00000192: SUB 00000193: SWAP1 00000194: DUP2 00000195: AND 00000196: CALLER 00000197: SWAP1 00000198: SWAP2 00000199: AND 0000019a: EQ 0000019b: PUSH2 0x0509 0000019e: JUMPI 0000019f: PUSH2 0x053c 000001a2: JUMP 000001a3: JUMPDEST 000001a4: PUSH2 0x0316 000001a7: PUSH1 0x04 000001a9: CALLDATALOAD 000001aa: JUMPDEST 000001ab: PUSH1 0x00 000001ad: DUP1 000001ae: JUMPDEST 000001af: PUSH1 0x07 000001b1: SLOAD 000001b2: PUSH2 0xffff 000001b5: SWAP1 000001b6: DUP2 000001b7: AND 000001b8: SWAP1 000001b9: DUP3 000001ba: AND 000001bb: LT 000001bc: ISZERO 000001bd: PUSH2 0x0902 000001c0: JUMPI 000001c1: PUSH2 0xffff 000001c4: DUP2 000001c5: AND 000001c6: PUSH1 0x00 000001c8: SWAP1 000001c9: DUP2 000001ca: MSTORE 000001cb: PUSH1 0x08 000001cd: PUSH1 0x20 000001cf: MSTORE 000001d0: PUSH1 0x40 000001d2: SWAP1 000001d3: KECCAK256 000001d4: SLOAD 000001d5: PUSH1 0x01 000001d7: PUSH1 0xa0 000001d9: PUSH1 0x02 000001db: EXP 000001dc: SUB 000001dd: DUP5 000001de: DUP2 000001df: AND 000001e0: SWAP2 000001e1: AND 000001e2: EQ 000001e3: ISZERO 000001e4: PUSH2 0x090e 000001e7: JUMPI 000001e8: DUP1 000001e9: SWAP2 000001ea: POP 000001eb: PUSH2 0x0908 000001ee: JUMP 000001ef: JUMPDEST 000001f0: PUSH2 0x0098 000001f3: PUSH1 0x04 000001f5: CALLDATALOAD 000001f6: PUSH1 0x24 000001f8: CALLDATALOAD 000001f9: PUSH1 0x44 000001fb: CALLDATALOAD 000001fc: PUSH1 0x64 000001fe: CALLDATALOAD 000001ff: PUSH1 0x84 00000201: CALLDATALOAD 00000202: PUSH1 0x00 00000204: SLOAD 00000205: PUSH1 0x01 00000207: PUSH1 0xa0 00000209: PUSH1 0x02 0000020b: EXP 0000020c: SUB 0000020d: SWAP1 0000020e: DUP2 0000020f: AND 00000210: CALLER 00000211: SWAP1 00000212: SWAP2 00000213: AND 00000214: EQ 00000215: PUSH2 0x0840 00000218: JUMPI 00000219: PUSH2 0x037c 0000021c: JUMP 0000021d: JUMPDEST 0000021e: PUSH2 0x0098 00000221: PUSH1 0x04 00000223: CALLDATALOAD 00000224: PUSH1 0x00 00000226: SLOAD 00000227: PUSH1 0x01 00000229: PUSH1 0xa0 0000022b: PUSH1 0x02 0000022d: EXP 0000022e: SUB 0000022f: SWAP1 00000230: DUP2 00000231: AND 00000232: CALLER 00000233: SWAP1 00000234: SWAP2 00000235: AND 00000236: EQ 00000237: ISZERO 00000238: DUP1 00000239: PUSH2 0x0244 0000023c: JUMPI 0000023d: POP 0000023e: PUSH1 0x05 00000240: SLOAD 00000241: DUP2 00000242: SWAP1 00000243: LT 00000244: JUMPDEST 00000245: ISZERO 00000246: PUSH2 0x08da 00000249: JUMPI 0000024a: PUSH2 0x08ff 0000024d: JUMP 0000024e: JUMPDEST 0000024f: PUSH2 0x032e 00000252: PUSH1 0x05 00000254: SLOAD 00000255: DUP2 00000256: JUMP 00000257: JUMPDEST 00000258: PUSH2 0x032e 0000025b: PUSH1 0x06 0000025d: SLOAD 0000025e: DUP2 0000025f: JUMP 00000260: JUMPDEST 00000261: PUSH2 0x0098 00000264: PUSH1 0x04 00000266: CALLDATALOAD 00000267: PUSH1 0x24 00000269: CALLDATALOAD 0000026a: PUSH2 0x0505 0000026d: DUP3 0000026e: DUP3 0000026f: CALLER 00000270: PUSH2 0x02ba 00000273: JUMP 00000274: JUMPDEST 00000275: PUSH2 0x0098 00000278: PUSH1 0x00 0000027a: DUP1 0000027b: SLOAD 0000027c: DUP2 0000027d: SWAP1 0000027e: DUP2 0000027f: SWAP1 00000280: DUP2 00000281: SWAP1 00000282: DUP2 00000283: SWAP1 00000284: DUP2 00000285: SWAP1 00000286: DUP2 00000287: SWAP1 00000288: PUSH1 0x01 0000028a: PUSH1 0xa0 0000028c: PUSH1 0x02 0000028e: EXP 0000028f: SUB 00000290: SWAP1 00000291: DUP2 00000292: AND 00000293: CALLER 00000294: SWAP1 00000295: SWAP2 00000296: AND 00000297: EQ 00000298: PUSH2 0x0541 0000029b: JUMPI 0000029c: PUSH2 0x0652 0000029f: JUMP 000002a0: JUMPDEST 000002a1: PUSH2 0x0098 000002a4: PUSH1 0x05 000002a6: DUP1 000002a7: SLOAD 000002a8: CALLVALUE 000002a9: ADD 000002aa: SWAP1 000002ab: SSTORE 000002ac: JUMP 000002ad: JUMPDEST 000002ae: PUSH2 0x0098 000002b1: PUSH1 0x04 000002b3: CALLDATALOAD 000002b4: PUSH1 0x24 000002b6: CALLDATALOAD 000002b7: PUSH1 0x44 000002b9: CALLDATALOAD 000002ba: JUMPDEST 000002bb: PUSH1 0x00 000002bd: PUSH1 0x00 000002bf: CALLVALUE 000002c0: PUSH1 0x00 000002c2: EQ 000002c3: DUP1 000002c4: PUSH2 0x02d0 000002c7: JUMPI 000002c8: POP 000002c9: PUSH1 0x64 000002cb: DUP5 000002cc: PUSH1 0xff 000002ce: AND 000002cf: GT 000002d0: JUMPDEST 000002d1: DUP1 000002d2: PUSH2 0x02e2 000002d5: JUMPI 000002d6: POP 000002d7: PUSH1 0x03 000002d9: SLOAD 000002da: PUSH1 0x04 000002dc: SLOAD 000002dd: CALLVALUE 000002de: SWAP1 000002df: SWAP2 000002e0: ADD 000002e1: GT 000002e2: JUMPDEST 000002e3: ISZERO 000002e4: PUSH2 0x0383 000002e7: JUMPI 000002e8: PUSH1 0x40 000002ea: MLOAD 000002eb: PUSH1 0x01 000002ed: PUSH1 0xa0 000002ef: PUSH1 0x02 000002f1: EXP 000002f2: SUB 000002f3: DUP5 000002f4: AND 000002f5: SWAP1 000002f6: PUSH1 0x00 000002f8: SWAP1 000002f9: CALLVALUE 000002fa: SWAP1 000002fb: DUP3 000002fc: DUP2 000002fd: DUP2 000002fe: DUP2 000002ff: DUP6 00000300: DUP9 00000301: DUP4 00000302: CALL 00000303: SWAP4 00000304: POP 00000305: POP 00000306: POP 00000307: POP 00000308: POP 00000309: PUSH2 0x037c 0000030c: JUMP 0000030d: JUMPDEST 0000030e: PUSH2 0x032e 00000311: PUSH1 0x03 00000313: SLOAD 00000314: DUP2 00000315: JUMP 00000316: JUMPDEST 00000317: PUSH1 0x40 00000319: DUP1 0000031a: MLOAD 0000031b: PUSH2 0xffff 0000031e: SWAP3 0000031f: SWAP1 00000320: SWAP3 00000321: AND 00000322: DUP3 00000323: MSTORE 00000324: MLOAD 00000325: SWAP1 00000326: DUP2 00000327: SWAP1 00000328: SUB 00000329: PUSH1 0x20 0000032b: ADD 0000032c: SWAP1 0000032d: RETURN 0000032e: JUMPDEST 0000032f: PUSH1 0x40 00000331: DUP1 00000332: MLOAD 00000333: SWAP2 00000334: DUP3 00000335: MSTORE 00000336: MLOAD 00000337: SWAP1 00000338: DUP2 00000339: SWAP1 0000033a: SUB 0000033b: PUSH1 0x20 0000033d: ADD 0000033e: SWAP1 0000033f: RETURN 00000340: JUMPDEST 00000341: PUSH1 0x06 00000343: DUP1 00000344: SLOAD 00000345: DUP3 00000346: ADD 00000347: SWAP1 00000348: SSTORE 00000349: PUSH1 0x03 0000034b: DUP1 0000034c: SLOAD 0000034d: CALLVALUE 0000034e: SWAP1 0000034f: DUP2 00000350: ADD 00000351: SWAP1 00000352: SWAP2 00000353: SSTORE 00000354: PUSH1 0x01 00000356: SLOAD 00000357: PUSH1 0x40 00000359: MLOAD 0000035a: PUSH1 0x01 0000035c: PUSH1 0xa0 0000035e: PUSH1 0x02 00000360: EXP 00000361: SUB 00000362: SWAP2 00000363: SWAP1 00000364: SWAP2 00000365: AND 00000366: SWAP2 00000367: PUSH1 0x00 00000369: SWAP2 0000036a: SWAP1 0000036b: DUP5 0000036c: SWAP1 0000036d: SUB 0000036e: SWAP1 0000036f: DUP3 00000370: DUP2 00000371: DUP2 00000372: DUP2 00000373: DUP6 00000374: DUP9 00000375: DUP4 00000376: CALL 00000377: POP 00000378: POP 00000379: POP 0000037a: POP 0000037b: POP 0000037c: JUMPDEST 0000037d: POP 0000037e: POP 0000037f: POP 00000380: POP 00000381: POP 00000382: JUMP 00000383: JUMPDEST 00000384: PUSH2 0x038c 00000387: DUP4 00000388: PUSH2 0x01aa 0000038b: JUMP 0000038c: JUMPDEST 0000038d: SWAP2 0000038e: POP 0000038f: DUP2 00000390: PUSH2 0xffff 00000393: AND 00000394: PUSH2 0xffff 00000397: EQ 00000398: ISZERO 00000399: PUSH2 0x03e8 0000039c: JUMPI 0000039d: PUSH1 0x07 0000039f: DUP1 000003a0: SLOAD 000003a1: PUSH2 0xffff 000003a4: SWAP1 000003a5: DUP2 000003a6: AND 000003a7: PUSH1 0x00 000003a9: DUP2 000003aa: DUP2 000003ab: MSTORE 000003ac: PUSH1 0x08 000003ae: PUSH1 0x20 000003b0: MSTORE 000003b1: PUSH1 0x40 000003b3: SWAP1 000003b4: KECCAK256 000003b5: DUP1 000003b6: SLOAD 000003b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003cc: NOT 000003cd: AND 000003ce: DUP8 000003cf: OR 000003d0: SWAP1 000003d1: SSTORE 000003d2: DUP3 000003d3: SLOAD 000003d4: PUSH2 0xffff 000003d7: NOT 000003d8: DUP2 000003d9: AND 000003da: SWAP3 000003db: AND 000003dc: PUSH1 0x01 000003de: ADD 000003df: SWAP2 000003e0: SWAP1 000003e1: SWAP2 000003e2: OR 000003e3: SWAP1 000003e4: SWAP2 000003e5: SSTORE 000003e6: SWAP2 000003e7: POP 000003e8: JUMPDEST 000003e9: DUP4 000003ea: PUSH1 0xff 000003ec: AND 000003ed: PUSH1 0x64 000003ef: CALLVALUE 000003f0: DIV 000003f1: MUL 000003f2: SWAP1 000003f3: POP 000003f4: PUSH2 0x0340 000003f7: DUP3 000003f8: DUP3 000003f9: CALLVALUE 000003fa: SUB 000003fb: DUP4 000003fc: DUP9 000003fd: JUMPDEST 000003fe: PUSH2 0xffff 00000401: SWAP4 00000402: DUP5 00000403: AND 00000404: PUSH1 0x00 00000406: DUP2 00000407: DUP2 00000408: MSTORE 00000409: PUSH1 0x08 0000040b: PUSH1 0x20 0000040d: DUP2 0000040e: DUP2 0000040f: MSTORE 00000410: PUSH1 0x40 00000412: DUP1 00000413: DUP5 00000414: KECCAK256 00000415: DUP1 00000416: SLOAD 00000417: PUSH1 0xa0 00000419: PUSH1 0x02 0000041b: EXP 0000041c: SWAP1 0000041d: DUP2 0000041e: SWAP1 0000041f: DIV 00000420: DUP12 00000421: AND 00000422: DUP7 00000423: MSTORE 00000424: PUSH1 0x01 00000426: DUP3 00000427: DUP2 00000428: ADD 00000429: DUP6 0000042a: MSTORE 0000042b: SWAP3 0000042c: DUP7 0000042d: KECCAK256 0000042e: DUP11 0000042f: DUP2 00000430: SSTORE 00000431: DUP1 00000432: DUP5 00000433: ADD 00000434: DUP11 00000435: SWAP1 00000436: SSTORE 00000437: PUSH1 0x02 00000439: DUP1 0000043a: SLOAD 0000043b: DUP6 0000043c: SLOAD 0000043d: SWAP2 0000043e: DUP4 0000043f: ADD 00000440: DUP1 00000441: SLOAD 00000442: PUSH2 0x2710 00000445: SWAP14 00000446: DUP16 00000447: ADD 00000448: PUSH1 0x64 0000044a: SWAP16 0000044b: SWAP1 0000044c: SWAP16 0000044d: MUL 0000044e: DUP16 0000044f: SWAP1 00000450: DIV 00000451: PUSH1 0xff 00000453: AND 00000454: PUSH8 0xffffffffffffffff 0000045d: DUP5 0000045e: DUP2 0000045f: AND 00000460: DUP3 00000461: MUL 00000462: SWAP6 00000463: DUP9 00000464: SWAP1 00000465: DIV 00000466: DUP2 00000467: AND 00000468: DUP3 00000469: MUL 0000046a: SWAP1 0000046b: SWAP2 0000046c: MUL 0000046d: SWAP5 0000046e: SWAP1 0000046f: SWAP5 00000470: ADD 00000471: PUSH9 0x010000000000000000 0000047b: SWAP1 0000047c: SWAP4 0000047d: DIV 0000047e: DUP5 0000047f: AND 00000480: SWAP3 00000481: SWAP1 00000482: SWAP3 00000483: ADD 00000484: SWAP1 00000485: SWAP3 00000486: AND 00000487: DUP13 00000488: SWAP1 00000489: DIV 0000048a: PUSH2 0xffff 0000048d: NOT 0000048e: SWAP2 0000048f: SWAP1 00000490: SWAP2 00000491: AND 00000492: OR 00000493: SWAP1 00000494: DUP2 00000495: SWAP1 00000496: SSTORE 00000497: PUSH1 0x1e 00000499: SWAP1 0000049a: DUP14 0000049b: AND 0000049c: SWAP11 0000049d: SWAP1 0000049e: SWAP12 0000049f: DIV 000004a0: SWAP10 000004a1: SWAP1 000004a2: SWAP10 000004a3: MUL 000004a4: SWAP10 000004a5: SWAP1 000004a6: SWAP10 000004a7: DIV 000004a8: PUSH1 0x03 000004aa: DUP10 000004ab: ADD 000004ac: SSTORE 000004ad: PUSH1 0x04 000004af: DUP9 000004b0: ADD 000004b1: DUP1 000004b2: SLOAD 000004b3: PUSH1 0xff 000004b5: NOT 000004b6: AND 000004b7: SWAP1 000004b8: SWAP8 000004b9: OR 000004ba: SWAP1 000004bb: SWAP7 000004bc: SSTORE 000004bd: TIMESTAMP 000004be: PUSH1 0x05 000004c0: DUP9 000004c1: ADD 000004c2: DUP2 000004c3: SWAP1 000004c4: SSTORE 000004c5: PUSH1 0x06 000004c7: SWAP8 000004c8: SWAP1 000004c9: SWAP8 000004ca: ADD 000004cb: SWAP7 000004cc: SWAP1 000004cd: SWAP7 000004ce: SSTORE 000004cf: SWAP3 000004d0: SWAP1 000004d1: SWAP2 000004d2: MSTORE 000004d3: SWAP1 000004d4: MSTORE 000004d5: DUP1 000004d6: SLOAD 000004d7: PUSH22 0xffff0000000000000000000000000000000000000000 000004ee: NOT 000004ef: DUP2 000004f0: AND 000004f1: SWAP1 000004f2: DUP5 000004f3: SWAP1 000004f4: DIV 000004f5: SWAP1 000004f6: SWAP5 000004f7: AND 000004f8: SWAP1 000004f9: SWAP2 000004fa: ADD 000004fb: SWAP1 000004fc: SWAP2 000004fd: MUL 000004fe: SWAP2 000004ff: SWAP1 00000500: SWAP2 00000501: OR 00000502: SWAP1 00000503: SSTORE 00000504: JUMP 00000505: JUMPDEST 00000506: POP 00000507: POP 00000508: JUMP 00000509: JUMPDEST 0000050a: PUSH2 0xffff 0000050d: DUP3 0000050e: DUP2 0000050f: AND 00000510: PUSH1 0x00 00000512: SWAP1 00000513: DUP2 00000514: MSTORE 00000515: PUSH1 0x08 00000517: PUSH1 0x20 00000519: SWAP1 0000051a: DUP2 0000051b: MSTORE 0000051c: PUSH1 0x40 0000051e: DUP1 0000051f: DUP4 00000520: KECCAK256 00000521: SWAP4 00000522: DUP6 00000523: AND 00000524: DUP4 00000525: MSTORE 00000526: PUSH1 0x01 00000528: SWAP4 00000529: SWAP1 0000052a: SWAP4 0000052b: ADD 0000052c: SWAP1 0000052d: MSTORE 0000052e: KECCAK256 0000052f: PUSH1 0x04 00000531: ADD 00000532: DUP1 00000533: SLOAD 00000534: PUSH1 0xff 00000536: NOT 00000537: AND 00000538: DUP5 00000539: OR 0000053a: SWAP1 0000053b: SSTORE 0000053c: JUMPDEST 0000053d: POP 0000053e: POP 0000053f: POP 00000540: JUMP 00000541: JUMPDEST 00000542: PUSH1 0x05 00000544: SLOAD 00000545: PUSH1 0x06 00000547: SLOAD 00000548: ADDRESS 00000549: PUSH1 0x01 0000054b: PUSH1 0xa0 0000054d: PUSH1 0x02 0000054f: EXP 00000550: SUB 00000551: AND 00000552: BALANCE 00000553: SWAP2 00000554: SWAP1 00000555: SWAP2 00000556: SUB 00000557: SUB 00000558: SWAP7 00000559: POP 0000055a: PUSH1 0x00 0000055c: SWAP6 0000055d: POP 0000055e: DUP6 0000055f: SWAP5 00000560: POP 00000561: JUMPDEST 00000562: PUSH1 0x07 00000564: SLOAD 00000565: PUSH2 0xffff 00000568: SWAP1 00000569: DUP2 0000056a: AND 0000056b: SWAP1 0000056c: DUP7 0000056d: AND 0000056e: LT 0000056f: ISZERO 00000570: PUSH2 0x0625 00000573: JUMPI 00000574: PUSH1 0x00 00000576: SWAP4 00000577: POP 00000578: JUMPDEST 00000579: PUSH1 0x08 0000057b: PUSH1 0x00 0000057d: POP 0000057e: PUSH1 0x00 00000580: DUP7 00000581: PUSH2 0xffff 00000584: AND 00000585: DUP2 00000586: MSTORE 00000587: PUSH1 0x20 00000589: ADD 0000058a: SWAP1 0000058b: DUP2 0000058c: MSTORE 0000058d: PUSH1 0x20 0000058f: ADD 00000590: PUSH1 0x00 00000592: KECCAK256 00000593: PUSH1 0x00 00000595: POP 00000596: PUSH1 0x00 00000598: ADD 00000599: PUSH1 0x14 0000059b: SWAP1 0000059c: SLOAD 0000059d: SWAP1 0000059e: PUSH2 0x0100 000005a1: EXP 000005a2: SWAP1 000005a3: DIV 000005a4: PUSH2 0xffff 000005a7: AND 000005a8: PUSH2 0xffff 000005ab: AND 000005ac: DUP5 000005ad: PUSH2 0xffff 000005b0: AND 000005b1: LT 000005b2: ISZERO 000005b3: PUSH2 0x065b 000005b6: JUMPI 000005b7: PUSH1 0x08 000005b9: PUSH1 0x00 000005bb: POP 000005bc: PUSH1 0x00 000005be: DUP7 000005bf: PUSH2 0xffff 000005c2: AND 000005c3: DUP2 000005c4: MSTORE 000005c5: PUSH1 0x20 000005c7: ADD 000005c8: SWAP1 000005c9: DUP2 000005ca: MSTORE 000005cb: PUSH1 0x20 000005cd: ADD 000005ce: PUSH1 0x00 000005d0: KECCAK256 000005d1: PUSH1 0x00 000005d3: POP 000005d4: PUSH1 0x01 000005d6: ADD 000005d7: PUSH1 0x00 000005d9: POP 000005da: PUSH1 0x00 000005dc: DUP6 000005dd: PUSH2 0xffff 000005e0: AND 000005e1: DUP2 000005e2: MSTORE 000005e3: PUSH1 0x20 000005e5: ADD 000005e6: SWAP1 000005e7: DUP2 000005e8: MSTORE 000005e9: PUSH1 0x20 000005eb: ADD 000005ec: PUSH1 0x00 000005ee: KECCAK256 000005ef: PUSH1 0x00 000005f1: POP 000005f2: SWAP3 000005f3: POP 000005f4: DUP3 000005f5: PUSH1 0x08 000005f7: ADD 000005f8: PUSH1 0x01 000005fa: SWAP1 000005fb: SLOAD 000005fc: SWAP1 000005fd: PUSH2 0x0100 00000600: EXP 00000601: SWAP1 00000602: DIV 00000603: PUSH1 0xff 00000605: AND 00000606: DUP1 00000607: PUSH2 0x061b 0000060a: JUMPI 0000060b: POP 0000060c: PUSH3 0x015180 00000610: DUP4 00000611: PUSH1 0x06 00000613: ADD 00000614: PUSH1 0x00 00000616: POP 00000617: SLOAD 00000618: TIMESTAMP 00000619: SUB 0000061a: LT 0000061b: JUMPDEST 0000061c: ISZERO 0000061d: PUSH2 0x0667 00000620: JUMPI 00000621: PUSH2 0x0820 00000624: JUMP 00000625: JUMPDEST 00000626: DUP6 00000627: ISZERO 00000628: ISZERO 00000629: PUSH2 0x0652 0000062c: JUMPI 0000062d: PUSH1 0x01 0000062f: SLOAD 00000630: PUSH1 0x40 00000632: MLOAD 00000633: PUSH1 0x01 00000635: PUSH1 0xa0 00000637: PUSH1 0x02 00000639: EXP 0000063a: SUB 0000063b: SWAP2 0000063c: SWAP1 0000063d: SWAP2 0000063e: AND 0000063f: SWAP1 00000640: PUSH1 0x00 00000642: SWAP1 00000643: DUP10 00000644: SWAP1 00000645: DUP3 00000646: DUP2 00000647: DUP2 00000648: DUP2 00000649: DUP6 0000064a: DUP9 0000064b: DUP4 0000064c: CALL 0000064d: POP 0000064e: POP 0000064f: POP 00000650: POP 00000651: POP 00000652: JUMPDEST 00000653: POP 00000654: POP 00000655: POP 00000656: POP 00000657: POP 00000658: POP 00000659: POP 0000065a: JUMP 0000065b: JUMPDEST 0000065c: PUSH1 0x01 0000065e: SWAP5 0000065f: SWAP1 00000660: SWAP5 00000661: ADD 00000662: SWAP4 00000663: PUSH2 0x0561 00000666: JUMP 00000667: JUMPDEST 00000668: PUSH1 0x03 0000066a: DUP4 0000066b: ADD 0000066c: SLOAD 0000066d: PUSH1 0x07 0000066f: DUP5 00000670: ADD 00000671: SLOAD 00000672: PUSH1 0x1e 00000674: SWAP2 00000675: SWAP1 00000676: SWAP2 00000677: MUL 00000678: EQ 00000679: PUSH2 0x0729 0000067c: JUMPI 0000067d: PUSH3 0x015180 00000681: DUP4 00000682: PUSH1 0x05 00000684: ADD 00000685: PUSH1 0x00 00000687: POP 00000688: SLOAD 00000689: TIMESTAMP 0000068a: SUB 0000068b: DIV 0000068c: SWAP2 0000068d: POP 0000068e: PUSH1 0x1e 00000690: DUP3 00000691: PUSH1 0xff 00000693: AND 00000694: GT 00000695: ISZERO 00000696: PUSH2 0x069e 00000699: JUMPI 0000069a: PUSH1 0x1e 0000069c: SWAP2 0000069d: POP 0000069e: JUMPDEST 0000069f: POP 000006a0: PUSH1 0x07 000006a2: DUP3 000006a3: ADD 000006a4: SLOAD 000006a5: PUSH1 0x03 000006a7: DUP4 000006a8: ADD 000006a9: SLOAD 000006aa: PUSH1 0xff 000006ac: DUP4 000006ad: AND 000006ae: MUL 000006af: SUB 000006b0: DUP1 000006b1: DUP8 000006b2: LT 000006b3: ISZERO 000006b4: PUSH2 0x06c0 000006b7: JUMPI 000006b8: PUSH1 0x01 000006ba: SWAP6 000006bb: POP 000006bc: PUSH2 0x0722 000006bf: JUMP 000006c0: JUMPDEST 000006c1: PUSH8 0x016345785d8a0000 000006ca: DUP2 000006cb: GT 000006cc: DUP1 000006cd: PUSH2 0x06d9 000006d0: JUMPI 000006d1: POP 000006d2: PUSH1 0x1e 000006d4: DUP3 000006d5: PUSH1 0xff 000006d7: AND 000006d8: EQ 000006d9: JUMPDEST 000006da: ISZERO 000006db: PUSH2 0x0722 000006de: JUMPI 000006df: PUSH2 0xffff 000006e2: DUP6 000006e3: AND 000006e4: PUSH1 0x00 000006e6: SWAP1 000006e7: DUP2 000006e8: MSTORE 000006e9: PUSH1 0x08 000006eb: PUSH1 0x20 000006ed: MSTORE 000006ee: PUSH1 0x40 000006f0: DUP1 000006f1: DUP3 000006f2: KECCAK256 000006f3: SLOAD 000006f4: SWAP1 000006f5: MLOAD 000006f6: SWAP9 000006f7: DUP4 000006f8: SWAP1 000006f9: SUB 000006fa: SWAP9 000006fb: PUSH1 0x01 000006fd: PUSH1 0xa0 000006ff: PUSH1 0x02 00000701: EXP 00000702: SUB 00000703: SWAP2 00000704: SWAP1 00000705: SWAP2 00000706: AND 00000707: SWAP2 00000708: SWAP1 00000709: DUP4 0000070a: SWAP1 0000070b: DUP3 0000070c: DUP2 0000070d: DUP2 0000070e: DUP2 0000070f: DUP6 00000710: DUP9 00000711: DUP4 00000712: CALL 00000713: POP 00000714: POP 00000715: POP 00000716: POP 00000717: PUSH1 0x07 00000719: DUP5 0000071a: ADD 0000071b: DUP1 0000071c: SLOAD 0000071d: DUP4 0000071e: ADD 0000071f: SWAP1 00000720: SSTORE 00000721: POP 00000722: JUMPDEST 00000723: TIMESTAMP 00000724: PUSH1 0x06 00000726: DUP5 00000727: ADD 00000728: SSTORE 00000729: JUMPDEST 0000072a: PUSH1 0x05 0000072c: DUP4 0000072d: ADD 0000072e: SLOAD 0000072f: PUSH3 0x278d00 00000733: ADD 00000734: TIMESTAMP 00000735: GT 00000736: DUP1 00000737: ISZERO 00000738: PUSH2 0x0746 0000073b: JUMPI 0000073c: POP 0000073d: PUSH1 0x08 0000073f: DUP4 00000740: ADD 00000741: SLOAD 00000742: PUSH1 0xff 00000744: AND 00000745: ISZERO 00000746: JUMPDEST 00000747: ISZERO 00000748: PUSH2 0x07e8 0000074b: JUMPI 0000074c: PUSH1 0x04 0000074e: DUP4 0000074f: ADD 00000750: SLOAD 00000751: PUSH1 0xff 00000753: AND 00000754: ISZERO 00000755: PUSH2 0x076e 00000758: JUMPI 00000759: DUP3 0000075a: SLOAD 0000075b: PUSH1 0x01 0000075d: DUP5 0000075e: DUP2 0000075f: ADD 00000760: SLOAD 00000761: PUSH2 0x082c 00000764: SWAP3 00000765: DUP9 00000766: SWAP3 00000767: SWAP1 00000768: SWAP2 00000769: SWAP1 0000076a: PUSH2 0x03fd 0000076d: JUMP 0000076e: JUMPDEST 0000076f: PUSH1 0x05 00000771: SLOAD 00000772: DUP4 00000773: SLOAD 00000774: SWAP1 00000775: LT 00000776: PUSH2 0x07e8 00000779: JUMPI 0000077a: PUSH1 0x05 0000077c: DUP1 0000077d: SLOAD 0000077e: DUP5 0000077f: SLOAD 00000780: SWAP1 00000781: SUB 00000782: SWAP1 00000783: SSTORE 00000784: PUSH1 0x06 00000786: DUP1 00000787: SLOAD 00000788: PUSH1 0x01 0000078a: DUP6 0000078b: ADD 0000078c: DUP1 0000078d: SLOAD 0000078e: SWAP1 0000078f: SWAP2 00000790: SUB 00000791: SWAP1 00000792: SWAP2 00000793: SSTORE 00000794: PUSH1 0x03 00000796: DUP1 00000797: SLOAD 00000798: DUP6 00000799: SLOAD 0000079a: DUP4 0000079b: SLOAD 0000079c: ADD 0000079d: SWAP1 0000079e: SUB 0000079f: SWAP1 000007a0: SSTORE 000007a1: PUSH2 0xffff 000007a4: DUP7 000007a5: AND 000007a6: PUSH1 0x00 000007a8: SWAP1 000007a9: DUP2 000007aa: MSTORE 000007ab: PUSH1 0x08 000007ad: PUSH1 0x20 000007af: MSTORE 000007b0: PUSH1 0x40 000007b2: DUP1 000007b3: DUP3 000007b4: KECCAK256 000007b5: SLOAD 000007b6: SWAP3 000007b7: SLOAD 000007b8: DUP7 000007b9: SLOAD 000007ba: SWAP2 000007bb: MLOAD 000007bc: PUSH1 0x01 000007be: PUSH1 0xa0 000007c0: PUSH1 0x02 000007c2: EXP 000007c3: SUB 000007c4: SWAP5 000007c5: SWAP1 000007c6: SWAP5 000007c7: AND 000007c8: SWAP4 000007c9: SWAP2 000007ca: ADD 000007cb: SWAP1 000007cc: DUP3 000007cd: DUP2 000007ce: DUP2 000007cf: DUP2 000007d0: DUP6 000007d1: DUP9 000007d2: DUP4 000007d3: CALL 000007d4: POP 000007d5: POP 000007d6: POP 000007d7: POP 000007d8: PUSH1 0x08 000007da: DUP5 000007db: ADD 000007dc: DUP1 000007dd: SLOAD 000007de: PUSH1 0xff 000007e0: NOT 000007e1: AND 000007e2: PUSH1 0x01 000007e4: OR 000007e5: SWAP1 000007e6: SSTORE 000007e7: POP 000007e8: JUMPDEST 000007e9: PUSH1 0x08 000007eb: DUP4 000007ec: ADD 000007ed: SLOAD 000007ee: PUSH1 0xff 000007f0: AND 000007f1: DUP1 000007f2: ISZERO 000007f3: PUSH2 0x0809 000007f6: JUMPI 000007f7: POP 000007f8: PUSH1 0x03 000007fa: DUP4 000007fb: ADD 000007fc: SLOAD 000007fd: PUSH1 0x07 000007ff: DUP5 00000800: ADD 00000801: SLOAD 00000802: PUSH1 0x1e 00000804: SWAP2 00000805: SWAP1 00000806: SWAP2 00000807: MUL 00000808: EQ 00000809: JUMPDEST 0000080a: ISZERO 0000080b: PUSH2 0x0820 0000080e: JUMPI 0000080f: PUSH1 0x08 00000811: DUP4 00000812: ADD 00000813: DUP1 00000814: SLOAD 00000815: PUSH2 0xff00 00000818: NOT 00000819: AND 0000081a: PUSH2 0x0100 0000081d: OR 0000081e: SWAP1 0000081f: SSTORE 00000820: JUMPDEST 00000821: PUSH1 0x01 00000823: SWAP4 00000824: SWAP1 00000825: SWAP4 00000826: ADD 00000827: SWAP3 00000828: PUSH2 0x0578 0000082b: JUMP 0000082c: JUMPDEST 0000082d: PUSH1 0x08 0000082f: DUP4 00000830: ADD 00000831: DUP1 00000832: SLOAD 00000833: PUSH1 0xff 00000835: NOT 00000836: AND 00000837: PUSH1 0x01 00000839: OR 0000083a: SWAP1 0000083b: SSTORE 0000083c: PUSH2 0x07e8 0000083f: JUMP 00000840: JUMPDEST 00000841: PUSH1 0x01 00000843: DUP1 00000844: SLOAD 00000845: PUSH1 0x04 00000847: SWAP6 00000848: SWAP1 00000849: SWAP6 0000084a: SSTORE 0000084b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000860: NOT 00000861: SWAP5 00000862: SWAP1 00000863: SWAP5 00000864: AND 00000865: SWAP5 00000866: SWAP1 00000867: SWAP5 00000868: OR 00000869: PUSH32 0xffffffff0000000000000000ffffffffffffffffffffffffffffffffffffffff 0000088a: AND 0000088b: PUSH2 0xffff 0000088e: SWAP3 0000088f: DUP4 00000890: AND 00000891: PUSH1 0xa0 00000893: PUSH1 0x02 00000895: EXP 00000896: MUL 00000897: OR 00000898: SWAP1 00000899: SWAP3 0000089a: SSTORE 0000089b: PUSH1 0x02 0000089d: DUP1 0000089e: SLOAD 0000089f: SWAP3 000008a0: DUP3 000008a1: AND 000008a2: PUSH8 0xffffffffffffffff 000008ab: NOT 000008ac: SWAP1 000008ad: SWAP4 000008ae: AND 000008af: SWAP3 000008b0: SWAP1 000008b1: SWAP3 000008b2: OR 000008b3: PUSH16 0xffffffffffffffff0000000000000000 000008c4: NOT 000008c5: AND 000008c6: SWAP3 000008c7: AND 000008c8: PUSH9 0x010000000000000000 000008d2: MUL 000008d3: SWAP2 000008d4: SWAP1 000008d5: SWAP2 000008d6: OR 000008d7: SWAP1 000008d8: SSTORE 000008d9: JUMP 000008da: JUMPDEST 000008db: PUSH1 0x00 000008dd: DUP1 000008de: SLOAD 000008df: PUSH1 0x40 000008e1: MLOAD 000008e2: PUSH1 0x01 000008e4: PUSH1 0xa0 000008e6: PUSH1 0x02 000008e8: EXP 000008e9: SUB 000008ea: SWAP2 000008eb: SWAP1 000008ec: SWAP2 000008ed: AND 000008ee: SWAP2 000008ef: SWAP1 000008f0: DUP4 000008f1: SWAP1 000008f2: DUP3 000008f3: DUP2 000008f4: DUP2 000008f5: DUP2 000008f6: DUP6 000008f7: DUP9 000008f8: DUP4 000008f9: CALL 000008fa: POP 000008fb: POP 000008fc: POP 000008fd: POP 000008fe: POP 000008ff: JUMPDEST 00000900: POP 00000901: JUMP 00000902: JUMPDEST 00000903: PUSH2 0xffff 00000906: SWAP2 00000907: POP 00000908: JUMPDEST 00000909: POP 0000090a: SWAP2 0000090b: SWAP1 0000090c: POP 0000090d: JUMP 0000090e: JUMPDEST 0000090f: PUSH1 0x01 00000911: ADD 00000912: PUSH2 0x01ae 00000915: 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 | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xb02bfca2da439dd620571ccf86fb162dc7241c77bdd10d69d5e7e32f36629715
call_targets:
0x31d2268961fdacb283c7bd8c0be70e17d0559445
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xb02bfca2da439dd620571ccf86fb162dc7241c77bdd10d69d5e7e32f36629715",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x31d2268961fdacb283c7bd8c0be70e17d0559445"
],
"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": "0x16ece9db",
"selector": "0x16ece9db",
"calldata_variants": [
"0x16ece9db",
"0x16ece9db0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1982ed58",
"selector": "0x1982ed58",
"calldata_variants": [
"0x1982ed58",
"0x1982ed580000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x31a73991",
"selector": "0x31a73991",
"calldata_variants": [
"0x31a73991",
"0x31a739910000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3773930e",
"selector": "0x3773930e",
"calldata_variants": [
"0x3773930e",
"0x3773930e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5f52e9fd",
"selector": "0x5f52e9fd",
"calldata_variants": [
"0x5f52e9fd",
"0x5f52e9fd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6169a7ed",
"selector": "0x6169a7ed",
"calldata_variants": [
"0x6169a7ed",
"0x6169a7ed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x79799193",
"selector": "0x79799193",
"calldata_variants": [
"0x79799193",
"0x797991930000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7e7307c5",
"selector": "0x7e7307c5",
"calldata_variants": [
"0x7e7307c5",
"0x7e7307c50000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 770,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 886,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1612,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 6,
"guards_detected": [],
"untrusted_call_count": 6
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xb02bfca2da439dd620571ccf86fb162dc7241c77bdd10d69d5e7e32f36629715
call_targets:
0x31d2268961fdacb283c7bd8c0be70e17d0559445
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xb02bfca2da439dd620571ccf86fb162dc7241c77bdd10d69d5e7e32f36629715",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x31d2268961fdacb283c7bd8c0be70e17d0559445"
],
"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": "0x16ece9db",
"selector": "0x16ece9db",
"calldata_variants": [
"0x16ece9db",
"0x16ece9db0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1982ed58",
"selector": "0x1982ed58",
"calldata_variants": [
"0x1982ed58",
"0x1982ed580000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x31a73991",
"selector": "0x31a73991",
"calldata_variants": [
"0x31a73991",
"0x31a739910000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3773930e",
"selector": "0x3773930e",
"calldata_variants": [
"0x3773930e",
"0x3773930e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5f52e9fd",
"selector": "0x5f52e9fd",
"calldata_variants": [
"0x5f52e9fd",
"0x5f52e9fd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6169a7ed",
"selector": "0x6169a7ed",
"calldata_variants": [
"0x6169a7ed",
"0x6169a7ed0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x79799193",
"selector": "0x79799193",
"calldata_variants": [
"0x79799193",
"0x797991930000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7e7307c5",
"selector": "0x7e7307c5",
"calldata_variants": [
"0x7e7307c5",
"0x7e7307c50000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 770,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 886,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1612,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 6,
"guards_detected": []
}
|