019b3844-8c5d-7352-b4e5-821fb3ba296a
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 |
|---|---|---|---|---|
| 11955 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 11956 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 55104 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 55105 | capability.graph | complete | 1 / 3 | 1 week ago |
| 55106 | detector.run | complete | 1 / 3 | 1 week ago |
| 55107 | 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: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x00a3 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000030: PUSH1 0x00 00000032: CALLDATALOAD 00000033: DIV 00000034: AND 00000035: PUSH4 0x43d726d6 0000003a: DUP2 0000003b: EQ 0000003c: PUSH2 0x00a8 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x521eb273 00000046: EQ 00000047: PUSH2 0x00bd 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x666efa0a 00000051: EQ 00000052: PUSH2 0x00ec 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x8c52dc41 0000005c: EQ 0000005d: PUSH2 0x00ff 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x8da5cb5b 00000067: EQ 00000068: PUSH2 0x0112 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0xc19d93fb 00000072: EQ 00000073: PUSH2 0x0125 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0xcb13cddb 0000007d: EQ 0000007e: PUSH2 0x015c 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0xf2fde38b 00000088: EQ 00000089: PUSH2 0x018d 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0xf340fa01 00000093: EQ 00000094: PUSH2 0x01ac 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0xfa89401a 0000009e: EQ 0000009f: PUSH2 0x01c0 000000a2: JUMPI 000000a3: JUMPDEST 000000a4: PUSH1 0x00 000000a6: DUP1 000000a7: REVERT 000000a8: JUMPDEST 000000a9: CALLVALUE 000000aa: ISZERO 000000ab: PUSH2 0x00b3 000000ae: JUMPI 000000af: PUSH1 0x00 000000b1: DUP1 000000b2: REVERT 000000b3: JUMPDEST 000000b4: PUSH2 0x00bb 000000b7: PUSH2 0x01df 000000ba: JUMP 000000bb: JUMPDEST 000000bc: STOP 000000bd: JUMPDEST 000000be: CALLVALUE 000000bf: ISZERO 000000c0: PUSH2 0x00c8 000000c3: JUMPI 000000c4: PUSH1 0x00 000000c6: DUP1 000000c7: REVERT 000000c8: JUMPDEST 000000c9: PUSH2 0x00d0 000000cc: PUSH2 0x031f 000000cf: JUMP 000000d0: JUMPDEST 000000d1: PUSH1 0x40 000000d3: MLOAD 000000d4: PUSH1 0x01 000000d6: PUSH1 0xa0 000000d8: PUSH1 0x02 000000da: EXP 000000db: SUB 000000dc: SWAP1 000000dd: SWAP2 000000de: AND 000000df: DUP2 000000e0: MSTORE 000000e1: PUSH1 0x20 000000e3: ADD 000000e4: PUSH1 0x40 000000e6: MLOAD 000000e7: DUP1 000000e8: SWAP2 000000e9: SUB 000000ea: SWAP1 000000eb: RETURN 000000ec: JUMPDEST 000000ed: CALLVALUE 000000ee: ISZERO 000000ef: PUSH2 0x00f7 000000f2: JUMPI 000000f3: PUSH1 0x00 000000f5: DUP1 000000f6: REVERT 000000f7: JUMPDEST 000000f8: PUSH2 0x00d0 000000fb: PUSH2 0x032e 000000fe: JUMP 000000ff: JUMPDEST 00000100: CALLVALUE 00000101: ISZERO 00000102: PUSH2 0x010a 00000105: JUMPI 00000106: PUSH1 0x00 00000108: DUP1 00000109: REVERT 0000010a: JUMPDEST 0000010b: PUSH2 0x00bb 0000010e: PUSH2 0x033d 00000111: JUMP 00000112: JUMPDEST 00000113: CALLVALUE 00000114: ISZERO 00000115: PUSH2 0x011d 00000118: JUMPI 00000119: PUSH1 0x00 0000011b: DUP1 0000011c: REVERT 0000011d: JUMPDEST 0000011e: PUSH2 0x00d0 00000121: PUSH2 0x03ce 00000124: JUMP 00000125: JUMPDEST 00000126: CALLVALUE 00000127: ISZERO 00000128: PUSH2 0x0130 0000012b: JUMPI 0000012c: PUSH1 0x00 0000012e: DUP1 0000012f: REVERT 00000130: JUMPDEST 00000131: PUSH2 0x0138 00000134: PUSH2 0x03dd 00000137: JUMP 00000138: JUMPDEST 00000139: PUSH1 0x40 0000013b: MLOAD 0000013c: DUP1 0000013d: DUP3 0000013e: PUSH1 0x02 00000140: DUP2 00000141: GT 00000142: ISZERO 00000143: PUSH2 0x0148 00000146: JUMPI 00000147: INVALID 00000148: JUMPDEST 00000149: PUSH1 0xff 0000014b: AND 0000014c: DUP2 0000014d: MSTORE 0000014e: PUSH1 0x20 00000150: ADD 00000151: SWAP2 00000152: POP 00000153: POP 00000154: PUSH1 0x40 00000156: MLOAD 00000157: DUP1 00000158: SWAP2 00000159: SUB 0000015a: SWAP1 0000015b: RETURN 0000015c: JUMPDEST 0000015d: CALLVALUE 0000015e: ISZERO 0000015f: PUSH2 0x0167 00000162: JUMPI 00000163: PUSH1 0x00 00000165: DUP1 00000166: REVERT 00000167: JUMPDEST 00000168: PUSH2 0x017b 0000016b: PUSH1 0x01 0000016d: PUSH1 0xa0 0000016f: PUSH1 0x02 00000171: EXP 00000172: SUB 00000173: PUSH1 0x04 00000175: CALLDATALOAD 00000176: AND 00000177: PUSH2 0x03ed 0000017a: JUMP 0000017b: JUMPDEST 0000017c: PUSH1 0x40 0000017e: MLOAD 0000017f: SWAP1 00000180: DUP2 00000181: MSTORE 00000182: PUSH1 0x20 00000184: ADD 00000185: PUSH1 0x40 00000187: MLOAD 00000188: DUP1 00000189: SWAP2 0000018a: SUB 0000018b: SWAP1 0000018c: RETURN 0000018d: JUMPDEST 0000018e: CALLVALUE 0000018f: ISZERO 00000190: PUSH2 0x0198 00000193: JUMPI 00000194: PUSH1 0x00 00000196: DUP1 00000197: REVERT 00000198: JUMPDEST 00000199: PUSH2 0x00bb 0000019c: PUSH1 0x01 0000019e: PUSH1 0xa0 000001a0: PUSH1 0x02 000001a2: EXP 000001a3: SUB 000001a4: PUSH1 0x04 000001a6: CALLDATALOAD 000001a7: AND 000001a8: PUSH2 0x03ff 000001ab: JUMP 000001ac: JUMPDEST 000001ad: PUSH2 0x00bb 000001b0: PUSH1 0x01 000001b2: PUSH1 0xa0 000001b4: PUSH1 0x02 000001b6: EXP 000001b7: SUB 000001b8: PUSH1 0x04 000001ba: CALLDATALOAD 000001bb: AND 000001bc: PUSH2 0x049a 000001bf: JUMP 000001c0: JUMPDEST 000001c1: CALLVALUE 000001c2: ISZERO 000001c3: PUSH2 0x01cb 000001c6: JUMPI 000001c7: PUSH1 0x00 000001c9: DUP1 000001ca: REVERT 000001cb: JUMPDEST 000001cc: PUSH2 0x00bb 000001cf: PUSH1 0x01 000001d1: PUSH1 0xa0 000001d3: PUSH1 0x02 000001d5: EXP 000001d6: SUB 000001d7: PUSH1 0x04 000001d9: CALLDATALOAD 000001da: AND 000001db: PUSH2 0x051e 000001de: JUMP 000001df: JUMPDEST 000001e0: PUSH1 0x00 000001e2: DUP1 000001e3: SLOAD 000001e4: CALLER 000001e5: PUSH1 0x01 000001e7: PUSH1 0xa0 000001e9: PUSH1 0x02 000001eb: EXP 000001ec: SUB 000001ed: SWAP1 000001ee: DUP2 000001ef: AND 000001f0: SWAP2 000001f1: AND 000001f2: EQ 000001f3: PUSH2 0x01fb 000001f6: JUMPI 000001f7: PUSH1 0x00 000001f9: DUP1 000001fa: REVERT 000001fb: JUMPDEST 000001fc: PUSH1 0x00 000001fe: PUSH1 0x03 00000200: SLOAD 00000201: PUSH1 0xa0 00000203: PUSH1 0x02 00000205: EXP 00000206: SWAP1 00000207: DIV 00000208: PUSH1 0xff 0000020a: AND 0000020b: PUSH1 0x02 0000020d: DUP2 0000020e: GT 0000020f: ISZERO 00000210: PUSH2 0x0215 00000213: JUMPI 00000214: INVALID 00000215: JUMPDEST 00000216: EQ 00000217: PUSH2 0x021f 0000021a: JUMPI 0000021b: PUSH1 0x00 0000021d: DUP1 0000021e: REVERT 0000021f: JUMPDEST 00000220: PUSH1 0x03 00000222: DUP1 00000223: SLOAD 00000224: PUSH21 0xff0000000000000000000000000000000000000000 0000023a: NOT 0000023b: AND 0000023c: PUSH21 0x020000000000000000000000000000000000000000 00000252: OR 00000253: SWAP1 00000254: SSTORE 00000255: PUSH32 0x1cdde67b72a90f19919ac732a437ac2f7a10fc128d28c2a6e525d89ce5cd9d3a 00000276: PUSH1 0x40 00000278: MLOAD 00000279: PUSH1 0x40 0000027b: MLOAD 0000027c: DUP1 0000027d: SWAP2 0000027e: SUB 0000027f: SWAP1 00000280: LOG1 00000281: PUSH2 0x02ad 00000284: PUSH2 0x2710 00000287: PUSH2 0x02a1 0000028a: PUSH1 0x01 0000028c: PUSH1 0xa0 0000028e: PUSH1 0x02 00000290: EXP 00000291: SUB 00000292: ADDRESS 00000293: AND 00000294: BALANCE 00000295: PUSH1 0x19 00000297: PUSH4 0xffffffff 0000029c: PUSH2 0x05ce 0000029f: AND 000002a0: JUMP 000002a1: JUMPDEST 000002a2: SWAP1 000002a3: PUSH4 0xffffffff 000002a8: PUSH2 0x0604 000002ab: AND 000002ac: JUMP 000002ad: JUMPDEST 000002ae: PUSH1 0x03 000002b0: SLOAD 000002b1: SWAP1 000002b2: SWAP2 000002b3: POP 000002b4: PUSH1 0x01 000002b6: PUSH1 0xa0 000002b8: PUSH1 0x02 000002ba: EXP 000002bb: SUB 000002bc: AND 000002bd: DUP2 000002be: ISZERO 000002bf: PUSH2 0x08fc 000002c2: MUL 000002c3: DUP3 000002c4: PUSH1 0x40 000002c6: MLOAD 000002c7: PUSH1 0x00 000002c9: PUSH1 0x40 000002cb: MLOAD 000002cc: DUP1 000002cd: DUP4 000002ce: SUB 000002cf: DUP2 000002d0: DUP6 000002d1: DUP9 000002d2: DUP9 000002d3: CALL 000002d4: SWAP4 000002d5: POP 000002d6: POP 000002d7: POP 000002d8: POP 000002d9: ISZERO 000002da: ISZERO 000002db: PUSH2 0x02e3 000002de: JUMPI 000002df: PUSH1 0x00 000002e1: DUP1 000002e2: REVERT 000002e3: JUMPDEST 000002e4: PUSH1 0x02 000002e6: SLOAD 000002e7: PUSH1 0x01 000002e9: PUSH1 0xa0 000002eb: PUSH1 0x02 000002ed: EXP 000002ee: SUB 000002ef: SWAP1 000002f0: DUP2 000002f1: AND 000002f2: SWAP1 000002f3: ADDRESS 000002f4: AND 000002f5: BALANCE 000002f6: DUP1 000002f7: ISZERO 000002f8: PUSH2 0x08fc 000002fb: MUL 000002fc: SWAP1 000002fd: PUSH1 0x40 000002ff: MLOAD 00000300: PUSH1 0x00 00000302: PUSH1 0x40 00000304: MLOAD 00000305: DUP1 00000306: DUP4 00000307: SUB 00000308: DUP2 00000309: DUP6 0000030a: DUP9 0000030b: DUP9 0000030c: CALL 0000030d: SWAP4 0000030e: POP 0000030f: POP 00000310: POP 00000311: POP 00000312: ISZERO 00000313: ISZERO 00000314: PUSH2 0x031c 00000317: JUMPI 00000318: PUSH1 0x00 0000031a: DUP1 0000031b: REVERT 0000031c: JUMPDEST 0000031d: POP 0000031e: JUMP 0000031f: JUMPDEST 00000320: PUSH1 0x02 00000322: SLOAD 00000323: PUSH1 0x01 00000325: PUSH1 0xa0 00000327: PUSH1 0x02 00000329: EXP 0000032a: SUB 0000032b: AND 0000032c: DUP2 0000032d: JUMP 0000032e: JUMPDEST 0000032f: PUSH1 0x03 00000331: SLOAD 00000332: PUSH1 0x01 00000334: PUSH1 0xa0 00000336: PUSH1 0x02 00000338: EXP 00000339: SUB 0000033a: AND 0000033b: DUP2 0000033c: JUMP 0000033d: JUMPDEST 0000033e: PUSH1 0x00 00000340: SLOAD 00000341: CALLER 00000342: PUSH1 0x01 00000344: PUSH1 0xa0 00000346: PUSH1 0x02 00000348: EXP 00000349: SUB 0000034a: SWAP1 0000034b: DUP2 0000034c: AND 0000034d: SWAP2 0000034e: AND 0000034f: EQ 00000350: PUSH2 0x0358 00000353: JUMPI 00000354: PUSH1 0x00 00000356: DUP1 00000357: REVERT 00000358: JUMPDEST 00000359: PUSH1 0x00 0000035b: PUSH1 0x03 0000035d: SLOAD 0000035e: PUSH1 0xa0 00000360: PUSH1 0x02 00000362: EXP 00000363: SWAP1 00000364: DIV 00000365: PUSH1 0xff 00000367: AND 00000368: PUSH1 0x02 0000036a: DUP2 0000036b: GT 0000036c: ISZERO 0000036d: PUSH2 0x0372 00000370: JUMPI 00000371: INVALID 00000372: JUMPDEST 00000373: EQ 00000374: PUSH2 0x037c 00000377: JUMPI 00000378: PUSH1 0x00 0000037a: DUP1 0000037b: REVERT 0000037c: JUMPDEST 0000037d: PUSH1 0x03 0000037f: DUP1 00000380: SLOAD 00000381: PUSH21 0xff0000000000000000000000000000000000000000 00000397: NOT 00000398: AND 00000399: PUSH1 0xa0 0000039b: PUSH1 0x02 0000039d: EXP 0000039e: OR 0000039f: SWAP1 000003a0: SSTORE 000003a1: PUSH32 0x599d8e5a83cffb867d051598c4d70e805d59802d8081c1c7d6dffc5b6aca2b89 000003c2: PUSH1 0x40 000003c4: MLOAD 000003c5: PUSH1 0x40 000003c7: MLOAD 000003c8: DUP1 000003c9: SWAP2 000003ca: SUB 000003cb: SWAP1 000003cc: LOG1 000003cd: JUMP 000003ce: JUMPDEST 000003cf: PUSH1 0x00 000003d1: SLOAD 000003d2: PUSH1 0x01 000003d4: PUSH1 0xa0 000003d6: PUSH1 0x02 000003d8: EXP 000003d9: SUB 000003da: AND 000003db: DUP2 000003dc: JUMP 000003dd: JUMPDEST 000003de: PUSH1 0x03 000003e0: SLOAD 000003e1: PUSH1 0xa0 000003e3: PUSH1 0x02 000003e5: EXP 000003e6: SWAP1 000003e7: DIV 000003e8: PUSH1 0xff 000003ea: AND 000003eb: DUP2 000003ec: JUMP 000003ed: JUMPDEST 000003ee: PUSH1 0x01 000003f0: PUSH1 0x20 000003f2: MSTORE 000003f3: PUSH1 0x00 000003f5: SWAP1 000003f6: DUP2 000003f7: MSTORE 000003f8: PUSH1 0x40 000003fa: SWAP1 000003fb: KECCAK256 000003fc: SLOAD 000003fd: DUP2 000003fe: JUMP 000003ff: JUMPDEST 00000400: PUSH1 0x00 00000402: SLOAD 00000403: CALLER 00000404: PUSH1 0x01 00000406: PUSH1 0xa0 00000408: PUSH1 0x02 0000040a: EXP 0000040b: SUB 0000040c: SWAP1 0000040d: DUP2 0000040e: AND 0000040f: SWAP2 00000410: AND 00000411: EQ 00000412: PUSH2 0x041a 00000415: JUMPI 00000416: PUSH1 0x00 00000418: DUP1 00000419: REVERT 0000041a: JUMPDEST 0000041b: PUSH1 0x01 0000041d: PUSH1 0xa0 0000041f: PUSH1 0x02 00000421: EXP 00000422: SUB 00000423: DUP2 00000424: AND 00000425: ISZERO 00000426: ISZERO 00000427: PUSH2 0x042f 0000042a: JUMPI 0000042b: PUSH1 0x00 0000042d: DUP1 0000042e: REVERT 0000042f: JUMPDEST 00000430: PUSH1 0x00 00000432: SLOAD 00000433: PUSH1 0x01 00000435: PUSH1 0xa0 00000437: PUSH1 0x02 00000439: EXP 0000043a: SUB 0000043b: DUP1 0000043c: DUP4 0000043d: AND 0000043e: SWAP2 0000043f: AND 00000440: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000461: PUSH1 0x40 00000463: MLOAD 00000464: PUSH1 0x40 00000466: MLOAD 00000467: DUP1 00000468: SWAP2 00000469: SUB 0000046a: SWAP1 0000046b: LOG3 0000046c: PUSH1 0x00 0000046e: DUP1 0000046f: SLOAD 00000470: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000485: NOT 00000486: AND 00000487: PUSH1 0x01 00000489: PUSH1 0xa0 0000048b: PUSH1 0x02 0000048d: EXP 0000048e: SUB 0000048f: SWAP3 00000490: SWAP1 00000491: SWAP3 00000492: AND 00000493: SWAP2 00000494: SWAP1 00000495: SWAP2 00000496: OR 00000497: SWAP1 00000498: SSTORE 00000499: JUMP 0000049a: JUMPDEST 0000049b: PUSH1 0x00 0000049d: SLOAD 0000049e: CALLER 0000049f: PUSH1 0x01 000004a1: PUSH1 0xa0 000004a3: PUSH1 0x02 000004a5: EXP 000004a6: SUB 000004a7: SWAP1 000004a8: DUP2 000004a9: AND 000004aa: SWAP2 000004ab: AND 000004ac: EQ 000004ad: PUSH2 0x04b5 000004b0: JUMPI 000004b1: PUSH1 0x00 000004b3: DUP1 000004b4: REVERT 000004b5: JUMPDEST 000004b6: PUSH1 0x00 000004b8: PUSH1 0x03 000004ba: SLOAD 000004bb: PUSH1 0xa0 000004bd: PUSH1 0x02 000004bf: EXP 000004c0: SWAP1 000004c1: DIV 000004c2: PUSH1 0xff 000004c4: AND 000004c5: PUSH1 0x02 000004c7: DUP2 000004c8: GT 000004c9: ISZERO 000004ca: PUSH2 0x04cf 000004cd: JUMPI 000004ce: INVALID 000004cf: JUMPDEST 000004d0: EQ 000004d1: PUSH2 0x04d9 000004d4: JUMPI 000004d5: PUSH1 0x00 000004d7: DUP1 000004d8: REVERT 000004d9: JUMPDEST 000004da: PUSH1 0x01 000004dc: PUSH1 0xa0 000004de: PUSH1 0x02 000004e0: EXP 000004e1: SUB 000004e2: DUP2 000004e3: AND 000004e4: PUSH1 0x00 000004e6: SWAP1 000004e7: DUP2 000004e8: MSTORE 000004e9: PUSH1 0x01 000004eb: PUSH1 0x20 000004ed: MSTORE 000004ee: PUSH1 0x40 000004f0: SWAP1 000004f1: KECCAK256 000004f2: SLOAD 000004f3: PUSH2 0x0502 000004f6: SWAP1 000004f7: CALLVALUE 000004f8: PUSH4 0xffffffff 000004fd: PUSH2 0x061b 00000500: AND 00000501: JUMP 00000502: JUMPDEST 00000503: PUSH1 0x01 00000505: PUSH1 0xa0 00000507: PUSH1 0x02 00000509: EXP 0000050a: SUB 0000050b: SWAP1 0000050c: SWAP2 0000050d: AND 0000050e: PUSH1 0x00 00000510: SWAP1 00000511: DUP2 00000512: MSTORE 00000513: PUSH1 0x01 00000515: PUSH1 0x20 00000517: MSTORE 00000518: PUSH1 0x40 0000051a: SWAP1 0000051b: KECCAK256 0000051c: SSTORE 0000051d: JUMP 0000051e: JUMPDEST 0000051f: PUSH1 0x00 00000521: PUSH1 0x01 00000523: PUSH1 0x03 00000525: SLOAD 00000526: PUSH1 0xa0 00000528: PUSH1 0x02 0000052a: EXP 0000052b: SWAP1 0000052c: DIV 0000052d: PUSH1 0xff 0000052f: AND 00000530: PUSH1 0x02 00000532: DUP2 00000533: GT 00000534: ISZERO 00000535: PUSH2 0x053a 00000538: JUMPI 00000539: INVALID 0000053a: JUMPDEST 0000053b: EQ 0000053c: PUSH2 0x0544 0000053f: JUMPI 00000540: PUSH1 0x00 00000542: DUP1 00000543: REVERT 00000544: JUMPDEST 00000545: POP 00000546: PUSH1 0x01 00000548: PUSH1 0xa0 0000054a: PUSH1 0x02 0000054c: EXP 0000054d: SUB 0000054e: DUP2 0000054f: AND 00000550: PUSH1 0x00 00000552: DUP2 00000553: DUP2 00000554: MSTORE 00000555: PUSH1 0x01 00000557: PUSH1 0x20 00000559: MSTORE 0000055a: PUSH1 0x40 0000055c: DUP1 0000055d: DUP3 0000055e: KECCAK256 0000055f: DUP1 00000560: SLOAD 00000561: SWAP3 00000562: SWAP1 00000563: SSTORE 00000564: SWAP1 00000565: SWAP2 00000566: SWAP1 00000567: DUP3 00000568: ISZERO 00000569: PUSH2 0x08fc 0000056c: MUL 0000056d: SWAP1 0000056e: DUP4 0000056f: SWAP1 00000570: MLOAD 00000571: PUSH1 0x00 00000573: PUSH1 0x40 00000575: MLOAD 00000576: DUP1 00000577: DUP4 00000578: SUB 00000579: DUP2 0000057a: DUP6 0000057b: DUP9 0000057c: DUP9 0000057d: CALL 0000057e: SWAP4 0000057f: POP 00000580: POP 00000581: POP 00000582: POP 00000583: ISZERO 00000584: ISZERO 00000585: PUSH2 0x058d 00000588: JUMPI 00000589: PUSH1 0x00 0000058b: DUP1 0000058c: REVERT 0000058d: JUMPDEST 0000058e: DUP2 0000058f: PUSH1 0x01 00000591: PUSH1 0xa0 00000593: PUSH1 0x02 00000595: EXP 00000596: SUB 00000597: AND 00000598: PUSH32 0xd7dee2702d63ad89917b6a4da9981c90c4d24f8c2bdfd64c604ecae57d8d0651 000005b9: DUP3 000005ba: PUSH1 0x40 000005bc: MLOAD 000005bd: SWAP1 000005be: DUP2 000005bf: MSTORE 000005c0: PUSH1 0x20 000005c2: ADD 000005c3: PUSH1 0x40 000005c5: MLOAD 000005c6: DUP1 000005c7: SWAP2 000005c8: SUB 000005c9: SWAP1 000005ca: LOG2 000005cb: POP 000005cc: POP 000005cd: JUMP 000005ce: JUMPDEST 000005cf: PUSH1 0x00 000005d1: DUP1 000005d2: DUP4 000005d3: ISZERO 000005d4: ISZERO 000005d5: PUSH2 0x05e1 000005d8: JUMPI 000005d9: PUSH1 0x00 000005db: SWAP2 000005dc: POP 000005dd: PUSH2 0x05fd 000005e0: JUMP 000005e1: JUMPDEST 000005e2: POP 000005e3: DUP3 000005e4: DUP3 000005e5: MUL 000005e6: DUP3 000005e7: DUP5 000005e8: DUP3 000005e9: DUP2 000005ea: ISZERO 000005eb: ISZERO 000005ec: PUSH2 0x05f1 000005ef: JUMPI 000005f0: INVALID 000005f1: JUMPDEST 000005f2: DIV 000005f3: EQ 000005f4: PUSH2 0x05f9 000005f7: JUMPI 000005f8: INVALID 000005f9: JUMPDEST 000005fa: DUP1 000005fb: SWAP2 000005fc: POP 000005fd: JUMPDEST 000005fe: POP 000005ff: SWAP3 00000600: SWAP2 00000601: POP 00000602: POP 00000603: JUMP 00000604: JUMPDEST 00000605: PUSH1 0x00 00000607: DUP1 00000608: DUP3 00000609: DUP5 0000060a: DUP2 0000060b: ISZERO 0000060c: ISZERO 0000060d: PUSH2 0x0612 00000610: JUMPI 00000611: INVALID 00000612: JUMPDEST 00000613: DIV 00000614: SWAP5 00000615: SWAP4 00000616: POP 00000617: POP 00000618: POP 00000619: POP 0000061a: JUMP 0000061b: JUMPDEST 0000061c: PUSH1 0x00 0000061e: DUP3 0000061f: DUP3 00000620: ADD 00000621: DUP4 00000622: DUP2 00000623: LT 00000624: ISZERO 00000625: PUSH2 0x05f9 00000628: JUMPI 00000629: INVALID 0000062a: STOP 0000062b: LOG1 0000062c: PUSH6 0x627a7a723058 00000633: KECCAK256 00000634: RETURNDATACOPY 00000635: UNKNOWN(0xE7) 00000636: BASEFEE 00000637: MULMOD 00000638: SHR 00000639: CALLCODE 0000063a: JUMP 0000063b: PC 0000063c: PUSH3 0xd05c49 00000640: DUP10 00000641: UNKNOWN(0x2F) 00000642: MSIZE 00000643: SWAP13 00000644: UNKNOWN(0xF6) 00000645: ADDMOD 00000646: UNKNOWN(0xCE) 00000647: UNKNOWN(0xEF) 00000648: UNKNOWN(0xC4) 00000649: DUP6 0000064a: UNKNOWN(0xAF) 0000064b: DUP12 0000064c: PUSH1 0xe7 0000064e: MULMOD 0000064f: UNKNOWN(0xC0) 00000650: UNKNOWN(0xC5) 00000651: UNKNOWN(0xBB) 00000652: CALLVALUE 00000653: UNKNOWN(0xD1) 00000654: STOP 00000655: UNKNOWN(0x29)
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: 0x6414be2f68f4a712ce4378d6de97d482cbdc7283eb0e69f811f9312e4ee2f727
call_targets:
0xbad9b65cfb0c2e89bc9543b86849780baa52c605
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x6414be2f68f4a712ce4378d6de97d482cbdc7283eb0e69f811f9312e4ee2f727",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xbad9b65cfb0c2e89bc9543b86849780baa52c605"
],
"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": "0x43d726d6",
"selector": "0x43d726d6",
"calldata_variants": [
"0x43d726d6",
"0x43d726d60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x521eb273",
"selector": "0x521eb273",
"calldata_variants": [
"0x521eb273",
"0x521eb2730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x666efa0a",
"selector": "0x666efa0a",
"calldata_variants": [
"0x666efa0a",
"0x666efa0a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8c52dc41",
"selector": "0x8c52dc41",
"calldata_variants": [
"0x8c52dc41",
"0x8c52dc410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc19d93fb",
"selector": "0xc19d93fb",
"calldata_variants": [
"0xc19d93fb",
"0xc19d93fb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcb13cddb",
"selector": "0xcb13cddb",
"calldata_variants": [
"0xcb13cddb",
"0xcb13cddb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 723,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 780,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1405,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 4,
"guards_detected": [],
"untrusted_call_count": 4
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x6414be2f68f4a712ce4378d6de97d482cbdc7283eb0e69f811f9312e4ee2f727
call_targets:
0xbad9b65cfb0c2e89bc9543b86849780baa52c605
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x6414be2f68f4a712ce4378d6de97d482cbdc7283eb0e69f811f9312e4ee2f727",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xbad9b65cfb0c2e89bc9543b86849780baa52c605"
],
"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": "0x43d726d6",
"selector": "0x43d726d6",
"calldata_variants": [
"0x43d726d6",
"0x43d726d60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x521eb273",
"selector": "0x521eb273",
"calldata_variants": [
"0x521eb273",
"0x521eb2730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x666efa0a",
"selector": "0x666efa0a",
"calldata_variants": [
"0x666efa0a",
"0x666efa0a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8c52dc41",
"selector": "0x8c52dc41",
"calldata_variants": [
"0x8c52dc41",
"0x8c52dc410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc19d93fb",
"selector": "0xc19d93fb",
"calldata_variants": [
"0xc19d93fb",
"0xc19d93fb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcb13cddb",
"selector": "0xcb13cddb",
"calldata_variants": [
"0xcb13cddb",
"0xcb13cddb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 723,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 780,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1405,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 4,
"guards_detected": []
}
|