019b3844-914d-7315-b64e-3b28b8d5fd8e
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 |
|---|---|---|---|---|
| 12739 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 12740 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 84896 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 84897 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 84898 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 84899 | 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 0x008e 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002e: SWAP1 0000002f: DIV 00000030: PUSH4 0xffffffff 00000035: AND 00000036: DUP1 00000037: PUSH4 0x43d726d6 0000003c: EQ 0000003d: PUSH2 0x0093 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0x521eb273 00000047: EQ 00000048: PUSH2 0x00aa 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0x8c52dc41 00000052: EQ 00000053: PUSH2 0x0101 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0xc19d93fb 0000005d: EQ 0000005e: PUSH2 0x0118 00000061: JUMPI 00000062: DUP1 00000063: PUSH4 0xcb13cddb 00000068: EQ 00000069: PUSH2 0x0151 0000006c: JUMPI 0000006d: DUP1 0000006e: PUSH4 0xf2fde38b 00000073: EQ 00000074: PUSH2 0x01a8 00000077: JUMPI 00000078: DUP1 00000079: PUSH4 0xf340fa01 0000007e: EQ 0000007f: PUSH2 0x01eb 00000082: JUMPI 00000083: DUP1 00000084: PUSH4 0xfa89401a 00000089: EQ 0000008a: PUSH2 0x0221 0000008d: JUMPI 0000008e: JUMPDEST 0000008f: PUSH1 0x00 00000091: DUP1 00000092: REVERT 00000093: JUMPDEST 00000094: CALLVALUE 00000095: DUP1 00000096: ISZERO 00000097: PUSH2 0x009f 0000009a: JUMPI 0000009b: PUSH1 0x00 0000009d: DUP1 0000009e: REVERT 0000009f: JUMPDEST 000000a0: POP 000000a1: PUSH2 0x00a8 000000a4: PUSH2 0x0264 000000a7: JUMP 000000a8: JUMPDEST 000000a9: STOP 000000aa: JUMPDEST 000000ab: CALLVALUE 000000ac: DUP1 000000ad: ISZERO 000000ae: PUSH2 0x00b6 000000b1: JUMPI 000000b2: PUSH1 0x00 000000b4: DUP1 000000b5: REVERT 000000b6: JUMPDEST 000000b7: POP 000000b8: PUSH2 0x00bf 000000bb: PUSH2 0x03c4 000000be: JUMP 000000bf: JUMPDEST 000000c0: PUSH1 0x40 000000c2: MLOAD 000000c3: DUP1 000000c4: DUP3 000000c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000da: AND 000000db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000f0: AND 000000f1: DUP2 000000f2: MSTORE 000000f3: PUSH1 0x20 000000f5: ADD 000000f6: SWAP2 000000f7: POP 000000f8: POP 000000f9: PUSH1 0x40 000000fb: MLOAD 000000fc: DUP1 000000fd: SWAP2 000000fe: SUB 000000ff: SWAP1 00000100: RETURN 00000101: JUMPDEST 00000102: CALLVALUE 00000103: DUP1 00000104: ISZERO 00000105: PUSH2 0x010d 00000108: JUMPI 00000109: PUSH1 0x00 0000010b: DUP1 0000010c: REVERT 0000010d: JUMPDEST 0000010e: POP 0000010f: PUSH2 0x0116 00000112: PUSH2 0x03ea 00000115: JUMP 00000116: JUMPDEST 00000117: STOP 00000118: JUMPDEST 00000119: CALLVALUE 0000011a: DUP1 0000011b: ISZERO 0000011c: PUSH2 0x0124 0000011f: JUMPI 00000120: PUSH1 0x00 00000122: DUP1 00000123: REVERT 00000124: JUMPDEST 00000125: POP 00000126: PUSH2 0x012d 00000129: PUSH2 0x04cb 0000012c: JUMP 0000012d: JUMPDEST 0000012e: PUSH1 0x40 00000130: MLOAD 00000131: DUP1 00000132: DUP3 00000133: PUSH1 0x02 00000135: DUP2 00000136: GT 00000137: ISZERO 00000138: PUSH2 0x013d 0000013b: JUMPI 0000013c: INVALID 0000013d: JUMPDEST 0000013e: PUSH1 0xff 00000140: AND 00000141: DUP2 00000142: MSTORE 00000143: PUSH1 0x20 00000145: ADD 00000146: SWAP2 00000147: POP 00000148: POP 00000149: PUSH1 0x40 0000014b: MLOAD 0000014c: DUP1 0000014d: SWAP2 0000014e: SUB 0000014f: SWAP1 00000150: RETURN 00000151: JUMPDEST 00000152: CALLVALUE 00000153: DUP1 00000154: ISZERO 00000155: PUSH2 0x015d 00000158: JUMPI 00000159: PUSH1 0x00 0000015b: DUP1 0000015c: REVERT 0000015d: JUMPDEST 0000015e: POP 0000015f: PUSH2 0x0192 00000162: PUSH1 0x04 00000164: DUP1 00000165: CALLDATASIZE 00000166: SUB 00000167: DUP2 00000168: ADD 00000169: SWAP1 0000016a: DUP1 0000016b: DUP1 0000016c: CALLDATALOAD 0000016d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000182: AND 00000183: SWAP1 00000184: PUSH1 0x20 00000186: ADD 00000187: SWAP1 00000188: SWAP3 00000189: SWAP2 0000018a: SWAP1 0000018b: POP 0000018c: POP 0000018d: POP 0000018e: PUSH2 0x04de 00000191: JUMP 00000192: JUMPDEST 00000193: PUSH1 0x40 00000195: MLOAD 00000196: DUP1 00000197: DUP3 00000198: DUP2 00000199: MSTORE 0000019a: PUSH1 0x20 0000019c: ADD 0000019d: SWAP2 0000019e: POP 0000019f: POP 000001a0: PUSH1 0x40 000001a2: MLOAD 000001a3: DUP1 000001a4: SWAP2 000001a5: SUB 000001a6: SWAP1 000001a7: RETURN 000001a8: JUMPDEST 000001a9: CALLVALUE 000001aa: DUP1 000001ab: ISZERO 000001ac: PUSH2 0x01b4 000001af: JUMPI 000001b0: PUSH1 0x00 000001b2: DUP1 000001b3: REVERT 000001b4: JUMPDEST 000001b5: POP 000001b6: PUSH2 0x01e9 000001b9: PUSH1 0x04 000001bb: DUP1 000001bc: CALLDATASIZE 000001bd: SUB 000001be: DUP2 000001bf: ADD 000001c0: SWAP1 000001c1: DUP1 000001c2: DUP1 000001c3: CALLDATALOAD 000001c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001d9: AND 000001da: SWAP1 000001db: PUSH1 0x20 000001dd: ADD 000001de: SWAP1 000001df: SWAP3 000001e0: SWAP2 000001e1: SWAP1 000001e2: POP 000001e3: POP 000001e4: POP 000001e5: PUSH2 0x04f6 000001e8: JUMP 000001e9: JUMPDEST 000001ea: STOP 000001eb: JUMPDEST 000001ec: PUSH2 0x021f 000001ef: PUSH1 0x04 000001f1: DUP1 000001f2: CALLDATASIZE 000001f3: SUB 000001f4: DUP2 000001f5: ADD 000001f6: SWAP1 000001f7: DUP1 000001f8: DUP1 000001f9: CALLDATALOAD 000001fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000020f: AND 00000210: SWAP1 00000211: PUSH1 0x20 00000213: ADD 00000214: SWAP1 00000215: SWAP3 00000216: SWAP2 00000217: SWAP1 00000218: POP 00000219: POP 0000021a: POP 0000021b: PUSH2 0x064b 0000021e: JUMP 0000021f: JUMPDEST 00000220: STOP 00000221: JUMPDEST 00000222: CALLVALUE 00000223: DUP1 00000224: ISZERO 00000225: PUSH2 0x022d 00000228: JUMPI 00000229: PUSH1 0x00 0000022b: DUP1 0000022c: REVERT 0000022d: JUMPDEST 0000022e: POP 0000022f: PUSH2 0x0262 00000232: PUSH1 0x04 00000234: DUP1 00000235: CALLDATASIZE 00000236: SUB 00000237: DUP2 00000238: ADD 00000239: SWAP1 0000023a: DUP1 0000023b: DUP1 0000023c: CALLDATALOAD 0000023d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000252: AND 00000253: SWAP1 00000254: PUSH1 0x20 00000256: ADD 00000257: SWAP1 00000258: SWAP3 00000259: SWAP2 0000025a: SWAP1 0000025b: POP 0000025c: POP 0000025d: POP 0000025e: PUSH2 0x0772 00000261: JUMP 00000262: JUMPDEST 00000263: STOP 00000264: JUMPDEST 00000265: PUSH1 0x00 00000267: DUP1 00000268: SWAP1 00000269: SLOAD 0000026a: SWAP1 0000026b: PUSH2 0x0100 0000026e: EXP 0000026f: SWAP1 00000270: DIV 00000271: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000286: AND 00000287: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000029c: AND 0000029d: CALLER 0000029e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002b3: AND 000002b4: EQ 000002b5: ISZERO 000002b6: ISZERO 000002b7: PUSH2 0x02bf 000002ba: JUMPI 000002bb: PUSH1 0x00 000002bd: DUP1 000002be: REVERT 000002bf: JUMPDEST 000002c0: PUSH1 0x00 000002c2: PUSH1 0x02 000002c4: DUP2 000002c5: GT 000002c6: ISZERO 000002c7: PUSH2 0x02cc 000002ca: JUMPI 000002cb: INVALID 000002cc: JUMPDEST 000002cd: PUSH1 0x02 000002cf: PUSH1 0x14 000002d1: SWAP1 000002d2: SLOAD 000002d3: SWAP1 000002d4: PUSH2 0x0100 000002d7: EXP 000002d8: SWAP1 000002d9: DIV 000002da: PUSH1 0xff 000002dc: AND 000002dd: PUSH1 0x02 000002df: DUP2 000002e0: GT 000002e1: ISZERO 000002e2: PUSH2 0x02e7 000002e5: JUMPI 000002e6: INVALID 000002e7: JUMPDEST 000002e8: EQ 000002e9: ISZERO 000002ea: ISZERO 000002eb: PUSH2 0x02f3 000002ee: JUMPI 000002ef: PUSH1 0x00 000002f1: DUP1 000002f2: REVERT 000002f3: JUMPDEST 000002f4: PUSH1 0x02 000002f6: DUP1 000002f7: PUSH1 0x14 000002f9: PUSH2 0x0100 000002fc: EXP 000002fd: DUP2 000002fe: SLOAD 000002ff: DUP2 00000300: PUSH1 0xff 00000302: MUL 00000303: NOT 00000304: AND 00000305: SWAP1 00000306: DUP4 00000307: PUSH1 0x02 00000309: DUP2 0000030a: GT 0000030b: ISZERO 0000030c: PUSH2 0x0311 0000030f: JUMPI 00000310: INVALID 00000311: JUMPDEST 00000312: MUL 00000313: OR 00000314: SWAP1 00000315: SSTORE 00000316: POP 00000317: PUSH32 0x1cdde67b72a90f19919ac732a437ac2f7a10fc128d28c2a6e525d89ce5cd9d3a 00000338: PUSH1 0x40 0000033a: MLOAD 0000033b: PUSH1 0x40 0000033d: MLOAD 0000033e: DUP1 0000033f: SWAP2 00000340: SUB 00000341: SWAP1 00000342: LOG1 00000343: PUSH1 0x02 00000345: PUSH1 0x00 00000347: SWAP1 00000348: SLOAD 00000349: SWAP1 0000034a: PUSH2 0x0100 0000034d: EXP 0000034e: SWAP1 0000034f: DIV 00000350: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000365: AND 00000366: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000037b: AND 0000037c: PUSH2 0x08fc 0000037f: ADDRESS 00000380: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000395: AND 00000396: BALANCE 00000397: SWAP1 00000398: DUP2 00000399: ISZERO 0000039a: MUL 0000039b: SWAP1 0000039c: PUSH1 0x40 0000039e: MLOAD 0000039f: PUSH1 0x00 000003a1: PUSH1 0x40 000003a3: MLOAD 000003a4: DUP1 000003a5: DUP4 000003a6: SUB 000003a7: DUP2 000003a8: DUP6 000003a9: DUP9 000003aa: DUP9 000003ab: CALL 000003ac: SWAP4 000003ad: POP 000003ae: POP 000003af: POP 000003b0: POP 000003b1: ISZERO 000003b2: DUP1 000003b3: ISZERO 000003b4: PUSH2 0x03c1 000003b7: JUMPI 000003b8: RETURNDATASIZE 000003b9: PUSH1 0x00 000003bb: DUP1 000003bc: RETURNDATACOPY 000003bd: RETURNDATASIZE 000003be: PUSH1 0x00 000003c0: REVERT 000003c1: JUMPDEST 000003c2: POP 000003c3: JUMP 000003c4: JUMPDEST 000003c5: PUSH1 0x02 000003c7: PUSH1 0x00 000003c9: SWAP1 000003ca: SLOAD 000003cb: SWAP1 000003cc: PUSH2 0x0100 000003cf: EXP 000003d0: SWAP1 000003d1: DIV 000003d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003e7: AND 000003e8: DUP2 000003e9: JUMP 000003ea: JUMPDEST 000003eb: PUSH1 0x00 000003ed: DUP1 000003ee: SWAP1 000003ef: SLOAD 000003f0: SWAP1 000003f1: PUSH2 0x0100 000003f4: EXP 000003f5: SWAP1 000003f6: DIV 000003f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000040c: AND 0000040d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000422: AND 00000423: CALLER 00000424: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000439: AND 0000043a: EQ 0000043b: ISZERO 0000043c: ISZERO 0000043d: PUSH2 0x0445 00000440: JUMPI 00000441: PUSH1 0x00 00000443: DUP1 00000444: REVERT 00000445: JUMPDEST 00000446: PUSH1 0x00 00000448: PUSH1 0x02 0000044a: DUP2 0000044b: GT 0000044c: ISZERO 0000044d: PUSH2 0x0452 00000450: JUMPI 00000451: INVALID 00000452: JUMPDEST 00000453: PUSH1 0x02 00000455: PUSH1 0x14 00000457: SWAP1 00000458: SLOAD 00000459: SWAP1 0000045a: PUSH2 0x0100 0000045d: EXP 0000045e: SWAP1 0000045f: DIV 00000460: PUSH1 0xff 00000462: AND 00000463: PUSH1 0x02 00000465: DUP2 00000466: GT 00000467: ISZERO 00000468: PUSH2 0x046d 0000046b: JUMPI 0000046c: INVALID 0000046d: JUMPDEST 0000046e: EQ 0000046f: ISZERO 00000470: ISZERO 00000471: PUSH2 0x0479 00000474: JUMPI 00000475: PUSH1 0x00 00000477: DUP1 00000478: REVERT 00000479: JUMPDEST 0000047a: PUSH1 0x01 0000047c: PUSH1 0x02 0000047e: PUSH1 0x14 00000480: PUSH2 0x0100 00000483: EXP 00000484: DUP2 00000485: SLOAD 00000486: DUP2 00000487: PUSH1 0xff 00000489: MUL 0000048a: NOT 0000048b: AND 0000048c: SWAP1 0000048d: DUP4 0000048e: PUSH1 0x02 00000490: DUP2 00000491: GT 00000492: ISZERO 00000493: PUSH2 0x0498 00000496: JUMPI 00000497: INVALID 00000498: JUMPDEST 00000499: MUL 0000049a: OR 0000049b: SWAP1 0000049c: SSTORE 0000049d: POP 0000049e: PUSH32 0x599d8e5a83cffb867d051598c4d70e805d59802d8081c1c7d6dffc5b6aca2b89 000004bf: PUSH1 0x40 000004c1: MLOAD 000004c2: PUSH1 0x40 000004c4: MLOAD 000004c5: DUP1 000004c6: SWAP2 000004c7: SUB 000004c8: SWAP1 000004c9: LOG1 000004ca: JUMP 000004cb: JUMPDEST 000004cc: PUSH1 0x02 000004ce: PUSH1 0x14 000004d0: SWAP1 000004d1: SLOAD 000004d2: SWAP1 000004d3: PUSH2 0x0100 000004d6: EXP 000004d7: SWAP1 000004d8: DIV 000004d9: PUSH1 0xff 000004db: AND 000004dc: DUP2 000004dd: JUMP 000004de: JUMPDEST 000004df: PUSH1 0x01 000004e1: PUSH1 0x20 000004e3: MSTORE 000004e4: DUP1 000004e5: PUSH1 0x00 000004e7: MSTORE 000004e8: PUSH1 0x40 000004ea: PUSH1 0x00 000004ec: KECCAK256 000004ed: PUSH1 0x00 000004ef: SWAP2 000004f0: POP 000004f1: SWAP1 000004f2: POP 000004f3: SLOAD 000004f4: DUP2 000004f5: JUMP 000004f6: JUMPDEST 000004f7: PUSH1 0x00 000004f9: DUP1 000004fa: SWAP1 000004fb: SLOAD 000004fc: SWAP1 000004fd: PUSH2 0x0100 00000500: EXP 00000501: SWAP1 00000502: DIV 00000503: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000518: AND 00000519: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000052e: AND 0000052f: CALLER 00000530: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000545: AND 00000546: EQ 00000547: ISZERO 00000548: ISZERO 00000549: PUSH2 0x0551 0000054c: JUMPI 0000054d: PUSH1 0x00 0000054f: DUP1 00000550: REVERT 00000551: JUMPDEST 00000552: PUSH1 0x00 00000554: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000569: AND 0000056a: DUP2 0000056b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000580: AND 00000581: EQ 00000582: ISZERO 00000583: ISZERO 00000584: ISZERO 00000585: PUSH2 0x058d 00000588: JUMPI 00000589: PUSH1 0x00 0000058b: DUP1 0000058c: REVERT 0000058d: JUMPDEST 0000058e: DUP1 0000058f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005a4: AND 000005a5: PUSH1 0x00 000005a7: DUP1 000005a8: SWAP1 000005a9: SLOAD 000005aa: SWAP1 000005ab: PUSH2 0x0100 000005ae: EXP 000005af: SWAP1 000005b0: DIV 000005b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005c6: AND 000005c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005dc: AND 000005dd: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 000005fe: PUSH1 0x40 00000600: MLOAD 00000601: PUSH1 0x40 00000603: MLOAD 00000604: DUP1 00000605: SWAP2 00000606: SUB 00000607: SWAP1 00000608: LOG3 00000609: DUP1 0000060a: PUSH1 0x00 0000060c: DUP1 0000060d: PUSH2 0x0100 00000610: EXP 00000611: DUP2 00000612: SLOAD 00000613: DUP2 00000614: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000629: MUL 0000062a: NOT 0000062b: AND 0000062c: SWAP1 0000062d: DUP4 0000062e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000643: AND 00000644: MUL 00000645: OR 00000646: SWAP1 00000647: SSTORE 00000648: POP 00000649: POP 0000064a: JUMP 0000064b: JUMPDEST 0000064c: PUSH1 0x00 0000064e: DUP1 0000064f: SWAP1 00000650: SLOAD 00000651: SWAP1 00000652: PUSH2 0x0100 00000655: EXP 00000656: SWAP1 00000657: DIV 00000658: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000066d: AND 0000066e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000683: AND 00000684: CALLER 00000685: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000069a: AND 0000069b: EQ 0000069c: ISZERO 0000069d: ISZERO 0000069e: PUSH2 0x06a6 000006a1: JUMPI 000006a2: PUSH1 0x00 000006a4: DUP1 000006a5: REVERT 000006a6: JUMPDEST 000006a7: PUSH1 0x00 000006a9: PUSH1 0x02 000006ab: DUP2 000006ac: GT 000006ad: ISZERO 000006ae: PUSH2 0x06b3 000006b1: JUMPI 000006b2: INVALID 000006b3: JUMPDEST 000006b4: PUSH1 0x02 000006b6: PUSH1 0x14 000006b8: SWAP1 000006b9: SLOAD 000006ba: SWAP1 000006bb: PUSH2 0x0100 000006be: EXP 000006bf: SWAP1 000006c0: DIV 000006c1: PUSH1 0xff 000006c3: AND 000006c4: PUSH1 0x02 000006c6: DUP2 000006c7: GT 000006c8: ISZERO 000006c9: PUSH2 0x06ce 000006cc: JUMPI 000006cd: INVALID 000006ce: JUMPDEST 000006cf: EQ 000006d0: ISZERO 000006d1: ISZERO 000006d2: PUSH2 0x06da 000006d5: JUMPI 000006d6: PUSH1 0x00 000006d8: DUP1 000006d9: REVERT 000006da: JUMPDEST 000006db: PUSH2 0x072c 000006de: CALLVALUE 000006df: PUSH1 0x01 000006e1: PUSH1 0x00 000006e3: DUP5 000006e4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006f9: AND 000006fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000070f: AND 00000710: DUP2 00000711: MSTORE 00000712: PUSH1 0x20 00000714: ADD 00000715: SWAP1 00000716: DUP2 00000717: MSTORE 00000718: PUSH1 0x20 0000071a: ADD 0000071b: PUSH1 0x00 0000071d: KECCAK256 0000071e: SLOAD 0000071f: PUSH2 0x08c8 00000722: SWAP1 00000723: SWAP2 00000724: SWAP1 00000725: PUSH4 0xffffffff 0000072a: AND 0000072b: JUMP 0000072c: JUMPDEST 0000072d: PUSH1 0x01 0000072f: PUSH1 0x00 00000731: DUP4 00000732: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000747: AND 00000748: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000075d: AND 0000075e: DUP2 0000075f: MSTORE 00000760: PUSH1 0x20 00000762: ADD 00000763: SWAP1 00000764: DUP2 00000765: MSTORE 00000766: PUSH1 0x20 00000768: ADD 00000769: PUSH1 0x00 0000076b: KECCAK256 0000076c: DUP2 0000076d: SWAP1 0000076e: SSTORE 0000076f: POP 00000770: POP 00000771: JUMP 00000772: JUMPDEST 00000773: PUSH1 0x00 00000775: PUSH1 0x01 00000777: PUSH1 0x02 00000779: DUP2 0000077a: GT 0000077b: ISZERO 0000077c: PUSH2 0x0781 0000077f: JUMPI 00000780: INVALID 00000781: JUMPDEST 00000782: PUSH1 0x02 00000784: PUSH1 0x14 00000786: SWAP1 00000787: SLOAD 00000788: SWAP1 00000789: PUSH2 0x0100 0000078c: EXP 0000078d: SWAP1 0000078e: DIV 0000078f: PUSH1 0xff 00000791: AND 00000792: PUSH1 0x02 00000794: DUP2 00000795: GT 00000796: ISZERO 00000797: PUSH2 0x079c 0000079a: JUMPI 0000079b: INVALID 0000079c: JUMPDEST 0000079d: EQ 0000079e: ISZERO 0000079f: ISZERO 000007a0: PUSH2 0x07a8 000007a3: JUMPI 000007a4: PUSH1 0x00 000007a6: DUP1 000007a7: REVERT 000007a8: JUMPDEST 000007a9: PUSH1 0x01 000007ab: PUSH1 0x00 000007ad: DUP4 000007ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007c3: AND 000007c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007d9: AND 000007da: DUP2 000007db: MSTORE 000007dc: PUSH1 0x20 000007de: ADD 000007df: SWAP1 000007e0: DUP2 000007e1: MSTORE 000007e2: PUSH1 0x20 000007e4: ADD 000007e5: PUSH1 0x00 000007e7: KECCAK256 000007e8: SLOAD 000007e9: SWAP1 000007ea: POP 000007eb: PUSH1 0x00 000007ed: PUSH1 0x01 000007ef: PUSH1 0x00 000007f1: DUP5 000007f2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000807: AND 00000808: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000081d: AND 0000081e: DUP2 0000081f: MSTORE 00000820: PUSH1 0x20 00000822: ADD 00000823: SWAP1 00000824: DUP2 00000825: MSTORE 00000826: PUSH1 0x20 00000828: ADD 00000829: PUSH1 0x00 0000082b: KECCAK256 0000082c: DUP2 0000082d: SWAP1 0000082e: SSTORE 0000082f: POP 00000830: DUP2 00000831: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000846: AND 00000847: PUSH2 0x08fc 0000084a: DUP3 0000084b: SWAP1 0000084c: DUP2 0000084d: ISZERO 0000084e: MUL 0000084f: SWAP1 00000850: PUSH1 0x40 00000852: MLOAD 00000853: PUSH1 0x00 00000855: PUSH1 0x40 00000857: MLOAD 00000858: DUP1 00000859: DUP4 0000085a: SUB 0000085b: DUP2 0000085c: DUP6 0000085d: DUP9 0000085e: DUP9 0000085f: CALL 00000860: SWAP4 00000861: POP 00000862: POP 00000863: POP 00000864: POP 00000865: ISZERO 00000866: DUP1 00000867: ISZERO 00000868: PUSH2 0x0875 0000086b: JUMPI 0000086c: RETURNDATASIZE 0000086d: PUSH1 0x00 0000086f: DUP1 00000870: RETURNDATACOPY 00000871: RETURNDATASIZE 00000872: PUSH1 0x00 00000874: REVERT 00000875: JUMPDEST 00000876: POP 00000877: DUP2 00000878: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000088d: AND 0000088e: PUSH32 0xd7dee2702d63ad89917b6a4da9981c90c4d24f8c2bdfd64c604ecae57d8d0651 000008af: DUP3 000008b0: PUSH1 0x40 000008b2: MLOAD 000008b3: DUP1 000008b4: DUP3 000008b5: DUP2 000008b6: MSTORE 000008b7: PUSH1 0x20 000008b9: ADD 000008ba: SWAP2 000008bb: POP 000008bc: POP 000008bd: PUSH1 0x40 000008bf: MLOAD 000008c0: DUP1 000008c1: SWAP2 000008c2: SUB 000008c3: SWAP1 000008c4: LOG2 000008c5: POP 000008c6: POP 000008c7: JUMP 000008c8: JUMPDEST 000008c9: PUSH1 0x00 000008cb: DUP1 000008cc: DUP3 000008cd: DUP5 000008ce: ADD 000008cf: SWAP1 000008d0: POP 000008d1: DUP4 000008d2: DUP2 000008d3: LT 000008d4: ISZERO 000008d5: ISZERO 000008d6: ISZERO 000008d7: PUSH2 0x08dc 000008da: JUMPI 000008db: INVALID 000008dc: JUMPDEST 000008dd: DUP1 000008de: SWAP2 000008df: POP 000008e0: POP 000008e1: SWAP3 000008e2: SWAP2 000008e3: POP 000008e4: POP 000008e5: JUMP 000008e6: STOP 000008e7: LOG1 000008e8: PUSH6 0x627a7a723058 000008ef: KECCAK256 000008f0: EQ 000008f1: PUSH12 0x298291c6e2c80f0a52438bcf 000008fe: MSTORE 000008ff: UNKNOWN(0xB7) 00000900: UNKNOWN(0x2F) 00000901: ADD 00000902: UNKNOWN(0x4F) 00000903: UNKNOWN(0xBF) 00000904: UNKNOWN(0xD3) 00000905: UNKNOWN(0xB2) 00000906: DUP10 00000907: SELFBALANCE 00000908: UNKNOWN(0x0E) 00000909: UNKNOWN(0x0F) 0000090a: SWAP6 0000090b: UNKNOWN(0xD2) 0000090c: PUSH11
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 |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xdfdc99f4156bd64b2da46d2b5d841b5c6d4b1268d61e22268cbfae303b291a16
call_targets:
0x5ec1327a88fc48fae63c23341fd9b266c6a91946
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xdfdc99f4156bd64b2da46d2b5d841b5c6d4b1268d61e22268cbfae303b291a16",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x5ec1327a88fc48fae63c23341fd9b266c6a91946"
],
"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": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x43d726d6",
"selector": "0x43d726d6",
"calldata_variants": [
"0x43d726d6",
"0x43d726d60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x521eb273",
"selector": "0x521eb273",
"calldata_variants": [
"0x521eb273",
"0x521eb2730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8c52dc41",
"selector": "0x8c52dc41",
"calldata_variants": [
"0x8c52dc41",
"0x8c52dc410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc19d93fb",
"selector": "0xc19d93fb",
"calldata_variants": [
"0xc19d93fb",
"0xc19d93fb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcb13cddb",
"selector": "0xcb13cddb",
"calldata_variants": [
"0xcb13cddb",
"0xcb13cddb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf340fa01",
"selector": "0xf340fa01",
"calldata_variants": [
"0xf340fa01",
"0xf340fa010000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 939,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "constant",
"target_expression_category": "computed"
},
{
"pc": 2143,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [
{
"pc": 669,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1059,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1327,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1668,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 2
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xdfdc99f4156bd64b2da46d2b5d841b5c6d4b1268d61e22268cbfae303b291a16
call_targets:
0x5ec1327a88fc48fae63c23341fd9b266c6a91946
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xdfdc99f4156bd64b2da46d2b5d841b5c6d4b1268d61e22268cbfae303b291a16",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x5ec1327a88fc48fae63c23341fd9b266c6a91946"
],
"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": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x43d726d6",
"selector": "0x43d726d6",
"calldata_variants": [
"0x43d726d6",
"0x43d726d60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x521eb273",
"selector": "0x521eb273",
"calldata_variants": [
"0x521eb273",
"0x521eb2730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8c52dc41",
"selector": "0x8c52dc41",
"calldata_variants": [
"0x8c52dc41",
"0x8c52dc410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc19d93fb",
"selector": "0xc19d93fb",
"calldata_variants": [
"0xc19d93fb",
"0xc19d93fb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcb13cddb",
"selector": "0xcb13cddb",
"calldata_variants": [
"0xcb13cddb",
"0xcb13cddb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf340fa01",
"selector": "0xf340fa01",
"calldata_variants": [
"0xf340fa01",
"0xf340fa010000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 939,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "constant",
"target_expression_category": "computed"
},
{
"pc": 2143,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": [
{
"pc": 669,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1059,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1327,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1668,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|