019b3836-23b1-71e0-be80-d6c57e17aaac
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 |
|---|---|---|---|---|
| 509 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 510 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 78447 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 78448 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 78449 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 78450 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x00 00000007: CALLDATALOAD 00000008: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000026: SWAP1 00000027: DIV 00000028: DUP1 00000029: PUSH4 0x4c773795 0000002e: EQ 0000002f: PUSH2 0x005a 00000032: JUMPI 00000033: DUP1 00000034: PUSH4 0x524f3889 00000039: EQ 0000003a: PUSH2 0x0093 0000003d: JUMPI 0000003e: DUP1 0000003f: PUSH4 0xa4c8a1c1 00000044: EQ 00000045: PUSH2 0x00fd 00000048: JUMPI 00000049: DUP1 0000004a: PUSH4 0xadf59f99 0000004f: EQ 00000050: PUSH2 0x01fe 00000053: JUMPI 00000054: PUSH2 0x0058 00000057: JUMP 00000058: JUMPDEST 00000059: STOP 0000005a: JUMPDEST 0000005b: PUSH2 0x0067 0000005e: PUSH1 0x04 00000060: DUP1 00000061: POP 00000062: POP 00000063: PUSH2 0x02b8 00000066: JUMP 00000067: JUMPDEST 00000068: PUSH1 0x40 0000006a: MLOAD 0000006b: DUP1 0000006c: DUP3 0000006d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000082: AND 00000083: DUP2 00000084: MSTORE 00000085: PUSH1 0x20 00000087: ADD 00000088: SWAP2 00000089: POP 0000008a: POP 0000008b: PUSH1 0x40 0000008d: MLOAD 0000008e: DUP1 0000008f: SWAP2 00000090: SUB 00000091: SWAP1 00000092: RETURN 00000093: JUMPDEST 00000094: PUSH2 0x00e7 00000097: PUSH1 0x04 00000099: DUP1 0000009a: DUP1 0000009b: CALLDATALOAD 0000009c: SWAP1 0000009d: PUSH1 0x20 0000009f: ADD 000000a0: SWAP1 000000a1: DUP3 000000a2: ADD 000000a3: DUP1 000000a4: CALLDATALOAD 000000a5: SWAP1 000000a6: PUSH1 0x20 000000a8: ADD 000000a9: SWAP2 000000aa: SWAP2 000000ab: SWAP1 000000ac: DUP1 000000ad: DUP1 000000ae: PUSH1 0x1f 000000b0: ADD 000000b1: PUSH1 0x20 000000b3: DUP1 000000b4: SWAP2 000000b5: DIV 000000b6: MUL 000000b7: PUSH1 0x20 000000b9: ADD 000000ba: PUSH1 0x40 000000bc: MLOAD 000000bd: SWAP1 000000be: DUP2 000000bf: ADD 000000c0: PUSH1 0x40 000000c2: MSTORE 000000c3: DUP1 000000c4: SWAP4 000000c5: SWAP3 000000c6: SWAP2 000000c7: SWAP1 000000c8: DUP2 000000c9: DUP2 000000ca: MSTORE 000000cb: PUSH1 0x20 000000cd: ADD 000000ce: DUP4 000000cf: DUP4 000000d0: DUP1 000000d1: DUP3 000000d2: DUP5 000000d3: CALLDATACOPY 000000d4: DUP3 000000d5: ADD 000000d6: SWAP2 000000d7: POP 000000d8: POP 000000d9: POP 000000da: POP 000000db: POP 000000dc: POP 000000dd: SWAP1 000000de: SWAP1 000000df: SWAP2 000000e0: SWAP1 000000e1: POP 000000e2: POP 000000e3: PUSH2 0x02de 000000e6: JUMP 000000e7: JUMPDEST 000000e8: PUSH1 0x40 000000ea: MLOAD 000000eb: DUP1 000000ec: DUP3 000000ed: DUP2 000000ee: MSTORE 000000ef: PUSH1 0x20 000000f1: ADD 000000f2: SWAP2 000000f3: POP 000000f4: POP 000000f5: PUSH1 0x40 000000f7: MLOAD 000000f8: DUP1 000000f9: SWAP2 000000fa: SUB 000000fb: SWAP1 000000fc: RETURN 000000fd: JUMPDEST 000000fe: PUSH2 0x01e8 00000101: PUSH1 0x04 00000103: DUP1 00000104: DUP1 00000105: CALLDATALOAD 00000106: SWAP1 00000107: PUSH1 0x20 00000109: ADD 0000010a: SWAP1 0000010b: SWAP2 0000010c: SWAP1 0000010d: DUP1 0000010e: CALLDATALOAD 0000010f: SWAP1 00000110: PUSH1 0x20 00000112: ADD 00000113: SWAP1 00000114: DUP3 00000115: ADD 00000116: DUP1 00000117: CALLDATALOAD 00000118: SWAP1 00000119: PUSH1 0x20 0000011b: ADD 0000011c: SWAP2 0000011d: SWAP2 0000011e: SWAP1 0000011f: DUP1 00000120: DUP1 00000121: PUSH1 0x1f 00000123: ADD 00000124: PUSH1 0x20 00000126: DUP1 00000127: SWAP2 00000128: DIV 00000129: MUL 0000012a: PUSH1 0x20 0000012c: ADD 0000012d: PUSH1 0x40 0000012f: MLOAD 00000130: SWAP1 00000131: DUP2 00000132: ADD 00000133: PUSH1 0x40 00000135: MSTORE 00000136: DUP1 00000137: SWAP4 00000138: SWAP3 00000139: SWAP2 0000013a: SWAP1 0000013b: DUP2 0000013c: DUP2 0000013d: MSTORE 0000013e: PUSH1 0x20 00000140: ADD 00000141: DUP4 00000142: DUP4 00000143: DUP1 00000144: DUP3 00000145: DUP5 00000146: CALLDATACOPY 00000147: DUP3 00000148: ADD 00000149: SWAP2 0000014a: POP 0000014b: POP 0000014c: POP 0000014d: POP 0000014e: POP 0000014f: POP 00000150: SWAP1 00000151: SWAP1 00000152: SWAP2 00000153: SWAP1 00000154: DUP1 00000155: CALLDATALOAD 00000156: SWAP1 00000157: PUSH1 0x20 00000159: ADD 0000015a: SWAP1 0000015b: DUP3 0000015c: ADD 0000015d: DUP1 0000015e: CALLDATALOAD 0000015f: SWAP1 00000160: PUSH1 0x20 00000162: ADD 00000163: SWAP2 00000164: SWAP2 00000165: SWAP1 00000166: DUP1 00000167: DUP1 00000168: PUSH1 0x1f 0000016a: ADD 0000016b: PUSH1 0x20 0000016d: DUP1 0000016e: SWAP2 0000016f: DIV 00000170: MUL 00000171: PUSH1 0x20 00000173: ADD 00000174: PUSH1 0x40 00000176: MLOAD 00000177: SWAP1 00000178: DUP2 00000179: ADD 0000017a: PUSH1 0x40 0000017c: MSTORE 0000017d: DUP1 0000017e: SWAP4 0000017f: SWAP3 00000180: SWAP2 00000181: SWAP1 00000182: DUP2 00000183: DUP2 00000184: MSTORE 00000185: PUSH1 0x20 00000187: ADD 00000188: DUP4 00000189: DUP4 0000018a: DUP1 0000018b: DUP3 0000018c: DUP5 0000018d: CALLDATACOPY 0000018e: DUP3 0000018f: ADD 00000190: SWAP2 00000191: POP 00000192: POP 00000193: POP 00000194: POP 00000195: POP 00000196: POP 00000197: SWAP1 00000198: SWAP1 00000199: SWAP2 0000019a: SWAP1 0000019b: DUP1 0000019c: CALLDATALOAD 0000019d: SWAP1 0000019e: PUSH1 0x20 000001a0: ADD 000001a1: SWAP1 000001a2: DUP3 000001a3: ADD 000001a4: DUP1 000001a5: CALLDATALOAD 000001a6: SWAP1 000001a7: PUSH1 0x20 000001a9: ADD 000001aa: SWAP2 000001ab: SWAP2 000001ac: SWAP1 000001ad: DUP1 000001ae: DUP1 000001af: PUSH1 0x1f 000001b1: ADD 000001b2: PUSH1 0x20 000001b4: DUP1 000001b5: SWAP2 000001b6: DIV 000001b7: MUL 000001b8: PUSH1 0x20 000001ba: ADD 000001bb: PUSH1 0x40 000001bd: MLOAD 000001be: SWAP1 000001bf: DUP2 000001c0: ADD 000001c1: PUSH1 0x40 000001c3: MSTORE 000001c4: DUP1 000001c5: SWAP4 000001c6: SWAP3 000001c7: SWAP2 000001c8: SWAP1 000001c9: DUP2 000001ca: DUP2 000001cb: MSTORE 000001cc: PUSH1 0x20 000001ce: ADD 000001cf: DUP4 000001d0: DUP4 000001d1: DUP1 000001d2: DUP3 000001d3: DUP5 000001d4: CALLDATACOPY 000001d5: DUP3 000001d6: ADD 000001d7: SWAP2 000001d8: POP 000001d9: POP 000001da: POP 000001db: POP 000001dc: POP 000001dd: POP 000001de: SWAP1 000001df: SWAP1 000001e0: SWAP2 000001e1: SWAP1 000001e2: POP 000001e3: POP 000001e4: PUSH2 0x0433 000001e7: JUMP 000001e8: JUMPDEST 000001e9: PUSH1 0x40 000001eb: MLOAD 000001ec: DUP1 000001ed: DUP3 000001ee: DUP2 000001ef: MSTORE 000001f0: PUSH1 0x20 000001f2: ADD 000001f3: SWAP2 000001f4: POP 000001f5: POP 000001f6: PUSH1 0x40 000001f8: MLOAD 000001f9: DUP1 000001fa: SWAP2 000001fb: SUB 000001fc: SWAP1 000001fd: RETURN 000001fe: JUMPDEST 000001ff: PUSH2 0x02a2 00000202: PUSH1 0x04 00000204: DUP1 00000205: DUP1 00000206: CALLDATALOAD 00000207: SWAP1 00000208: PUSH1 0x20 0000020a: ADD 0000020b: SWAP1 0000020c: SWAP2 0000020d: SWAP1 0000020e: DUP1 0000020f: CALLDATALOAD 00000210: SWAP1 00000211: PUSH1 0x20 00000213: ADD 00000214: SWAP1 00000215: DUP3 00000216: ADD 00000217: DUP1 00000218: CALLDATALOAD 00000219: SWAP1 0000021a: PUSH1 0x20 0000021c: ADD 0000021d: SWAP2 0000021e: SWAP2 0000021f: SWAP1 00000220: DUP1 00000221: DUP1 00000222: PUSH1 0x1f 00000224: ADD 00000225: PUSH1 0x20 00000227: DUP1 00000228: SWAP2 00000229: DIV 0000022a: MUL 0000022b: PUSH1 0x20 0000022d: ADD 0000022e: PUSH1 0x40 00000230: MLOAD 00000231: SWAP1 00000232: DUP2 00000233: ADD 00000234: PUSH1 0x40 00000236: MSTORE 00000237: DUP1 00000238: SWAP4 00000239: SWAP3 0000023a: SWAP2 0000023b: SWAP1 0000023c: DUP2 0000023d: DUP2 0000023e: MSTORE 0000023f: PUSH1 0x20 00000241: ADD 00000242: DUP4 00000243: DUP4 00000244: DUP1 00000245: DUP3 00000246: DUP5 00000247: CALLDATACOPY 00000248: DUP3 00000249: ADD 0000024a: SWAP2 0000024b: POP 0000024c: POP 0000024d: POP 0000024e: POP 0000024f: POP 00000250: POP 00000251: SWAP1 00000252: SWAP1 00000253: SWAP2 00000254: SWAP1 00000255: DUP1 00000256: CALLDATALOAD 00000257: SWAP1 00000258: PUSH1 0x20 0000025a: ADD 0000025b: SWAP1 0000025c: DUP3 0000025d: ADD 0000025e: DUP1 0000025f: CALLDATALOAD 00000260: SWAP1 00000261: PUSH1 0x20 00000263: ADD 00000264: SWAP2 00000265: SWAP2 00000266: SWAP1 00000267: DUP1 00000268: DUP1 00000269: PUSH1 0x1f 0000026b: ADD 0000026c: PUSH1 0x20 0000026e: DUP1 0000026f: SWAP2 00000270: DIV 00000271: MUL 00000272: PUSH1 0x20 00000274: ADD 00000275: PUSH1 0x40 00000277: MLOAD 00000278: SWAP1 00000279: DUP2 0000027a: ADD 0000027b: PUSH1 0x40 0000027d: MSTORE 0000027e: DUP1 0000027f: SWAP4 00000280: SWAP3 00000281: SWAP2 00000282: SWAP1 00000283: DUP2 00000284: DUP2 00000285: MSTORE 00000286: PUSH1 0x20 00000288: ADD 00000289: DUP4 0000028a: DUP4 0000028b: DUP1 0000028c: DUP3 0000028d: DUP5 0000028e: CALLDATACOPY 0000028f: DUP3 00000290: ADD 00000291: SWAP2 00000292: POP 00000293: POP 00000294: POP 00000295: POP 00000296: POP 00000297: POP 00000298: SWAP1 00000299: SWAP1 0000029a: SWAP2 0000029b: SWAP1 0000029c: POP 0000029d: POP 0000029e: PUSH2 0x02ee 000002a1: JUMP 000002a2: JUMPDEST 000002a3: PUSH1 0x40 000002a5: MLOAD 000002a6: DUP1 000002a7: DUP3 000002a8: DUP2 000002a9: MSTORE 000002aa: PUSH1 0x20 000002ac: ADD 000002ad: SWAP2 000002ae: POP 000002af: POP 000002b0: PUSH1 0x40 000002b2: MLOAD 000002b3: DUP1 000002b4: SWAP2 000002b5: SUB 000002b6: SWAP1 000002b7: RETURN 000002b8: JUMPDEST 000002b9: PUSH1 0x01 000002bb: PUSH1 0x00 000002bd: SWAP1 000002be: SLOAD 000002bf: SWAP1 000002c0: PUSH2 0x0100 000002c3: EXP 000002c4: SWAP1 000002c5: DIV 000002c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002db: AND 000002dc: DUP2 000002dd: JUMP 000002de: JUMPDEST 000002df: PUSH1 0x00 000002e1: PUSH1 0x0a 000002e3: SWAP1 000002e4: POP 000002e5: PUSH2 0x02e9 000002e8: JUMP 000002e9: JUMPDEST 000002ea: SWAP2 000002eb: SWAP1 000002ec: POP 000002ed: JUMP 000002ee: JUMPDEST 000002ef: PUSH1 0x00 000002f1: PUSH1 0x00 000002f3: PUSH1 0x00 000002f5: POP 000002f6: SLOAD 000002f7: TIMESTAMP 000002f8: ADD 000002f9: PUSH1 0x40 000002fb: MLOAD 000002fc: DUP1 000002fd: DUP3 000002fe: DUP2 000002ff: MSTORE 00000300: PUSH1 0x20 00000302: ADD 00000303: SWAP2 00000304: POP 00000305: POP 00000306: PUSH1 0x40 00000308: MLOAD 00000309: DUP1 0000030a: SWAP2 0000030b: SUB 0000030c: SWAP1 0000030d: KECCAK256 0000030e: SWAP1 0000030f: POP 00000310: DUP1 00000311: POP 00000312: PUSH1 0x00 00000314: PUSH1 0x00 00000316: DUP2 00000317: DUP2 00000318: POP 00000319: SLOAD 0000031a: DUP1 0000031b: SWAP3 0000031c: SWAP2 0000031d: SWAP1 0000031e: PUSH1 0x01 00000320: ADD 00000321: SWAP2 00000322: SWAP1 00000323: POP 00000324: SSTORE 00000325: POP 00000326: PUSH32 0x10e5a0630317080a2108e57e2358f5878434478003c4b2b80055896d299ce9d8 00000347: DUP2 00000348: DUP6 00000349: DUP6 0000034a: DUP6 0000034b: PUSH1 0x40 0000034d: MLOAD 0000034e: DUP1 0000034f: DUP6 00000350: DUP2 00000351: MSTORE 00000352: PUSH1 0x20 00000354: ADD 00000355: DUP5 00000356: DUP2 00000357: MSTORE 00000358: PUSH1 0x20 0000035a: ADD 0000035b: DUP1 0000035c: PUSH1 0x20 0000035e: ADD 0000035f: DUP1 00000360: PUSH1 0x20 00000362: ADD 00000363: DUP4 00000364: DUP2 00000365: SUB 00000366: DUP4 00000367: MSTORE 00000368: DUP6 00000369: DUP2 0000036a: DUP2 0000036b: MLOAD 0000036c: DUP2 0000036d: MSTORE 0000036e: PUSH1 0x20 00000370: ADD 00000371: SWAP2 00000372: POP 00000373: DUP1 00000374: MLOAD 00000375: SWAP1 00000376: PUSH1 0x20 00000378: ADD 00000379: SWAP1 0000037a: DUP1 0000037b: DUP4 0000037c: DUP4 0000037d: DUP3 0000037e: SWAP1 0000037f: PUSH1 0x00 00000381: PUSH1 0x04 00000383: PUSH1 0x20 00000385: DUP5 00000386: PUSH1 0x1f 00000388: ADD 00000389: DIV 0000038a: PUSH1 0x03 0000038c: MUL 0000038d: PUSH1 0x0f 0000038f: ADD 00000390: CALL 00000391: POP 00000392: SWAP1 00000393: POP 00000394: SWAP1 00000395: DUP2 00000396: ADD 00000397: SWAP1 00000398: PUSH1 0x1f 0000039a: AND 0000039b: DUP1 0000039c: ISZERO 0000039d: PUSH2 0x03ba 000003a0: JUMPI 000003a1: DUP1 000003a2: DUP3 000003a3: SUB 000003a4: DUP1 000003a5: MLOAD 000003a6: PUSH1 0x01 000003a8: DUP4 000003a9: PUSH1 0x20 000003ab: SUB 000003ac: PUSH2 0x0100 000003af: EXP 000003b0: SUB 000003b1: NOT 000003b2: AND 000003b3: DUP2 000003b4: MSTORE 000003b5: PUSH1 0x20 000003b7: ADD 000003b8: SWAP2 000003b9: POP 000003ba: JUMPDEST 000003bb: POP 000003bc: DUP4 000003bd: DUP2 000003be: SUB 000003bf: DUP3 000003c0: MSTORE 000003c1: DUP5 000003c2: DUP2 000003c3: DUP2 000003c4: MLOAD 000003c5: DUP2 000003c6: MSTORE 000003c7: PUSH1 0x20 000003c9: ADD 000003ca: SWAP2 000003cb: POP 000003cc: DUP1 000003cd: MLOAD 000003ce: SWAP1 000003cf: PUSH1 0x20 000003d1: ADD 000003d2: SWAP1 000003d3: DUP1 000003d4: DUP4 000003d5: DUP4 000003d6: DUP3 000003d7: SWAP1 000003d8: PUSH1 0x00 000003da: PUSH1 0x04 000003dc: PUSH1 0x20 000003de: DUP5 000003df: PUSH1 0x1f 000003e1: ADD 000003e2: DIV 000003e3: PUSH1 0x03 000003e5: MUL 000003e6: PUSH1 0x0f 000003e8: ADD 000003e9: CALL 000003ea: POP 000003eb: SWAP1 000003ec: POP 000003ed: SWAP1 000003ee: DUP2 000003ef: ADD 000003f0: SWAP1 000003f1: PUSH1 0x1f 000003f3: AND 000003f4: DUP1 000003f5: ISZERO 000003f6: PUSH2 0x0413 000003f9: JUMPI 000003fa: DUP1 000003fb: DUP3 000003fc: SUB 000003fd: DUP1 000003fe: MLOAD 000003ff: PUSH1 0x01 00000401: DUP4 00000402: PUSH1 0x20 00000404: SUB 00000405: PUSH2 0x0100 00000408: EXP 00000409: SUB 0000040a: NOT 0000040b: AND 0000040c: DUP2 0000040d: MSTORE 0000040e: PUSH1 0x20 00000410: ADD 00000411: SWAP2 00000412: POP 00000413: JUMPDEST 00000414: POP 00000415: SWAP7 00000416: POP 00000417: POP 00000418: POP 00000419: POP 0000041a: POP 0000041b: POP 0000041c: POP 0000041d: PUSH1 0x40 0000041f: MLOAD 00000420: DUP1 00000421: SWAP2 00000422: SUB 00000423: SWAP1 00000424: LOG1 00000425: DUP1 00000426: SWAP1 00000427: POP 00000428: PUSH2 0x042c 0000042b: JUMP 0000042c: JUMPDEST 0000042d: SWAP4 0000042e: SWAP3 0000042f: POP 00000430: POP 00000431: POP 00000432: JUMP 00000433: JUMPDEST 00000434: PUSH1 0x00 00000436: PUSH1 0x00 00000438: PUSH1 0x00 0000043a: POP 0000043b: SLOAD 0000043c: TIMESTAMP 0000043d: ADD 0000043e: PUSH1 0x40 00000440: MLOAD 00000441: DUP1 00000442: DUP3 00000443: DUP2 00000444: MSTORE 00000445: PUSH1 0x20 00000447: ADD 00000448: SWAP2 00000449: POP 0000044a: POP 0000044b: PUSH1 0x40 0000044d: MLOAD 0000044e: DUP1 0000044f: SWAP2 00000450: SUB 00000451: SWAP1 00000452: KECCAK256 00000453: SWAP1 00000454: POP 00000455: DUP1 00000456: POP 00000457: PUSH1 0x00 00000459: PUSH1 0x00 0000045b: DUP2 0000045c: DUP2 0000045d: POP 0000045e: SLOAD 0000045f: DUP1 00000460: SWAP3 00000461: SWAP2 00000462: SWAP1 00000463: PUSH1 0x01 00000465: ADD 00000466: SWAP2 00000467: SWAP1 00000468: POP 00000469: SSTORE 0000046a: POP 0000046b: PUSH32 0x97b98c12b3b1eb3cfb7e686c5bc6b4bd78827780c4c92685f8095a321dff7f75 0000048c: DUP2 0000048d: DUP7 0000048e: DUP7 0000048f: DUP7 00000490: DUP7 00000491: PUSH1 0x40 00000493: MLOAD 00000494: DUP1 00000495: DUP7 00000496: DUP2 00000497: MSTORE 00000498: PUSH1 0x20 0000049a: ADD 0000049b: DUP6 0000049c: DUP2 0000049d: MSTORE 0000049e: PUSH1 0x20 000004a0: ADD 000004a1: DUP1 000004a2: PUSH1 0x20 000004a4: ADD 000004a5: DUP1 000004a6: PUSH1 0x20 000004a8: ADD 000004a9: DUP1 000004aa: PUSH1 0x20 000004ac: ADD 000004ad: DUP5 000004ae: DUP2 000004af: SUB 000004b0: DUP5 000004b1: MSTORE 000004b2: DUP8 000004b3: DUP2 000004b4: DUP2 000004b5: MLOAD 000004b6: DUP2 000004b7: MSTORE 000004b8: PUSH1 0x20 000004ba: ADD 000004bb: SWAP2 000004bc: POP 000004bd: DUP1 000004be: MLOAD 000004bf: SWAP1 000004c0: PUSH1 0x20 000004c2: ADD 000004c3: SWAP1 000004c4: DUP1 000004c5: DUP4 000004c6: DUP4 000004c7: DUP3 000004c8: SWAP1 000004c9: PUSH1 0x00 000004cb: PUSH1 0x04 000004cd: PUSH1 0x20 000004cf: DUP5 000004d0: PUSH1 0x1f 000004d2: ADD 000004d3: DIV 000004d4: PUSH1 0x03 000004d6: MUL 000004d7: PUSH1 0x0f 000004d9: ADD 000004da: CALL 000004db: POP 000004dc: SWAP1 000004dd: POP 000004de: SWAP1 000004df: DUP2 000004e0: ADD 000004e1: SWAP1 000004e2: PUSH1 0x1f 000004e4: AND 000004e5: DUP1 000004e6: ISZERO 000004e7: PUSH2 0x0504 000004ea: JUMPI 000004eb: DUP1 000004ec: DUP3 000004ed: SUB 000004ee: DUP1 000004ef: MLOAD 000004f0: PUSH1 0x01 000004f2: DUP4 000004f3: PUSH1 0x20 000004f5: SUB 000004f6: PUSH2 0x0100 000004f9: EXP 000004fa: SUB 000004fb: NOT 000004fc: AND 000004fd: DUP2 000004fe: MSTORE 000004ff: PUSH1 0x20 00000501: ADD 00000502: SWAP2 00000503: POP 00000504: JUMPDEST 00000505: POP 00000506: DUP5 00000507: DUP2 00000508: SUB 00000509: DUP4 0000050a: MSTORE 0000050b: DUP7 0000050c: DUP2 0000050d: DUP2 0000050e: MLOAD 0000050f: DUP2 00000510: MSTORE 00000511: PUSH1 0x20 00000513: ADD 00000514: SWAP2 00000515: POP 00000516: DUP1 00000517: MLOAD 00000518: SWAP1 00000519: PUSH1 0x20 0000051b: ADD 0000051c: SWAP1 0000051d: DUP1 0000051e: DUP4 0000051f: DUP4 00000520: DUP3 00000521: SWAP1 00000522: PUSH1 0x00 00000524: PUSH1 0x04 00000526: PUSH1 0x20 00000528: DUP5 00000529: PUSH1 0x1f 0000052b: ADD 0000052c: DIV 0000052d: PUSH1 0x03 0000052f: MUL 00000530: PUSH1 0x0f 00000532: ADD 00000533: CALL 00000534: POP 00000535: SWAP1 00000536: POP 00000537: SWAP1 00000538: DUP2 00000539: ADD 0000053a: SWAP1 0000053b: PUSH1 0x1f 0000053d: AND 0000053e: DUP1 0000053f: ISZERO 00000540: PUSH2 0x055d 00000543: JUMPI 00000544: DUP1 00000545: DUP3 00000546: SUB 00000547: DUP1 00000548: MLOAD 00000549: PUSH1 0x01 0000054b: DUP4 0000054c: PUSH1 0x20 0000054e: SUB 0000054f: PUSH2 0x0100 00000552: EXP 00000553: SUB 00000554: NOT 00000555: AND 00000556: DUP2 00000557: MSTORE 00000558: PUSH1 0x20 0000055a: ADD 0000055b: SWAP2 0000055c: POP 0000055d: JUMPDEST 0000055e: POP 0000055f: DUP5 00000560: DUP2 00000561: SUB 00000562: DUP3 00000563: MSTORE 00000564: DUP6 00000565: DUP2 00000566: DUP2 00000567: MLOAD 00000568: DUP2 00000569: MSTORE 0000056a: PUSH1 0x20 0000056c: ADD 0000056d: SWAP2 0000056e: POP 0000056f: DUP1 00000570: MLOAD 00000571: SWAP1 00000572: PUSH1 0x20 00000574: ADD 00000575: SWAP1 00000576: DUP1 00000577: DUP4 00000578: DUP4 00000579: DUP3 0000057a: SWAP1 0000057b: PUSH1 0x00 0000057d: PUSH1 0x04 0000057f: PUSH1 0x20 00000581: DUP5 00000582: PUSH1 0x1f 00000584: ADD 00000585: DIV 00000586: PUSH1 0x03 00000588: MUL 00000589: PUSH1 0x0f 0000058b: ADD 0000058c: CALL 0000058d: POP 0000058e: SWAP1 0000058f: POP 00000590: SWAP1 00000591: DUP2 00000592: ADD 00000593: SWAP1 00000594: PUSH1 0x1f 00000596: AND 00000597: DUP1 00000598: ISZERO 00000599: PUSH2 0x05b6 0000059c: JUMPI 0000059d: DUP1 0000059e: DUP3 0000059f: SUB 000005a0: DUP1 000005a1: MLOAD 000005a2: PUSH1 0x01 000005a4: DUP4 000005a5: PUSH1 0x20 000005a7: SUB 000005a8: PUSH2 0x0100 000005ab: EXP 000005ac: SUB 000005ad: NOT 000005ae: AND 000005af: DUP2 000005b0: MSTORE 000005b1: PUSH1 0x20 000005b3: ADD 000005b4: SWAP2 000005b5: POP 000005b6: JUMPDEST 000005b7: POP 000005b8: SWAP9 000005b9: POP 000005ba: POP 000005bb: POP 000005bc: POP 000005bd: POP 000005be: POP 000005bf: POP 000005c0: POP 000005c1: POP 000005c2: PUSH1 0x40 000005c4: MLOAD 000005c5: DUP1 000005c6: SWAP2 000005c7: SUB 000005c8: SWAP1 000005c9: LOG1 000005ca: DUP1 000005cb: SWAP1 000005cc: POP 000005cd: PUSH2 0x05d1 000005d0: JUMP 000005d1: JUMPDEST 000005d2: SWAP5 000005d3: SWAP4 000005d4: POP 000005d5: POP 000005d6: POP 000005d7: POP 000005d8: JUMP
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xcf2ccc287a1d668b62f38d58fb57a792908db38891361f16700901e0a9c5aa7e
call_targets:
0xbbbdca2d2973601d973bc0452252178fb992978f
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xcf2ccc287a1d668b62f38d58fb57a792908db38891361f16700901e0a9c5aa7e",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xbbbdca2d2973601d973bc0452252178fb992978f"
],
"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": "0x4c773795",
"selector": "0x4c773795",
"calldata_variants": [
"0x4c773795",
"0x4c7737950000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x524f3889",
"selector": "0x524f3889",
"calldata_variants": [
"0x524f3889",
"0x524f38890000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa4c8a1c1",
"selector": "0xa4c8a1c1",
"calldata_variants": [
"0xa4c8a1c1",
"0xa4c8a1c10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xadf59f99",
"selector": "0xadf59f99",
"calldata_variants": [
"0xadf59f99",
"0xadf59f990000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 912,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1001,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1242,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 5,
"guards_detected": [],
"untrusted_call_count": 5
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xcf2ccc287a1d668b62f38d58fb57a792908db38891361f16700901e0a9c5aa7e
call_targets:
0xbbbdca2d2973601d973bc0452252178fb992978f
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xcf2ccc287a1d668b62f38d58fb57a792908db38891361f16700901e0a9c5aa7e",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xbbbdca2d2973601d973bc0452252178fb992978f"
],
"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": "0x4c773795",
"selector": "0x4c773795",
"calldata_variants": [
"0x4c773795",
"0x4c7737950000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x524f3889",
"selector": "0x524f3889",
"calldata_variants": [
"0x524f3889",
"0x524f38890000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa4c8a1c1",
"selector": "0xa4c8a1c1",
"calldata_variants": [
"0xa4c8a1c1",
"0xa4c8a1c10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xadf59f99",
"selector": "0xadf59f99",
"calldata_variants": [
"0xadf59f99",
"0xadf59f990000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 912,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1001,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1242,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 5,
"guards_detected": []
}
|