019b3836-5309-721b-9e6a-1f4fae196f2a
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 |
|---|---|---|---|---|
| 7987 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 7988 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 82423 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 82424 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 82425 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 82426 | 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: CALLDATASIZE 00000006: ISZERO 00000007: PUSH2 0x0095 0000000a: JUMPI 0000000b: PUSH1 0x00 0000000d: CALLDATALOAD 0000000e: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002c: SWAP1 0000002d: DIV 0000002e: DUP1 0000002f: PUSH4 0x08551a53 00000034: EQ 00000035: PUSH2 0x00a2 00000038: JUMPI 00000039: DUP1 0000003a: PUSH4 0x1a8315d5 0000003f: EQ 00000040: PUSH2 0x00db 00000043: JUMPI 00000044: DUP1 00000045: PUSH4 0x2d606843 0000004a: EQ 0000004b: PUSH2 0x00fe 0000004e: JUMPI 0000004f: DUP1 00000050: PUSH4 0x5a3b7e42 00000055: EQ 00000056: PUSH2 0x010d 00000059: JUMPI 0000005a: DUP1 0000005b: PUSH4 0x6d9aad2b 00000060: EQ 00000061: PUSH2 0x0188 00000064: JUMPI 00000065: DUP1 00000066: PUSH4 0x7150d8ae 0000006b: EQ 0000006c: PUSH2 0x0197 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x9ed3edf0 00000076: EQ 00000077: PUSH2 0x01d0 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xe54a0b1c 00000081: EQ 00000082: PUSH2 0x01f3 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0xee97f7f3 0000008c: EQ 0000008d: PUSH2 0x0202 00000090: JUMPI 00000091: PUSH2 0x0095 00000094: JUMP 00000095: JUMPDEST 00000096: PUSH2 0x00a0 00000099: JUMPDEST 0000009a: PUSH2 0x0002 0000009d: JUMP 0000009e: JUMPDEST 0000009f: JUMP 000000a0: JUMPDEST 000000a1: STOP 000000a2: JUMPDEST 000000a3: PUSH2 0x00af 000000a6: PUSH1 0x04 000000a8: DUP1 000000a9: POP 000000aa: POP 000000ab: PUSH2 0x023b 000000ae: JUMP 000000af: JUMPDEST 000000b0: PUSH1 0x40 000000b2: MLOAD 000000b3: DUP1 000000b4: DUP3 000000b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000ca: AND 000000cb: DUP2 000000cc: MSTORE 000000cd: PUSH1 0x20 000000cf: ADD 000000d0: SWAP2 000000d1: POP 000000d2: POP 000000d3: PUSH1 0x40 000000d5: MLOAD 000000d6: DUP1 000000d7: SWAP2 000000d8: SUB 000000d9: SWAP1 000000da: RETURN 000000db: JUMPDEST 000000dc: PUSH2 0x00e8 000000df: PUSH1 0x04 000000e1: DUP1 000000e2: POP 000000e3: POP 000000e4: PUSH2 0x0261 000000e7: JUMP 000000e8: JUMPDEST 000000e9: PUSH1 0x40 000000eb: MLOAD 000000ec: DUP1 000000ed: DUP3 000000ee: DUP2 000000ef: MSTORE 000000f0: PUSH1 0x20 000000f2: ADD 000000f3: SWAP2 000000f4: POP 000000f5: POP 000000f6: PUSH1 0x40 000000f8: MLOAD 000000f9: DUP1 000000fa: SWAP2 000000fb: SUB 000000fc: SWAP1 000000fd: RETURN 000000fe: JUMPDEST 000000ff: PUSH2 0x010b 00000102: PUSH1 0x04 00000104: DUP1 00000105: POP 00000106: POP 00000107: PUSH2 0x026a 0000010a: JUMP 0000010b: JUMPDEST 0000010c: STOP 0000010d: JUMPDEST 0000010e: PUSH2 0x011a 00000111: PUSH1 0x04 00000113: DUP1 00000114: POP 00000115: POP 00000116: PUSH2 0x03bd 00000119: JUMP 0000011a: JUMPDEST 0000011b: PUSH1 0x40 0000011d: MLOAD 0000011e: DUP1 0000011f: DUP1 00000120: PUSH1 0x20 00000122: ADD 00000123: DUP3 00000124: DUP2 00000125: SUB 00000126: DUP3 00000127: MSTORE 00000128: DUP4 00000129: DUP2 0000012a: DUP2 0000012b: MLOAD 0000012c: DUP2 0000012d: MSTORE 0000012e: PUSH1 0x20 00000130: ADD 00000131: SWAP2 00000132: POP 00000133: DUP1 00000134: MLOAD 00000135: SWAP1 00000136: PUSH1 0x20 00000138: ADD 00000139: SWAP1 0000013a: DUP1 0000013b: DUP4 0000013c: DUP4 0000013d: DUP3 0000013e: SWAP1 0000013f: PUSH1 0x00 00000141: PUSH1 0x04 00000143: PUSH1 0x20 00000145: DUP5 00000146: PUSH1 0x1f 00000148: ADD 00000149: DIV 0000014a: PUSH1 0x0f 0000014c: MUL 0000014d: PUSH1 0x03 0000014f: ADD 00000150: CALL 00000151: POP 00000152: SWAP1 00000153: POP 00000154: SWAP1 00000155: DUP2 00000156: ADD 00000157: SWAP1 00000158: PUSH1 0x1f 0000015a: AND 0000015b: DUP1 0000015c: ISZERO 0000015d: PUSH2 0x017a 00000160: JUMPI 00000161: DUP1 00000162: DUP3 00000163: SUB 00000164: DUP1 00000165: MLOAD 00000166: PUSH1 0x01 00000168: DUP4 00000169: PUSH1 0x20 0000016b: SUB 0000016c: PUSH2 0x0100 0000016f: EXP 00000170: SUB 00000171: NOT 00000172: AND 00000173: DUP2 00000174: MSTORE 00000175: PUSH1 0x20 00000177: ADD 00000178: SWAP2 00000179: POP 0000017a: JUMPDEST 0000017b: POP 0000017c: SWAP3 0000017d: POP 0000017e: POP 0000017f: POP 00000180: PUSH1 0x40 00000182: MLOAD 00000183: DUP1 00000184: SWAP2 00000185: SUB 00000186: SWAP1 00000187: RETURN 00000188: JUMPDEST 00000189: PUSH2 0x0195 0000018c: PUSH1 0x04 0000018e: DUP1 0000018f: POP 00000190: POP 00000191: PUSH2 0x045e 00000194: JUMP 00000195: JUMPDEST 00000196: STOP 00000197: JUMPDEST 00000198: PUSH2 0x01a4 0000019b: PUSH1 0x04 0000019d: DUP1 0000019e: POP 0000019f: POP 000001a0: PUSH2 0x05b1 000001a3: JUMP 000001a4: JUMPDEST 000001a5: PUSH1 0x40 000001a7: MLOAD 000001a8: DUP1 000001a9: DUP3 000001aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001bf: AND 000001c0: DUP2 000001c1: MSTORE 000001c2: PUSH1 0x20 000001c4: ADD 000001c5: SWAP2 000001c6: POP 000001c7: POP 000001c8: PUSH1 0x40 000001ca: MLOAD 000001cb: DUP1 000001cc: SWAP2 000001cd: SUB 000001ce: SWAP1 000001cf: RETURN 000001d0: JUMPDEST 000001d1: PUSH2 0x01dd 000001d4: PUSH1 0x04 000001d6: DUP1 000001d7: POP 000001d8: POP 000001d9: PUSH2 0x05d7 000001dc: JUMP 000001dd: JUMPDEST 000001de: PUSH1 0x40 000001e0: MLOAD 000001e1: DUP1 000001e2: DUP3 000001e3: DUP2 000001e4: MSTORE 000001e5: PUSH1 0x20 000001e7: ADD 000001e8: SWAP2 000001e9: POP 000001ea: POP 000001eb: PUSH1 0x40 000001ed: MLOAD 000001ee: DUP1 000001ef: SWAP2 000001f0: SUB 000001f1: SWAP1 000001f2: RETURN 000001f3: JUMPDEST 000001f4: PUSH2 0x0200 000001f7: PUSH1 0x04 000001f9: DUP1 000001fa: POP 000001fb: POP 000001fc: PUSH2 0x05e0 000001ff: JUMP 00000200: JUMPDEST 00000201: STOP 00000202: JUMPDEST 00000203: PUSH2 0x020f 00000206: PUSH1 0x04 00000208: DUP1 00000209: POP 0000020a: POP 0000020b: PUSH2 0x0765 0000020e: JUMP 0000020f: JUMPDEST 00000210: PUSH1 0x40 00000212: MLOAD 00000213: DUP1 00000214: DUP3 00000215: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000022a: AND 0000022b: DUP2 0000022c: MSTORE 0000022d: PUSH1 0x20 0000022f: ADD 00000230: SWAP2 00000231: POP 00000232: POP 00000233: PUSH1 0x40 00000235: MLOAD 00000236: DUP1 00000237: SWAP2 00000238: SUB 00000239: SWAP1 0000023a: RETURN 0000023b: JUMPDEST 0000023c: PUSH1 0x04 0000023e: PUSH1 0x00 00000240: SWAP1 00000241: SLOAD 00000242: SWAP1 00000243: PUSH2 0x0100 00000246: EXP 00000247: SWAP1 00000248: DIV 00000249: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000025e: AND 0000025f: DUP2 00000260: JUMP 00000261: JUMPDEST 00000262: PUSH1 0x02 00000264: PUSH1 0x00 00000266: POP 00000267: SLOAD 00000268: DUP2 00000269: JUMP 0000026a: JUMPDEST 0000026b: PUSH1 0x02 0000026d: PUSH1 0x05 0000026f: PUSH1 0x14 00000271: SWAP1 00000272: SLOAD 00000273: SWAP1 00000274: PUSH2 0x0100 00000277: EXP 00000278: SWAP1 00000279: DIV 0000027a: PUSH1 0xff 0000027c: AND 0000027d: EQ 0000027e: ISZERO 0000027f: ISZERO 00000280: PUSH2 0x0288 00000283: JUMPI 00000284: PUSH2 0x0002 00000287: JUMP 00000288: JUMPDEST 00000289: PUSH1 0x03 0000028b: PUSH1 0x00 0000028d: SWAP1 0000028e: SLOAD 0000028f: SWAP1 00000290: PUSH2 0x0100 00000293: EXP 00000294: SWAP1 00000295: DIV 00000296: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002ab: AND 000002ac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002c1: AND 000002c2: CALLER 000002c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002d8: AND 000002d9: EQ 000002da: ISZERO 000002db: DUP1 000002dc: PUSH2 0x0333 000002df: JUMPI 000002e0: POP 000002e1: PUSH1 0x04 000002e3: PUSH1 0x00 000002e5: SWAP1 000002e6: SLOAD 000002e7: SWAP1 000002e8: PUSH2 0x0100 000002eb: EXP 000002ec: SWAP1 000002ed: DIV 000002ee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000303: AND 00000304: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000319: AND 0000031a: CALLER 0000031b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000330: AND 00000331: EQ 00000332: ISZERO 00000333: JUMPDEST 00000334: ISZERO 00000335: PUSH2 0x033d 00000338: JUMPI 00000339: PUSH2 0x0002 0000033c: JUMP 0000033d: JUMPDEST 0000033e: PUSH1 0x05 00000340: PUSH1 0x00 00000342: SWAP1 00000343: SLOAD 00000344: SWAP1 00000345: PUSH2 0x0100 00000348: EXP 00000349: SWAP1 0000034a: DIV 0000034b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000360: AND 00000361: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000376: AND 00000377: PUSH1 0x00 00000379: PUSH1 0x02 0000037b: PUSH1 0x00 0000037d: POP 0000037e: SLOAD 0000037f: PUSH1 0x40 00000381: MLOAD 00000382: DUP1 00000383: SWAP1 00000384: POP 00000385: PUSH1 0x00 00000387: PUSH1 0x40 00000389: MLOAD 0000038a: DUP1 0000038b: DUP4 0000038c: SUB 0000038d: DUP2 0000038e: DUP6 0000038f: DUP9 00000390: DUP9 00000391: CALL 00000392: SWAP4 00000393: POP 00000394: POP 00000395: POP 00000396: POP 00000397: ISZERO 00000398: ISZERO 00000399: PUSH2 0x03a1 0000039c: JUMPI 0000039d: PUSH2 0x0002 000003a0: JUMP 000003a1: JUMPDEST 000003a2: PUSH1 0x04 000003a4: PUSH1 0x05 000003a6: PUSH1 0x14 000003a8: PUSH2 0x0100 000003ab: EXP 000003ac: DUP2 000003ad: SLOAD 000003ae: DUP2 000003af: PUSH1 0xff 000003b1: MUL 000003b2: NOT 000003b3: AND 000003b4: SWAP1 000003b5: DUP4 000003b6: MUL 000003b7: OR 000003b8: SWAP1 000003b9: SSTORE 000003ba: POP 000003bb: JUMPDEST 000003bc: JUMP 000003bd: JUMPDEST 000003be: PUSH1 0x00 000003c0: PUSH1 0x00 000003c2: POP 000003c3: DUP1 000003c4: SLOAD 000003c5: PUSH1 0x01 000003c7: DUP2 000003c8: PUSH1 0x01 000003ca: AND 000003cb: ISZERO 000003cc: PUSH2 0x0100 000003cf: MUL 000003d0: SUB 000003d1: AND 000003d2: PUSH1 0x02 000003d4: SWAP1 000003d5: DIV 000003d6: DUP1 000003d7: PUSH1 0x1f 000003d9: ADD 000003da: PUSH1 0x20 000003dc: DUP1 000003dd: SWAP2 000003de: DIV 000003df: MUL 000003e0: PUSH1 0x20 000003e2: ADD 000003e3: PUSH1 0x40 000003e5: MLOAD 000003e6: SWAP1 000003e7: DUP2 000003e8: ADD 000003e9: PUSH1 0x40 000003eb: MSTORE 000003ec: DUP1 000003ed: SWAP3 000003ee: SWAP2 000003ef: SWAP1 000003f0: DUP2 000003f1: DUP2 000003f2: MSTORE 000003f3: PUSH1 0x20 000003f5: ADD 000003f6: DUP3 000003f7: DUP1 000003f8: SLOAD 000003f9: PUSH1 0x01 000003fb: DUP2 000003fc: PUSH1 0x01 000003fe: AND 000003ff: ISZERO 00000400: PUSH2 0x0100 00000403: MUL 00000404: SUB 00000405: AND 00000406: PUSH1 0x02 00000408: SWAP1 00000409: DIV 0000040a: DUP1 0000040b: ISZERO 0000040c: PUSH2 0x0456 0000040f: JUMPI 00000410: DUP1 00000411: PUSH1 0x1f 00000413: LT 00000414: PUSH2 0x042b 00000417: JUMPI 00000418: PUSH2 0x0100 0000041b: DUP1 0000041c: DUP4 0000041d: SLOAD 0000041e: DIV 0000041f: MUL 00000420: DUP4 00000421: MSTORE 00000422: SWAP2 00000423: PUSH1 0x20 00000425: ADD 00000426: SWAP2 00000427: PUSH2 0x0456 0000042a: JUMP 0000042b: JUMPDEST 0000042c: DUP3 0000042d: ADD 0000042e: SWAP2 0000042f: SWAP1 00000430: PUSH1 0x00 00000432: MSTORE 00000433: PUSH1 0x20 00000435: PUSH1 0x00 00000437: KECCAK256 00000438: SWAP1 00000439: JUMPDEST 0000043a: DUP2 0000043b: SLOAD 0000043c: DUP2 0000043d: MSTORE 0000043e: SWAP1 0000043f: PUSH1 0x01 00000441: ADD 00000442: SWAP1 00000443: PUSH1 0x20 00000445: ADD 00000446: DUP1 00000447: DUP4 00000448: GT 00000449: PUSH2 0x0439 0000044c: JUMPI 0000044d: DUP3 0000044e: SWAP1 0000044f: SUB 00000450: PUSH1 0x1f 00000452: AND 00000453: DUP3 00000454: ADD 00000455: SWAP2 00000456: JUMPDEST 00000457: POP 00000458: POP 00000459: POP 0000045a: POP 0000045b: POP 0000045c: DUP2 0000045d: JUMP 0000045e: JUMPDEST 0000045f: PUSH1 0x02 00000461: PUSH1 0x05 00000463: PUSH1 0x14 00000465: SWAP1 00000466: SLOAD 00000467: SWAP1 00000468: PUSH2 0x0100 0000046b: EXP 0000046c: SWAP1 0000046d: DIV 0000046e: PUSH1 0xff 00000470: AND 00000471: EQ 00000472: ISZERO 00000473: ISZERO 00000474: PUSH2 0x047c 00000477: JUMPI 00000478: PUSH2 0x0002 0000047b: JUMP 0000047c: JUMPDEST 0000047d: PUSH1 0x03 0000047f: PUSH1 0x00 00000481: SWAP1 00000482: SLOAD 00000483: SWAP1 00000484: PUSH2 0x0100 00000487: EXP 00000488: SWAP1 00000489: DIV 0000048a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000049f: AND 000004a0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004b5: AND 000004b6: CALLER 000004b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004cc: AND 000004cd: EQ 000004ce: ISZERO 000004cf: DUP1 000004d0: PUSH2 0x0527 000004d3: JUMPI 000004d4: POP 000004d5: PUSH1 0x05 000004d7: PUSH1 0x00 000004d9: SWAP1 000004da: SLOAD 000004db: SWAP1 000004dc: PUSH2 0x0100 000004df: EXP 000004e0: SWAP1 000004e1: DIV 000004e2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004f7: AND 000004f8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000050d: AND 0000050e: CALLER 0000050f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000524: AND 00000525: EQ 00000526: ISZERO 00000527: JUMPDEST 00000528: ISZERO 00000529: PUSH2 0x0531 0000052c: JUMPI 0000052d: PUSH2 0x0002 00000530: JUMP 00000531: JUMPDEST 00000532: PUSH1 0x04 00000534: PUSH1 0x00 00000536: SWAP1 00000537: SLOAD 00000538: SWAP1 00000539: PUSH2 0x0100 0000053c: EXP 0000053d: SWAP1 0000053e: DIV 0000053f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000554: AND 00000555: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000056a: AND 0000056b: PUSH1 0x00 0000056d: PUSH1 0x02 0000056f: PUSH1 0x00 00000571: POP 00000572: SLOAD 00000573: PUSH1 0x40 00000575: MLOAD 00000576: DUP1 00000577: SWAP1 00000578: POP 00000579: PUSH1 0x00 0000057b: PUSH1 0x40 0000057d: MLOAD 0000057e: DUP1 0000057f: DUP4 00000580: SUB 00000581: DUP2 00000582: DUP6 00000583: DUP9 00000584: DUP9 00000585: CALL 00000586: SWAP4 00000587: POP 00000588: POP 00000589: POP 0000058a: POP 0000058b: ISZERO 0000058c: ISZERO 0000058d: PUSH2 0x0595 00000590: JUMPI 00000591: PUSH2 0x0002 00000594: JUMP 00000595: JUMPDEST 00000596: PUSH1 0x03 00000598: PUSH1 0x05 0000059a: PUSH1 0x14 0000059c: PUSH2 0x0100 0000059f: EXP 000005a0: DUP2 000005a1: SLOAD 000005a2: DUP2 000005a3: PUSH1 0xff 000005a5: MUL 000005a6: NOT 000005a7: AND 000005a8: SWAP1 000005a9: DUP4 000005aa: MUL 000005ab: OR 000005ac: SWAP1 000005ad: SSTORE 000005ae: POP 000005af: JUMPDEST 000005b0: JUMP 000005b1: JUMPDEST 000005b2: PUSH1 0x05 000005b4: PUSH1 0x00 000005b6: SWAP1 000005b7: SLOAD 000005b8: SWAP1 000005b9: PUSH2 0x0100 000005bc: EXP 000005bd: SWAP1 000005be: DIV 000005bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005d4: AND 000005d5: DUP2 000005d6: JUMP 000005d7: JUMPDEST 000005d8: PUSH1 0x01 000005da: PUSH1 0x00 000005dc: POP 000005dd: SLOAD 000005de: DUP2 000005df: JUMP 000005e0: JUMPDEST 000005e1: PUSH1 0x00 000005e3: PUSH1 0x01 000005e5: PUSH1 0x05 000005e7: PUSH1 0x14 000005e9: SWAP1 000005ea: SLOAD 000005eb: SWAP1 000005ec: PUSH2 0x0100 000005ef: EXP 000005f0: SWAP1 000005f1: DIV 000005f2: PUSH1 0xff 000005f4: AND 000005f5: EQ 000005f6: ISZERO 000005f7: ISZERO 000005f8: PUSH2 0x0600 000005fb: JUMPI 000005fc: PUSH2 0x0002 000005ff: JUMP 00000600: JUMPDEST 00000601: PUSH1 0x05 00000603: PUSH1 0x00 00000605: SWAP1 00000606: SLOAD 00000607: SWAP1 00000608: PUSH2 0x0100 0000060b: EXP 0000060c: SWAP1 0000060d: DIV 0000060e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000623: AND 00000624: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000639: AND 0000063a: CALLER 0000063b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000650: AND 00000651: EQ 00000652: ISZERO 00000653: ISZERO 00000654: PUSH2 0x065c 00000657: JUMPI 00000658: PUSH2 0x0002 0000065b: JUMP 0000065c: JUMPDEST 0000065d: PUSH1 0x01 0000065f: PUSH1 0x00 00000661: POP 00000662: SLOAD 00000663: CALLVALUE 00000664: LT 00000665: ISZERO 00000666: PUSH2 0x066e 00000669: JUMPI 0000066a: PUSH2 0x0002 0000066d: JUMP 0000066e: JUMPDEST 0000066f: PUSH1 0x02 00000671: PUSH1 0x00 00000673: POP 00000674: SLOAD 00000675: PUSH1 0x01 00000677: PUSH1 0x00 00000679: POP 0000067a: SLOAD 0000067b: CALLVALUE 0000067c: SUB 0000067d: LT 0000067e: ISZERO 0000067f: PUSH2 0x0687 00000682: JUMPI 00000683: PUSH2 0x0002 00000686: JUMP 00000687: JUMPDEST 00000688: PUSH1 0x03 0000068a: PUSH1 0x00 0000068c: SWAP1 0000068d: SLOAD 0000068e: SWAP1 0000068f: PUSH2 0x0100 00000692: EXP 00000693: SWAP1 00000694: DIV 00000695: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006aa: AND 000006ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006c0: AND 000006c1: PUSH1 0x00 000006c3: PUSH1 0x01 000006c5: PUSH1 0x00 000006c7: POP 000006c8: SLOAD 000006c9: PUSH1 0x40 000006cb: MLOAD 000006cc: DUP1 000006cd: SWAP1 000006ce: POP 000006cf: PUSH1 0x00 000006d1: PUSH1 0x40 000006d3: MLOAD 000006d4: DUP1 000006d5: DUP4 000006d6: SUB 000006d7: DUP2 000006d8: DUP6 000006d9: DUP9 000006da: DUP9 000006db: CALL 000006dc: SWAP4 000006dd: POP 000006de: POP 000006df: POP 000006e0: POP 000006e1: ISZERO 000006e2: ISZERO 000006e3: PUSH2 0x06eb 000006e6: JUMPI 000006e7: PUSH2 0x0002 000006ea: JUMP 000006eb: JUMPDEST 000006ec: PUSH1 0x02 000006ee: PUSH1 0x00 000006f0: POP 000006f1: SLOAD 000006f2: PUSH1 0x01 000006f4: PUSH1 0x00 000006f6: POP 000006f7: SLOAD 000006f8: CALLVALUE 000006f9: SUB 000006fa: SUB 000006fb: SWAP1 000006fc: POP 000006fd: PUSH1 0x00 000006ff: DUP2 00000700: GT 00000701: ISZERO 00000702: PUSH2 0x0748 00000705: JUMPI 00000706: CALLER 00000707: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000071c: AND 0000071d: PUSH1 0x00 0000071f: PUSH1 0x01 00000721: PUSH1 0x00 00000723: POP 00000724: SLOAD 00000725: PUSH1 0x40 00000727: MLOAD 00000728: DUP1 00000729: SWAP1 0000072a: POP 0000072b: PUSH1 0x00 0000072d: PUSH1 0x40 0000072f: MLOAD 00000730: DUP1 00000731: DUP4 00000732: SUB 00000733: DUP2 00000734: DUP6 00000735: DUP9 00000736: DUP9 00000737: CALL 00000738: SWAP4 00000739: POP 0000073a: POP 0000073b: POP 0000073c: POP 0000073d: ISZERO 0000073e: ISZERO 0000073f: PUSH2 0x0747 00000742: JUMPI 00000743: PUSH2 0x0002 00000746: JUMP 00000747: JUMPDEST 00000748: JUMPDEST 00000749: PUSH1 0x02 0000074b: PUSH1 0x05 0000074d: PUSH1 0x14 0000074f: PUSH2 0x0100 00000752: EXP 00000753: DUP2 00000754: SLOAD 00000755: DUP2 00000756: PUSH1 0xff 00000758: MUL 00000759: NOT 0000075a: AND 0000075b: SWAP1 0000075c: DUP4 0000075d: MUL 0000075e: OR 0000075f: SWAP1 00000760: SSTORE 00000761: POP 00000762: JUMPDEST 00000763: POP 00000764: JUMP 00000765: JUMPDEST 00000766: PUSH1 0x03 00000768: PUSH1 0x00 0000076a: SWAP1 0000076b: SLOAD 0000076c: SWAP1 0000076d: PUSH2 0x0100 00000770: EXP 00000771: SWAP1 00000772: DIV 00000773: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000788: AND 00000789: DUP2 0000078a: 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 |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xaf061afc036caecb1f0a7bd4ce60dea93dc576f1ed221175cb32b6cdcf8f6a7f
call_targets:
0x643d18473ffc14f6c291f3f0728fe40e3464ebbd
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xaf061afc036caecb1f0a7bd4ce60dea93dc576f1ed221175cb32b6cdcf8f6a7f",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x643d18473ffc14f6c291f3f0728fe40e3464ebbd"
],
"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": "0x08551a53",
"selector": "0x08551a53",
"calldata_variants": [
"0x08551a53",
"0x08551a530000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1a8315d5",
"selector": "0x1a8315d5",
"calldata_variants": [
"0x1a8315d5",
"0x1a8315d50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2d606843",
"selector": "0x2d606843",
"calldata_variants": [
"0x2d606843",
"0x2d6068430000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5a3b7e42",
"selector": "0x5a3b7e42",
"calldata_variants": [
"0x5a3b7e42",
"0x5a3b7e420000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6d9aad2b",
"selector": "0x6d9aad2b",
"calldata_variants": [
"0x6d9aad2b",
"0x6d9aad2b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7150d8ae",
"selector": "0x7150d8ae",
"calldata_variants": [
"0x7150d8ae",
"0x7150d8ae0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9ed3edf0",
"selector": "0x9ed3edf0",
"calldata_variants": [
"0x9ed3edf0",
"0x9ed3edf00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe54a0b1c",
"selector": "0xe54a0b1c",
"calldata_variants": [
"0xe54a0b1c",
"0xe54a0b1c0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 336,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 913,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1413,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 5,
"guards_detected": [
{
"pc": 706,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 794,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1206,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1294,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1594,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 5
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xaf061afc036caecb1f0a7bd4ce60dea93dc576f1ed221175cb32b6cdcf8f6a7f
call_targets:
0x643d18473ffc14f6c291f3f0728fe40e3464ebbd
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xaf061afc036caecb1f0a7bd4ce60dea93dc576f1ed221175cb32b6cdcf8f6a7f",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x643d18473ffc14f6c291f3f0728fe40e3464ebbd"
],
"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": "0x08551a53",
"selector": "0x08551a53",
"calldata_variants": [
"0x08551a53",
"0x08551a530000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1a8315d5",
"selector": "0x1a8315d5",
"calldata_variants": [
"0x1a8315d5",
"0x1a8315d50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2d606843",
"selector": "0x2d606843",
"calldata_variants": [
"0x2d606843",
"0x2d6068430000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5a3b7e42",
"selector": "0x5a3b7e42",
"calldata_variants": [
"0x5a3b7e42",
"0x5a3b7e420000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6d9aad2b",
"selector": "0x6d9aad2b",
"calldata_variants": [
"0x6d9aad2b",
"0x6d9aad2b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7150d8ae",
"selector": "0x7150d8ae",
"calldata_variants": [
"0x7150d8ae",
"0x7150d8ae0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9ed3edf0",
"selector": "0x9ed3edf0",
"calldata_variants": [
"0x9ed3edf0",
"0x9ed3edf00000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe54a0b1c",
"selector": "0xe54a0b1c",
"calldata_variants": [
"0xe54a0b1c",
"0xe54a0b1c0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 336,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 913,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 1413,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 5,
"guards_detected": [
{
"pc": 706,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 794,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1206,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1294,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1594,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|