019b477e-b1d1-73bb-94ee-37bb2c514114
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 |
|---|---|---|---|---|
| 22211 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 22212 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 66146 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 66147 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 66148 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 66149 | 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 0x0098 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000030: PUSH1 0x00 00000032: CALLDATALOAD 00000033: DIV 00000034: AND 00000035: PUSH4 0x213a2622 0000003a: DUP2 0000003b: EQ 0000003c: PUSH2 0x009a 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x3ccfd60b 00000046: EQ 00000047: PUSH2 0x00af 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x4eff13dc 00000051: EQ 00000052: PUSH2 0x00c4 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x5d69f16f 0000005c: EQ 0000005d: PUSH2 0x00eb 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x95dd489b 00000067: EQ 00000068: PUSH2 0x00f3 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x9cf8ccfd 00000072: EQ 00000073: PUSH2 0x0108 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0xd13a73c4 0000007d: EQ 0000007e: PUSH2 0x011d 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0xefe6c772 00000088: EQ 00000089: PUSH2 0x0132 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0xffe6bbd8 00000093: EQ 00000094: PUSH2 0x015d 00000097: JUMPI 00000098: JUMPDEST 00000099: STOP 0000009a: JUMPDEST 0000009b: CALLVALUE 0000009c: DUP1 0000009d: ISZERO 0000009e: PUSH2 0x00a6 000000a1: JUMPI 000000a2: PUSH1 0x00 000000a4: DUP1 000000a5: REVERT 000000a6: JUMPDEST 000000a7: POP 000000a8: PUSH2 0x0098 000000ab: PUSH2 0x0172 000000ae: JUMP 000000af: JUMPDEST 000000b0: CALLVALUE 000000b1: DUP1 000000b2: ISZERO 000000b3: PUSH2 0x00bb 000000b6: JUMPI 000000b7: PUSH1 0x00 000000b9: DUP1 000000ba: REVERT 000000bb: JUMPDEST 000000bc: POP 000000bd: PUSH2 0x0098 000000c0: PUSH2 0x027f 000000c3: JUMP 000000c4: JUMPDEST 000000c5: CALLVALUE 000000c6: DUP1 000000c7: ISZERO 000000c8: PUSH2 0x00d0 000000cb: JUMPI 000000cc: PUSH1 0x00 000000ce: DUP1 000000cf: REVERT 000000d0: JUMPDEST 000000d1: POP 000000d2: PUSH2 0x00d9 000000d5: PUSH2 0x0316 000000d8: JUMP 000000d9: JUMPDEST 000000da: PUSH1 0x40 000000dc: DUP1 000000dd: MLOAD 000000de: SWAP2 000000df: DUP3 000000e0: MSTORE 000000e1: MLOAD 000000e2: SWAP1 000000e3: DUP2 000000e4: SWAP1 000000e5: SUB 000000e6: PUSH1 0x20 000000e8: ADD 000000e9: SWAP1 000000ea: RETURN 000000eb: JUMPDEST 000000ec: PUSH2 0x0098 000000ef: PUSH2 0x0322 000000f2: JUMP 000000f3: JUMPDEST 000000f4: CALLVALUE 000000f5: DUP1 000000f6: ISZERO 000000f7: PUSH2 0x00ff 000000fa: JUMPI 000000fb: PUSH1 0x00 000000fd: DUP1 000000fe: REVERT 000000ff: JUMPDEST 00000100: POP 00000101: PUSH2 0x00d9 00000104: PUSH2 0x03f7 00000107: JUMP 00000108: JUMPDEST 00000109: CALLVALUE 0000010a: DUP1 0000010b: ISZERO 0000010c: PUSH2 0x0114 0000010f: JUMPI 00000110: PUSH1 0x00 00000112: DUP1 00000113: REVERT 00000114: JUMPDEST 00000115: POP 00000116: PUSH2 0x00d9 00000119: PUSH2 0x03fd 0000011c: JUMP 0000011d: JUMPDEST 0000011e: CALLVALUE 0000011f: DUP1 00000120: ISZERO 00000121: PUSH2 0x0129 00000124: JUMPI 00000125: PUSH1 0x00 00000127: DUP1 00000128: REVERT 00000129: JUMPDEST 0000012a: POP 0000012b: PUSH2 0x00d9 0000012e: PUSH2 0x0419 00000131: JUMP 00000132: JUMPDEST 00000133: CALLVALUE 00000134: DUP1 00000135: ISZERO 00000136: PUSH2 0x013e 00000139: JUMPI 0000013a: PUSH1 0x00 0000013c: DUP1 0000013d: REVERT 0000013e: JUMPDEST 0000013f: POP 00000140: PUSH2 0x0147 00000143: PUSH2 0x041f 00000146: JUMP 00000147: JUMPDEST 00000148: PUSH1 0x40 0000014a: DUP1 0000014b: MLOAD 0000014c: PUSH1 0xff 0000014e: SWAP1 0000014f: SWAP3 00000150: AND 00000151: DUP3 00000152: MSTORE 00000153: MLOAD 00000154: SWAP1 00000155: DUP2 00000156: SWAP1 00000157: SUB 00000158: PUSH1 0x20 0000015a: ADD 0000015b: SWAP1 0000015c: RETURN 0000015d: JUMPDEST 0000015e: CALLVALUE 0000015f: DUP1 00000160: ISZERO 00000161: PUSH2 0x0169 00000164: JUMPI 00000165: PUSH1 0x00 00000167: DUP1 00000168: REVERT 00000169: JUMPDEST 0000016a: POP 0000016b: PUSH2 0x00d9 0000016e: PUSH2 0x0424 00000171: JUMP 00000172: JUMPDEST 00000173: CALLER 00000174: PUSH1 0x00 00000176: SWAP1 00000177: DUP2 00000178: MSTORE 00000179: PUSH1 0x02 0000017b: PUSH1 0x20 0000017d: MSTORE 0000017e: PUSH1 0x40 00000180: SWAP1 00000181: KECCAK256 00000182: SLOAD 00000183: PUSH8 0x016345785d8a0000 0000018c: GT 0000018d: ISZERO 0000018e: PUSH2 0x0196 00000191: JUMPI 00000192: PUSH1 0x00 00000194: DUP1 00000195: REVERT 00000196: JUMPDEST 00000197: PUSH1 0x05 00000199: DUP1 0000019a: SLOAD 0000019b: PUSH1 0x00 0000019d: NOT 0000019e: ADD 0000019f: PUSH1 0x00 000001a1: SWAP1 000001a2: DUP2 000001a3: MSTORE 000001a4: PUSH1 0x03 000001a6: PUSH1 0x20 000001a8: MSTORE 000001a9: PUSH1 0x40 000001ab: SWAP1 000001ac: KECCAK256 000001ad: SLOAD 000001ae: PUSH1 0xff 000001b0: AND 000001b1: EQ 000001b2: ISZERO 000001b3: PUSH2 0x021e 000001b6: JUMPI 000001b7: PUSH1 0x40 000001b9: DUP1 000001ba: MLOAD 000001bb: PUSH1 0x60 000001bd: DUP2 000001be: ADD 000001bf: DUP3 000001c0: MSTORE 000001c1: PUSH1 0x00 000001c3: DUP1 000001c4: DUP3 000001c5: MSTORE 000001c6: PUSH1 0x20 000001c8: DUP1 000001c9: DUP4 000001ca: ADD 000001cb: DUP3 000001cc: DUP2 000001cd: MSTORE 000001ce: DUP4 000001cf: DUP6 000001d0: ADD 000001d1: DUP4 000001d2: DUP2 000001d3: MSTORE 000001d4: PUSH1 0x05 000001d6: DUP1 000001d7: SLOAD 000001d8: DUP6 000001d9: MSTORE 000001da: PUSH1 0x03 000001dc: SWAP1 000001dd: SWAP4 000001de: MSTORE 000001df: SWAP5 000001e0: SWAP1 000001e1: SWAP3 000001e2: KECCAK256 000001e3: SWAP3 000001e4: MLOAD 000001e5: DUP4 000001e6: SLOAD 000001e7: PUSH1 0xff 000001e9: SWAP2 000001ea: SWAP1 000001eb: SWAP2 000001ec: AND 000001ed: PUSH1 0xff 000001ef: NOT 000001f0: SWAP2 000001f1: DUP3 000001f2: AND 000001f3: OR 000001f4: DUP5 000001f5: SSTORE 000001f6: SWAP2 000001f7: MLOAD 000001f8: PUSH1 0x01 000001fa: DUP5 000001fb: DUP2 000001fc: ADD 000001fd: SWAP2 000001fe: SWAP1 000001ff: SWAP2 00000200: SSTORE 00000201: SWAP4 00000202: MLOAD 00000203: PUSH1 0x02 00000205: SWAP1 00000206: SWAP4 00000207: ADD 00000208: DUP1 00000209: SLOAD 0000020a: SWAP4 0000020b: ISZERO 0000020c: ISZERO 0000020d: SWAP4 0000020e: SWAP1 0000020f: SWAP3 00000210: AND 00000211: SWAP3 00000212: SWAP1 00000213: SWAP3 00000214: OR 00000215: SWAP1 00000216: SSTORE 00000217: DUP1 00000218: SLOAD 00000219: SWAP1 0000021a: SWAP2 0000021b: ADD 0000021c: SWAP1 0000021d: SSTORE 0000021e: JUMPDEST 0000021f: PUSH1 0x05 00000221: SLOAD 00000222: PUSH1 0x00 00000224: NOT 00000225: ADD 00000226: PUSH1 0x00 00000228: SWAP1 00000229: DUP2 0000022a: MSTORE 0000022b: PUSH1 0x03 0000022d: PUSH1 0x20 0000022f: SWAP1 00000230: DUP2 00000231: MSTORE 00000232: PUSH1 0x40 00000234: DUP1 00000235: DUP4 00000236: KECCAK256 00000237: CALLER 00000238: DUP5 00000239: MSTORE 0000023a: PUSH1 0x04 0000023c: ADD 0000023d: SWAP1 0000023e: SWAP2 0000023f: MSTORE 00000240: SWAP1 00000241: KECCAK256 00000242: SLOAD 00000243: PUSH1 0xff 00000245: AND 00000246: ISZERO 00000247: PUSH2 0x024f 0000024a: JUMPI 0000024b: PUSH1 0x00 0000024d: DUP1 0000024e: REVERT 0000024f: JUMPDEST 00000250: CALLER 00000251: PUSH1 0x00 00000253: SWAP1 00000254: DUP2 00000255: MSTORE 00000256: PUSH1 0x02 00000258: PUSH1 0x20 0000025a: MSTORE 0000025b: PUSH1 0x40 0000025d: SWAP1 0000025e: KECCAK256 0000025f: DUP1 00000260: SLOAD 00000261: PUSH8 0x016345785d89ffff 0000026a: NOT 0000026b: ADD 0000026c: SWAP1 0000026d: SSTORE 0000026e: PUSH2 0x0275 00000271: PUSH2 0x0453 00000274: JUMP 00000275: JUMPDEST 00000276: PUSH2 0x027d 00000279: PUSH2 0x051f 0000027c: JUMP 0000027d: JUMPDEST 0000027e: JUMP 0000027f: JUMPDEST 00000280: CALLER 00000281: PUSH1 0x00 00000283: SWAP1 00000284: DUP2 00000285: MSTORE 00000286: PUSH1 0x02 00000288: PUSH1 0x20 0000028a: MSTORE 0000028b: PUSH1 0x40 0000028d: DUP2 0000028e: KECCAK256 0000028f: SLOAD 00000290: DUP2 00000291: LT 00000292: PUSH2 0x029a 00000295: JUMPI 00000296: PUSH1 0x00 00000298: DUP1 00000299: REVERT 0000029a: JUMPDEST 0000029b: PUSH2 0x02a2 0000029e: PUSH2 0x051f 000002a1: JUMP 000002a2: JUMPDEST 000002a3: POP 000002a4: CALLER 000002a5: PUSH1 0x00 000002a7: DUP2 000002a8: DUP2 000002a9: MSTORE 000002aa: PUSH1 0x02 000002ac: PUSH1 0x20 000002ae: MSTORE 000002af: PUSH1 0x40 000002b1: DUP1 000002b2: DUP3 000002b3: KECCAK256 000002b4: DUP1 000002b5: SLOAD 000002b6: SWAP1 000002b7: DUP4 000002b8: SWAP1 000002b9: SSTORE 000002ba: SWAP1 000002bb: MLOAD 000002bc: SWAP1 000002bd: SWAP3 000002be: DUP4 000002bf: SWAP3 000002c0: SWAP1 000002c1: SWAP2 000002c2: PUSH32 0x48dc35af7b45e2a81fffad55f6e2fafacdb1d3d0d50d24ebdc16324f5ba757f1 000002e3: SWAP2 000002e4: SWAP1 000002e5: LOG3 000002e6: PUSH1 0x40 000002e8: MLOAD 000002e9: CALLER 000002ea: SWAP1 000002eb: DUP3 000002ec: ISZERO 000002ed: PUSH2 0x08fc 000002f0: MUL 000002f1: SWAP1 000002f2: DUP4 000002f3: SWAP1 000002f4: PUSH1 0x00 000002f6: DUP2 000002f7: DUP2 000002f8: DUP2 000002f9: DUP6 000002fa: DUP9 000002fb: DUP9 000002fc: CALL 000002fd: SWAP4 000002fe: POP 000002ff: POP 00000300: POP 00000301: POP 00000302: ISZERO 00000303: DUP1 00000304: ISZERO 00000305: PUSH2 0x0312 00000308: JUMPI 00000309: RETURNDATASIZE 0000030a: PUSH1 0x00 0000030c: DUP1 0000030d: RETURNDATACOPY 0000030e: RETURNDATASIZE 0000030f: PUSH1 0x00 00000311: REVERT 00000312: JUMPDEST 00000313: POP 00000314: POP 00000315: JUMP 00000316: JUMPDEST 00000317: PUSH8 0x016345785d8a0000 00000320: DUP2 00000321: JUMP 00000322: JUMPDEST 00000323: CALLVALUE 00000324: PUSH8 0x016345785d8a0000 0000032d: EQ 0000032e: PUSH2 0x0336 00000331: JUMPI 00000332: PUSH1 0x00 00000334: DUP1 00000335: REVERT 00000336: JUMPDEST 00000337: PUSH1 0x05 00000339: DUP1 0000033a: SLOAD 0000033b: PUSH1 0x00 0000033d: NOT 0000033e: ADD 0000033f: PUSH1 0x00 00000341: SWAP1 00000342: DUP2 00000343: MSTORE 00000344: PUSH1 0x03 00000346: PUSH1 0x20 00000348: MSTORE 00000349: PUSH1 0x40 0000034b: SWAP1 0000034c: KECCAK256 0000034d: SLOAD 0000034e: PUSH1 0xff 00000350: AND 00000351: EQ 00000352: ISZERO 00000353: PUSH2 0x03be 00000356: JUMPI 00000357: PUSH1 0x40 00000359: DUP1 0000035a: MLOAD 0000035b: PUSH1 0x60 0000035d: DUP2 0000035e: ADD 0000035f: DUP3 00000360: MSTORE 00000361: PUSH1 0x00 00000363: DUP1 00000364: DUP3 00000365: MSTORE 00000366: PUSH1 0x20 00000368: DUP1 00000369: DUP4 0000036a: ADD 0000036b: DUP3 0000036c: DUP2 0000036d: MSTORE 0000036e: DUP4 0000036f: DUP6 00000370: ADD 00000371: DUP4 00000372: DUP2 00000373: MSTORE 00000374: PUSH1 0x05 00000376: DUP1 00000377: SLOAD 00000378: DUP6 00000379: MSTORE 0000037a: PUSH1 0x03 0000037c: SWAP1 0000037d: SWAP4 0000037e: MSTORE 0000037f: SWAP5 00000380: SWAP1 00000381: SWAP3 00000382: KECCAK256 00000383: SWAP3 00000384: MLOAD 00000385: DUP4 00000386: SLOAD 00000387: PUSH1 0xff 00000389: SWAP2 0000038a: SWAP1 0000038b: SWAP2 0000038c: AND 0000038d: PUSH1 0xff 0000038f: NOT 00000390: SWAP2 00000391: DUP3 00000392: AND 00000393: OR 00000394: DUP5 00000395: SSTORE 00000396: SWAP2 00000397: MLOAD 00000398: PUSH1 0x01 0000039a: DUP5 0000039b: DUP2 0000039c: ADD 0000039d: SWAP2 0000039e: SWAP1 0000039f: SWAP2 000003a0: SSTORE 000003a1: SWAP4 000003a2: MLOAD 000003a3: PUSH1 0x02 000003a5: SWAP1 000003a6: SWAP4 000003a7: ADD 000003a8: DUP1 000003a9: SLOAD 000003aa: SWAP4 000003ab: ISZERO 000003ac: ISZERO 000003ad: SWAP4 000003ae: SWAP1 000003af: SWAP3 000003b0: AND 000003b1: SWAP3 000003b2: SWAP1 000003b3: SWAP3 000003b4: OR 000003b5: SWAP1 000003b6: SSTORE 000003b7: DUP1 000003b8: SLOAD 000003b9: SWAP1 000003ba: SWAP2 000003bb: ADD 000003bc: SWAP1 000003bd: SSTORE 000003be: JUMPDEST 000003bf: PUSH1 0x05 000003c1: SLOAD 000003c2: PUSH1 0x00 000003c4: NOT 000003c5: ADD 000003c6: PUSH1 0x00 000003c8: SWAP1 000003c9: DUP2 000003ca: MSTORE 000003cb: PUSH1 0x03 000003cd: PUSH1 0x20 000003cf: SWAP1 000003d0: DUP2 000003d1: MSTORE 000003d2: PUSH1 0x40 000003d4: DUP1 000003d5: DUP4 000003d6: KECCAK256 000003d7: CALLER 000003d8: DUP5 000003d9: MSTORE 000003da: PUSH1 0x04 000003dc: ADD 000003dd: SWAP1 000003de: SWAP2 000003df: MSTORE 000003e0: SWAP1 000003e1: KECCAK256 000003e2: SLOAD 000003e3: PUSH1 0xff 000003e5: AND 000003e6: ISZERO 000003e7: PUSH2 0x03ef 000003ea: JUMPI 000003eb: PUSH1 0x00 000003ed: DUP1 000003ee: REVERT 000003ef: JUMPDEST 000003f0: PUSH2 0x0275 000003f3: PUSH2 0x0453 000003f6: JUMP 000003f7: JUMPDEST 000003f8: PUSH1 0x01 000003fa: SLOAD 000003fb: DUP2 000003fc: JUMP 000003fd: JUMPDEST 000003fe: PUSH1 0x05 00000400: SLOAD 00000401: PUSH1 0x00 00000403: NOT 00000404: ADD 00000405: PUSH1 0x00 00000407: SWAP1 00000408: DUP2 00000409: MSTORE 0000040a: PUSH1 0x03 0000040c: PUSH1 0x20 0000040e: MSTORE 0000040f: PUSH1 0x40 00000411: SWAP1 00000412: KECCAK256 00000413: SLOAD 00000414: PUSH1 0xff 00000416: AND 00000417: SWAP1 00000418: JUMP 00000419: JUMPDEST 0000041a: PUSH1 0x05 0000041c: SLOAD 0000041d: DUP2 0000041e: JUMP 0000041f: JUMPDEST 00000420: PUSH1 0x05 00000422: DUP2 00000423: JUMP 00000424: JUMPDEST 00000425: CALLER 00000426: PUSH1 0x00 00000428: SWAP1 00000429: DUP2 0000042a: MSTORE 0000042b: PUSH1 0x02 0000042d: PUSH1 0x20 0000042f: MSTORE 00000430: PUSH1 0x40 00000432: DUP2 00000433: KECCAK256 00000434: SLOAD 00000435: DUP2 00000436: LT 00000437: PUSH2 0x043f 0000043a: JUMPI 0000043b: PUSH1 0x00 0000043d: DUP1 0000043e: REVERT 0000043f: JUMPDEST 00000440: POP 00000441: CALLER 00000442: PUSH1 0x00 00000444: SWAP1 00000445: DUP2 00000446: MSTORE 00000447: PUSH1 0x02 00000449: PUSH1 0x20 0000044b: MSTORE 0000044c: PUSH1 0x40 0000044e: SWAP1 0000044f: KECCAK256 00000450: SLOAD 00000451: SWAP1 00000452: JUMP 00000453: JUMPDEST 00000454: PUSH1 0x05 00000456: DUP1 00000457: SLOAD 00000458: PUSH1 0x00 0000045a: NOT 0000045b: ADD 0000045c: PUSH1 0x00 0000045e: SWAP1 0000045f: DUP2 00000460: MSTORE 00000461: PUSH1 0x03 00000463: PUSH1 0x20 00000465: MSTORE 00000466: PUSH1 0x40 00000468: DUP2 00000469: KECCAK256 0000046a: DUP1 0000046b: SLOAD 0000046c: SWAP1 0000046d: SWAP3 0000046e: PUSH1 0xff 00000470: SWAP1 00000471: SWAP2 00000472: AND 00000473: LT 00000474: PUSH2 0x0479 00000477: JUMPI 00000478: INVALID 00000479: JUMPDEST 0000047a: POP 0000047b: DUP1 0000047c: SLOAD 0000047d: PUSH1 0xff 0000047f: SWAP1 00000480: DUP2 00000481: AND 00000482: PUSH1 0x00 00000484: SWAP1 00000485: DUP2 00000486: MSTORE 00000487: PUSH1 0x03 00000489: DUP4 0000048a: ADD 0000048b: PUSH1 0x20 0000048d: SWAP1 0000048e: DUP2 0000048f: MSTORE 00000490: PUSH1 0x40 00000492: DUP1 00000493: DUP4 00000494: KECCAK256 00000495: DUP1 00000496: SLOAD 00000497: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004ac: NOT 000004ad: AND 000004ae: CALLER 000004af: SWAP1 000004b0: DUP2 000004b1: OR 000004b2: SWAP1 000004b3: SWAP2 000004b4: SSTORE 000004b5: DUP6 000004b6: SLOAD 000004b7: DUP1 000004b8: DUP7 000004b9: AND 000004ba: PUSH1 0x01 000004bc: SWAP1 000004bd: DUP2 000004be: ADD 000004bf: SWAP1 000004c0: SWAP7 000004c1: AND 000004c2: PUSH1 0xff 000004c4: NOT 000004c5: SWAP2 000004c6: DUP3 000004c7: AND 000004c8: OR 000004c9: DUP8 000004ca: SSTORE 000004cb: DUP2 000004cc: DUP6 000004cd: MSTORE 000004ce: PUSH1 0x04 000004d0: DUP8 000004d1: ADD 000004d2: SWAP1 000004d3: SWAP4 000004d4: MSTORE 000004d5: DUP2 000004d6: DUP5 000004d7: KECCAK256 000004d8: DUP1 000004d9: SLOAD 000004da: SWAP1 000004db: SWAP4 000004dc: AND 000004dd: SWAP1 000004de: SWAP5 000004df: OR 000004e0: SWAP1 000004e1: SWAP2 000004e2: SSTORE 000004e3: MLOAD 000004e4: DUP3 000004e5: SWAP2 000004e6: PUSH32 0x53572b7c2bc733aef4eee14d2f251f8d38bd1b54d23167fcc83e5298d427db9f 00000507: SWAP2 00000508: LOG2 00000509: DUP2 0000050a: SLOAD 0000050b: PUSH1 0xff 0000050d: AND 0000050e: PUSH1 0x05 00000510: EQ 00000511: ISZERO 00000512: PUSH2 0x0312 00000515: JUMPI 00000516: NUMBER 00000517: PUSH1 0x01 00000519: DUP4 0000051a: ADD 0000051b: SSTORE 0000051c: POP 0000051d: POP 0000051e: JUMP 0000051f: JUMPDEST 00000520: PUSH1 0x00 00000522: DUP1 00000523: PUSH1 0x00 00000525: DUP1 00000526: PUSH1 0x04 00000528: SLOAD 00000529: PUSH1 0x05 0000052b: SLOAD 0000052c: LT 0000052d: ISZERO 0000052e: ISZERO 0000052f: ISZERO 00000530: PUSH2 0x0535 00000533: JUMPI 00000534: INVALID 00000535: JUMPDEST 00000536: PUSH1 0x04 00000538: SLOAD 00000539: PUSH1 0x05 0000053b: SLOAD 0000053c: EQ 0000053d: ISZERO 0000053e: PUSH2 0x0546 00000541: JUMPI 00000542: PUSH2 0x0884 00000545: JUMP 00000546: JUMPDEST 00000547: PUSH1 0x04 00000549: SLOAD 0000054a: PUSH1 0x00 0000054c: SWAP1 0000054d: DUP2 0000054e: MSTORE 0000054f: PUSH1 0x03 00000551: PUSH1 0x20 00000553: MSTORE 00000554: PUSH1 0x40 00000556: SWAP1 00000557: KECCAK256 00000558: PUSH1 0x02 0000055a: DUP2 0000055b: ADD 0000055c: SLOAD 0000055d: SWAP1 0000055e: SWAP5 0000055f: POP 00000560: PUSH1 0xff 00000562: AND 00000563: ISZERO 00000564: PUSH2 0x0569 00000567: JUMPI 00000568: INVALID 00000569: JUMPDEST 0000056a: DUP4 0000056b: SLOAD 0000056c: PUSH1 0x05 0000056e: PUSH1 0xff 00000570: SWAP1 00000571: SWAP2 00000572: AND 00000573: LT 00000574: ISZERO 00000575: PUSH2 0x057d 00000578: JUMPI 00000579: PUSH2 0x0884 0000057c: JUMP 0000057d: JUMPDEST 0000057e: PUSH1 0x01 00000580: DUP5 00000581: ADD 00000582: SLOAD 00000583: ISZERO 00000584: ISZERO 00000585: PUSH2 0x058a 00000588: JUMPI 00000589: INVALID 0000058a: JUMPDEST 0000058b: PUSH1 0x01 0000058d: DUP5 0000058e: ADD 0000058f: SLOAD 00000590: PUSH1 0xff 00000592: NOT 00000593: NUMBER 00000594: ADD 00000595: GT 00000596: PUSH2 0x0830 00000599: JUMPI 0000059a: DUP4 0000059b: PUSH1 0x01 0000059d: ADD 0000059e: SLOAD 0000059f: NUMBER 000005a0: EQ 000005a1: ISZERO 000005a2: PUSH2 0x05aa 000005a5: JUMPI 000005a6: PUSH2 0x0884 000005a9: JUMP 000005aa: JUMPDEST 000005ab: PUSH1 0x01 000005ad: DUP5 000005ae: ADD 000005af: SLOAD 000005b0: PUSH1 0x05 000005b2: SWAP1 000005b3: BLOCKHASH 000005b4: PUSH1 0xff 000005b6: AND 000005b7: MOD 000005b8: PUSH1 0xff 000005ba: DUP2 000005bb: AND 000005bc: PUSH1 0x00 000005be: SWAP1 000005bf: DUP2 000005c0: MSTORE 000005c1: PUSH1 0x03 000005c3: DUP7 000005c4: ADD 000005c5: PUSH1 0x20 000005c7: MSTORE 000005c8: PUSH1 0x40 000005ca: DUP1 000005cb: DUP3 000005cc: KECCAK256 000005cd: SLOAD 000005ce: SWAP1 000005cf: MLOAD 000005d0: SWAP3 000005d1: SWAP6 000005d2: POP 000005d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005e8: AND 000005e9: SWAP4 000005ea: POP 000005eb: DUP4 000005ec: SWAP2 000005ed: PUSH32 0x7a1bc82d0aa0c6ec064f947f3007b8c603bde2db8b2ed004c07bc105dc5e25a4 0000060e: SWAP2 0000060f: SWAP1 00000610: LOG2 00000611: PUSH2 0x0619 00000614: DUP3 00000615: PUSH2 0x088a 00000618: JUMP 00000619: JUMPDEST 0000061a: PUSH1 0x40 0000061c: DUP1 0000061d: MLOAD 0000061e: PUSH32 0x688abbf700000000000000000000000000000000000000000000000000000000 0000063f: DUP2 00000640: MSTORE 00000641: PUSH1 0x01 00000643: PUSH1 0x04 00000645: DUP3 00000646: ADD 00000647: MSTORE 00000648: SWAP1 00000649: MLOAD 0000064a: PUSH20 0xb3775fb83f7d12a36e0475abdd1fca35c091efbe 0000065f: SWAP2 00000660: PUSH4 0x688abbf7 00000665: SWAP2 00000666: PUSH1 0x24 00000668: DUP1 00000669: DUP4 0000066a: ADD 0000066b: SWAP3 0000066c: PUSH1 0x20 0000066e: SWAP3 0000066f: SWAP2 00000670: SWAP1 00000671: DUP3 00000672: SWAP1 00000673: SUB 00000674: ADD 00000675: DUP2 00000676: PUSH1 0x00 00000678: DUP8 00000679: DUP1 0000067a: EXTCODESIZE 0000067b: ISZERO 0000067c: DUP1 0000067d: ISZERO 0000067e: PUSH2 0x0686 00000681: JUMPI 00000682: PUSH1 0x00 00000684: DUP1 00000685: REVERT 00000686: JUMPDEST 00000687: POP 00000688: GAS 00000689: CALL 0000068a: ISZERO 0000068b: DUP1 0000068c: ISZERO 0000068d: PUSH2 0x069a 00000690: JUMPI 00000691: RETURNDATASIZE 00000692: PUSH1 0x00 00000694: DUP1 00000695: RETURNDATACOPY 00000696: RETURNDATASIZE 00000697: PUSH1 0x00 00000699: REVERT 0000069a: JUMPDEST 0000069b: POP 0000069c: POP 0000069d: POP 0000069e: POP 0000069f: PUSH1 0x40 000006a1: MLOAD 000006a2: RETURNDATASIZE 000006a3: PUSH1 0x20 000006a5: DUP2 000006a6: LT 000006a7: ISZERO 000006a8: PUSH2 0x06b0 000006ab: JUMPI 000006ac: PUSH1 0x00 000006ae: DUP1 000006af: REVERT 000006b0: JUMPDEST 000006b1: POP 000006b2: MLOAD 000006b3: SWAP1 000006b4: POP 000006b5: PUSH1 0x00 000006b7: DUP2 000006b8: GT 000006b9: ISZERO 000006ba: PUSH2 0x0779 000006bd: JUMPI 000006be: PUSH20 0xb3775fb83f7d12a36e0475abdd1fca35c091efbe 000006d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006e8: AND 000006e9: PUSH4 0x3ccfd60b 000006ee: PUSH1 0x40 000006f0: MLOAD 000006f1: DUP2 000006f2: PUSH4 0xffffffff 000006f7: AND 000006f8: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000716: MUL 00000717: DUP2 00000718: MSTORE 00000719: PUSH1 0x04 0000071b: ADD 0000071c: PUSH1 0x00 0000071e: PUSH1 0x40 00000720: MLOAD 00000721: DUP1 00000722: DUP4 00000723: SUB 00000724: DUP2 00000725: PUSH1 0x00 00000727: DUP8 00000728: DUP1 00000729: EXTCODESIZE 0000072a: ISZERO 0000072b: DUP1 0000072c: ISZERO 0000072d: PUSH2 0x0735 00000730: JUMPI 00000731: PUSH1 0x00 00000733: DUP1 00000734: REVERT 00000735: JUMPDEST 00000736: POP 00000737: GAS 00000738: CALL 00000739: ISZERO 0000073a: DUP1 0000073b: ISZERO 0000073c: PUSH2 0x0749 0000073f: JUMPI 00000740: RETURNDATASIZE 00000741: PUSH1 0x00 00000743: DUP1 00000744: RETURNDATACOPY 00000745: RETURNDATASIZE 00000746: PUSH1 0x00 00000748: REVERT 00000749: JUMPDEST 0000074a: POP 0000074b: POP 0000074c: POP 0000074d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000762: DUP4 00000763: AND 00000764: PUSH1 0x00 00000766: SWAP1 00000767: DUP2 00000768: MSTORE 00000769: PUSH1 0x02 0000076b: PUSH1 0x20 0000076d: MSTORE 0000076e: PUSH1 0x40 00000770: SWAP1 00000771: KECCAK256 00000772: DUP1 00000773: SLOAD 00000774: DUP4 00000775: ADD 00000776: SWAP1 00000777: SSTORE 00000778: POP 00000779: JUMPDEST 0000077a: PUSH1 0x00 0000077c: SLOAD 0000077d: PUSH1 0x40 0000077f: DUP1 00000780: MLOAD 00000781: PUSH32 0xf088d54700000000000000000000000000000000000000000000000000000000 000007a2: DUP2 000007a3: MSTORE 000007a4: PUSH20 0x1eb2acb92624da2e601eeb77e2508b32e49012ef 000007b9: PUSH1 0x04 000007bb: DUP3 000007bc: ADD 000007bd: MSTORE 000007be: SWAP1 000007bf: MLOAD 000007c0: PUSH20 0xb3775fb83f7d12a36e0475abdd1fca35c091efbe 000007d5: SWAP3 000007d6: PUSH4 0xf088d547 000007db: SWAP3 000007dc: SWAP1 000007dd: SWAP2 000007de: PUSH1 0x24 000007e0: DUP1 000007e1: DUP4 000007e2: ADD 000007e3: SWAP3 000007e4: PUSH1 0x20 000007e6: SWAP3 000007e7: SWAP2 000007e8: SWAP1 000007e9: DUP3 000007ea: SWAP1 000007eb: SUB 000007ec: ADD 000007ed: DUP2 000007ee: DUP6 000007ef: DUP9 000007f0: DUP1 000007f1: EXTCODESIZE 000007f2: ISZERO 000007f3: DUP1 000007f4: ISZERO 000007f5: PUSH2 0x07fd 000007f8: JUMPI 000007f9: PUSH1 0x00 000007fb: DUP1 000007fc: REVERT 000007fd: JUMPDEST 000007fe: POP 000007ff: GAS 00000800: CALL 00000801: ISZERO 00000802: DUP1 00000803: ISZERO 00000804: PUSH2 0x0811 00000807: JUMPI 00000808: RETURNDATASIZE 00000809: PUSH1 0x00 0000080b: DUP1 0000080c: RETURNDATACOPY 0000080d: RETURNDATASIZE 0000080e: PUSH1 0x00 00000810: REVERT 00000811: JUMPDEST 00000812: POP 00000813: POP 00000814: POP 00000815: POP 00000816: POP 00000817: PUSH1 0x40 00000819: MLOAD 0000081a: RETURNDATASIZE 0000081b: PUSH1 0x20 0000081d: DUP2 0000081e: LT 0000081f: ISZERO 00000820: PUSH2 0x0828 00000823: JUMPI 00000824: PUSH1 0x00 00000826: DUP1 00000827: REVERT 00000828: JUMPDEST 00000829: POP 0000082a: PUSH2 0x0868 0000082d: SWAP1 0000082e: POP 0000082f: JUMP 00000830: JUMPDEST 00000831: PUSH2 0x083b 00000834: PUSH1 0x04 00000836: SLOAD 00000837: PUSH2 0x091e 0000083a: JUMP 0000083b: JUMPDEST 0000083c: PUSH1 0x04 0000083e: SLOAD 0000083f: PUSH1 0x40 00000841: MLOAD 00000842: PUSH32 0x734a18a68f572b3535e4ddb7d4bc879c3ef7083d347b4a0c247a6eda7a7001e1 00000863: SWAP1 00000864: PUSH1 0x00 00000866: SWAP1 00000867: LOG2 00000868: JUMPDEST 00000869: PUSH1 0x02 0000086b: DUP5 0000086c: ADD 0000086d: DUP1 0000086e: SLOAD 0000086f: PUSH1 0xff 00000871: NOT 00000872: AND 00000873: PUSH1 0x01 00000875: SWAP1 00000876: DUP2 00000877: OR 00000878: SWAP1 00000879: SWAP2 0000087a: SSTORE 0000087b: PUSH1 0x04 0000087d: DUP1 0000087e: SLOAD 0000087f: SWAP1 00000880: SWAP2 00000881: ADD 00000882: SWAP1 00000883: SSTORE 00000884: JUMPDEST 00000885: POP 00000886: POP 00000887: POP 00000888: POP 00000889: JUMP 0000088a: JUMPDEST 0000088b: PUSH1 0x00 0000088d: DUP1 0000088e: JUMPDEST 0000088f: PUSH1 0x05 00000891: PUSH1 0xff 00000893: DUP4 00000894: AND 00000895: LT 00000896: ISZERO 00000897: PUSH2 0x0919 0000089a: JUMPI 0000089b: POP 0000089c: PUSH1 0x04 0000089e: SLOAD 0000089f: PUSH1 0x00 000008a1: SWAP1 000008a2: DUP2 000008a3: MSTORE 000008a4: PUSH1 0x03 000008a6: PUSH1 0x20 000008a8: DUP2 000008a9: DUP2 000008aa: MSTORE 000008ab: PUSH1 0x40 000008ad: DUP1 000008ae: DUP5 000008af: KECCAK256 000008b0: PUSH1 0xff 000008b2: DUP7 000008b3: AND 000008b4: DUP6 000008b5: MSTORE 000008b6: SWAP1 000008b7: SWAP3 000008b8: ADD 000008b9: SWAP1 000008ba: MSTORE 000008bb: SWAP1 000008bc: KECCAK256 000008bd: SLOAD 000008be: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008d3: SWAP1 000008d4: DUP2 000008d5: AND 000008d6: SWAP1 000008d7: DUP4 000008d8: AND 000008d9: DUP2 000008da: EQ 000008db: PUSH2 0x090e 000008de: JUMPI 000008df: PUSH1 0x01 000008e1: SLOAD 000008e2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008f7: DUP3 000008f8: AND 000008f9: PUSH1 0x00 000008fb: SWAP1 000008fc: DUP2 000008fd: MSTORE 000008fe: PUSH1 0x02 00000900: PUSH1 0x20 00000902: MSTORE 00000903: PUSH1 0x40 00000905: SWAP1 00000906: KECCAK256 00000907: DUP1 00000908: SLOAD 00000909: SWAP1 0000090a: SWAP2 0000090b: ADD 0000090c: SWAP1 0000090d: SSTORE 0000090e: JUMPDEST 0000090f: PUSH1 0x01 00000911: SWAP1 00000912: SWAP2 00000913: ADD 00000914: SWAP1 00000915: PUSH2 0x088e 00000918: JUMP 00000919: JUMPDEST 0000091a: POP 0000091b: POP 0000091c: POP 0000091d: JUMP 0000091e: JUMPDEST 0000091f: PUSH1 0x00 00000921: DUP2 00000922: DUP2 00000923: MSTORE 00000924: PUSH1 0x03 00000926: PUSH1 0x20 00000928: MSTORE 00000929: PUSH1 0x40 0000092b: DUP2 0000092c: KECCAK256 0000092d: SWAP1 0000092e: DUP1 0000092f: JUMPDEST 00000930: PUSH1 0x05 00000932: PUSH1 0xff 00000934: DUP4 00000935: AND 00000936: LT 00000937: ISZERO 00000938: PUSH2 0x0884 0000093b: JUMPI 0000093c: POP 0000093d: PUSH1 0xff 0000093f: DUP2 00000940: AND 00000941: PUSH1 0x00 00000943: SWAP1 00000944: DUP2 00000945: MSTORE 00000946: PUSH1 0x03 00000948: DUP4 00000949: ADD 0000094a: PUSH1 0x20 0000094c: SWAP1 0000094d: DUP2 0000094e: MSTORE 0000094f: PUSH1 0x40 00000951: DUP1 00000952: DUP4 00000953: KECCAK256 00000954: SLOAD 00000955: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000096a: AND 0000096b: DUP1 0000096c: DUP5 0000096d: MSTORE 0000096e: PUSH1 0x02 00000970: SWAP1 00000971: SWAP3 00000972: MSTORE 00000973: SWAP1 00000974: SWAP2 00000975: KECCAK256 00000976: DUP1 00000977: SLOAD 00000978: PUSH8 0x016345785d8a0000 00000981: ADD 00000982: SWAP1 00000983: SSTORE 00000984: PUSH1 0x01 00000986: SWAP1 00000987: SWAP2 00000988: ADD 00000989: SWAP1 0000098a: PUSH2 0x092f 0000098d: JUMP 0000098e: STOP 0000098f: LOG1 00000990: PUSH6 0x627a7a723058 00000997: KECCAK256 00000998: UNKNOWN(0xBA) 00000999: DUP10 0000099a: UNKNOWN(0xAB) 0000099b: UNKNOWN(0xBA) 0000099c: CODESIZE 0000099d: JUMPDEST 0000099e: CALLDATALOAD 0000099f: MSTORE8 000009a0: DIV 000009a1: UNKNOWN(0xFC) 000009a2: SGT 000009a3: UNKNOWN(0x4F) 000009a4: BALANCE 000009a5: MSIZE 000009a6: UNKNOWN(0xB8) 000009a7: MULMOD 000009a8: UNKNOWN(0x2E) 000009a9: SMOD 000009aa: DUP10 000009ab: GASPRICE 000009ac: SHR 000009ad: INVALID 000009ae: MSIZE 000009af: UNKNOWN(0xE9) 000009b0: NUMBER 000009b1: SWAP9 000009b2: UNKNOWN(0xCD) 000009b3: PUSH2 0x3232 000009b6: PUSH22
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xc5744f3ec11b3235dd85e3088e4d93b108de50dcddc63f27116c49f21f5416e3
call_targets:
0x4fac33dabfd83d160717dfee4175d9caaa249ca5
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xc5744f3ec11b3235dd85e3088e4d93b108de50dcddc63f27116c49f21f5416e3",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x4fac33dabfd83d160717dfee4175d9caaa249ca5"
],
"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": "0x213a2622",
"selector": "0x213a2622",
"calldata_variants": [
"0x213a2622",
"0x213a26220000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4eff13dc",
"selector": "0x4eff13dc",
"calldata_variants": [
"0x4eff13dc",
"0x4eff13dc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5d69f16f",
"selector": "0x5d69f16f",
"calldata_variants": [
"0x5d69f16f",
"0x5d69f16f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x95dd489b",
"selector": "0x95dd489b",
"calldata_variants": [
"0x95dd489b",
"0x95dd489b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9cf8ccfd",
"selector": "0x9cf8ccfd",
"calldata_variants": [
"0x9cf8ccfd",
"0x9cf8ccfd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd13a73c4",
"selector": "0xd13a73c4",
"calldata_variants": [
"0xd13a73c4",
"0xd13a73c40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xefe6c772",
"selector": "0xefe6c772",
"calldata_variants": [
"0xefe6c772",
"0xefe6c7720000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 764,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1673,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1848,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 4,
"guards_detected": []
}
|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xc5744f3ec11b3235dd85e3088e4d93b108de50dcddc63f27116c49f21f5416e3
call_targets:
0x4fac33dabfd83d160717dfee4175d9caaa249ca5
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xc5744f3ec11b3235dd85e3088e4d93b108de50dcddc63f27116c49f21f5416e3",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x4fac33dabfd83d160717dfee4175d9caaa249ca5"
],
"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": "0x213a2622",
"selector": "0x213a2622",
"calldata_variants": [
"0x213a2622",
"0x213a26220000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4eff13dc",
"selector": "0x4eff13dc",
"calldata_variants": [
"0x4eff13dc",
"0x4eff13dc0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5d69f16f",
"selector": "0x5d69f16f",
"calldata_variants": [
"0x5d69f16f",
"0x5d69f16f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x95dd489b",
"selector": "0x95dd489b",
"calldata_variants": [
"0x95dd489b",
"0x95dd489b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9cf8ccfd",
"selector": "0x9cf8ccfd",
"calldata_variants": [
"0x9cf8ccfd",
"0x9cf8ccfd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd13a73c4",
"selector": "0xd13a73c4",
"calldata_variants": [
"0xd13a73c4",
"0xd13a73c40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xefe6c772",
"selector": "0xefe6c772",
"calldata_variants": [
"0xefe6c772",
"0xefe6c7720000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 764,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1673,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1848,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 4,
"guards_detected": [],
"untrusted_call_count": 4
}
|