019b3836-3805-7391-9865-550fe614b38d
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 |
|---|---|---|---|---|
| 3851 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 3852 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 47148 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 47149 | capability.graph | complete | 1 / 3 | 1 week ago |
| 47150 | detector.run | complete | 1 / 3 | 1 week ago |
| 47151 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLDATASIZE 00000006: ISZERO 00000007: PUSH2 0x00ae 0000000a: JUMPI 0000000b: PUSH1 0xe0 0000000d: PUSH1 0x02 0000000f: EXP 00000010: PUSH1 0x00 00000012: CALLDATALOAD 00000013: DIV 00000014: PUSH4 0x11bcd830 00000019: DUP2 0000001a: EQ 0000001b: PUSH2 0x00b9 0000001e: JUMPI 0000001f: DUP1 00000020: PUSH4 0x13af4035 00000025: EQ 00000026: PUSH2 0x00c2 00000029: JUMPI 0000002a: DUP1 0000002b: PUSH4 0x148bea6b 00000030: EQ 00000031: PUSH2 0x00f5 00000034: JUMPI 00000035: DUP1 00000036: PUSH4 0x3f1887e9 0000003b: EQ 0000003c: PUSH2 0x0156 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x45596e2e 00000046: EQ 00000047: PUSH2 0x015f 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x5e377b51 00000051: EQ 00000052: PUSH2 0x0181 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x8a3a84a8 0000005c: EQ 0000005d: PUSH2 0x018a 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x8da5cb5b 00000067: EQ 00000068: PUSH2 0x0193 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x8fcc9cfb 00000072: EQ 00000073: PUSH2 0x01a5 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0xabe2a16e 0000007d: EQ 0000007e: PUSH2 0x01c7 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0xb034d5aa 00000088: EQ 00000089: PUSH2 0x01d0 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0xd0bcfc0c 00000093: EQ 00000094: PUSH2 0x01d9 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0xe97dcb62 0000009e: EQ 0000009f: PUSH2 0x01e2 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0xfd330b26 000000a9: EQ 000000aa: PUSH2 0x0263 000000ad: JUMPI 000000ae: JUMPDEST 000000af: PUSH2 0x026c 000000b2: PUSH2 0x026e 000000b5: PUSH2 0x01e6 000000b8: JUMP 000000b9: JUMPDEST 000000ba: PUSH2 0x0270 000000bd: PUSH1 0x08 000000bf: SLOAD 000000c0: DUP2 000000c1: JUMP 000000c2: JUMPDEST 000000c3: PUSH2 0x026c 000000c6: PUSH1 0x04 000000c8: CALLDATALOAD 000000c9: PUSH1 0x09 000000cb: SLOAD 000000cc: CALLER 000000cd: PUSH1 0x01 000000cf: PUSH1 0xa0 000000d1: PUSH1 0x02 000000d3: EXP 000000d4: SUB 000000d5: SWAP1 000000d6: DUP2 000000d7: AND 000000d8: SWAP2 000000d9: AND 000000da: EQ 000000db: ISZERO 000000dc: PUSH2 0x00f2 000000df: JUMPI 000000e0: PUSH1 0x09 000000e2: DUP1 000000e3: SLOAD 000000e4: PUSH1 0x01 000000e6: PUSH1 0xa0 000000e8: PUSH1 0x02 000000ea: EXP 000000eb: SUB 000000ec: NOT 000000ed: AND 000000ee: DUP3 000000ef: OR 000000f0: SWAP1 000000f1: SSTORE 000000f2: JUMPDEST 000000f3: POP 000000f4: JUMP 000000f5: JUMPDEST 000000f6: PUSH2 0x0282 000000f9: PUSH1 0x04 000000fb: CALLDATALOAD 000000fc: PUSH1 0x00 000000fe: DUP1 000000ff: SLOAD 00000100: DUP3 00000101: SWAP1 00000102: DUP2 00000103: LT 00000104: ISZERO 00000105: PUSH2 0x0002 00000108: JUMPI 00000109: POP 0000010a: DUP1 0000010b: MSTORE 0000010c: PUSH1 0x02 0000010e: MUL 0000010f: PUSH1 0x00 00000111: DUP1 00000112: MLOAD 00000113: PUSH1 0x20 00000115: PUSH2 0x04f4 00000118: DUP4 00000119: CODECOPY 0000011a: DUP2 0000011b: MLOAD 0000011c: SWAP2 0000011d: MSTORE 0000011e: DUP2 0000011f: ADD 00000120: SLOAD 00000121: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e564 00000142: SWAP2 00000143: SWAP1 00000144: SWAP2 00000145: ADD 00000146: SLOAD 00000147: PUSH1 0x01 00000149: PUSH1 0xa0 0000014b: PUSH1 0x02 0000014d: EXP 0000014e: SUB 0000014f: SWAP2 00000150: SWAP1 00000151: SWAP2 00000152: AND 00000153: SWAP1 00000154: DUP3 00000155: JUMP 00000156: JUMPDEST 00000157: PUSH2 0x0270 0000015a: PUSH1 0x01 0000015c: SLOAD 0000015d: DUP2 0000015e: JUMP 0000015f: JUMPDEST 00000160: PUSH2 0x026c 00000163: PUSH1 0x04 00000165: CALLDATALOAD 00000166: PUSH1 0x09 00000168: SLOAD 00000169: CALLER 0000016a: PUSH1 0x01 0000016c: PUSH1 0xa0 0000016e: PUSH1 0x02 00000170: EXP 00000171: SUB 00000172: SWAP1 00000173: DUP2 00000174: AND 00000175: SWAP2 00000176: AND 00000177: EQ 00000178: ISZERO 00000179: PUSH2 0x00f2 0000017c: JUMPI 0000017d: PUSH1 0x03 0000017f: SSTORE 00000180: JUMP 00000181: JUMPDEST 00000182: PUSH2 0x0270 00000185: PUSH1 0x05 00000187: SLOAD 00000188: DUP2 00000189: JUMP 0000018a: JUMPDEST 0000018b: PUSH2 0x0270 0000018e: PUSH1 0x07 00000190: SLOAD 00000191: DUP2 00000192: JUMP 00000193: JUMPDEST 00000194: PUSH2 0x02a8 00000197: PUSH1 0x09 00000199: SLOAD 0000019a: PUSH1 0x01 0000019c: PUSH1 0xa0 0000019e: PUSH1 0x02 000001a0: EXP 000001a1: SUB 000001a2: AND 000001a3: DUP2 000001a4: JUMP 000001a5: JUMPDEST 000001a6: PUSH2 0x026c 000001a9: PUSH1 0x04 000001ab: CALLDATALOAD 000001ac: PUSH1 0x09 000001ae: SLOAD 000001af: CALLER 000001b0: PUSH1 0x01 000001b2: PUSH1 0xa0 000001b4: PUSH1 0x02 000001b6: EXP 000001b7: SUB 000001b8: SWAP1 000001b9: DUP2 000001ba: AND 000001bb: SWAP2 000001bc: AND 000001bd: EQ 000001be: ISZERO 000001bf: PUSH2 0x00f2 000001c2: JUMPI 000001c3: PUSH1 0x08 000001c5: SSTORE 000001c6: JUMP 000001c7: JUMPDEST 000001c8: PUSH2 0x0270 000001cb: PUSH1 0x03 000001cd: SLOAD 000001ce: DUP2 000001cf: JUMP 000001d0: JUMPDEST 000001d1: PUSH2 0x0270 000001d4: PUSH1 0x06 000001d6: SLOAD 000001d7: DUP2 000001d8: JUMP 000001d9: JUMPDEST 000001da: PUSH2 0x0270 000001dd: PUSH1 0x04 000001df: SLOAD 000001e0: DUP2 000001e1: JUMP 000001e2: JUMPDEST 000001e3: PUSH2 0x026c 000001e6: JUMPDEST 000001e7: PUSH1 0x00 000001e9: PUSH1 0x00 000001eb: PUSH1 0x00 000001ed: PUSH7 0x2386f26fc10000 000001f5: CALLVALUE 000001f6: GT 000001f7: ISZERO 000001f8: PUSH2 0x04ef 000001fb: JUMPI 000001fc: POP 000001fd: DUP1 000001fe: SLOAD 000001ff: PUSH1 0x01 00000201: DUP1 00000202: DUP3 00000203: ADD 00000204: PUSH1 0x02 00000206: DUP2 00000207: SWAP1 00000208: SSTORE 00000209: PUSH1 0x28 0000020b: DUP1 0000020c: DUP3 0000020d: MOD 0000020e: SWAP1 0000020f: SUB 00000210: SWAP1 00000211: SWAP2 00000212: SSTORE 00000213: DUP1 00000214: DUP4 00000215: SSTORE 00000216: CALLVALUE 00000217: SWAP4 00000218: DUP2 00000219: DUP4 0000021a: DUP1 0000021b: ISZERO 0000021c: DUP3 0000021d: SWAP1 0000021e: GT 0000021f: PUSH2 0x02c5 00000222: JUMPI 00000223: PUSH1 0x02 00000225: MUL 00000226: DUP2 00000227: PUSH1 0x02 00000229: MUL 0000022a: DUP4 0000022b: PUSH1 0x00 0000022d: MSTORE 0000022e: PUSH1 0x20 00000230: PUSH1 0x00 00000232: KECCAK256 00000233: SWAP2 00000234: DUP3 00000235: ADD 00000236: SWAP2 00000237: ADD 00000238: PUSH2 0x02c5 0000023b: SWAP2 0000023c: SWAP1 0000023d: JUMPDEST 0000023e: DUP1 0000023f: DUP3 00000240: GT 00000241: ISZERO 00000242: PUSH2 0x0422 00000245: JUMPI 00000246: DUP1 00000247: SLOAD 00000248: PUSH1 0x01 0000024a: PUSH1 0xa0 0000024c: PUSH1 0x02 0000024e: EXP 0000024f: SUB 00000250: NOT 00000251: AND 00000252: DUP2 00000253: SSTORE 00000254: PUSH1 0x00 00000256: PUSH1 0x01 00000258: SWAP2 00000259: SWAP1 0000025a: SWAP2 0000025b: ADD 0000025c: SWAP1 0000025d: DUP2 0000025e: SSTORE 0000025f: PUSH2 0x023d 00000262: JUMP 00000263: JUMPDEST 00000264: PUSH2 0x0270 00000267: PUSH1 0x02 00000269: SLOAD 0000026a: DUP2 0000026b: JUMP 0000026c: JUMPDEST 0000026d: STOP 0000026e: JUMPDEST 0000026f: JUMP 00000270: JUMPDEST 00000271: PUSH1 0x40 00000273: DUP1 00000274: MLOAD 00000275: SWAP2 00000276: DUP3 00000277: MSTORE 00000278: MLOAD 00000279: SWAP1 0000027a: DUP2 0000027b: SWAP1 0000027c: SUB 0000027d: PUSH1 0x20 0000027f: ADD 00000280: SWAP1 00000281: RETURN 00000282: JUMPDEST 00000283: PUSH1 0x40 00000285: MLOAD 00000286: DUP1 00000287: DUP4 00000288: PUSH1 0x01 0000028a: PUSH1 0xa0 0000028c: PUSH1 0x02 0000028e: EXP 0000028f: SUB 00000290: AND 00000291: DUP2 00000292: MSTORE 00000293: PUSH1 0x20 00000295: ADD 00000296: DUP3 00000297: DUP2 00000298: MSTORE 00000299: PUSH1 0x20 0000029b: ADD 0000029c: SWAP3 0000029d: POP 0000029e: POP 0000029f: POP 000002a0: PUSH1 0x40 000002a2: MLOAD 000002a3: DUP1 000002a4: SWAP2 000002a5: SUB 000002a6: SWAP1 000002a7: RETURN 000002a8: JUMPDEST 000002a9: PUSH1 0x40 000002ab: DUP1 000002ac: MLOAD 000002ad: PUSH1 0x01 000002af: PUSH1 0xa0 000002b1: PUSH1 0x02 000002b3: EXP 000002b4: SUB 000002b5: SWAP3 000002b6: SWAP1 000002b7: SWAP3 000002b8: AND 000002b9: DUP3 000002ba: MSTORE 000002bb: MLOAD 000002bc: SWAP1 000002bd: DUP2 000002be: SWAP1 000002bf: SUB 000002c0: PUSH1 0x20 000002c2: ADD 000002c3: SWAP1 000002c4: RETURN 000002c5: JUMPDEST 000002c6: POP 000002c7: POP 000002c8: POP 000002c9: POP 000002ca: CALLER 000002cb: PUSH1 0x00 000002cd: PUSH1 0x00 000002cf: POP 000002d0: DUP3 000002d1: DUP2 000002d2: SLOAD 000002d3: DUP2 000002d4: LT 000002d5: ISZERO 000002d6: PUSH2 0x0002 000002d9: JUMPI 000002da: DUP2 000002db: DUP1 000002dc: MSTORE 000002dd: PUSH1 0x02 000002df: MUL 000002e0: PUSH1 0x00 000002e2: DUP1 000002e3: MLOAD 000002e4: PUSH1 0x20 000002e6: PUSH2 0x04f4 000002e9: DUP4 000002ea: CODECOPY 000002eb: DUP2 000002ec: MLOAD 000002ed: SWAP2 000002ee: MSTORE 000002ef: ADD 000002f0: DUP1 000002f1: SLOAD 000002f2: PUSH1 0x01 000002f4: PUSH1 0xa0 000002f6: PUSH1 0x02 000002f8: EXP 000002f9: SUB 000002fa: NOT 000002fb: AND 000002fc: SWAP1 000002fd: SWAP3 000002fe: OR 000002ff: SWAP1 00000300: SWAP2 00000301: SSTORE 00000302: DUP1 00000303: SLOAD 00000304: DUP5 00000305: SWAP2 00000306: SWAP1 00000307: DUP4 00000308: SWAP1 00000309: DUP2 0000030a: LT 0000030b: ISZERO 0000030c: PUSH2 0x0002 0000030f: JUMPI 00000310: PUSH1 0x02 00000312: MUL 00000313: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e564 00000334: ADD 00000335: SWAP2 00000336: SWAP1 00000337: SWAP2 00000338: SSTORE 00000339: PUSH1 0x06 0000033b: DUP1 0000033c: SLOAD 0000033d: DUP6 0000033e: ADD 0000033f: SWAP1 00000340: SSTORE 00000341: PUSH1 0x03 00000343: SLOAD 00000344: PUSH1 0x64 00000346: SWAP1 00000347: DUP6 00000348: MUL 00000349: DUP2 0000034a: SWAP1 0000034b: DIV 0000034c: PUSH1 0x0a 0000034e: DUP2 0000034f: SWAP1 00000350: SSTORE 00000351: PUSH1 0x04 00000353: DUP1 00000354: SLOAD 00000355: SWAP7 00000356: DUP3 00000357: SWAP1 00000358: SUB 00000359: PUSH1 0x50 0000035b: DUP2 0000035c: MUL 0000035d: SWAP4 0000035e: SWAP1 0000035f: SWAP4 00000360: DIV 00000361: SWAP7 00000362: DUP8 00000363: ADD 00000364: SWAP1 00000365: SSTORE 00000366: PUSH1 0x05 00000368: DUP1 00000369: SLOAD 0000036a: SWAP7 0000036b: SWAP1 0000036c: SWAP3 0000036d: SUB 0000036e: SWAP6 0000036f: DUP7 00000370: ADD 00000371: SWAP1 00000372: SWAP2 00000373: SSTORE 00000374: EQ 00000375: PUSH2 0x03a8 00000378: JUMPI 00000379: PUSH1 0x09 0000037b: SLOAD 0000037c: PUSH1 0x0a 0000037e: SLOAD 0000037f: PUSH1 0x40 00000381: MLOAD 00000382: PUSH1 0x01 00000384: PUSH1 0xa0 00000386: PUSH1 0x02 00000388: EXP 00000389: SUB 0000038a: SWAP3 0000038b: SWAP1 0000038c: SWAP3 0000038d: AND 0000038e: SWAP2 0000038f: PUSH1 0x00 00000391: SWAP2 00000392: SWAP1 00000393: DUP3 00000394: DUP2 00000395: DUP2 00000396: DUP2 00000397: DUP6 00000398: DUP9 00000399: DUP4 0000039a: CALL 0000039b: POP 0000039c: POP 0000039d: PUSH1 0x07 0000039f: DUP1 000003a0: SLOAD 000003a1: SWAP1 000003a2: SWAP2 000003a3: ADD 000003a4: SWAP1 000003a5: SSTORE 000003a6: POP 000003a7: POP 000003a8: JUMPDEST 000003a9: PUSH1 0x08 000003ab: SLOAD 000003ac: CALLVALUE 000003ad: LT 000003ae: PUSH2 0x04ef 000003b1: JUMPI 000003b2: PUSH1 0x28 000003b4: DUP2 000003b5: MOD 000003b6: PUSH1 0x00 000003b8: EQ 000003b9: DUP1 000003ba: ISZERO 000003bb: PUSH2 0x03c7 000003be: JUMPI 000003bf: POP 000003c0: PUSH1 0x05 000003c2: SLOAD 000003c3: PUSH1 0x00 000003c5: SWAP1 000003c6: GT 000003c7: JUMPDEST 000003c8: ISZERO 000003c9: PUSH2 0x0426 000003cc: JUMPI 000003cd: PUSH1 0x00 000003cf: DUP1 000003d0: SLOAD 000003d1: DUP3 000003d2: SWAP1 000003d3: DUP2 000003d4: LT 000003d5: ISZERO 000003d6: PUSH2 0x0002 000003d9: JUMPI 000003da: DUP2 000003db: DUP1 000003dc: MSTORE 000003dd: PUSH1 0x02 000003df: MUL 000003e0: PUSH1 0x00 000003e2: DUP1 000003e3: MLOAD 000003e4: PUSH1 0x20 000003e6: PUSH2 0x04f4 000003e9: DUP4 000003ea: CODECOPY 000003eb: DUP2 000003ec: MLOAD 000003ed: SWAP2 000003ee: MSTORE 000003ef: ADD 000003f0: SWAP1 000003f1: POP 000003f2: PUSH1 0x40 000003f4: MLOAD 000003f5: PUSH1 0x05 000003f7: SLOAD 000003f8: SWAP2 000003f9: SLOAD 000003fa: PUSH1 0x01 000003fc: PUSH1 0xa0 000003fe: PUSH1 0x02 00000400: EXP 00000401: SUB 00000402: AND 00000403: SWAP2 00000404: PUSH1 0x00 00000406: SWAP2 00000407: DUP3 00000408: DUP2 00000409: DUP2 0000040a: DUP2 0000040b: DUP6 0000040c: DUP9 0000040d: DUP4 0000040e: CALL 0000040f: POP 00000410: POP 00000411: PUSH1 0x07 00000413: DUP1 00000414: SLOAD 00000415: SWAP1 00000416: SWAP2 00000417: ADD 00000418: SWAP1 00000419: SSTORE 0000041a: PUSH1 0x05 0000041c: SSTORE 0000041d: POP 0000041e: PUSH2 0x04ef 00000421: JUMP 00000422: JUMPDEST 00000423: POP 00000424: SWAP1 00000425: JUMP 00000426: JUMPDEST 00000427: PUSH1 0x02 00000429: PUSH1 0x00 0000042b: PUSH1 0x00 0000042d: POP 0000042e: DUP3 0000042f: DUP2 00000430: SLOAD 00000431: DUP2 00000432: LT 00000433: ISZERO 00000434: PUSH2 0x0002 00000437: JUMPI 00000438: DUP2 00000439: DUP1 0000043a: MSTORE 0000043b: DUP3 0000043c: MUL 0000043d: PUSH1 0x00 0000043f: DUP1 00000440: MLOAD 00000441: PUSH1 0x20 00000443: PUSH2 0x04f4 00000446: DUP4 00000447: CODECOPY 00000448: DUP2 00000449: MLOAD 0000044a: SWAP2 0000044b: MSTORE 0000044c: ADD 0000044d: SWAP1 0000044e: POP 0000044f: PUSH1 0x40 00000451: DUP1 00000452: MLOAD 00000453: SWAP2 00000454: SLOAD 00000455: PUSH1 0x01 00000457: PUSH1 0xa0 00000459: PUSH1 0x02 0000045b: EXP 0000045c: SUB 0000045d: AND 0000045e: PUSH13 0x01000000000000000000000000 0000046c: MUL 0000046d: DUP3 0000046e: MSTORE 0000046f: MLOAD 00000470: SWAP1 00000471: DUP2 00000472: SWAP1 00000473: SUB 00000474: PUSH1 0x14 00000476: ADD 00000477: SWAP1 00000478: KECCAK256 00000479: MOD 0000047a: PUSH1 0x00 0000047c: EQ 0000047d: DUP1 0000047e: ISZERO 0000047f: PUSH2 0x048b 00000482: JUMPI 00000483: POP 00000484: PUSH1 0x02 00000486: DUP2 00000487: MOD 00000488: PUSH1 0x00 0000048a: EQ 0000048b: JUMPDEST 0000048c: DUP1 0000048d: ISZERO 0000048e: PUSH2 0x049a 00000491: JUMPI 00000492: POP 00000493: PUSH1 0x04 00000495: SLOAD 00000496: PUSH1 0x00 00000498: SWAP1 00000499: GT 0000049a: JUMPDEST 0000049b: ISZERO 0000049c: PUSH2 0x04ef 0000049f: JUMPI 000004a0: PUSH1 0x00 000004a2: DUP1 000004a3: SLOAD 000004a4: DUP3 000004a5: SWAP1 000004a6: DUP2 000004a7: LT 000004a8: ISZERO 000004a9: PUSH2 0x0002 000004ac: JUMPI 000004ad: DUP2 000004ae: DUP1 000004af: MSTORE 000004b0: PUSH1 0x04 000004b2: SLOAD 000004b3: PUSH1 0x40 000004b5: MLOAD 000004b6: PUSH1 0x02 000004b8: SWAP3 000004b9: SWAP1 000004ba: SWAP3 000004bb: MUL 000004bc: PUSH1 0x00 000004be: DUP1 000004bf: MLOAD 000004c0: PUSH1 0x20 000004c2: PUSH2 0x04f4 000004c5: DUP4 000004c6: CODECOPY 000004c7: DUP2 000004c8: MLOAD 000004c9: SWAP2 000004ca: MSTORE 000004cb: ADD 000004cc: SLOAD 000004cd: PUSH1 0x01 000004cf: PUSH1 0xa0 000004d1: PUSH1 0x02 000004d3: EXP 000004d4: SUB 000004d5: AND 000004d6: SWAP3 000004d7: SWAP2 000004d8: DUP3 000004d9: DUP2 000004da: DUP2 000004db: DUP2 000004dc: DUP6 000004dd: DUP9 000004de: DUP4 000004df: CALL 000004e0: POP 000004e1: POP 000004e2: PUSH1 0x07 000004e4: DUP1 000004e5: SLOAD 000004e6: SWAP1 000004e7: SWAP2 000004e8: ADD 000004e9: SWAP1 000004ea: SSTORE 000004eb: PUSH1 0x04 000004ed: SSTORE 000004ee: POP 000004ef: JUMPDEST 000004f0: POP 000004f1: POP 000004f2: POP 000004f3: JUMP 000004f4: UNKNOWN(0x29) 000004f5: UNKNOWN(0x0D) 000004f6: UNKNOWN(0xEC) 000004f7: UNKNOWN(0xD9) 000004f8: SLOAD 000004f9: DUP12 000004fa: PUSH3 0xa8d603 000004fe: GASLIMIT 000004ff: UNKNOWN(0xA9) 00000500: DUP9 00000501: CODESIZE 00000502: PUSH16 0xc84ba6bc95484008f6362f93160ef3e5 00000513: PUSH4
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: 0x8999207affc9410a45f536c27aae22fd0b4fab03a65e087414228c11bb999a13
call_targets:
0x33a8ea1c8c6294c9f65f3dad7ca7f037bd09f951
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x8999207affc9410a45f536c27aae22fd0b4fab03a65e087414228c11bb999a13",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x33a8ea1c8c6294c9f65f3dad7ca7f037bd09f951"
],
"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": "0x11bcd830",
"selector": "0x11bcd830",
"calldata_variants": [
"0x11bcd830",
"0x11bcd8300000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x13af4035",
"selector": "0x13af4035",
"calldata_variants": [
"0x13af4035",
"0x13af40350000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x148bea6b",
"selector": "0x148bea6b",
"calldata_variants": [
"0x148bea6b",
"0x148bea6b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3f1887e9",
"selector": "0x3f1887e9",
"calldata_variants": [
"0x3f1887e9",
"0x3f1887e90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x45596e2e",
"selector": "0x45596e2e",
"calldata_variants": [
"0x45596e2e",
"0x45596e2e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5e377b51",
"selector": "0x5e377b51",
"calldata_variants": [
"0x5e377b51",
"0x5e377b510000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8a3a84a8",
"selector": "0x8a3a84a8",
"calldata_variants": [
"0x8a3a84a8",
"0x8a3a84a80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 922,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1038,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1247,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [],
"untrusted_call_count": 3
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x8999207affc9410a45f536c27aae22fd0b4fab03a65e087414228c11bb999a13
call_targets:
0x33a8ea1c8c6294c9f65f3dad7ca7f037bd09f951
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x8999207affc9410a45f536c27aae22fd0b4fab03a65e087414228c11bb999a13",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x33a8ea1c8c6294c9f65f3dad7ca7f037bd09f951"
],
"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": "0x11bcd830",
"selector": "0x11bcd830",
"calldata_variants": [
"0x11bcd830",
"0x11bcd8300000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x13af4035",
"selector": "0x13af4035",
"calldata_variants": [
"0x13af4035",
"0x13af40350000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x148bea6b",
"selector": "0x148bea6b",
"calldata_variants": [
"0x148bea6b",
"0x148bea6b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3f1887e9",
"selector": "0x3f1887e9",
"calldata_variants": [
"0x3f1887e9",
"0x3f1887e90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x45596e2e",
"selector": "0x45596e2e",
"calldata_variants": [
"0x45596e2e",
"0x45596e2e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5e377b51",
"selector": "0x5e377b51",
"calldata_variants": [
"0x5e377b51",
"0x5e377b510000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8a3a84a8",
"selector": "0x8a3a84a8",
"calldata_variants": [
"0x8a3a84a8",
"0x8a3a84a80000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 922,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1038,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1247,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": []
}
|