019b477e-b0f2-7222-aa3f-f3e60749dd1b
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 |
|---|---|---|---|---|
| 22065 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 22066 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 89273 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 89274 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 89275 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 89276 | 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 0x00a3 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000030: PUSH1 0x00 00000032: CALLDATALOAD 00000033: DIV 00000034: AND 00000035: PUSH4 0x2d806cdd 0000003a: DUP2 0000003b: EQ 0000003c: PUSH2 0x0334 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x4ab89400 00000046: EQ 00000047: PUSH2 0x034a 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x5e35359e 00000051: EQ 00000052: PUSH2 0x036b 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x79ba5097 0000005c: EQ 0000005d: PUSH2 0x03a9 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x8da5cb5b 00000067: EQ 00000068: PUSH2 0x03be 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0xbc3da535 00000072: EQ 00000073: PUSH2 0x03ef 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0xd4ee1d90 0000007d: EQ 0000007e: PUSH2 0x0422 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0xd84bd737 00000088: EQ 00000089: PUSH2 0x0437 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0xf2fde38b 00000093: EQ 00000094: PUSH2 0x044c 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0xf3fef3a3 0000009e: EQ 0000009f: PUSH2 0x046d 000000a2: JUMPI 000000a3: JUMPDEST 000000a4: CALLVALUE 000000a5: DUP1 000000a6: ISZERO 000000a7: PUSH2 0x00af 000000aa: JUMPI 000000ab: PUSH1 0x00 000000ad: DUP1 000000ae: REVERT 000000af: JUMPDEST 000000b0: POP 000000b1: PUSH1 0x00 000000b3: DUP1 000000b4: CALLER 000000b5: ORIGIN 000000b6: EQ 000000b7: PUSH2 0x010a 000000ba: JUMPI 000000bb: PUSH1 0x40 000000bd: DUP1 000000be: MLOAD 000000bf: PUSH1 0xe5 000000c1: PUSH1 0x02 000000c3: EXP 000000c4: PUSH3 0x461bcd 000000c8: MUL 000000c9: DUP2 000000ca: MSTORE 000000cb: PUSH1 0x20 000000cd: PUSH1 0x04 000000cf: DUP3 000000d0: ADD 000000d1: MSTORE 000000d2: PUSH1 0x16 000000d4: PUSH1 0x24 000000d6: DUP3 000000d7: ADD 000000d8: MSTORE 000000d9: PUSH32 0x6d73672e73656e646572203d3d2074782e6f7267696e00000000000000000000 000000fa: PUSH1 0x44 000000fc: DUP3 000000fd: ADD 000000fe: MSTORE 000000ff: SWAP1 00000100: MLOAD 00000101: SWAP1 00000102: DUP2 00000103: SWAP1 00000104: SUB 00000105: PUSH1 0x64 00000107: ADD 00000108: SWAP1 00000109: REVERT 0000010a: JUMPDEST 0000010b: PUSH1 0x02 0000010d: SLOAD 0000010e: PUSH1 0x40 00000110: DUP1 00000111: MLOAD 00000112: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000 00000133: DUP2 00000134: MSTORE 00000135: CALLER 00000136: PUSH1 0x04 00000138: DUP3 00000139: ADD 0000013a: MSTORE 0000013b: SWAP1 0000013c: MLOAD 0000013d: PUSH1 0x01 0000013f: PUSH1 0xa0 00000141: PUSH1 0x02 00000143: EXP 00000144: SUB 00000145: SWAP1 00000146: SWAP3 00000147: AND 00000148: SWAP2 00000149: PUSH4 0x70a08231 0000014e: SWAP2 0000014f: PUSH1 0x24 00000151: DUP1 00000152: DUP3 00000153: ADD 00000154: SWAP3 00000155: PUSH1 0x20 00000157: SWAP3 00000158: SWAP1 00000159: SWAP2 0000015a: SWAP1 0000015b: DUP3 0000015c: SWAP1 0000015d: SUB 0000015e: ADD 0000015f: DUP2 00000160: PUSH1 0x00 00000162: DUP8 00000163: DUP1 00000164: EXTCODESIZE 00000165: ISZERO 00000166: DUP1 00000167: ISZERO 00000168: PUSH2 0x0170 0000016b: JUMPI 0000016c: PUSH1 0x00 0000016e: DUP1 0000016f: REVERT 00000170: JUMPDEST 00000171: POP 00000172: GAS 00000173: CALL 00000174: ISZERO 00000175: DUP1 00000176: ISZERO 00000177: PUSH2 0x0184 0000017a: JUMPI 0000017b: RETURNDATASIZE 0000017c: PUSH1 0x00 0000017e: DUP1 0000017f: RETURNDATACOPY 00000180: RETURNDATASIZE 00000181: PUSH1 0x00 00000183: REVERT 00000184: JUMPDEST 00000185: POP 00000186: POP 00000187: POP 00000188: POP 00000189: PUSH1 0x40 0000018b: MLOAD 0000018c: RETURNDATASIZE 0000018d: PUSH1 0x20 0000018f: DUP2 00000190: LT 00000191: ISZERO 00000192: PUSH2 0x019a 00000195: JUMPI 00000196: PUSH1 0x00 00000198: DUP1 00000199: REVERT 0000019a: JUMPDEST 0000019b: POP 0000019c: MLOAD 0000019d: SWAP2 0000019e: POP 0000019f: PUSH1 0x00 000001a1: DUP3 000001a2: GT 000001a3: PUSH2 0x01f6 000001a6: JUMPI 000001a7: PUSH1 0x40 000001a9: DUP1 000001aa: MLOAD 000001ab: PUSH1 0xe5 000001ad: PUSH1 0x02 000001af: EXP 000001b0: PUSH3 0x461bcd 000001b4: MUL 000001b5: DUP2 000001b6: MSTORE 000001b7: PUSH1 0x20 000001b9: PUSH1 0x04 000001bb: DUP3 000001bc: ADD 000001bd: MSTORE 000001be: PUSH1 0x0e 000001c0: PUSH1 0x24 000001c2: DUP3 000001c3: ADD 000001c4: MSTORE 000001c5: PUSH32 0x7863635f616d6f756e74203e2030000000000000000000000000000000000000 000001e6: PUSH1 0x44 000001e8: DUP3 000001e9: ADD 000001ea: MSTORE 000001eb: SWAP1 000001ec: MLOAD 000001ed: SWAP1 000001ee: DUP2 000001ef: SWAP1 000001f0: SUB 000001f1: PUSH1 0x64 000001f3: ADD 000001f4: SWAP1 000001f5: REVERT 000001f6: JUMPDEST 000001f7: POP 000001f8: CALLER 000001f9: PUSH1 0x00 000001fb: SWAP1 000001fc: DUP2 000001fd: MSTORE 000001fe: PUSH1 0x03 00000200: PUSH1 0x20 00000202: MSTORE 00000203: PUSH1 0x40 00000205: DUP2 00000206: KECCAK256 00000207: SLOAD 00000208: SWAP1 00000209: DUP2 0000020a: GT 0000020b: PUSH2 0x025e 0000020e: JUMPI 0000020f: PUSH1 0x40 00000211: DUP1 00000212: MLOAD 00000213: PUSH1 0xe5 00000215: PUSH1 0x02 00000217: EXP 00000218: PUSH3 0x461bcd 0000021c: MUL 0000021d: DUP2 0000021e: MSTORE 0000021f: PUSH1 0x20 00000221: PUSH1 0x04 00000223: DUP3 00000224: ADD 00000225: MSTORE 00000226: PUSH1 0x09 00000228: PUSH1 0x24 0000022a: DUP3 0000022b: ADD 0000022c: MSTORE 0000022d: PUSH32 0x6d6f6e6579203e20300000000000000000000000000000000000000000000000 0000024e: PUSH1 0x44 00000250: DUP3 00000251: ADD 00000252: MSTORE 00000253: SWAP1 00000254: MLOAD 00000255: SWAP1 00000256: DUP2 00000257: SWAP1 00000258: SUB 00000259: PUSH1 0x64 0000025b: ADD 0000025c: SWAP1 0000025d: REVERT 0000025e: JUMPDEST 0000025f: CALLER 00000260: PUSH1 0x00 00000262: SWAP1 00000263: DUP2 00000264: MSTORE 00000265: PUSH1 0x03 00000267: PUSH1 0x20 00000269: SWAP1 0000026a: DUP2 0000026b: MSTORE 0000026c: PUSH1 0x40 0000026e: DUP1 0000026f: DUP4 00000270: KECCAK256 00000271: DUP4 00000272: SWAP1 00000273: SSTORE 00000274: PUSH1 0x02 00000276: SLOAD 00000277: DUP2 00000278: MLOAD 00000279: PUSH32 0x55684aa600000000000000000000000000000000000000000000000000000000 0000029a: DUP2 0000029b: MSTORE 0000029c: PUSH1 0x04 0000029e: DUP2 0000029f: ADD 000002a0: DUP8 000002a1: SWAP1 000002a2: MSTORE 000002a3: SWAP2 000002a4: MLOAD 000002a5: PUSH1 0x01 000002a7: PUSH1 0xa0 000002a9: PUSH1 0x02 000002ab: EXP 000002ac: SUB 000002ad: SWAP1 000002ae: SWAP2 000002af: AND 000002b0: SWAP4 000002b1: PUSH4 0x55684aa6 000002b6: SWAP4 000002b7: PUSH1 0x24 000002b9: DUP1 000002ba: DUP6 000002bb: ADD 000002bc: SWAP5 000002bd: SWAP2 000002be: SWAP4 000002bf: SWAP3 000002c0: SWAP2 000002c1: DUP4 000002c2: SWAP1 000002c3: SUB 000002c4: ADD 000002c5: SWAP1 000002c6: DUP3 000002c7: SWAP1 000002c8: DUP8 000002c9: DUP1 000002ca: EXTCODESIZE 000002cb: ISZERO 000002cc: DUP1 000002cd: ISZERO 000002ce: PUSH2 0x02d6 000002d1: JUMPI 000002d2: PUSH1 0x00 000002d4: DUP1 000002d5: REVERT 000002d6: JUMPDEST 000002d7: POP 000002d8: GAS 000002d9: CALL 000002da: ISZERO 000002db: DUP1 000002dc: ISZERO 000002dd: PUSH2 0x02ea 000002e0: JUMPI 000002e1: RETURNDATASIZE 000002e2: PUSH1 0x00 000002e4: DUP1 000002e5: RETURNDATACOPY 000002e6: RETURNDATASIZE 000002e7: PUSH1 0x00 000002e9: REVERT 000002ea: JUMPDEST 000002eb: POP 000002ec: POP 000002ed: POP 000002ee: POP 000002ef: PUSH1 0x40 000002f1: MLOAD 000002f2: RETURNDATASIZE 000002f3: PUSH1 0x20 000002f5: DUP2 000002f6: LT 000002f7: ISZERO 000002f8: PUSH2 0x0300 000002fb: JUMPI 000002fc: PUSH1 0x00 000002fe: DUP1 000002ff: REVERT 00000300: JUMPDEST 00000301: POP 00000302: POP 00000303: PUSH1 0x40 00000305: MLOAD 00000306: CALLER 00000307: SWAP1 00000308: DUP3 00000309: ISZERO 0000030a: PUSH2 0x08fc 0000030d: MUL 0000030e: SWAP1 0000030f: DUP4 00000310: SWAP1 00000311: PUSH1 0x00 00000313: DUP2 00000314: DUP2 00000315: DUP2 00000316: DUP6 00000317: DUP9 00000318: DUP9 00000319: CALL 0000031a: SWAP4 0000031b: POP 0000031c: POP 0000031d: POP 0000031e: POP 0000031f: ISZERO 00000320: DUP1 00000321: ISZERO 00000322: PUSH2 0x032f 00000325: JUMPI 00000326: RETURNDATASIZE 00000327: PUSH1 0x00 00000329: DUP1 0000032a: RETURNDATACOPY 0000032b: RETURNDATASIZE 0000032c: PUSH1 0x00 0000032e: REVERT 0000032f: JUMPDEST 00000330: POP 00000331: POP 00000332: POP 00000333: STOP 00000334: JUMPDEST 00000335: PUSH2 0x0348 00000338: PUSH1 0x01 0000033a: PUSH1 0xa0 0000033c: PUSH1 0x02 0000033e: EXP 0000033f: SUB 00000340: PUSH1 0x04 00000342: CALLDATALOAD 00000343: AND 00000344: PUSH2 0x0491 00000347: JUMP 00000348: JUMPDEST 00000349: STOP 0000034a: JUMPDEST 0000034b: CALLVALUE 0000034c: DUP1 0000034d: ISZERO 0000034e: PUSH2 0x0356 00000351: JUMPI 00000352: PUSH1 0x00 00000354: DUP1 00000355: REVERT 00000356: JUMPDEST 00000357: POP 00000358: PUSH2 0x0348 0000035b: PUSH1 0x01 0000035d: PUSH1 0xa0 0000035f: PUSH1 0x02 00000361: EXP 00000362: SUB 00000363: PUSH1 0x04 00000365: CALLDATALOAD 00000366: AND 00000367: PUSH2 0x0526 0000036a: JUMP 0000036b: JUMPDEST 0000036c: CALLVALUE 0000036d: DUP1 0000036e: ISZERO 0000036f: PUSH2 0x0377 00000372: JUMPI 00000373: PUSH1 0x00 00000375: DUP1 00000376: REVERT 00000377: JUMPDEST 00000378: POP 00000379: PUSH2 0x0395 0000037c: PUSH1 0x01 0000037e: PUSH1 0xa0 00000380: PUSH1 0x02 00000382: EXP 00000383: SUB 00000384: PUSH1 0x04 00000386: CALLDATALOAD 00000387: DUP2 00000388: AND 00000389: SWAP1 0000038a: PUSH1 0x24 0000038c: CALLDATALOAD 0000038d: AND 0000038e: PUSH1 0x44 00000390: CALLDATALOAD 00000391: PUSH2 0x0638 00000394: JUMP 00000395: JUMPDEST 00000396: PUSH1 0x40 00000398: DUP1 00000399: MLOAD 0000039a: SWAP2 0000039b: ISZERO 0000039c: ISZERO 0000039d: DUP3 0000039e: MSTORE 0000039f: MLOAD 000003a0: SWAP1 000003a1: DUP2 000003a2: SWAP1 000003a3: SUB 000003a4: PUSH1 0x20 000003a6: ADD 000003a7: SWAP1 000003a8: RETURN 000003a9: JUMPDEST 000003aa: CALLVALUE 000003ab: DUP1 000003ac: ISZERO 000003ad: PUSH2 0x03b5 000003b0: JUMPI 000003b1: PUSH1 0x00 000003b3: DUP1 000003b4: REVERT 000003b5: JUMPDEST 000003b6: POP 000003b7: PUSH2 0x0348 000003ba: PUSH2 0x0739 000003bd: JUMP 000003be: JUMPDEST 000003bf: CALLVALUE 000003c0: DUP1 000003c1: ISZERO 000003c2: PUSH2 0x03ca 000003c5: JUMPI 000003c6: PUSH1 0x00 000003c8: DUP1 000003c9: REVERT 000003ca: JUMPDEST 000003cb: POP 000003cc: PUSH2 0x03d3 000003cf: PUSH2 0x0800 000003d2: JUMP 000003d3: JUMPDEST 000003d4: PUSH1 0x40 000003d6: DUP1 000003d7: MLOAD 000003d8: PUSH1 0x01 000003da: PUSH1 0xa0 000003dc: PUSH1 0x02 000003de: EXP 000003df: SUB 000003e0: SWAP1 000003e1: SWAP3 000003e2: AND 000003e3: DUP3 000003e4: MSTORE 000003e5: MLOAD 000003e6: SWAP1 000003e7: DUP2 000003e8: SWAP1 000003e9: SUB 000003ea: PUSH1 0x20 000003ec: ADD 000003ed: SWAP1 000003ee: RETURN 000003ef: JUMPDEST 000003f0: CALLVALUE 000003f1: DUP1 000003f2: ISZERO 000003f3: PUSH2 0x03fb 000003f6: JUMPI 000003f7: PUSH1 0x00 000003f9: DUP1 000003fa: REVERT 000003fb: JUMPDEST 000003fc: POP 000003fd: PUSH2 0x0410 00000400: PUSH1 0x01 00000402: PUSH1 0xa0 00000404: PUSH1 0x02 00000406: EXP 00000407: SUB 00000408: PUSH1 0x04 0000040a: CALLDATALOAD 0000040b: AND 0000040c: PUSH2 0x080f 0000040f: JUMP 00000410: JUMPDEST 00000411: PUSH1 0x40 00000413: DUP1 00000414: MLOAD 00000415: SWAP2 00000416: DUP3 00000417: MSTORE 00000418: MLOAD 00000419: SWAP1 0000041a: DUP2 0000041b: SWAP1 0000041c: SUB 0000041d: PUSH1 0x20 0000041f: ADD 00000420: SWAP1 00000421: RETURN 00000422: JUMPDEST 00000423: CALLVALUE 00000424: DUP1 00000425: ISZERO 00000426: PUSH2 0x042e 00000429: JUMPI 0000042a: PUSH1 0x00 0000042c: DUP1 0000042d: REVERT 0000042e: JUMPDEST 0000042f: POP 00000430: PUSH2 0x03d3 00000433: PUSH2 0x0821 00000436: JUMP 00000437: JUMPDEST 00000438: CALLVALUE 00000439: DUP1 0000043a: ISZERO 0000043b: PUSH2 0x0443 0000043e: JUMPI 0000043f: PUSH1 0x00 00000441: DUP1 00000442: REVERT 00000443: JUMPDEST 00000444: POP 00000445: PUSH2 0x03d3 00000448: PUSH2 0x0830 0000044b: JUMP 0000044c: JUMPDEST 0000044d: CALLVALUE 0000044e: DUP1 0000044f: ISZERO 00000450: PUSH2 0x0458 00000453: JUMPI 00000454: PUSH1 0x00 00000456: DUP1 00000457: REVERT 00000458: JUMPDEST 00000459: POP 0000045a: PUSH2 0x0348 0000045d: PUSH1 0x01 0000045f: PUSH1 0xa0 00000461: PUSH1 0x02 00000463: EXP 00000464: SUB 00000465: PUSH1 0x04 00000467: CALLDATALOAD 00000468: AND 00000469: PUSH2 0x083f 0000046c: JUMP 0000046d: JUMPDEST 0000046e: CALLVALUE 0000046f: DUP1 00000470: ISZERO 00000471: PUSH2 0x0479 00000474: JUMPI 00000475: PUSH1 0x00 00000477: DUP1 00000478: REVERT 00000479: JUMPDEST 0000047a: POP 0000047b: PUSH2 0x0348 0000047e: PUSH1 0x01 00000480: PUSH1 0xa0 00000482: PUSH1 0x02 00000484: EXP 00000485: SUB 00000486: PUSH1 0x04 00000488: CALLDATALOAD 00000489: AND 0000048a: PUSH1 0x24 0000048c: CALLDATALOAD 0000048d: PUSH2 0x091e 00000490: JUMP 00000491: JUMPDEST 00000492: PUSH1 0x00 00000494: SLOAD 00000495: PUSH1 0x01 00000497: PUSH1 0xa0 00000499: PUSH1 0x02 0000049b: EXP 0000049c: SUB 0000049d: AND 0000049e: CALLER 0000049f: EQ 000004a0: PUSH2 0x04e1 000004a3: JUMPI 000004a4: PUSH1 0x40 000004a6: DUP1 000004a7: MLOAD 000004a8: PUSH1 0xe5 000004aa: PUSH1 0x02 000004ac: EXP 000004ad: PUSH3 0x461bcd 000004b1: MUL 000004b2: DUP2 000004b3: MSTORE 000004b4: PUSH1 0x20 000004b6: PUSH1 0x04 000004b8: DUP3 000004b9: ADD 000004ba: MSTORE 000004bb: PUSH1 0x13 000004bd: PUSH1 0x24 000004bf: DUP3 000004c0: ADD 000004c1: MSTORE 000004c2: PUSH1 0x00 000004c4: DUP1 000004c5: MLOAD 000004c6: PUSH1 0x20 000004c8: PUSH2 0x09b8 000004cb: DUP4 000004cc: CODECOPY 000004cd: DUP2 000004ce: MLOAD 000004cf: SWAP2 000004d0: MSTORE 000004d1: PUSH1 0x44 000004d3: DUP3 000004d4: ADD 000004d5: MSTORE 000004d6: SWAP1 000004d7: MLOAD 000004d8: SWAP1 000004d9: DUP2 000004da: SWAP1 000004db: SUB 000004dc: PUSH1 0x64 000004de: ADD 000004df: SWAP1 000004e0: REVERT 000004e1: JUMPDEST 000004e2: PUSH1 0x01 000004e4: PUSH1 0xa0 000004e6: PUSH1 0x02 000004e8: EXP 000004e9: SUB 000004ea: DUP2 000004eb: AND 000004ec: PUSH1 0x00 000004ee: SWAP1 000004ef: DUP2 000004f0: MSTORE 000004f1: PUSH1 0x03 000004f3: PUSH1 0x20 000004f5: MSTORE 000004f6: PUSH1 0x40 000004f8: SWAP1 000004f9: KECCAK256 000004fa: SLOAD 000004fb: PUSH2 0x050a 000004fe: SWAP1 000004ff: CALLVALUE 00000500: PUSH4 0xffffffff 00000505: PUSH2 0x09a4 00000508: AND 00000509: JUMP 0000050a: JUMPDEST 0000050b: PUSH1 0x01 0000050d: PUSH1 0xa0 0000050f: PUSH1 0x02 00000511: EXP 00000512: SUB 00000513: SWAP1 00000514: SWAP2 00000515: AND 00000516: PUSH1 0x00 00000518: SWAP1 00000519: DUP2 0000051a: MSTORE 0000051b: PUSH1 0x03 0000051d: PUSH1 0x20 0000051f: MSTORE 00000520: PUSH1 0x40 00000522: SWAP1 00000523: KECCAK256 00000524: SSTORE 00000525: JUMP 00000526: JUMPDEST 00000527: PUSH1 0x00 00000529: DUP1 0000052a: SLOAD 0000052b: PUSH1 0x01 0000052d: PUSH1 0xa0 0000052f: PUSH1 0x02 00000531: EXP 00000532: SUB 00000533: AND 00000534: CALLER 00000535: EQ 00000536: PUSH2 0x0577 00000539: JUMPI 0000053a: PUSH1 0x40 0000053c: DUP1 0000053d: MLOAD 0000053e: PUSH1 0xe5 00000540: PUSH1 0x02 00000542: EXP 00000543: PUSH3 0x461bcd 00000547: MUL 00000548: DUP2 00000549: MSTORE 0000054a: PUSH1 0x20 0000054c: PUSH1 0x04 0000054e: DUP3 0000054f: ADD 00000550: MSTORE 00000551: PUSH1 0x13 00000553: PUSH1 0x24 00000555: DUP3 00000556: ADD 00000557: MSTORE 00000558: PUSH1 0x00 0000055a: DUP1 0000055b: MLOAD 0000055c: PUSH1 0x20 0000055e: PUSH2 0x09b8 00000561: DUP4 00000562: CODECOPY 00000563: DUP2 00000564: MLOAD 00000565: SWAP2 00000566: MSTORE 00000567: PUSH1 0x44 00000569: DUP3 0000056a: ADD 0000056b: MSTORE 0000056c: SWAP1 0000056d: MLOAD 0000056e: SWAP1 0000056f: DUP2 00000570: SWAP1 00000571: SUB 00000572: PUSH1 0x64 00000574: ADD 00000575: SWAP1 00000576: REVERT 00000577: JUMPDEST 00000578: POP 00000579: PUSH1 0x01 0000057b: PUSH1 0xa0 0000057d: PUSH1 0x02 0000057f: EXP 00000580: SUB 00000581: DUP2 00000582: AND 00000583: PUSH1 0x00 00000585: SWAP1 00000586: DUP2 00000587: MSTORE 00000588: PUSH1 0x03 0000058a: PUSH1 0x20 0000058c: MSTORE 0000058d: PUSH1 0x40 0000058f: DUP2 00000590: KECCAK256 00000591: SLOAD 00000592: SWAP1 00000593: DUP2 00000594: GT 00000595: PUSH2 0x05e8 00000598: JUMPI 00000599: PUSH1 0x40 0000059b: DUP1 0000059c: MLOAD 0000059d: PUSH1 0xe5 0000059f: PUSH1 0x02 000005a1: EXP 000005a2: PUSH3 0x461bcd 000005a6: MUL 000005a7: DUP2 000005a8: MSTORE 000005a9: PUSH1 0x20 000005ab: PUSH1 0x04 000005ad: DUP3 000005ae: ADD 000005af: MSTORE 000005b0: PUSH1 0x09 000005b2: PUSH1 0x24 000005b4: DUP3 000005b5: ADD 000005b6: MSTORE 000005b7: PUSH32 0x6d6f6e6579203e20300000000000000000000000000000000000000000000000 000005d8: PUSH1 0x44 000005da: DUP3 000005db: ADD 000005dc: MSTORE 000005dd: SWAP1 000005de: MLOAD 000005df: SWAP1 000005e0: DUP2 000005e1: SWAP1 000005e2: SUB 000005e3: PUSH1 0x64 000005e5: ADD 000005e6: SWAP1 000005e7: REVERT 000005e8: JUMPDEST 000005e9: PUSH1 0x01 000005eb: PUSH1 0xa0 000005ed: PUSH1 0x02 000005ef: EXP 000005f0: SUB 000005f1: DUP1 000005f2: DUP4 000005f3: AND 000005f4: PUSH1 0x00 000005f6: SWAP1 000005f7: DUP2 000005f8: MSTORE 000005f9: PUSH1 0x03 000005fb: PUSH1 0x20 000005fd: MSTORE 000005fe: PUSH1 0x40 00000600: DUP1 00000601: DUP3 00000602: KECCAK256 00000603: DUP3 00000604: SWAP1 00000605: SSTORE 00000606: DUP2 00000607: SLOAD 00000608: SWAP1 00000609: MLOAD 0000060a: SWAP3 0000060b: AND 0000060c: SWAP2 0000060d: DUP4 0000060e: ISZERO 0000060f: PUSH2 0x08fc 00000612: MUL 00000613: SWAP2 00000614: DUP5 00000615: SWAP2 00000616: SWAP1 00000617: DUP2 00000618: DUP2 00000619: DUP2 0000061a: DUP6 0000061b: DUP9 0000061c: DUP9 0000061d: CALL 0000061e: SWAP4 0000061f: POP 00000620: POP 00000621: POP 00000622: POP 00000623: ISZERO 00000624: DUP1 00000625: ISZERO 00000626: PUSH2 0x0633 00000629: JUMPI 0000062a: RETURNDATASIZE 0000062b: PUSH1 0x00 0000062d: DUP1 0000062e: RETURNDATACOPY 0000062f: RETURNDATASIZE 00000630: PUSH1 0x00 00000632: REVERT 00000633: JUMPDEST 00000634: POP 00000635: POP 00000636: POP 00000637: JUMP 00000638: JUMPDEST 00000639: PUSH1 0x00 0000063b: DUP1 0000063c: SLOAD 0000063d: PUSH1 0x01 0000063f: PUSH1 0xa0 00000641: PUSH1 0x02 00000643: EXP 00000644: SUB 00000645: AND 00000646: CALLER 00000647: EQ 00000648: PUSH2 0x0689 0000064b: JUMPI 0000064c: PUSH1 0x40 0000064e: DUP1 0000064f: MLOAD 00000650: PUSH1 0xe5 00000652: PUSH1 0x02 00000654: EXP 00000655: PUSH3 0x461bcd 00000659: MUL 0000065a: DUP2 0000065b: MSTORE 0000065c: PUSH1 0x20 0000065e: PUSH1 0x04 00000660: DUP3 00000661: ADD 00000662: MSTORE 00000663: PUSH1 0x13 00000665: PUSH1 0x24 00000667: DUP3 00000668: ADD 00000669: MSTORE 0000066a: PUSH1 0x00 0000066c: DUP1 0000066d: MLOAD 0000066e: PUSH1 0x20 00000670: PUSH2 0x09b8 00000673: DUP4 00000674: CODECOPY 00000675: DUP2 00000676: MLOAD 00000677: SWAP2 00000678: MSTORE 00000679: PUSH1 0x44 0000067b: DUP3 0000067c: ADD 0000067d: MSTORE 0000067e: SWAP1 0000067f: MLOAD 00000680: SWAP1 00000681: DUP2 00000682: SWAP1 00000683: SUB 00000684: PUSH1 0x64 00000686: ADD 00000687: SWAP1 00000688: REVERT 00000689: JUMPDEST 0000068a: DUP4 0000068b: PUSH1 0x01 0000068d: PUSH1 0xa0 0000068f: PUSH1 0x02 00000691: EXP 00000692: SUB 00000693: AND 00000694: PUSH4 0xa9059cbb 00000699: DUP5 0000069a: DUP5 0000069b: PUSH1 0x40 0000069d: MLOAD 0000069e: DUP4 0000069f: PUSH4 0xffffffff 000006a4: AND 000006a5: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 000006c3: MUL 000006c4: DUP2 000006c5: MSTORE 000006c6: PUSH1 0x04 000006c8: ADD 000006c9: DUP1 000006ca: DUP4 000006cb: PUSH1 0x01 000006cd: PUSH1 0xa0 000006cf: PUSH1 0x02 000006d1: EXP 000006d2: SUB 000006d3: AND 000006d4: PUSH1 0x01 000006d6: PUSH1 0xa0 000006d8: PUSH1 0x02 000006da: EXP 000006db: SUB 000006dc: AND 000006dd: DUP2 000006de: MSTORE 000006df: PUSH1 0x20 000006e1: ADD 000006e2: DUP3 000006e3: DUP2 000006e4: MSTORE 000006e5: PUSH1 0x20 000006e7: ADD 000006e8: SWAP3 000006e9: POP 000006ea: POP 000006eb: POP 000006ec: PUSH1 0x20 000006ee: PUSH1 0x40 000006f0: MLOAD 000006f1: DUP1 000006f2: DUP4 000006f3: SUB 000006f4: DUP2 000006f5: PUSH1 0x00 000006f7: DUP8 000006f8: DUP1 000006f9: EXTCODESIZE 000006fa: ISZERO 000006fb: DUP1 000006fc: ISZERO 000006fd: PUSH2 0x0705 00000700: JUMPI 00000701: PUSH1 0x00 00000703: DUP1 00000704: REVERT 00000705: JUMPDEST 00000706: POP 00000707: GAS 00000708: CALL 00000709: ISZERO 0000070a: DUP1 0000070b: ISZERO 0000070c: PUSH2 0x0719 0000070f: JUMPI 00000710: RETURNDATASIZE 00000711: PUSH1 0x00 00000713: DUP1 00000714: RETURNDATACOPY 00000715: RETURNDATASIZE 00000716: PUSH1 0x00 00000718: REVERT 00000719: JUMPDEST 0000071a: POP 0000071b: POP 0000071c: POP 0000071d: POP 0000071e: PUSH1 0x40 00000720: MLOAD 00000721: RETURNDATASIZE 00000722: PUSH1 0x20 00000724: DUP2 00000725: LT 00000726: ISZERO 00000727: PUSH2 0x072f 0000072a: JUMPI 0000072b: PUSH1 0x00 0000072d: DUP1 0000072e: REVERT 0000072f: JUMPDEST 00000730: POP 00000731: MLOAD 00000732: SWAP5 00000733: SWAP4 00000734: POP 00000735: POP 00000736: POP 00000737: POP 00000738: JUMP 00000739: JUMPDEST 0000073a: PUSH1 0x01 0000073c: SLOAD 0000073d: PUSH1 0x01 0000073f: PUSH1 0xa0 00000741: PUSH1 0x02 00000743: EXP 00000744: SUB 00000745: AND 00000746: CALLER 00000747: EQ 00000748: PUSH2 0x079b 0000074b: JUMPI 0000074c: PUSH1 0x40 0000074e: DUP1 0000074f: MLOAD 00000750: PUSH1 0xe5 00000752: PUSH1 0x02 00000754: EXP 00000755: PUSH3 0x461bcd 00000759: MUL 0000075a: DUP2 0000075b: MSTORE 0000075c: PUSH1 0x20 0000075e: PUSH1 0x04 00000760: DUP3 00000761: ADD 00000762: MSTORE 00000763: PUSH1 0x16 00000765: PUSH1 0x24 00000767: DUP3 00000768: ADD 00000769: MSTORE 0000076a: PUSH32 0x6d73672e73656e646572203d3d206e65774f776e657200000000000000000000 0000078b: PUSH1 0x44 0000078d: DUP3 0000078e: ADD 0000078f: MSTORE 00000790: SWAP1 00000791: MLOAD 00000792: SWAP1 00000793: DUP2 00000794: SWAP1 00000795: SUB 00000796: PUSH1 0x64 00000798: ADD 00000799: SWAP1 0000079a: REVERT 0000079b: JUMPDEST 0000079c: PUSH1 0x00 0000079e: DUP1 0000079f: SLOAD 000007a0: PUSH1 0x40 000007a2: MLOAD 000007a3: CALLER 000007a4: SWAP3 000007a5: PUSH1 0x01 000007a7: PUSH1 0xa0 000007a9: PUSH1 0x02 000007ab: EXP 000007ac: SUB 000007ad: SWAP1 000007ae: SWAP3 000007af: AND 000007b0: SWAP2 000007b1: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 000007d2: SWAP2 000007d3: LOG3 000007d4: PUSH1 0x00 000007d6: DUP1 000007d7: SLOAD 000007d8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007ed: NOT 000007ee: SWAP1 000007ef: DUP2 000007f0: AND 000007f1: CALLER 000007f2: OR 000007f3: SWAP1 000007f4: SWAP2 000007f5: SSTORE 000007f6: PUSH1 0x01 000007f8: DUP1 000007f9: SLOAD 000007fa: SWAP1 000007fb: SWAP2 000007fc: AND 000007fd: SWAP1 000007fe: SSTORE 000007ff: JUMP 00000800: JUMPDEST 00000801: PUSH1 0x00 00000803: SLOAD 00000804: PUSH1 0x01 00000806: PUSH1 0xa0 00000808: PUSH1 0x02 0000080a: EXP 0000080b: SUB 0000080c: AND 0000080d: DUP2 0000080e: JUMP 0000080f: JUMPDEST 00000810: PUSH1 0x03 00000812: PUSH1 0x20 00000814: MSTORE 00000815: PUSH1 0x00 00000817: SWAP1 00000818: DUP2 00000819: MSTORE 0000081a: PUSH1 0x40 0000081c: SWAP1 0000081d: KECCAK256 0000081e: SLOAD 0000081f: DUP2 00000820: JUMP 00000821: JUMPDEST 00000822: PUSH1 0x01 00000824: SLOAD 00000825: PUSH1 0x01 00000827: PUSH1 0xa0 00000829: PUSH1 0x02 0000082b: EXP 0000082c: SUB 0000082d: AND 0000082e: DUP2 0000082f: JUMP 00000830: JUMPDEST 00000831: PUSH1 0x02 00000833: SLOAD 00000834: PUSH1 0x01 00000836: PUSH1 0xa0 00000838: PUSH1 0x02 0000083a: EXP 0000083b: SUB 0000083c: AND 0000083d: DUP2 0000083e: JUMP 0000083f: JUMPDEST 00000840: PUSH1 0x00 00000842: SLOAD 00000843: PUSH1 0x01 00000845: PUSH1 0xa0 00000847: PUSH1 0x02 00000849: EXP 0000084a: SUB 0000084b: AND 0000084c: CALLER 0000084d: EQ 0000084e: PUSH2 0x088f 00000851: JUMPI 00000852: PUSH1 0x40 00000854: DUP1 00000855: MLOAD 00000856: PUSH1 0xe5 00000858: PUSH1 0x02 0000085a: EXP 0000085b: PUSH3 0x461bcd 0000085f: MUL 00000860: DUP2 00000861: MSTORE 00000862: PUSH1 0x20 00000864: PUSH1 0x04 00000866: DUP3 00000867: ADD 00000868: MSTORE 00000869: PUSH1 0x13 0000086b: PUSH1 0x24 0000086d: DUP3 0000086e: ADD 0000086f: MSTORE 00000870: PUSH1 0x00 00000872: DUP1 00000873: MLOAD 00000874: PUSH1 0x20 00000876: PUSH2 0x09b8 00000879: DUP4 0000087a: CODECOPY 0000087b: DUP2 0000087c: MLOAD 0000087d: SWAP2 0000087e: MSTORE 0000087f: PUSH1 0x44 00000881: DUP3 00000882: ADD 00000883: MSTORE 00000884: SWAP1 00000885: MLOAD 00000886: SWAP1 00000887: DUP2 00000888: SWAP1 00000889: SUB 0000088a: PUSH1 0x64 0000088c: ADD 0000088d: SWAP1 0000088e: REVERT 0000088f: JUMPDEST 00000890: PUSH1 0x01 00000892: PUSH1 0xa0 00000894: PUSH1 0x02 00000896: EXP 00000897: SUB 00000898: DUP2 00000899: AND 0000089a: ISZERO 0000089b: ISZERO 0000089c: PUSH2 0x08ef 0000089f: JUMPI 000008a0: PUSH1 0x40 000008a2: DUP1 000008a3: MLOAD 000008a4: PUSH1 0xe5 000008a6: PUSH1 0x02 000008a8: EXP 000008a9: PUSH3 0x461bcd 000008ad: MUL 000008ae: DUP2 000008af: MSTORE 000008b0: PUSH1 0x20 000008b2: PUSH1 0x04 000008b4: DUP3 000008b5: ADD 000008b6: MSTORE 000008b7: PUSH1 0x17 000008b9: PUSH1 0x24 000008bb: DUP3 000008bc: ADD 000008bd: MSTORE 000008be: PUSH32 0x6164647265737328302920213d205f6e65774f776e6572000000000000000000 000008df: PUSH1 0x44 000008e1: DUP3 000008e2: ADD 000008e3: MSTORE 000008e4: SWAP1 000008e5: MLOAD 000008e6: SWAP1 000008e7: DUP2 000008e8: SWAP1 000008e9: SUB 000008ea: PUSH1 0x64 000008ec: ADD 000008ed: SWAP1 000008ee: REVERT 000008ef: JUMPDEST 000008f0: PUSH1 0x01 000008f2: DUP1 000008f3: SLOAD 000008f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000909: NOT 0000090a: AND 0000090b: PUSH1 0x01 0000090d: PUSH1 0xa0 0000090f: PUSH1 0x02 00000911: EXP 00000912: SUB 00000913: SWAP3 00000914: SWAP1 00000915: SWAP3 00000916: AND 00000917: SWAP2 00000918: SWAP1 00000919: SWAP2 0000091a: OR 0000091b: SWAP1 0000091c: SSTORE 0000091d: JUMP 0000091e: JUMPDEST 0000091f: PUSH1 0x00 00000921: SLOAD 00000922: PUSH1 0x01 00000924: PUSH1 0xa0 00000926: PUSH1 0x02 00000928: EXP 00000929: SUB 0000092a: AND 0000092b: CALLER 0000092c: EQ 0000092d: PUSH2 0x096e 00000930: JUMPI 00000931: PUSH1 0x40 00000933: DUP1 00000934: MLOAD 00000935: PUSH1 0xe5 00000937: PUSH1 0x02 00000939: EXP 0000093a: PUSH3 0x461bcd 0000093e: MUL 0000093f: DUP2 00000940: MSTORE 00000941: PUSH1 0x20 00000943: PUSH1 0x04 00000945: DUP3 00000946: ADD 00000947: MSTORE 00000948: PUSH1 0x13 0000094a: PUSH1 0x24 0000094c: DUP3 0000094d: ADD 0000094e: MSTORE 0000094f: PUSH1 0x00 00000951: DUP1 00000952: MLOAD 00000953: PUSH1 0x20 00000955: PUSH2 0x09b8 00000958: DUP4 00000959: CODECOPY 0000095a: DUP2 0000095b: MLOAD 0000095c: SWAP2 0000095d: MSTORE 0000095e: PUSH1 0x44 00000960: DUP3 00000961: ADD 00000962: MSTORE 00000963: SWAP1 00000964: MLOAD 00000965: SWAP1 00000966: DUP2 00000967: SWAP1 00000968: SUB 00000969: PUSH1 0x64 0000096b: ADD 0000096c: SWAP1 0000096d: REVERT 0000096e: JUMPDEST 0000096f: PUSH1 0x40 00000971: MLOAD 00000972: PUSH1 0x01 00000974: PUSH1 0xa0 00000976: PUSH1 0x02 00000978: EXP 00000979: SUB 0000097a: DUP4 0000097b: AND 0000097c: SWAP1 0000097d: DUP3 0000097e: ISZERO 0000097f: PUSH2 0x08fc 00000982: MUL 00000983: SWAP1 00000984: DUP4 00000985: SWAP1 00000986: PUSH1 0x00 00000988: DUP2 00000989: DUP2 0000098a: DUP2 0000098b: DUP6 0000098c: DUP9 0000098d: DUP9 0000098e: CALL 0000098f: SWAP4 00000990: POP 00000991: POP 00000992: POP 00000993: POP 00000994: ISZERO 00000995: DUP1 00000996: ISZERO 00000997: PUSH2 0x0633 0000099a: JUMPI 0000099b: RETURNDATASIZE 0000099c: PUSH1 0x00 0000099e: DUP1 0000099f: RETURNDATACOPY 000009a0: RETURNDATASIZE 000009a1: PUSH1 0x00 000009a3: REVERT 000009a4: JUMPDEST 000009a5: DUP2 000009a6: DUP2 000009a7: ADD 000009a8: DUP3 000009a9: DUP2 000009aa: LT 000009ab: ISZERO 000009ac: PUSH2 0x09b1 000009af: JUMPI 000009b0: INVALID 000009b1: JUMPDEST 000009b2: SWAP3 000009b3: SWAP2 000009b4: POP 000009b5: POP 000009b6: JUMP 000009b7: STOP 000009b8: PUSH14 0x73672e73656e646572203d3d206f 000009c7: PUSH24 0x6e657200000000000000000000000000a165627a7a723058 000009e0: KECCAK256 000009e1: UNKNOWN(0x28) 000009e2: UNKNOWN(0xD4) 000009e3: UNKNOWN(0x2D) 000009e4: UNKNOWN(0xBC) 000009e5: PUSH2 0x84d9 000009e8: UNKNOWN(0xDA) 000009e9: LT 000009ea: COINBASE 000009eb: PUSH11 0x03e16370fe9dd42a62e47f 000009f7: UNKNOWN(0xDD) 000009f8: PUSH23
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | auth | detector | Authorization based on tx.origin | 70 | no | — |
viewvalidation_json{
"reason": "missing sink mapping",
"status": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x2d806cdd",
"selector": "0x2d806cdd",
"calldata_variants": [
"0x2d806cdd",
"0x2d806cdd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4ab89400",
"selector": "0x4ab89400",
"calldata_variants": [
"0x4ab89400",
"0x4ab894000000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5e35359e",
"selector": "0x5e35359e",
"calldata_variants": [
"0x5e35359e",
"0x5e35359e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x79ba5097",
"selector": "0x79ba5097",
"calldata_variants": [
"0x79ba5097",
"0x79ba50970000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbc3da535",
"selector": "0xbc3da535",
"calldata_variants": [
"0xbc3da535",
"0xbc3da5350000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd4ee1d90",
"selector": "0xd4ee1d90",
"calldata_variants": [
"0xd4ee1d90",
"0xd4ee1d900000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd84bd737",
"selector": "0xd84bd737",
"calldata_variants": [
"0xd84bd737",
"0xd84bd7370000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 182,
"type": "tx_origin_used"
},
{
"pc": 181,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x9e9a8d9d3cf1f7410d7f0e3becf060bd12fe4383b96027f1853b8c52d38d8de5
call_targets:
0x2f5c8d7259b48078c0b6c0a7cf6269e3817680e5
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x9e9a8d9d3cf1f7410d7f0e3becf060bd12fe4383b96027f1853b8c52d38d8de5",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x2f5c8d7259b48078c0b6c0a7cf6269e3817680e5"
],
"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": "0x2d806cdd",
"selector": "0x2d806cdd",
"calldata_variants": [
"0x2d806cdd",
"0x2d806cdd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4ab89400",
"selector": "0x4ab89400",
"calldata_variants": [
"0x4ab89400",
"0x4ab894000000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5e35359e",
"selector": "0x5e35359e",
"calldata_variants": [
"0x5e35359e",
"0x5e35359e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x79ba5097",
"selector": "0x79ba5097",
"calldata_variants": [
"0x79ba5097",
"0x79ba50970000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbc3da535",
"selector": "0xbc3da535",
"calldata_variants": [
"0xbc3da535",
"0xbc3da5350000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd4ee1d90",
"selector": "0xd4ee1d90",
"calldata_variants": [
"0xd4ee1d90",
"0xd4ee1d900000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd84bd737",
"selector": "0xd84bd737",
"calldata_variants": [
"0xd84bd737",
"0xd84bd7370000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 371,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 729,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 793,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 6,
"guards_detected": [
{
"pc": 182,
"type": "tx_origin_used"
},
{
"pc": 181,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 6
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x9e9a8d9d3cf1f7410d7f0e3becf060bd12fe4383b96027f1853b8c52d38d8de5
call_targets:
0x2f5c8d7259b48078c0b6c0a7cf6269e3817680e5
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x9e9a8d9d3cf1f7410d7f0e3becf060bd12fe4383b96027f1853b8c52d38d8de5",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x2f5c8d7259b48078c0b6c0a7cf6269e3817680e5"
],
"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": "0x2d806cdd",
"selector": "0x2d806cdd",
"calldata_variants": [
"0x2d806cdd",
"0x2d806cdd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4ab89400",
"selector": "0x4ab89400",
"calldata_variants": [
"0x4ab89400",
"0x4ab894000000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5e35359e",
"selector": "0x5e35359e",
"calldata_variants": [
"0x5e35359e",
"0x5e35359e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x79ba5097",
"selector": "0x79ba5097",
"calldata_variants": [
"0x79ba5097",
"0x79ba50970000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbc3da535",
"selector": "0xbc3da535",
"calldata_variants": [
"0xbc3da535",
"0xbc3da5350000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd4ee1d90",
"selector": "0xd4ee1d90",
"calldata_variants": [
"0xd4ee1d90",
"0xd4ee1d900000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd84bd737",
"selector": "0xd84bd737",
"calldata_variants": [
"0xd84bd737",
"0xd84bd7370000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 371,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 729,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 793,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 6,
"guards_detected": [
{
"pc": 182,
"type": "tx_origin_used"
},
{
"pc": 181,
"type": "tx_origin_used"
}
]
}
|