019b477e-aeab-7156-8ce5-1827575802ce
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 |
|---|---|---|---|---|
| 21629 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 21630 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 64986 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 64987 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 64988 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 64989 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x0099 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002e: SWAP1 0000002f: DIV 00000030: PUSH4 0xffffffff 00000035: AND 00000036: DUP1 00000037: PUSH4 0x43d726d6 0000003c: EQ 0000003d: PUSH2 0x009e 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0x521eb273 00000047: EQ 00000048: PUSH2 0x00b5 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0x8c52dc41 00000052: EQ 00000053: PUSH2 0x010c 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0x8da5cb5b 0000005d: EQ 0000005e: PUSH2 0x0123 00000061: JUMPI 00000062: DUP1 00000063: PUSH4 0xc19d93fb 00000068: EQ 00000069: PUSH2 0x017a 0000006c: JUMPI 0000006d: DUP1 0000006e: PUSH4 0xcb13cddb 00000073: EQ 00000074: PUSH2 0x01b3 00000077: JUMPI 00000078: DUP1 00000079: PUSH4 0xf2fde38b 0000007e: EQ 0000007f: PUSH2 0x020a 00000082: JUMPI 00000083: DUP1 00000084: PUSH4 0xf340fa01 00000089: EQ 0000008a: PUSH2 0x024d 0000008d: JUMPI 0000008e: DUP1 0000008f: PUSH4 0xfa89401a 00000094: EQ 00000095: PUSH2 0x0283 00000098: JUMPI 00000099: JUMPDEST 0000009a: PUSH1 0x00 0000009c: DUP1 0000009d: REVERT 0000009e: JUMPDEST 0000009f: CALLVALUE 000000a0: DUP1 000000a1: ISZERO 000000a2: PUSH2 0x00aa 000000a5: JUMPI 000000a6: PUSH1 0x00 000000a8: DUP1 000000a9: REVERT 000000aa: JUMPDEST 000000ab: POP 000000ac: PUSH2 0x00b3 000000af: PUSH2 0x02c6 000000b2: JUMP 000000b3: JUMPDEST 000000b4: STOP 000000b5: JUMPDEST 000000b6: CALLVALUE 000000b7: DUP1 000000b8: ISZERO 000000b9: PUSH2 0x00c1 000000bc: JUMPI 000000bd: PUSH1 0x00 000000bf: DUP1 000000c0: REVERT 000000c1: JUMPDEST 000000c2: POP 000000c3: PUSH2 0x00ca 000000c6: PUSH2 0x0426 000000c9: JUMP 000000ca: JUMPDEST 000000cb: PUSH1 0x40 000000cd: MLOAD 000000ce: DUP1 000000cf: DUP3 000000d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000e5: AND 000000e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000fb: AND 000000fc: DUP2 000000fd: MSTORE 000000fe: PUSH1 0x20 00000100: ADD 00000101: SWAP2 00000102: POP 00000103: POP 00000104: PUSH1 0x40 00000106: MLOAD 00000107: DUP1 00000108: SWAP2 00000109: SUB 0000010a: SWAP1 0000010b: RETURN 0000010c: JUMPDEST 0000010d: CALLVALUE 0000010e: DUP1 0000010f: ISZERO 00000110: PUSH2 0x0118 00000113: JUMPI 00000114: PUSH1 0x00 00000116: DUP1 00000117: REVERT 00000118: JUMPDEST 00000119: POP 0000011a: PUSH2 0x0121 0000011d: PUSH2 0x044c 00000120: JUMP 00000121: JUMPDEST 00000122: STOP 00000123: JUMPDEST 00000124: CALLVALUE 00000125: DUP1 00000126: ISZERO 00000127: PUSH2 0x012f 0000012a: JUMPI 0000012b: PUSH1 0x00 0000012d: DUP1 0000012e: REVERT 0000012f: JUMPDEST 00000130: POP 00000131: PUSH2 0x0138 00000134: PUSH2 0x052d 00000137: JUMP 00000138: JUMPDEST 00000139: PUSH1 0x40 0000013b: MLOAD 0000013c: DUP1 0000013d: DUP3 0000013e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000153: AND 00000154: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000169: AND 0000016a: DUP2 0000016b: MSTORE 0000016c: PUSH1 0x20 0000016e: ADD 0000016f: SWAP2 00000170: POP 00000171: POP 00000172: PUSH1 0x40 00000174: MLOAD 00000175: DUP1 00000176: SWAP2 00000177: SUB 00000178: SWAP1 00000179: RETURN 0000017a: JUMPDEST 0000017b: CALLVALUE 0000017c: DUP1 0000017d: ISZERO 0000017e: PUSH2 0x0186 00000181: JUMPI 00000182: PUSH1 0x00 00000184: DUP1 00000185: REVERT 00000186: JUMPDEST 00000187: POP 00000188: PUSH2 0x018f 0000018b: PUSH2 0x0552 0000018e: JUMP 0000018f: JUMPDEST 00000190: PUSH1 0x40 00000192: MLOAD 00000193: DUP1 00000194: DUP3 00000195: PUSH1 0x02 00000197: DUP2 00000198: GT 00000199: ISZERO 0000019a: PUSH2 0x019f 0000019d: JUMPI 0000019e: INVALID 0000019f: JUMPDEST 000001a0: PUSH1 0xff 000001a2: AND 000001a3: DUP2 000001a4: MSTORE 000001a5: PUSH1 0x20 000001a7: ADD 000001a8: SWAP2 000001a9: POP 000001aa: POP 000001ab: PUSH1 0x40 000001ad: MLOAD 000001ae: DUP1 000001af: SWAP2 000001b0: SUB 000001b1: SWAP1 000001b2: RETURN 000001b3: JUMPDEST 000001b4: CALLVALUE 000001b5: DUP1 000001b6: ISZERO 000001b7: PUSH2 0x01bf 000001ba: JUMPI 000001bb: PUSH1 0x00 000001bd: DUP1 000001be: REVERT 000001bf: JUMPDEST 000001c0: POP 000001c1: PUSH2 0x01f4 000001c4: PUSH1 0x04 000001c6: DUP1 000001c7: CALLDATASIZE 000001c8: SUB 000001c9: DUP2 000001ca: ADD 000001cb: SWAP1 000001cc: DUP1 000001cd: DUP1 000001ce: CALLDATALOAD 000001cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001e4: AND 000001e5: SWAP1 000001e6: PUSH1 0x20 000001e8: ADD 000001e9: SWAP1 000001ea: SWAP3 000001eb: SWAP2 000001ec: SWAP1 000001ed: POP 000001ee: POP 000001ef: POP 000001f0: PUSH2 0x0565 000001f3: JUMP 000001f4: JUMPDEST 000001f5: PUSH1 0x40 000001f7: MLOAD 000001f8: DUP1 000001f9: DUP3 000001fa: DUP2 000001fb: MSTORE 000001fc: PUSH1 0x20 000001fe: ADD 000001ff: SWAP2 00000200: POP 00000201: POP 00000202: PUSH1 0x40 00000204: MLOAD 00000205: DUP1 00000206: SWAP2 00000207: SUB 00000208: SWAP1 00000209: RETURN 0000020a: JUMPDEST 0000020b: CALLVALUE 0000020c: DUP1 0000020d: ISZERO 0000020e: PUSH2 0x0216 00000211: JUMPI 00000212: PUSH1 0x00 00000214: DUP1 00000215: REVERT 00000216: JUMPDEST 00000217: POP 00000218: PUSH2 0x024b 0000021b: PUSH1 0x04 0000021d: DUP1 0000021e: CALLDATASIZE 0000021f: SUB 00000220: DUP2 00000221: ADD 00000222: SWAP1 00000223: DUP1 00000224: DUP1 00000225: CALLDATALOAD 00000226: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000023b: AND 0000023c: SWAP1 0000023d: PUSH1 0x20 0000023f: ADD 00000240: SWAP1 00000241: SWAP3 00000242: SWAP2 00000243: SWAP1 00000244: POP 00000245: POP 00000246: POP 00000247: PUSH2 0x057d 0000024a: JUMP 0000024b: JUMPDEST 0000024c: STOP 0000024d: JUMPDEST 0000024e: PUSH2 0x0281 00000251: PUSH1 0x04 00000253: DUP1 00000254: CALLDATASIZE 00000255: SUB 00000256: DUP2 00000257: ADD 00000258: SWAP1 00000259: DUP1 0000025a: DUP1 0000025b: CALLDATALOAD 0000025c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000271: AND 00000272: SWAP1 00000273: PUSH1 0x20 00000275: ADD 00000276: SWAP1 00000277: SWAP3 00000278: SWAP2 00000279: SWAP1 0000027a: POP 0000027b: POP 0000027c: POP 0000027d: PUSH2 0x06d2 00000280: JUMP 00000281: JUMPDEST 00000282: STOP 00000283: JUMPDEST 00000284: CALLVALUE 00000285: DUP1 00000286: ISZERO 00000287: PUSH2 0x028f 0000028a: JUMPI 0000028b: PUSH1 0x00 0000028d: DUP1 0000028e: REVERT 0000028f: JUMPDEST 00000290: POP 00000291: PUSH2 0x02c4 00000294: PUSH1 0x04 00000296: DUP1 00000297: CALLDATASIZE 00000298: SUB 00000299: DUP2 0000029a: ADD 0000029b: SWAP1 0000029c: DUP1 0000029d: DUP1 0000029e: CALLDATALOAD 0000029f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002b4: AND 000002b5: SWAP1 000002b6: PUSH1 0x20 000002b8: ADD 000002b9: SWAP1 000002ba: SWAP3 000002bb: SWAP2 000002bc: SWAP1 000002bd: POP 000002be: POP 000002bf: POP 000002c0: PUSH2 0x07f9 000002c3: JUMP 000002c4: JUMPDEST 000002c5: STOP 000002c6: JUMPDEST 000002c7: PUSH1 0x00 000002c9: DUP1 000002ca: SWAP1 000002cb: SLOAD 000002cc: SWAP1 000002cd: PUSH2 0x0100 000002d0: EXP 000002d1: SWAP1 000002d2: DIV 000002d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002e8: AND 000002e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002fe: AND 000002ff: CALLER 00000300: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000315: AND 00000316: EQ 00000317: ISZERO 00000318: ISZERO 00000319: PUSH2 0x0321 0000031c: JUMPI 0000031d: PUSH1 0x00 0000031f: DUP1 00000320: REVERT 00000321: JUMPDEST 00000322: PUSH1 0x00 00000324: PUSH1 0x02 00000326: DUP2 00000327: GT 00000328: ISZERO 00000329: PUSH2 0x032e 0000032c: JUMPI 0000032d: INVALID 0000032e: JUMPDEST 0000032f: PUSH1 0x02 00000331: PUSH1 0x14 00000333: SWAP1 00000334: SLOAD 00000335: SWAP1 00000336: PUSH2 0x0100 00000339: EXP 0000033a: SWAP1 0000033b: DIV 0000033c: PUSH1 0xff 0000033e: AND 0000033f: PUSH1 0x02 00000341: DUP2 00000342: GT 00000343: ISZERO 00000344: PUSH2 0x0349 00000347: JUMPI 00000348: INVALID 00000349: JUMPDEST 0000034a: EQ 0000034b: ISZERO 0000034c: ISZERO 0000034d: PUSH2 0x0355 00000350: JUMPI 00000351: PUSH1 0x00 00000353: DUP1 00000354: REVERT 00000355: JUMPDEST 00000356: PUSH1 0x02 00000358: DUP1 00000359: PUSH1 0x14 0000035b: PUSH2 0x0100 0000035e: EXP 0000035f: DUP2 00000360: SLOAD 00000361: DUP2 00000362: PUSH1 0xff 00000364: MUL 00000365: NOT 00000366: AND 00000367: SWAP1 00000368: DUP4 00000369: PUSH1 0x02 0000036b: DUP2 0000036c: GT 0000036d: ISZERO 0000036e: PUSH2 0x0373 00000371: JUMPI 00000372: INVALID 00000373: JUMPDEST 00000374: MUL 00000375: OR 00000376: SWAP1 00000377: SSTORE 00000378: POP 00000379: PUSH32 0x1cdde67b72a90f19919ac732a437ac2f7a10fc128d28c2a6e525d89ce5cd9d3a 0000039a: PUSH1 0x40 0000039c: MLOAD 0000039d: PUSH1 0x40 0000039f: MLOAD 000003a0: DUP1 000003a1: SWAP2 000003a2: SUB 000003a3: SWAP1 000003a4: LOG1 000003a5: PUSH1 0x02 000003a7: PUSH1 0x00 000003a9: SWAP1 000003aa: SLOAD 000003ab: SWAP1 000003ac: PUSH2 0x0100 000003af: EXP 000003b0: SWAP1 000003b1: DIV 000003b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003c7: AND 000003c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003dd: AND 000003de: PUSH2 0x08fc 000003e1: ADDRESS 000003e2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003f7: AND 000003f8: BALANCE 000003f9: SWAP1 000003fa: DUP2 000003fb: ISZERO 000003fc: MUL 000003fd: SWAP1 000003fe: PUSH1 0x40 00000400: MLOAD 00000401: PUSH1 0x00 00000403: PUSH1 0x40 00000405: MLOAD 00000406: DUP1 00000407: DUP4 00000408: SUB 00000409: DUP2 0000040a: DUP6 0000040b: DUP9 0000040c: DUP9 0000040d: CALL 0000040e: SWAP4 0000040f: POP 00000410: POP 00000411: POP 00000412: POP 00000413: ISZERO 00000414: DUP1 00000415: ISZERO 00000416: PUSH2 0x0423 00000419: JUMPI 0000041a: RETURNDATASIZE 0000041b: PUSH1 0x00 0000041d: DUP1 0000041e: RETURNDATACOPY 0000041f: RETURNDATASIZE 00000420: PUSH1 0x00 00000422: REVERT 00000423: JUMPDEST 00000424: POP 00000425: JUMP 00000426: JUMPDEST 00000427: PUSH1 0x02 00000429: PUSH1 0x00 0000042b: SWAP1 0000042c: SLOAD 0000042d: SWAP1 0000042e: PUSH2 0x0100 00000431: EXP 00000432: SWAP1 00000433: DIV 00000434: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000449: AND 0000044a: DUP2 0000044b: JUMP 0000044c: JUMPDEST 0000044d: PUSH1 0x00 0000044f: DUP1 00000450: SWAP1 00000451: SLOAD 00000452: SWAP1 00000453: PUSH2 0x0100 00000456: EXP 00000457: SWAP1 00000458: DIV 00000459: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000046e: AND 0000046f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000484: AND 00000485: CALLER 00000486: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000049b: AND 0000049c: EQ 0000049d: ISZERO 0000049e: ISZERO 0000049f: PUSH2 0x04a7 000004a2: JUMPI 000004a3: PUSH1 0x00 000004a5: DUP1 000004a6: REVERT 000004a7: JUMPDEST 000004a8: PUSH1 0x00 000004aa: PUSH1 0x02 000004ac: DUP2 000004ad: GT 000004ae: ISZERO 000004af: PUSH2 0x04b4 000004b2: JUMPI 000004b3: INVALID 000004b4: JUMPDEST 000004b5: PUSH1 0x02 000004b7: PUSH1 0x14 000004b9: SWAP1 000004ba: SLOAD 000004bb: SWAP1 000004bc: PUSH2 0x0100 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: ISZERO 000004d2: ISZERO 000004d3: PUSH2 0x04db 000004d6: JUMPI 000004d7: PUSH1 0x00 000004d9: DUP1 000004da: REVERT 000004db: JUMPDEST 000004dc: PUSH1 0x01 000004de: PUSH1 0x02 000004e0: PUSH1 0x14 000004e2: PUSH2 0x0100 000004e5: EXP 000004e6: DUP2 000004e7: SLOAD 000004e8: DUP2 000004e9: PUSH1 0xff 000004eb: MUL 000004ec: NOT 000004ed: AND 000004ee: SWAP1 000004ef: DUP4 000004f0: PUSH1 0x02 000004f2: DUP2 000004f3: GT 000004f4: ISZERO 000004f5: PUSH2 0x04fa 000004f8: JUMPI 000004f9: INVALID 000004fa: JUMPDEST 000004fb: MUL 000004fc: OR 000004fd: SWAP1 000004fe: SSTORE 000004ff: POP 00000500: PUSH32 0x599d8e5a83cffb867d051598c4d70e805d59802d8081c1c7d6dffc5b6aca2b89 00000521: PUSH1 0x40 00000523: MLOAD 00000524: PUSH1 0x40 00000526: MLOAD 00000527: DUP1 00000528: SWAP2 00000529: SUB 0000052a: SWAP1 0000052b: LOG1 0000052c: JUMP 0000052d: JUMPDEST 0000052e: PUSH1 0x00 00000530: DUP1 00000531: SWAP1 00000532: SLOAD 00000533: SWAP1 00000534: PUSH2 0x0100 00000537: EXP 00000538: SWAP1 00000539: DIV 0000053a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000054f: AND 00000550: DUP2 00000551: JUMP 00000552: JUMPDEST 00000553: PUSH1 0x02 00000555: PUSH1 0x14 00000557: SWAP1 00000558: SLOAD 00000559: SWAP1 0000055a: PUSH2 0x0100 0000055d: EXP 0000055e: SWAP1 0000055f: DIV 00000560: PUSH1 0xff 00000562: AND 00000563: DUP2 00000564: JUMP 00000565: JUMPDEST 00000566: PUSH1 0x01 00000568: PUSH1 0x20 0000056a: MSTORE 0000056b: DUP1 0000056c: PUSH1 0x00 0000056e: MSTORE 0000056f: PUSH1 0x40 00000571: PUSH1 0x00 00000573: KECCAK256 00000574: PUSH1 0x00 00000576: SWAP2 00000577: POP 00000578: SWAP1 00000579: POP 0000057a: SLOAD 0000057b: DUP2 0000057c: JUMP 0000057d: JUMPDEST 0000057e: PUSH1 0x00 00000580: DUP1 00000581: SWAP1 00000582: SLOAD 00000583: SWAP1 00000584: PUSH2 0x0100 00000587: EXP 00000588: SWAP1 00000589: DIV 0000058a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000059f: AND 000005a0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005b5: AND 000005b6: CALLER 000005b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005cc: AND 000005cd: EQ 000005ce: ISZERO 000005cf: ISZERO 000005d0: PUSH2 0x05d8 000005d3: JUMPI 000005d4: PUSH1 0x00 000005d6: DUP1 000005d7: REVERT 000005d8: JUMPDEST 000005d9: PUSH1 0x00 000005db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005f0: AND 000005f1: DUP2 000005f2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000607: AND 00000608: EQ 00000609: ISZERO 0000060a: ISZERO 0000060b: ISZERO 0000060c: PUSH2 0x0614 0000060f: JUMPI 00000610: PUSH1 0x00 00000612: DUP1 00000613: REVERT 00000614: JUMPDEST 00000615: DUP1 00000616: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000062b: AND 0000062c: PUSH1 0x00 0000062e: DUP1 0000062f: SWAP1 00000630: SLOAD 00000631: SWAP1 00000632: PUSH2 0x0100 00000635: EXP 00000636: SWAP1 00000637: DIV 00000638: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000064d: AND 0000064e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000663: AND 00000664: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000685: PUSH1 0x40 00000687: MLOAD 00000688: PUSH1 0x40 0000068a: MLOAD 0000068b: DUP1 0000068c: SWAP2 0000068d: SUB 0000068e: SWAP1 0000068f: LOG3 00000690: DUP1 00000691: PUSH1 0x00 00000693: DUP1 00000694: PUSH2 0x0100 00000697: EXP 00000698: DUP2 00000699: SLOAD 0000069a: DUP2 0000069b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006b0: MUL 000006b1: NOT 000006b2: AND 000006b3: SWAP1 000006b4: DUP4 000006b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006ca: AND 000006cb: MUL 000006cc: OR 000006cd: SWAP1 000006ce: SSTORE 000006cf: POP 000006d0: POP 000006d1: JUMP 000006d2: JUMPDEST 000006d3: PUSH1 0x00 000006d5: DUP1 000006d6: SWAP1 000006d7: SLOAD 000006d8: SWAP1 000006d9: PUSH2 0x0100 000006dc: EXP 000006dd: SWAP1 000006de: DIV 000006df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006f4: AND 000006f5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000070a: AND 0000070b: CALLER 0000070c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000721: AND 00000722: EQ 00000723: ISZERO 00000724: ISZERO 00000725: PUSH2 0x072d 00000728: JUMPI 00000729: PUSH1 0x00 0000072b: DUP1 0000072c: REVERT 0000072d: JUMPDEST 0000072e: PUSH1 0x00 00000730: PUSH1 0x02 00000732: DUP2 00000733: GT 00000734: ISZERO 00000735: PUSH2 0x073a 00000738: JUMPI 00000739: INVALID 0000073a: JUMPDEST 0000073b: PUSH1 0x02 0000073d: PUSH1 0x14 0000073f: SWAP1 00000740: SLOAD 00000741: SWAP1 00000742: PUSH2 0x0100 00000745: EXP 00000746: SWAP1 00000747: DIV 00000748: PUSH1 0xff 0000074a: AND 0000074b: PUSH1 0x02 0000074d: DUP2 0000074e: GT 0000074f: ISZERO 00000750: PUSH2 0x0755 00000753: JUMPI 00000754: INVALID 00000755: JUMPDEST 00000756: EQ 00000757: ISZERO 00000758: ISZERO 00000759: PUSH2 0x0761 0000075c: JUMPI 0000075d: PUSH1 0x00 0000075f: DUP1 00000760: REVERT 00000761: JUMPDEST 00000762: PUSH2 0x07b3 00000765: CALLVALUE 00000766: PUSH1 0x01 00000768: PUSH1 0x00 0000076a: DUP5 0000076b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000780: AND 00000781: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000796: AND 00000797: DUP2 00000798: MSTORE 00000799: PUSH1 0x20 0000079b: ADD 0000079c: SWAP1 0000079d: DUP2 0000079e: MSTORE 0000079f: PUSH1 0x20 000007a1: ADD 000007a2: PUSH1 0x00 000007a4: KECCAK256 000007a5: SLOAD 000007a6: PUSH2 0x094f 000007a9: SWAP1 000007aa: SWAP2 000007ab: SWAP1 000007ac: PUSH4 0xffffffff 000007b1: AND 000007b2: JUMP 000007b3: JUMPDEST 000007b4: PUSH1 0x01 000007b6: PUSH1 0x00 000007b8: DUP4 000007b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007ce: AND 000007cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007e4: AND 000007e5: DUP2 000007e6: MSTORE 000007e7: PUSH1 0x20 000007e9: ADD 000007ea: SWAP1 000007eb: DUP2 000007ec: MSTORE 000007ed: PUSH1 0x20 000007ef: ADD 000007f0: PUSH1 0x00 000007f2: KECCAK256 000007f3: DUP2 000007f4: SWAP1 000007f5: SSTORE 000007f6: POP 000007f7: POP 000007f8: JUMP 000007f9: JUMPDEST 000007fa: PUSH1 0x00 000007fc: PUSH1 0x01 000007fe: PUSH1 0x02 00000800: DUP2 00000801: GT 00000802: ISZERO 00000803: PUSH2 0x0808 00000806: JUMPI 00000807: INVALID 00000808: JUMPDEST 00000809: PUSH1 0x02 0000080b: PUSH1 0x14 0000080d: SWAP1 0000080e: SLOAD 0000080f: SWAP1 00000810: PUSH2 0x0100 00000813: EXP 00000814: SWAP1 00000815: DIV 00000816: PUSH1 0xff 00000818: AND 00000819: PUSH1 0x02 0000081b: DUP2 0000081c: GT 0000081d: ISZERO 0000081e: PUSH2 0x0823 00000821: JUMPI 00000822: INVALID 00000823: JUMPDEST 00000824: EQ 00000825: ISZERO 00000826: ISZERO 00000827: PUSH2 0x082f 0000082a: JUMPI 0000082b: PUSH1 0x00 0000082d: DUP1 0000082e: REVERT 0000082f: JUMPDEST 00000830: PUSH1 0x01 00000832: PUSH1 0x00 00000834: DUP4 00000835: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000084a: AND 0000084b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000860: AND 00000861: DUP2 00000862: MSTORE 00000863: PUSH1 0x20 00000865: ADD 00000866: SWAP1 00000867: DUP2 00000868: MSTORE 00000869: PUSH1 0x20 0000086b: ADD 0000086c: PUSH1 0x00 0000086e: KECCAK256 0000086f: SLOAD 00000870: SWAP1 00000871: POP 00000872: PUSH1 0x00 00000874: PUSH1 0x01 00000876: PUSH1 0x00 00000878: DUP5 00000879: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000088e: AND 0000088f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008a4: AND 000008a5: DUP2 000008a6: MSTORE 000008a7: PUSH1 0x20 000008a9: ADD 000008aa: SWAP1 000008ab: DUP2 000008ac: MSTORE 000008ad: PUSH1 0x20 000008af: ADD 000008b0: PUSH1 0x00 000008b2: KECCAK256 000008b3: DUP2 000008b4: SWAP1 000008b5: SSTORE 000008b6: POP 000008b7: DUP2 000008b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008cd: AND 000008ce: PUSH2 0x08fc 000008d1: DUP3 000008d2: SWAP1 000008d3: DUP2 000008d4: ISZERO 000008d5: MUL 000008d6: SWAP1 000008d7: PUSH1 0x40 000008d9: MLOAD 000008da: PUSH1 0x00 000008dc: PUSH1 0x40 000008de: MLOAD 000008df: DUP1 000008e0: DUP4 000008e1: SUB 000008e2: DUP2 000008e3: DUP6 000008e4: DUP9 000008e5: DUP9 000008e6: CALL 000008e7: SWAP4 000008e8: POP 000008e9: POP 000008ea: POP 000008eb: POP 000008ec: ISZERO 000008ed: DUP1 000008ee: ISZERO 000008ef: PUSH2 0x08fc 000008f2: JUMPI 000008f3: RETURNDATASIZE 000008f4: PUSH1 0x00 000008f6: DUP1 000008f7: RETURNDATACOPY 000008f8: RETURNDATASIZE 000008f9: PUSH1 0x00 000008fb: REVERT 000008fc: JUMPDEST 000008fd: POP 000008fe: DUP2 000008ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000914: AND 00000915: PUSH32 0xd7dee2702d63ad89917b6a4da9981c90c4d24f8c2bdfd64c604ecae57d8d0651 00000936: DUP3 00000937: PUSH1 0x40 00000939: MLOAD 0000093a: DUP1 0000093b: DUP3 0000093c: DUP2 0000093d: MSTORE 0000093e: PUSH1 0x20 00000940: ADD 00000941: SWAP2 00000942: POP 00000943: POP 00000944: PUSH1 0x40 00000946: MLOAD 00000947: DUP1 00000948: SWAP2 00000949: SUB 0000094a: SWAP1 0000094b: LOG2 0000094c: POP 0000094d: POP 0000094e: JUMP 0000094f: JUMPDEST 00000950: PUSH1 0x00 00000952: DUP1 00000953: DUP3 00000954: DUP5 00000955: ADD 00000956: SWAP1 00000957: POP 00000958: DUP4 00000959: DUP2 0000095a: LT 0000095b: ISZERO 0000095c: ISZERO 0000095d: ISZERO 0000095e: PUSH2 0x0963 00000961: JUMPI 00000962: INVALID 00000963: JUMPDEST 00000964: DUP1 00000965: SWAP2 00000966: POP 00000967: POP 00000968: SWAP3 00000969: SWAP2 0000096a: POP 0000096b: POP 0000096c: JUMP 0000096d: STOP 0000096e: LOG1 0000096f: PUSH6 0x627a7a723058 00000976: KECCAK256 00000977: UNKNOWN(0xB2) 00000978: UNKNOWN(0x2D) 00000979: GASPRICE 0000097a: UNKNOWN(0x1F) 0000097b: GASLIMIT 0000097c: CALLDATALOAD 0000097d: UNKNOWN(0xDC) 0000097e: SWAP2 0000097f: SDIV 00000980: UNKNOWN(0xDA) 00000981: SELFBALANCE 00000982: PUSH17 0x9540d21d8160a8bbb2825aa11345230764 00000994: UNKNOWN(0xF6) 00000995: UNKNOWN(0xD3) 00000996: UNKNOWN(0xC3) 00000997: STOP 00000998: UNKNOWN(0x29)
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x35555d801647ea3da07b91e761aec6d8677f1a5bf61f7bdfb9a36b4e94fafd37
call_targets:
0xa9371a745a58f5964c196a0e7fd1ebaebac86e68
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x35555d801647ea3da07b91e761aec6d8677f1a5bf61f7bdfb9a36b4e94fafd37",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xa9371a745a58f5964c196a0e7fd1ebaebac86e68"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x43d726d6",
"selector": "0x43d726d6",
"calldata_variants": [
"0x43d726d6",
"0x43d726d60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x521eb273",
"selector": "0x521eb273",
"calldata_variants": [
"0x521eb273",
"0x521eb2730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8c52dc41",
"selector": "0x8c52dc41",
"calldata_variants": [
"0x8c52dc41",
"0x8c52dc410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "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": 1037,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "constant",
"target_expression_category": "computed"
},
{
"pc": 2278,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 2,
"guards_detected": [
{
"pc": 767,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1157,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1462,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1803,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 2
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x35555d801647ea3da07b91e761aec6d8677f1a5bf61f7bdfb9a36b4e94fafd37
call_targets:
0xa9371a745a58f5964c196a0e7fd1ebaebac86e68
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x35555d801647ea3da07b91e761aec6d8677f1a5bf61f7bdfb9a36b4e94fafd37",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xa9371a745a58f5964c196a0e7fd1ebaebac86e68"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x43d726d6",
"selector": "0x43d726d6",
"calldata_variants": [
"0x43d726d6",
"0x43d726d60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x521eb273",
"selector": "0x521eb273",
"calldata_variants": [
"0x521eb273",
"0x521eb2730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8c52dc41",
"selector": "0x8c52dc41",
"calldata_variants": [
"0x8c52dc41",
"0x8c52dc410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "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": 1037,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "constant",
"target_expression_category": "computed"
},
{
"pc": 2278,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 2,
"guards_detected": [
{
"pc": 767,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1157,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1462,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 1803,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|