019b477e-d954-7149-a640-60f354c4d937
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 |
|---|---|---|---|---|
| 29241 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 29242 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 73008 | analysis.bundle | complete | 1 / 3 | 3 weeks ago |
| 73009 | capability.graph | complete | 1 / 3 | 3 weeks ago |
| 73010 | detector.run | complete | 1 / 3 | 3 weeks ago |
| 73011 | validation.fork | complete | 1 / 3 | 3 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 0x0059 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x2b42b941 00000019: EQ 0000001a: PUSH2 0x0065 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x57ea89b6 00000024: EQ 00000025: PUSH2 0x008e 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0x68c501f1 0000002f: EQ 00000030: PUSH2 0x00a5 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0x9763d29b 0000003a: EQ 0000003b: PUSH2 0x00d0 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xbedf0f4a 00000045: EQ 00000046: PUSH2 0x00f9 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xeaf67ab9 00000050: EQ 00000051: PUSH2 0x0110 00000054: JUMPI 00000055: PUSH2 0x0060 00000058: JUMP 00000059: JUMPDEST 0000005a: CALLDATASIZE 0000005b: PUSH2 0x0060 0000005e: JUMPI 0000005f: STOP 00000060: JUMPDEST 00000061: PUSH1 0x00 00000063: DUP1 00000064: REVERT 00000065: JUMPDEST 00000066: CALLVALUE 00000067: DUP1 00000068: ISZERO 00000069: PUSH2 0x0071 0000006c: JUMPI 0000006d: PUSH1 0x00 0000006f: DUP1 00000070: REVERT 00000071: JUMPDEST 00000072: POP 00000073: PUSH2 0x008c 00000076: PUSH1 0x04 00000078: DUP1 00000079: CALLDATASIZE 0000007a: SUB 0000007b: DUP2 0000007c: ADD 0000007d: SWAP1 0000007e: PUSH2 0x0087 00000081: SWAP2 00000082: SWAP1 00000083: PUSH2 0x041e 00000086: JUMP 00000087: JUMPDEST 00000088: PUSH2 0x011a 0000008b: JUMP 0000008c: JUMPDEST 0000008d: STOP 0000008e: JUMPDEST 0000008f: CALLVALUE 00000090: DUP1 00000091: ISZERO 00000092: PUSH2 0x009a 00000095: JUMPI 00000096: PUSH1 0x00 00000098: DUP1 00000099: REVERT 0000009a: JUMPDEST 0000009b: POP 0000009c: PUSH2 0x00a3 0000009f: PUSH2 0x0124 000000a2: JUMP 000000a3: JUMPDEST 000000a4: STOP 000000a5: JUMPDEST 000000a6: CALLVALUE 000000a7: DUP1 000000a8: ISZERO 000000a9: PUSH2 0x00b1 000000ac: JUMPI 000000ad: PUSH1 0x00 000000af: DUP1 000000b0: REVERT 000000b1: JUMPDEST 000000b2: POP 000000b3: PUSH2 0x00ba 000000b6: PUSH2 0x01bc 000000b9: JUMP 000000ba: JUMPDEST 000000bb: PUSH1 0x40 000000bd: MLOAD 000000be: PUSH2 0x00c7 000000c1: SWAP2 000000c2: SWAP1 000000c3: PUSH2 0x04ed 000000c6: JUMP 000000c7: JUMPDEST 000000c8: PUSH1 0x40 000000ca: MLOAD 000000cb: DUP1 000000cc: SWAP2 000000cd: SUB 000000ce: SWAP1 000000cf: RETURN 000000d0: JUMPDEST 000000d1: CALLVALUE 000000d2: DUP1 000000d3: ISZERO 000000d4: PUSH2 0x00dc 000000d7: JUMPI 000000d8: PUSH1 0x00 000000da: DUP1 000000db: REVERT 000000dc: JUMPDEST 000000dd: POP 000000de: PUSH2 0x00f7 000000e1: PUSH1 0x04 000000e3: DUP1 000000e4: CALLDATASIZE 000000e5: SUB 000000e6: DUP2 000000e7: ADD 000000e8: SWAP1 000000e9: PUSH2 0x00f2 000000ec: SWAP2 000000ed: SWAP1 000000ee: PUSH2 0x041e 000000f1: JUMP 000000f2: JUMPDEST 000000f3: PUSH2 0x020d 000000f6: JUMP 000000f7: JUMPDEST 000000f8: STOP 000000f9: JUMPDEST 000000fa: CALLVALUE 000000fb: DUP1 000000fc: ISZERO 000000fd: PUSH2 0x0105 00000100: JUMPI 00000101: PUSH1 0x00 00000103: DUP1 00000104: REVERT 00000105: JUMPDEST 00000106: POP 00000107: PUSH2 0x010e 0000010a: PUSH2 0x0217 0000010d: JUMP 0000010e: JUMPDEST 0000010f: STOP 00000110: JUMPDEST 00000111: PUSH2 0x0118 00000114: PUSH2 0x0234 00000117: JUMP 00000118: JUMPDEST 00000119: STOP 0000011a: JUMPDEST 0000011b: DUP1 0000011c: PUSH1 0x06 0000011e: DUP2 0000011f: SWAP1 00000120: SSTORE 00000121: POP 00000122: POP 00000123: JUMP 00000124: JUMPDEST 00000125: PUSH1 0x00 00000127: DUP1 00000128: SLOAD 00000129: SWAP1 0000012a: PUSH2 0x0100 0000012d: EXP 0000012e: SWAP1 0000012f: DIV 00000130: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000145: AND 00000146: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000015b: AND 0000015c: CALLER 0000015d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000172: AND 00000173: EQ 00000174: PUSH2 0x01b2 00000177: JUMPI 00000178: PUSH1 0x40 0000017a: MLOAD 0000017b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000019c: DUP2 0000019d: MSTORE 0000019e: PUSH1 0x04 000001a0: ADD 000001a1: PUSH2 0x01a9 000001a4: SWAP1 000001a5: PUSH2 0x04cd 000001a8: JUMP 000001a9: JUMPDEST 000001aa: PUSH1 0x40 000001ac: MLOAD 000001ad: DUP1 000001ae: SWAP2 000001af: SUB 000001b0: SWAP1 000001b1: REVERT 000001b2: JUMPDEST 000001b3: PUSH2 0x01ba 000001b6: PUSH2 0x023e 000001b9: JUMP 000001ba: JUMPDEST 000001bb: JUMP 000001bc: JUMPDEST 000001bd: PUSH1 0x00 000001bf: DUP1 000001c0: PUSH1 0x03 000001c2: SLOAD 000001c3: PUSH1 0x00 000001c5: DUP1 000001c6: SLOAD 000001c7: SWAP1 000001c8: PUSH2 0x0100 000001cb: EXP 000001cc: SWAP1 000001cd: DIV 000001ce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001e3: AND 000001e4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001f9: AND 000001fa: BALANCE 000001fb: PUSH2 0x0204 000001fe: SWAP2 000001ff: SWAP1 00000200: PUSH2 0x0519 00000203: JUMP 00000204: JUMPDEST 00000205: SWAP1 00000206: POP 00000207: DUP1 00000208: SWAP2 00000209: POP 0000020a: POP 0000020b: SWAP1 0000020c: JUMP 0000020d: JUMPDEST 0000020e: DUP1 0000020f: PUSH1 0x05 00000211: DUP2 00000212: SWAP1 00000213: SSTORE 00000214: POP 00000215: POP 00000216: JUMP 00000217: JUMPDEST 00000218: PUSH1 0x00 0000021a: PUSH1 0x04 0000021c: PUSH1 0x00 0000021e: PUSH2 0x0100 00000221: EXP 00000222: DUP2 00000223: SLOAD 00000224: DUP2 00000225: PUSH1 0xff 00000227: MUL 00000228: NOT 00000229: AND 0000022a: SWAP1 0000022b: DUP4 0000022c: ISZERO 0000022d: ISZERO 0000022e: MUL 0000022f: OR 00000230: SWAP1 00000231: SSTORE 00000232: POP 00000233: JUMP 00000234: JUMPDEST 00000235: PUSH2 0x023c 00000238: PUSH2 0x0315 0000023b: JUMP 0000023c: JUMPDEST 0000023d: JUMP 0000023e: JUMPDEST 0000023f: PUSH1 0x00 00000241: DUP1 00000242: SLOAD 00000243: SWAP1 00000244: PUSH2 0x0100 00000247: EXP 00000248: SWAP1 00000249: DIV 0000024a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000025f: AND 00000260: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000275: AND 00000276: CALLER 00000277: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000028c: AND 0000028d: EQ 0000028e: PUSH2 0x02cc 00000291: JUMPI 00000292: PUSH1 0x40 00000294: MLOAD 00000295: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000002b6: DUP2 000002b7: MSTORE 000002b8: PUSH1 0x04 000002ba: ADD 000002bb: PUSH2 0x02c3 000002be: SWAP1 000002bf: PUSH2 0x04cd 000002c2: JUMP 000002c3: JUMPDEST 000002c4: PUSH1 0x40 000002c6: MLOAD 000002c7: DUP1 000002c8: SWAP2 000002c9: SUB 000002ca: SWAP1 000002cb: REVERT 000002cc: JUMPDEST 000002cd: CALLER 000002ce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002e3: AND 000002e4: PUSH2 0x08fc 000002e7: SELFBALANCE 000002e8: SWAP1 000002e9: DUP2 000002ea: ISZERO 000002eb: MUL 000002ec: SWAP1 000002ed: PUSH1 0x40 000002ef: MLOAD 000002f0: PUSH1 0x00 000002f2: PUSH1 0x40 000002f4: MLOAD 000002f5: DUP1 000002f6: DUP4 000002f7: SUB 000002f8: DUP2 000002f9: DUP6 000002fa: DUP9 000002fb: DUP9 000002fc: CALL 000002fd: SWAP4 000002fe: POP 000002ff: POP 00000300: POP 00000301: POP 00000302: ISZERO 00000303: DUP1 00000304: ISZERO 00000305: PUSH2 0x0312 00000308: JUMPI 00000309: RETURNDATASIZE 0000030a: PUSH1 0x00 0000030c: DUP1 0000030d: RETURNDATACOPY 0000030e: RETURNDATASIZE 0000030f: PUSH1 0x00 00000311: REVERT 00000312: JUMPDEST 00000313: POP 00000314: JUMP 00000315: JUMPDEST 00000316: PUSH1 0x00 00000318: PUSH2 0x0325 0000031b: PUSH1 0x09 0000031d: SLOAD 0000031e: PUSH1 0x0a 00000320: SLOAD 00000321: PUSH2 0x03f6 00000324: JUMP 00000325: JUMPDEST 00000326: SWAP1 00000327: POP 00000328: PUSH1 0x00 0000032a: PUSH2 0x0337 0000032d: PUSH1 0x07 0000032f: SLOAD 00000330: PUSH1 0x08 00000332: SLOAD 00000333: PUSH2 0x03f6 00000336: JUMP 00000337: JUMPDEST 00000338: SWAP1 00000339: POP 0000033a: DUP1 0000033b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000350: AND 00000351: PUSH4 0xe26d7a70 00000356: CALLER 00000357: DUP5 00000358: PUSH1 0x00 0000035a: SELFBALANCE 0000035b: PUSH1 0x40 0000035d: MLOAD 0000035e: DUP6 0000035f: PUSH4 0xffffffff 00000364: AND 00000365: PUSH1 0xe0 00000367: SHL 00000368: DUP2 00000369: MSTORE 0000036a: PUSH1 0x04 0000036c: ADD 0000036d: PUSH2 0x0379 00000370: SWAP5 00000371: SWAP4 00000372: SWAP3 00000373: SWAP2 00000374: SWAP1 00000375: PUSH2 0x0488 00000378: JUMP 00000379: JUMPDEST 0000037a: PUSH1 0x00 0000037c: PUSH1 0x40 0000037e: MLOAD 0000037f: DUP1 00000380: DUP4 00000381: SUB 00000382: DUP2 00000383: PUSH1 0x00 00000385: DUP8 00000386: DUP1 00000387: EXTCODESIZE 00000388: ISZERO 00000389: DUP1 0000038a: ISZERO 0000038b: PUSH2 0x0393 0000038e: JUMPI 0000038f: PUSH1 0x00 00000391: DUP1 00000392: REVERT 00000393: JUMPDEST 00000394: POP 00000395: GAS 00000396: CALL 00000397: ISZERO 00000398: DUP1 00000399: ISZERO 0000039a: PUSH2 0x03a7 0000039d: JUMPI 0000039e: RETURNDATASIZE 0000039f: PUSH1 0x00 000003a1: DUP1 000003a2: RETURNDATACOPY 000003a3: RETURNDATASIZE 000003a4: PUSH1 0x00 000003a6: REVERT 000003a7: JUMPDEST 000003a8: POP 000003a9: POP 000003aa: POP 000003ab: POP 000003ac: DUP2 000003ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003c2: AND 000003c3: PUSH2 0x08fc 000003c6: SELFBALANCE 000003c7: SWAP1 000003c8: DUP2 000003c9: ISZERO 000003ca: MUL 000003cb: SWAP1 000003cc: PUSH1 0x40 000003ce: MLOAD 000003cf: PUSH1 0x00 000003d1: PUSH1 0x40 000003d3: MLOAD 000003d4: DUP1 000003d5: DUP4 000003d6: SUB 000003d7: DUP2 000003d8: DUP6 000003d9: DUP9 000003da: DUP9 000003db: CALL 000003dc: SWAP4 000003dd: POP 000003de: POP 000003df: POP 000003e0: POP 000003e1: ISZERO 000003e2: DUP1 000003e3: ISZERO 000003e4: PUSH2 0x03f1 000003e7: JUMPI 000003e8: RETURNDATASIZE 000003e9: PUSH1 0x00 000003eb: DUP1 000003ec: RETURNDATACOPY 000003ed: RETURNDATASIZE 000003ee: PUSH1 0x00 000003f0: REVERT 000003f1: JUMPDEST 000003f2: POP 000003f3: POP 000003f4: POP 000003f5: JUMP 000003f6: JUMPDEST 000003f7: PUSH1 0x00 000003f9: DUP2 000003fa: PUSH1 0x00 000003fc: SHR 000003fd: DUP4 000003fe: PUSH1 0x00 00000400: SHR 00000401: XOR 00000402: SWAP1 00000403: POP 00000404: SWAP3 00000405: SWAP2 00000406: POP 00000407: POP 00000408: JUMP 00000409: JUMPDEST 0000040a: PUSH1 0x00 0000040c: DUP2 0000040d: CALLDATALOAD 0000040e: SWAP1 0000040f: POP 00000410: PUSH2 0x0418 00000413: DUP2 00000414: PUSH2 0x05e1 00000417: JUMP 00000418: JUMPDEST 00000419: SWAP3 0000041a: SWAP2 0000041b: POP 0000041c: POP 0000041d: JUMP 0000041e: JUMPDEST 0000041f: PUSH1 0x00 00000421: PUSH1 0x20 00000423: DUP3 00000424: DUP5 00000425: SUB 00000426: SLT 00000427: ISZERO 00000428: PUSH2 0x0430 0000042b: JUMPI 0000042c: PUSH1 0x00 0000042e: DUP1 0000042f: REVERT 00000430: JUMPDEST 00000431: PUSH1 0x00 00000433: PUSH2 0x043e 00000436: DUP5 00000437: DUP3 00000438: DUP6 00000439: ADD 0000043a: PUSH2 0x0409 0000043d: JUMP 0000043e: JUMPDEST 0000043f: SWAP2 00000440: POP 00000441: POP 00000442: SWAP3 00000443: SWAP2 00000444: POP 00000445: POP 00000446: JUMP 00000447: JUMPDEST 00000448: PUSH2 0x0450 0000044b: DUP2 0000044c: PUSH2 0x054d 0000044f: JUMP 00000450: JUMPDEST 00000451: DUP3 00000452: MSTORE 00000453: POP 00000454: POP 00000455: JUMP 00000456: JUMPDEST 00000457: PUSH1 0x00 00000459: PUSH2 0x0463 0000045c: PUSH1 0x20 0000045e: DUP4 0000045f: PUSH2 0x0508 00000462: JUMP 00000463: JUMPDEST 00000464: SWAP2 00000465: POP 00000466: PUSH2 0x046e 00000469: DUP3 0000046a: PUSH2 0x05b8 0000046d: JUMP 0000046e: JUMPDEST 0000046f: PUSH1 0x20 00000471: DUP3 00000472: ADD 00000473: SWAP1 00000474: POP 00000475: SWAP2 00000476: SWAP1 00000477: POP 00000478: JUMP 00000479: JUMPDEST 0000047a: PUSH2 0x0482 0000047d: DUP2 0000047e: PUSH2 0x057f 00000481: JUMP 00000482: JUMPDEST 00000483: DUP3 00000484: MSTORE 00000485: POP 00000486: POP 00000487: JUMP 00000488: JUMPDEST 00000489: PUSH1 0x00 0000048b: PUSH1 0x80 0000048d: DUP3 0000048e: ADD 0000048f: SWAP1 00000490: POP 00000491: PUSH2 0x049d 00000494: PUSH1 0x00 00000496: DUP4 00000497: ADD 00000498: DUP8 00000499: PUSH2 0x0447 0000049c: JUMP 0000049d: JUMPDEST 0000049e: PUSH2 0x04aa 000004a1: PUSH1 0x20 000004a3: DUP4 000004a4: ADD 000004a5: DUP7 000004a6: PUSH2 0x0447 000004a9: JUMP 000004aa: JUMPDEST 000004ab: PUSH2 0x04b7 000004ae: PUSH1 0x40 000004b0: DUP4 000004b1: ADD 000004b2: DUP6 000004b3: PUSH2 0x0447 000004b6: JUMP 000004b7: JUMPDEST 000004b8: PUSH2 0x04c4 000004bb: PUSH1 0x60 000004bd: DUP4 000004be: ADD 000004bf: DUP5 000004c0: PUSH2 0x0479 000004c3: JUMP 000004c4: JUMPDEST 000004c5: SWAP6 000004c6: SWAP5 000004c7: POP 000004c8: POP 000004c9: POP 000004ca: POP 000004cb: POP 000004cc: JUMP 000004cd: JUMPDEST 000004ce: PUSH1 0x00 000004d0: PUSH1 0x20 000004d2: DUP3 000004d3: ADD 000004d4: SWAP1 000004d5: POP 000004d6: DUP2 000004d7: DUP2 000004d8: SUB 000004d9: PUSH1 0x00 000004db: DUP4 000004dc: ADD 000004dd: MSTORE 000004de: PUSH2 0x04e6 000004e1: DUP2 000004e2: PUSH2 0x0456 000004e5: JUMP 000004e6: JUMPDEST 000004e7: SWAP1 000004e8: POP 000004e9: SWAP2 000004ea: SWAP1 000004eb: POP 000004ec: JUMP 000004ed: JUMPDEST 000004ee: PUSH1 0x00 000004f0: PUSH1 0x20 000004f2: DUP3 000004f3: ADD 000004f4: SWAP1 000004f5: POP 000004f6: PUSH2 0x0502 000004f9: PUSH1 0x00 000004fb: DUP4 000004fc: ADD 000004fd: DUP5 000004fe: PUSH2 0x0479 00000501: JUMP 00000502: JUMPDEST 00000503: SWAP3 00000504: SWAP2 00000505: POP 00000506: POP 00000507: JUMP 00000508: JUMPDEST 00000509: PUSH1 0x00 0000050b: DUP3 0000050c: DUP3 0000050d: MSTORE 0000050e: PUSH1 0x20 00000510: DUP3 00000511: ADD 00000512: SWAP1 00000513: POP 00000514: SWAP3 00000515: SWAP2 00000516: POP 00000517: POP 00000518: JUMP 00000519: JUMPDEST 0000051a: PUSH1 0x00 0000051c: PUSH2 0x0524 0000051f: DUP3 00000520: PUSH2 0x057f 00000523: JUMP 00000524: JUMPDEST 00000525: SWAP2 00000526: POP 00000527: PUSH2 0x052f 0000052a: DUP4 0000052b: PUSH2 0x057f 0000052e: JUMP 0000052f: JUMPDEST 00000530: SWAP3 00000531: POP 00000532: DUP3 00000533: DUP3 00000534: LT 00000535: ISZERO 00000536: PUSH2 0x0542 00000539: JUMPI 0000053a: PUSH2 0x0541 0000053d: PUSH2 0x0589 00000540: JUMP 00000541: JUMPDEST 00000542: JUMPDEST 00000543: DUP3 00000544: DUP3 00000545: SUB 00000546: SWAP1 00000547: POP 00000548: SWAP3 00000549: SWAP2 0000054a: POP 0000054b: POP 0000054c: JUMP 0000054d: JUMPDEST 0000054e: PUSH1 0x00 00000550: PUSH2 0x0558 00000553: DUP3 00000554: PUSH2 0x055f 00000557: JUMP 00000558: JUMPDEST 00000559: SWAP1 0000055a: POP 0000055b: SWAP2 0000055c: SWAP1 0000055d: POP 0000055e: JUMP 0000055f: JUMPDEST 00000560: PUSH1 0x00 00000562: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000577: DUP3 00000578: AND 00000579: SWAP1 0000057a: POP 0000057b: SWAP2 0000057c: SWAP1 0000057d: POP 0000057e: JUMP 0000057f: JUMPDEST 00000580: PUSH1 0x00 00000582: DUP2 00000583: SWAP1 00000584: POP 00000585: SWAP2 00000586: SWAP1 00000587: POP 00000588: JUMP 00000589: JUMPDEST 0000058a: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000005ab: PUSH1 0x00 000005ad: MSTORE 000005ae: PUSH1 0x11 000005b0: PUSH1 0x04 000005b2: MSTORE 000005b3: PUSH1 0x24 000005b5: PUSH1 0x00 000005b7: REVERT 000005b8: JUMPDEST 000005b9: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 000005da: PUSH1 0x00 000005dc: DUP3 000005dd: ADD 000005de: MSTORE 000005df: POP 000005e0: JUMP 000005e1: JUMPDEST 000005e2: PUSH2 0x05ea 000005e5: DUP2 000005e6: PUSH2 0x057f 000005e9: JUMP 000005ea: JUMPDEST 000005eb: DUP2 000005ec: EQ 000005ed: PUSH2 0x05f5 000005f0: JUMPI 000005f1: PUSH1 0x00 000005f3: DUP1 000005f4: REVERT 000005f5: JUMPDEST 000005f6: POP 000005f7: JUMP 000005f8: INVALID 000005f9: LOG2 000005fa: PUSH5 0x6970667358 00000600: UNKNOWN(0x22) 00000601: SLT 00000602: KECCAK256 00000603: UNKNOWN(0xC9) 00000604: UNKNOWN(0xAC) 00000605: UNKNOWN(0xE8) 00000606: UNKNOWN(0xED) 00000607: DUP1 00000608: UNKNOWN(0x0E) 00000609: DUP9 0000060a: UNKNOWN(0xD0) 0000060b: POP 0000060c: LOG1 0000060d: PUSH6 0xf9c0e3edb7c5 00000614: SWAP11 00000615: PUSH13 0xebf8e6d30eeff5ca0557a57630 00000623: PUSH5 0x736f6c6343 00000629: STOP 0000062a: ADDMOD 0000062b: DIV 0000062c: STOP 0000062d: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xc1363af3f3fbd5c5c2521eb14d282829d874b9a119268a88983d724731520776
call_targets:
0x3c4d9f01a6c5719de6c1f4426e252995dad5e8cd
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xc1363af3f3fbd5c5c2521eb14d282829d874b9a119268a88983d724731520776",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x3c4d9f01a6c5719de6c1f4426e252995dad5e8cd"
],
"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": "0x2b42b941",
"selector": "0x2b42b941",
"calldata_variants": [
"0x2b42b941",
"0x2b42b9410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x57ea89b6",
"selector": "0x57ea89b6",
"calldata_variants": [
"0x57ea89b6",
"0x57ea89b60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x68c501f1",
"selector": "0x68c501f1",
"calldata_variants": [
"0x68c501f1",
"0x68c501f10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9763d29b",
"selector": "0x9763d29b",
"calldata_variants": [
"0x9763d29b",
"0x9763d29b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbedf0f4a",
"selector": "0xbedf0f4a",
"calldata_variants": [
"0xbedf0f4a",
"0xbedf0f4a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xeaf67ab9",
"selector": "0xeaf67ab9",
"calldata_variants": [
"0xeaf67ab9",
"0xeaf67ab90000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 764,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 918,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 987,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [
{
"pc": 348,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 630,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 3
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xc1363af3f3fbd5c5c2521eb14d282829d874b9a119268a88983d724731520776
call_targets:
0x3c4d9f01a6c5719de6c1f4426e252995dad5e8cd
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xc1363af3f3fbd5c5c2521eb14d282829d874b9a119268a88983d724731520776",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x3c4d9f01a6c5719de6c1f4426e252995dad5e8cd"
],
"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": "0x2b42b941",
"selector": "0x2b42b941",
"calldata_variants": [
"0x2b42b941",
"0x2b42b9410000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x57ea89b6",
"selector": "0x57ea89b6",
"calldata_variants": [
"0x57ea89b6",
"0x57ea89b60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x68c501f1",
"selector": "0x68c501f1",
"calldata_variants": [
"0x68c501f1",
"0x68c501f10000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9763d29b",
"selector": "0x9763d29b",
"calldata_variants": [
"0x9763d29b",
"0x9763d29b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbedf0f4a",
"selector": "0xbedf0f4a",
"calldata_variants": [
"0xbedf0f4a",
"0xbedf0f4a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xeaf67ab9",
"selector": "0xeaf67ab9",
"calldata_variants": [
"0xeaf67ab9",
"0xeaf67ab90000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 764,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 918,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 987,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": [
{
"pc": 348,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 630,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|