019b477e-d4a9-73b4-84ab-98e35c183b20
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 |
|---|---|---|---|---|
| 28387 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 28388 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 71331 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 71332 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 71333 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 71334 | 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: ISZERO 0000000a: PUSH2 0x001a 0000000d: JUMPI 0000000e: JUMPDEST 0000000f: CALLDATASIZE 00000010: ISZERO 00000011: PUSH2 0x0018 00000014: JUMPI 00000015: PUSH0 00000016: DUP1 00000017: REVERT 00000018: JUMPDEST 00000019: STOP 0000001a: JUMPDEST 0000001b: PUSH0 0000001c: CALLDATALOAD 0000001d: PUSH1 0xe0 0000001f: SHR 00000020: DUP1 00000021: PUSH4 0x10d1e85c 00000026: EQ 00000027: PUSH2 0x0059 0000002a: JUMPI 0000002b: DUP1 0000002c: PUSH4 0xe1e22e86 00000031: EQ 00000032: PUSH2 0x0054 00000035: JUMPI 00000036: DUP1 00000037: PUSH4 0xe950e1f2 0000003c: EQ 0000003d: PUSH2 0x004f 00000040: JUMPI 00000041: PUSH4 0xfe784eaa 00000046: SUB 00000047: PUSH2 0x000e 0000004a: JUMPI 0000004b: PUSH2 0x02ad 0000004e: JUMP 0000004f: JUMPDEST 00000050: PUSH2 0x0280 00000053: JUMP 00000054: JUMPDEST 00000055: PUSH2 0x00e9 00000058: JUMP 00000059: JUMPDEST 0000005a: CALLVALUE 0000005b: PUSH2 0x00b8 0000005e: JUMPI 0000005f: PUSH1 0x80 00000061: PUSH1 0x03 00000063: NOT 00000064: CALLDATASIZE 00000065: ADD 00000066: SLT 00000067: PUSH2 0x00b8 0000006a: JUMPI 0000006b: PUSH2 0x0072 0000006e: PUSH2 0x00bc 00000071: JUMP 00000072: JUMPDEST 00000073: POP 00000074: PUSH1 0x64 00000076: CALLDATALOAD 00000077: PUSH8 0xffffffffffffffff 00000080: DUP1 00000081: DUP3 00000082: GT 00000083: PUSH2 0x00b8 00000086: JUMPI 00000087: CALLDATASIZE 00000088: PUSH1 0x23 0000008a: DUP4 0000008b: ADD 0000008c: SLT 0000008d: ISZERO 0000008e: PUSH2 0x00b8 00000091: JUMPI 00000092: DUP2 00000093: PUSH1 0x04 00000095: ADD 00000096: CALLDATALOAD 00000097: SWAP1 00000098: DUP2 00000099: GT 0000009a: PUSH2 0x00b8 0000009d: JUMPI 0000009e: CALLDATASIZE 0000009f: PUSH1 0x24 000000a1: DUP3 000000a2: DUP5 000000a3: ADD 000000a4: ADD 000000a5: GT 000000a6: PUSH2 0x00b8 000000a9: JUMPI 000000aa: PUSH1 0x24 000000ac: PUSH2 0x0018 000000af: SWAP3 000000b0: ADD 000000b1: PUSH1 0x44 000000b3: CALLDATALOAD 000000b4: PUSH2 0x05b1 000000b7: JUMP 000000b8: JUMPDEST 000000b9: PUSH0 000000ba: DUP1 000000bb: REVERT 000000bc: JUMPDEST 000000bd: PUSH1 0x04 000000bf: CALLDATALOAD 000000c0: SWAP1 000000c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000000d6: DUP3 000000d7: AND 000000d8: DUP3 000000d9: SUB 000000da: PUSH2 0x00b8 000000dd: JUMPI 000000de: JUMP 000000df: JUMPDEST 000000e0: DUP1 000000e1: ISZERO 000000e2: ISZERO 000000e3: SUB 000000e4: PUSH2 0x00b8 000000e7: JUMPI 000000e8: JUMP 000000e9: JUMPDEST 000000ea: CALLVALUE 000000eb: PUSH2 0x00b8 000000ee: JUMPI 000000ef: PUSH1 0x40 000000f1: PUSH1 0x03 000000f3: NOT 000000f4: CALLDATASIZE 000000f5: ADD 000000f6: SLT 000000f7: PUSH2 0x00b8 000000fa: JUMPI 000000fb: PUSH2 0x0102 000000fe: PUSH2 0x00bc 00000101: JUMP 00000102: JUMPDEST 00000103: PUSH1 0x24 00000105: CALLDATALOAD 00000106: PUSH2 0x010e 00000109: DUP2 0000010a: PUSH2 0x00df 0000010d: JUMP 0000010e: JUMPDEST 0000010f: PUSH32 0x000000000000000000000000e0ae57b5ab9046842bf699dc4505ee5de5ea2241 00000130: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000145: DUP1 00000146: DUP3 00000147: AND 00000148: SWAP4 00000149: PUSH2 0x0153 0000014c: DUP6 0000014d: CALLER 0000014e: EQ 0000014f: PUSH2 0x07f5 00000152: JUMP 00000153: JUMPDEST 00000154: PUSH1 0x40 00000156: MLOAD 00000157: PUSH4 0x70a08231 0000015c: PUSH1 0xe0 0000015e: SHL 0000015f: DUP2 00000160: MSTORE 00000161: ADDRESS 00000162: PUSH1 0x04 00000164: DUP3 00000165: ADD 00000166: MSTORE 00000167: PUSH1 0x20 00000169: SWAP4 0000016a: SWAP1 0000016b: SWAP3 0000016c: SWAP2 0000016d: SWAP1 0000016e: SWAP2 0000016f: AND 00000170: SWAP1 00000171: DUP4 00000172: DUP4 00000173: PUSH1 0x24 00000175: DUP2 00000176: DUP6 00000177: GAS 00000178: STATICCALL 00000179: SWAP2 0000017a: DUP3 0000017b: ISZERO 0000017c: PUSH2 0x020f 0000017f: JUMPI 00000180: PUSH2 0x0195 00000183: DUP6 00000184: SWAP4 00000185: PUSH2 0x01d6 00000188: SWAP6 00000189: PUSH0 0000018a: SWAP2 0000018b: PUSH2 0x0253 0000018e: JUMPI 0000018f: JUMPDEST 00000190: POP 00000191: PUSH2 0x0591 00000194: JUMP 00000195: JUMPDEST 00000196: SWAP2 00000197: PUSH0 00000198: PUSH1 0x40 0000019a: MLOAD 0000019b: DUP1 0000019c: SWAP7 0000019d: DUP2 0000019e: SWAP6 0000019f: DUP3 000001a0: SWAP5 000001a1: PUSH4 0xa9059cbb 000001a6: PUSH1 0xe0 000001a8: SHL 000001a9: DUP5 000001aa: MSTORE 000001ab: PUSH1 0x04 000001ad: DUP5 000001ae: ADD 000001af: PUSH1 0x20 000001b1: SWAP1 000001b2: SWAP4 000001b3: SWAP3 000001b4: SWAP2 000001b5: SWAP4 000001b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001cb: PUSH1 0x40 000001cd: DUP3 000001ce: ADD 000001cf: SWAP6 000001d0: AND 000001d1: DUP2 000001d2: MSTORE 000001d3: ADD 000001d4: MSTORE 000001d5: JUMP 000001d6: JUMPDEST 000001d7: SUB 000001d8: SWAP3 000001d9: GAS 000001da: CALL 000001db: DUP1 000001dc: ISZERO 000001dd: PUSH2 0x020f 000001e0: JUMPI 000001e1: PUSH2 0x0225 000001e4: JUMPI 000001e5: JUMPDEST 000001e6: POP 000001e7: POP 000001e8: SELFBALANCE 000001e9: ISZERO 000001ea: ISZERO 000001eb: SWAP1 000001ec: DUP2 000001ed: PUSH2 0x021d 000001f0: JUMPI 000001f1: JUMPDEST 000001f2: POP 000001f3: PUSH2 0x01f8 000001f6: JUMPI 000001f7: STOP 000001f8: JUMPDEST 000001f9: PUSH0 000001fa: DUP1 000001fb: DUP1 000001fc: DUP1 000001fd: SWAP4 000001fe: SELFBALANCE 000001ff: SWAP1 00000200: DUP3 00000201: DUP3 00000202: ISZERO 00000203: PUSH2 0x0214 00000206: JUMPI 00000207: JUMPDEST 00000208: CALL 00000209: ISZERO 0000020a: PUSH2 0x020f 0000020d: JUMPI 0000020e: STOP 0000020f: JUMPDEST 00000210: PUSH2 0x0572 00000213: JUMP 00000214: JUMPDEST 00000215: POP 00000216: PUSH2 0x08fc 00000219: PUSH2 0x0207 0000021c: JUMP 0000021d: JUMPDEST 0000021e: SWAP1 0000021f: POP 00000220: PUSH0 00000221: PUSH2 0x01f1 00000224: JUMP 00000225: JUMPDEST 00000226: DUP2 00000227: PUSH2 0x0244 0000022a: SWAP3 0000022b: SWAP1 0000022c: RETURNDATASIZE 0000022d: LT 0000022e: PUSH2 0x024c 00000231: JUMPI 00000232: JUMPDEST 00000233: PUSH2 0x023c 00000236: DUP2 00000237: DUP4 00000238: PUSH2 0x0534 0000023b: JUMP 0000023c: JUMPDEST 0000023d: DUP2 0000023e: ADD 0000023f: SWAP1 00000240: PUSH2 0x080b 00000243: JUMP 00000244: JUMPDEST 00000245: POP 00000246: PUSH0 00000247: DUP1 00000248: PUSH2 0x01e5 0000024b: JUMP 0000024c: JUMPDEST 0000024d: POP 0000024e: RETURNDATASIZE 0000024f: PUSH2 0x0232 00000252: JUMP 00000253: JUMPDEST 00000254: PUSH2 0x0273 00000257: SWAP2 00000258: POP 00000259: DUP6 0000025a: RETURNDATASIZE 0000025b: DUP8 0000025c: GT 0000025d: PUSH2 0x0279 00000260: JUMPI 00000261: JUMPDEST 00000262: PUSH2 0x026b 00000265: DUP2 00000266: DUP4 00000267: PUSH2 0x0534 0000026a: JUMP 0000026b: JUMPDEST 0000026c: DUP2 0000026d: ADD 0000026e: SWAP1 0000026f: PUSH2 0x07fc 00000272: JUMP 00000273: JUMPDEST 00000274: PUSH0 00000275: PUSH2 0x018f 00000278: JUMP 00000279: JUMPDEST 0000027a: POP 0000027b: RETURNDATASIZE 0000027c: PUSH2 0x0261 0000027f: JUMP 00000280: JUMPDEST 00000281: PUSH2 0x0100 00000284: PUSH1 0x03 00000286: NOT 00000287: CALLDATASIZE 00000288: ADD 00000289: SLT 0000028a: PUSH2 0x00b8 0000028d: JUMPI 0000028e: PUSH2 0x0018 00000291: PUSH1 0xe4 00000293: CALLDATALOAD 00000294: PUSH1 0xc4 00000296: CALLDATALOAD 00000297: PUSH1 0xa4 00000299: CALLDATALOAD 0000029a: PUSH1 0x84 0000029c: CALLDATALOAD 0000029d: PUSH1 0x64 0000029f: CALLDATALOAD 000002a0: PUSH1 0x44 000002a2: CALLDATALOAD 000002a3: PUSH1 0x24 000002a5: CALLDATALOAD 000002a6: PUSH1 0x04 000002a8: CALLDATALOAD 000002a9: PUSH2 0x08d0 000002ac: JUMP 000002ad: JUMPDEST 000002ae: CALLVALUE 000002af: PUSH2 0x00b8 000002b2: JUMPI 000002b3: PUSH1 0x20 000002b5: PUSH1 0x03 000002b7: NOT 000002b8: CALLDATASIZE 000002b9: ADD 000002ba: SLT 000002bb: PUSH2 0x00b8 000002be: JUMPI 000002bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002d4: PUSH1 0x04 000002d6: PUSH2 0x0302 000002d9: CALLER 000002da: PUSH32 0x000000000000000000000000e0ae57b5ab9046842bf699dc4505ee5de5ea2241 000002fb: DUP5 000002fc: AND 000002fd: EQ 000002fe: PUSH2 0x07f5 00000301: JUMP 00000302: JUMPDEST 00000303: PUSH1 0x40 00000305: MLOAD 00000306: PUSH4 0x70a08231 0000030b: PUSH1 0xe0 0000030d: SHL 0000030e: DUP2 0000030f: MSTORE 00000310: ADDRESS 00000311: DUP3 00000312: DUP3 00000313: ADD 00000314: SWAP1 00000315: DUP2 00000316: MSTORE 00000317: PUSH1 0x20 00000319: SWAP1 0000031a: DUP3 0000031b: SWAP1 0000031c: DUP2 0000031d: SWAP1 0000031e: DUP4 0000031f: ADD 00000320: SUB 00000321: DUP2 00000322: DUP7 00000323: PUSH32 0x0000000000000000000000001bbf25e71ec48b84d773809b4ba55b6f4be946fb 00000344: AND 00000345: GAS 00000346: STATICCALL 00000347: DUP1 00000348: ISZERO 00000349: PUSH2 0x020f 0000034c: JUMPI 0000034d: PUSH2 0x035c 00000350: SWAP2 00000351: PUSH0 00000352: SWAP2 00000353: PUSH2 0x04dd 00000356: JUMPI 00000357: POP 00000358: PUSH2 0x0591 0000035b: JUMP 0000035c: JUMPDEST 0000035d: SWAP2 0000035e: PUSH1 0x40 00000360: MLOAD 00000361: SWAP3 00000362: PUSH4 0xa9059cbb 00000367: PUSH1 0xe0 00000369: SHL 0000036a: DUP5 0000036b: MSTORE 0000036c: PUSH0 0000036d: DUP1 0000036e: PUSH1 0x44 00000370: PUSH20 0x7fdeb46b3a0916630f36e886d675602b1007fcbb 00000385: SWAP7 00000386: DUP8 00000387: DUP8 00000388: DUP3 00000389: ADD 0000038a: MSTORE 0000038b: DUP5 0000038c: PUSH1 0x24 0000038e: DUP3 0000038f: ADD 00000390: MSTORE 00000391: DUP3 00000392: PUSH20 0x1bbf25e71ec48b84d773809b4ba55b6f4be946fb 000003a7: GAS 000003a8: CALL 000003a9: POP 000003aa: PUSH1 0x40 000003ac: MLOAD 000003ad: PUSH4 0x0240bc6b 000003b2: PUSH1 0xe2 000003b4: SHL 000003b5: DUP2 000003b6: MSTORE 000003b7: PUSH1 0x60 000003b9: DUP2 000003ba: DUP6 000003bb: DUP2 000003bc: DUP9 000003bd: GAS 000003be: STATICCALL 000003bf: SWAP1 000003c0: DUP2 000003c1: ISZERO 000003c2: PUSH2 0x020f 000003c5: JUMPI 000003c6: PUSH2 0x03df 000003c9: PUSH0 000003ca: SWAP4 000003cb: SWAP3 000003cc: PUSH1 0xa4 000003ce: SWAP3 000003cf: DUP6 000003d0: SWAP5 000003d1: DUP6 000003d2: SWAP2 000003d3: DUP7 000003d4: SWAP4 000003d5: PUSH2 0x04a9 000003d8: JUMPI 000003d9: JUMPDEST 000003da: POP 000003db: PUSH2 0x0b53 000003de: JUMP 000003df: JUMPDEST 000003e0: SWAP6 000003e1: PUSH2 0x03ed 000003e4: DUP7 000003e5: CALLDATALOAD 000003e6: DUP9 000003e7: LT 000003e8: ISZERO 000003e9: PUSH2 0x07f5 000003ec: JUMP 000003ed: JUMPDEST 000003ee: DUP3 000003ef: PUSH1 0x40 000003f1: MLOAD 000003f2: SWAP2 000003f3: PUSH4 0x022c0d9f 000003f8: PUSH1 0xe0 000003fa: SHL 000003fb: DUP4 000003fc: MSTORE 000003fd: DUP2 000003fe: DUP9 000003ff: DUP5 00000400: ADD 00000401: MSTORE 00000402: DUP9 00000403: PUSH1 0x24 00000405: DUP5 00000406: ADD 00000407: MSTORE 00000408: ADDRESS 00000409: PUSH1 0x44 0000040b: DUP5 0000040c: ADD 0000040d: MSTORE 0000040e: PUSH1 0x80 00000410: PUSH1 0x64 00000412: DUP5 00000413: ADD 00000414: MSTORE 00000415: DUP2 00000416: PUSH1 0x84 00000418: DUP5 00000419: ADD 0000041a: MSTORE 0000041b: GAS 0000041c: CALL 0000041d: POP 0000041e: PUSH32 0x000000000000000000000000c02aaa39b223fe8d0a0e5c4f27ead9083c756cc2 0000043f: AND 00000440: SWAP2 00000441: DUP3 00000442: EXTCODESIZE 00000443: ISZERO 00000444: PUSH2 0x00b8 00000447: JUMPI 00000448: PUSH2 0x0486 0000044b: SWAP3 0000044c: PUSH0 0000044d: SWAP3 0000044e: DUP4 0000044f: PUSH1 0x40 00000451: MLOAD 00000452: DUP1 00000453: SWAP7 00000454: DUP2 00000455: SWAP6 00000456: DUP3 00000457: SWAP5 00000458: PUSH32 0x2e1a7d4d00000000000000000000000000000000000000000000000000000000 00000479: DUP5 0000047a: MSTORE 0000047b: DUP4 0000047c: ADD 0000047d: SWAP2 0000047e: SWAP1 0000047f: PUSH1 0x20 00000481: DUP4 00000482: ADD 00000483: SWAP3 00000484: MSTORE 00000485: JUMP 00000486: JUMPDEST 00000487: SUB 00000488: SWAP3 00000489: GAS 0000048a: CALL 0000048b: DUP1 0000048c: ISZERO 0000048d: PUSH2 0x020f 00000490: JUMPI 00000491: PUSH2 0x0496 00000494: JUMPI 00000495: STOP 00000496: JUMPDEST 00000497: DUP1 00000498: PUSH2 0x04a3 0000049b: PUSH2 0x0018 0000049e: SWAP3 0000049f: PUSH2 0x050c 000004a2: JUMP 000004a3: JUMPDEST 000004a4: DUP1 000004a5: PUSH2 0x0854 000004a8: JUMP 000004a9: JUMPDEST 000004aa: SWAP1 000004ab: SWAP3 000004ac: POP 000004ad: PUSH2 0x04ce 000004b0: SWAP2 000004b1: POP 000004b2: PUSH1 0x60 000004b4: RETURNDATASIZE 000004b5: PUSH1 0x60 000004b7: GT 000004b8: PUSH2 0x04d6 000004bb: JUMPI 000004bc: JUMPDEST 000004bd: PUSH2 0x04c6 000004c0: DUP2 000004c1: DUP4 000004c2: PUSH2 0x0534 000004c5: JUMP 000004c6: JUMPDEST 000004c7: DUP2 000004c8: ADD 000004c9: SWAP1 000004ca: PUSH2 0x0557 000004cd: JUMP 000004ce: JUMPDEST 000004cf: POP 000004d0: SWAP2 000004d1: PUSH0 000004d2: PUSH2 0x03d9 000004d5: JUMP 000004d6: JUMPDEST 000004d7: POP 000004d8: RETURNDATASIZE 000004d9: PUSH2 0x04bc 000004dc: JUMP 000004dd: JUMPDEST 000004de: PUSH2 0x0273 000004e1: SWAP2 000004e2: POP 000004e3: PUSH1 0x20 000004e5: RETURNDATASIZE 000004e6: PUSH1 0x20 000004e8: GT 000004e9: PUSH2 0x0279 000004ec: JUMPI 000004ed: PUSH2 0x026b 000004f0: DUP2 000004f1: DUP4 000004f2: PUSH2 0x0534 000004f5: JUMP 000004f6: JUMPDEST 000004f7: SWAP2 000004f8: SWAP1 000004f9: DUP3 000004fa: PUSH1 0x40 000004fc: SWAP2 000004fd: SUB 000004fe: SLT 000004ff: PUSH2 0x00b8 00000502: JUMPI 00000503: PUSH1 0x20 00000505: DUP3 00000506: CALLDATALOAD 00000507: SWAP3 00000508: ADD 00000509: CALLDATALOAD 0000050a: SWAP1 0000050b: JUMP 0000050c: JUMPDEST 0000050d: PUSH8 0xffffffffffffffff 00000516: DUP2 00000517: GT 00000518: PUSH2 0x0520 0000051b: JUMPI 0000051c: PUSH1 0x40 0000051e: MSTORE 0000051f: JUMP 00000520: JUMPDEST 00000521: PUSH4 0x4e487b71 00000526: PUSH1 0xe0 00000528: SHL 00000529: PUSH0 0000052a: MSTORE 0000052b: PUSH1 0x41 0000052d: PUSH1 0x04 0000052f: MSTORE 00000530: PUSH1 0x24 00000532: PUSH0 00000533: REVERT 00000534: JUMPDEST 00000535: SWAP1 00000536: PUSH1 0x1f 00000538: PUSH1 0x1f 0000053a: NOT 0000053b: SWAP2 0000053c: ADD 0000053d: AND 0000053e: DUP2 0000053f: ADD 00000540: SWAP1 00000541: DUP2 00000542: LT 00000543: PUSH8 0xffffffffffffffff 0000054c: DUP3 0000054d: GT 0000054e: OR 0000054f: PUSH2 0x0520 00000552: JUMPI 00000553: PUSH1 0x40 00000555: MSTORE 00000556: JUMP 00000557: JUMPDEST 00000558: SWAP1 00000559: DUP2 0000055a: PUSH1 0x60 0000055c: SWAP2 0000055d: SUB 0000055e: SLT 0000055f: PUSH2 0x00b8 00000562: JUMPI 00000563: DUP1 00000564: MLOAD 00000565: SWAP2 00000566: PUSH1 0x40 00000568: PUSH1 0x20 0000056a: DUP4 0000056b: ADD 0000056c: MLOAD 0000056d: SWAP3 0000056e: ADD 0000056f: MLOAD 00000570: SWAP1 00000571: JUMP 00000572: JUMPDEST 00000573: PUSH1 0x40 00000575: MLOAD 00000576: RETURNDATASIZE 00000577: PUSH0 00000578: DUP3 00000579: RETURNDATACOPY 0000057a: RETURNDATASIZE 0000057b: SWAP1 0000057c: REVERT 0000057d: JUMPDEST 0000057e: PUSH4 0x4e487b71 00000583: PUSH1 0xe0 00000585: SHL 00000586: PUSH0 00000587: MSTORE 00000588: PUSH1 0x11 0000058a: PUSH1 0x04 0000058c: MSTORE 0000058d: PUSH1 0x24 0000058f: PUSH0 00000590: REVERT 00000591: JUMPDEST 00000592: SWAP1 00000593: PUSH0 00000594: NOT 00000595: DUP3 00000596: ADD 00000597: SWAP2 00000598: DUP3 00000599: GT 0000059a: PUSH2 0x059f 0000059d: JUMPI 0000059e: JUMP 0000059f: JUMPDEST 000005a0: PUSH2 0x057d 000005a3: JUMP 000005a4: JUMPDEST 000005a5: SWAP2 000005a6: SWAP1 000005a7: DUP3 000005a8: SUB 000005a9: SWAP2 000005aa: DUP3 000005ab: GT 000005ac: PUSH2 0x059f 000005af: JUMPI 000005b0: JUMP 000005b1: JUMPDEST 000005b2: SWAP2 000005b3: SWAP1 000005b4: PUSH20 0xe0ae57b5ab9046842bf699dc4505ee5de5ea2241 000005c9: ORIGIN 000005ca: SUB 000005cb: PUSH2 0x00b8 000005ce: JUMPI 000005cf: PUSH2 0x05da 000005d2: SWAP2 000005d3: DUP2 000005d4: ADD 000005d5: SWAP1 000005d6: PUSH2 0x04f6 000005d9: JUMP 000005da: JUMPDEST 000005db: PUSH1 0x40 000005dd: DUP1 000005de: MLOAD 000005df: SWAP4 000005e0: PUSH4 0x0240bc6b 000005e5: PUSH1 0xe2 000005e7: SHL 000005e8: DUP6 000005e9: MSTORE 000005ea: PUSH1 0x04 000005ec: SWAP3 000005ed: PUSH1 0x60 000005ef: DUP7 000005f0: DUP6 000005f1: DUP2 000005f2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000607: PUSH32 0x00000000000000000000000097be09f2523b39b835da9ea3857cfa1d3c660cbb 00000628: AND 00000629: GAS 0000062a: STATICCALL 0000062b: SWAP1 0000062c: DUP2 0000062d: ISZERO 0000062e: PUSH2 0x020f 00000631: JUMPI 00000632: PUSH0 00000633: SWAP7 00000634: PUSH0 00000635: SWAP3 00000636: PUSH2 0x07cc 00000639: JUMPI 0000063a: JUMPDEST 0000063b: POP 0000063c: DUP2 0000063d: DUP8 0000063e: PUSH2 0x0647 00000641: SWAP3 00000642: DUP6 00000643: PUSH2 0x0b2c 00000646: JUMP 00000647: JUMPDEST 00000648: SWAP3 00000649: SWAP2 0000064a: SWAP8 0000064b: SWAP1 0000064c: PUSH2 0x0654 0000064f: SWAP2 00000650: PUSH2 0x05a4 00000653: JUMP 00000654: JUMPDEST 00000655: SWAP2 00000656: PUSH2 0x065e 00000659: SWAP2 0000065a: PUSH2 0x05a4 0000065d: JUMP 0000065e: JUMPDEST 0000065f: PUSH2 0x0668 00000662: SWAP2 00000663: DUP8 00000664: PUSH2 0x0b53 00000667: JUMP 00000668: JUMPDEST 00000669: SWAP1 0000066a: DUP3 0000066b: MLOAD 0000066c: SWAP6 0000066d: PUSH4 0xa9059cbb 00000672: PUSH1 0xe0 00000674: SHL 00000675: SWAP7 00000676: DUP8 00000677: DUP2 00000678: MSTORE 00000679: PUSH20 0x97be09f2523b39b835da9ea3857cfa1d3c660cbb 0000068e: SWAP3 0000068f: DUP4 00000690: DUP8 00000691: DUP4 00000692: ADD 00000693: MSTORE 00000694: PUSH1 0x24 00000696: DUP3 00000697: ADD 00000698: MSTORE 00000699: DUP3 0000069a: GAS 0000069b: PUSH0 0000069c: SWAP3 0000069d: DUP4 0000069e: DUP1 0000069f: SWAP4 000006a0: PUSH1 0x44 000006a2: SWAP4 000006a3: CALL 000006a4: POP 000006a5: DUP4 000006a6: MLOAD 000006a7: PUSH32 0x89afcb4400000000000000000000000000000000000000000000000000000000 000006c8: DUP2 000006c9: MSTORE 000006ca: ADDRESS 000006cb: DUP7 000006cc: DUP3 000006cd: ADD 000006ce: MSTORE 000006cf: DUP3 000006d0: GAS 000006d1: PUSH0 000006d2: SWAP3 000006d3: DUP4 000006d4: DUP1 000006d5: SWAP4 000006d6: PUSH1 0x24 000006d8: SWAP4 000006d9: CALL 000006da: POP 000006db: DUP4 000006dc: MLOAD 000006dd: SWAP1 000006de: PUSH32 0x23b872dd00000000000000000000000000000000000000000000000000000000 000006ff: DUP3 00000700: MSTORE 00000701: ADDRESS 00000702: DUP7 00000703: DUP4 00000704: ADD 00000705: MSTORE 00000706: DUP3 00000707: PUSH1 0x24 00000709: DUP4 0000070a: ADD 0000070b: MSTORE 0000070c: PUSH1 0x44 0000070e: DUP3 0000070f: ADD 00000710: MSTORE 00000711: GAS 00000712: PUSH1 0x64 00000714: PUSH0 00000715: SWAP3 00000716: DUP4 00000717: PUSH20 0x0fc6c0465c9739d4a42daca22eb3b2cb0eb9937a 0000072c: DUP2 0000072d: SWAP5 0000072e: CALL 0000072f: POP 00000730: DUP3 00000731: MLOAD 00000732: SWAP2 00000733: PUSH4 0x022c0d9f 00000738: PUSH1 0xe0 0000073a: SHL 0000073b: DUP4 0000073c: MSTORE 0000073d: DUP5 0000073e: DUP4 0000073f: ADD 00000740: PUSH0 00000741: SWAP1 00000742: MSTORE 00000743: PUSH32 0xfffffffffffffffffffffffffffffffffffffffffffffffff90fa4a62c4e0000 00000764: ADD 00000765: PUSH1 0x24 00000767: DUP4 00000768: ADD 00000769: MSTORE 0000076a: ADDRESS 0000076b: PUSH1 0x44 0000076d: DUP4 0000076e: ADD 0000076f: MSTORE 00000770: PUSH1 0x64 00000772: DUP3 00000773: ADD 00000774: PUSH1 0x80 00000776: SWAP1 00000777: MSTORE 00000778: PUSH1 0x84 0000077a: DUP3 0000077b: ADD 0000077c: PUSH0 0000077d: SWAP1 0000077e: MSTORE 0000077f: GAS 00000780: PUSH0 00000781: SWAP3 00000782: DUP4 00000783: DUP1 00000784: SWAP4 00000785: PUSH1 0xa4 00000787: SWAP4 00000788: CALL 00000789: POP 0000078a: MLOAD 0000078b: SWAP3 0000078c: DUP4 0000078d: MSTORE 0000078e: DUP3 0000078f: ADD 00000790: PUSH20 0xf848e97469538830b0b147152524184a255b9106 000007a5: SWAP1 000007a6: MSTORE 000007a7: PUSH1 0x24 000007a9: DUP3 000007aa: ADD 000007ab: MSTORE 000007ac: GAS 000007ad: PUSH1 0x44 000007af: PUSH0 000007b0: SWAP3 000007b1: DUP4 000007b2: PUSH20 0x1bbf25e71ec48b84d773809b4ba55b6f4be946fb 000007c7: DUP2 000007c8: SWAP5 000007c9: CALL 000007ca: POP 000007cb: JUMP 000007cc: JUMPDEST 000007cd: PUSH2 0x07eb 000007d0: SWAP2 000007d1: SWAP8 000007d2: POP 000007d3: PUSH2 0x0647 000007d6: SWAP3 000007d7: POP 000007d8: PUSH1 0x60 000007da: RETURNDATASIZE 000007db: PUSH1 0x60 000007dd: GT 000007de: PUSH2 0x04d6 000007e1: JUMPI 000007e2: PUSH2 0x04c6 000007e5: DUP2 000007e6: DUP4 000007e7: PUSH2 0x0534 000007ea: JUMP 000007eb: JUMPDEST 000007ec: POP 000007ed: SWAP2 000007ee: SWAP1 000007ef: SWAP7 000007f0: SWAP1 000007f1: PUSH2 0x063a 000007f4: JUMP 000007f5: JUMPDEST 000007f6: ISZERO 000007f7: PUSH2 0x00b8 000007fa: JUMPI 000007fb: JUMP 000007fc: JUMPDEST 000007fd: SWAP1 000007fe: DUP2 000007ff: PUSH1 0x20 00000801: SWAP2 00000802: SUB 00000803: SLT 00000804: PUSH2 0x00b8 00000807: JUMPI 00000808: MLOAD 00000809: SWAP1 0000080a: JUMP 0000080b: JUMPDEST 0000080c: SWAP1 0000080d: DUP2 0000080e: PUSH1 0x20 00000810: SWAP2 00000811: SUB 00000812: SLT 00000813: PUSH2 0x00b8 00000816: JUMPI 00000817: MLOAD 00000818: PUSH2 0x0820 0000081b: DUP2 0000081c: PUSH2 0x00df 0000081f: JUMP 00000820: JUMPDEST 00000821: SWAP1 00000822: JUMP 00000823: JUMPDEST 00000824: DUP2 00000825: DUP2 00000826: MUL 00000827: SWAP3 00000828: SWAP2 00000829: DUP2 0000082a: ISZERO 0000082b: SWAP2 0000082c: DUP5 0000082d: DIV 0000082e: EQ 0000082f: OR 00000830: ISZERO 00000831: PUSH2 0x059f 00000834: JUMPI 00000835: JUMP 00000836: JUMPDEST 00000837: DUP2 00000838: ISZERO 00000839: PUSH2 0x0840 0000083c: JUMPI 0000083d: DIV 0000083e: SWAP1 0000083f: JUMP 00000840: JUMPDEST 00000841: PUSH4 0x4e487b71 00000846: PUSH1 0xe0 00000848: SHL 00000849: PUSH0 0000084a: MSTORE 0000084b: PUSH1 0x12 0000084d: PUSH1 0x04 0000084f: MSTORE 00000850: PUSH1 0x24 00000852: PUSH0 00000853: REVERT 00000854: JUMPDEST 00000855: PUSH0 00000856: SWAP2 00000857: SUB 00000858: SLT 00000859: PUSH2 0x00b8 0000085c: JUMPI 0000085d: JUMP 0000085e: JUMPDEST 0000085f: SWAP2 00000860: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000875: SWAP1 00000876: SWAP5 00000877: SWAP4 00000878: SWAP5 00000879: PUSH0 0000087a: DUP5 0000087b: MSTORE 0000087c: PUSH1 0x20 0000087e: SWAP3 0000087f: PUSH1 0x20 00000881: DUP6 00000882: ADD 00000883: MSTORE 00000884: AND 00000885: PUSH1 0x40 00000887: DUP4 00000888: ADD 00000889: MSTORE 0000088a: PUSH1 0x80 0000088c: PUSH1 0x60 0000088e: DUP4 0000088f: ADD 00000890: MSTORE 00000891: DUP4 00000892: MLOAD 00000893: SWAP4 00000894: DUP5 00000895: PUSH1 0x80 00000897: DUP5 00000898: ADD 00000899: MSTORE 0000089a: PUSH0 0000089b: JUMPDEST 0000089c: DUP6 0000089d: DUP2 0000089e: LT 0000089f: PUSH2 0x08bc 000008a2: JUMPI 000008a3: POP 000008a4: POP 000008a5: POP 000008a6: PUSH1 0x1f 000008a8: NOT 000008a9: PUSH1 0x1f 000008ab: DUP5 000008ac: PUSH0 000008ad: PUSH1 0xa0 000008af: DUP1 000008b0: SWAP7 000008b1: SWAP8 000008b2: DUP7 000008b3: ADD 000008b4: ADD 000008b5: MSTORE 000008b6: ADD 000008b7: AND 000008b8: ADD 000008b9: ADD 000008ba: SWAP1 000008bb: JUMP 000008bc: JUMPDEST 000008bd: DUP2 000008be: DUP2 000008bf: ADD 000008c0: DUP4 000008c1: ADD 000008c2: MLOAD 000008c3: DUP5 000008c4: DUP3 000008c5: ADD 000008c6: PUSH1 0xa0 000008c8: ADD 000008c9: MSTORE 000008ca: DUP3 000008cb: ADD 000008cc: PUSH2 0x089b 000008cf: JUMP 000008d0: JUMPDEST 000008d1: SWAP2 000008d2: SWAP1 000008d3: SWAP6 000008d4: SWAP7 000008d5: SWAP5 000008d6: SWAP3 000008d7: SWAP5 000008d8: PUSH32 0x000000000000000000000000dafea492d9c6733ae3d56b7ed1adb60692c98bc5 000008f9: SWAP5 000008fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000090f: SWAP6 00000910: PUSH2 0x091c 00000913: DUP8 00000914: DUP3 00000915: AND 00000916: COINBASE 00000917: EQ 00000918: PUSH2 0x07f5 0000091b: JUMP 0000091c: JUMPDEST 0000091d: BALANCE 0000091e: SUB 0000091f: PUSH2 0x0935 00000922: JUMPI 00000923: POP 00000924: POP 00000925: POP 00000926: POP 00000927: POP 00000928: POP 00000929: POP 0000092a: POP 0000092b: PUSH0 0000092c: DUP1 0000092d: DUP1 0000092e: DUP1 0000092f: CALLVALUE 00000930: COINBASE 00000931: GAS 00000932: CALL 00000933: POP 00000934: JUMP 00000935: JUMPDEST 00000936: DUP5 00000937: PUSH32 0x000000000000000000000000f848e97469538830b0b147152524184a255b9106 00000958: AND 00000959: SWAP3 0000095a: PUSH1 0x40 0000095c: MLOAD 0000095d: SWAP3 0000095e: PUSH4 0x0240bc6b 00000963: PUSH1 0xe2 00000965: SHL 00000966: DUP5 00000967: MSTORE 00000968: PUSH1 0x60 0000096a: DUP5 0000096b: PUSH1 0x04 0000096d: DUP2 0000096e: DUP9 0000096f: GAS 00000970: STATICCALL 00000971: SWAP2 00000972: DUP3 00000973: ISZERO 00000974: PUSH2 0x020f 00000977: JUMPI 00000978: PUSH0 00000979: SWAP5 0000097a: PUSH0 0000097b: SWAP4 0000097c: PUSH2 0x0af1 0000097f: JUMPI 00000980: JUMPDEST 00000981: POP 00000982: SWAP2 00000983: PUSH2 0x09a6 00000986: PUSH2 0x099e 00000989: PUSH2 0x09ad 0000098c: SWAP4 0000098d: PUSH2 0x0999 00000990: PUSH2 0x09cb 00000993: SWAP7 00000994: DUP6 00000995: PUSH2 0x05a4 00000998: JUMP 00000999: JUMPDEST 0000099a: PUSH2 0x0823 0000099d: JUMP 0000099e: JUMPDEST 0000099f: PUSH2 0x03e8 000009a2: SWAP1 000009a3: DIV 000009a4: SWAP1 000009a5: JUMP 000009a6: JUMPDEST 000009a7: SWAP5 000009a8: DUP6 000009a9: PUSH2 0x0b6d 000009ac: JUMP 000009ad: JUMPDEST 000009ae: PUSH1 0x40 000009b0: DUP1 000009b1: MLOAD 000009b2: PUSH1 0x20 000009b4: DUP2 000009b5: ADD 000009b6: SWAP3 000009b7: SWAP1 000009b8: SWAP3 000009b9: MSTORE 000009ba: DUP2 000009bb: DUP2 000009bc: ADD 000009bd: SWAP4 000009be: SWAP1 000009bf: SWAP4 000009c0: MSTORE 000009c1: SWAP2 000009c2: DUP3 000009c3: MSTORE 000009c4: PUSH1 0x60 000009c6: DUP3 000009c7: PUSH2 0x0534 000009ca: JUMP 000009cb: JUMPDEST 000009cc: DUP3 000009cd: EXTCODESIZE 000009ce: ISZERO 000009cf: PUSH2 0x00b8 000009d2: JUMPI 000009d3: PUSH2 0x09f7 000009d6: SWAP3 000009d7: PUSH0 000009d8: SWAP3 000009d9: DUP4 000009da: PUSH1 0x40 000009dc: MLOAD 000009dd: DUP1 000009de: SWAP7 000009df: DUP2 000009e0: SWAP6 000009e1: DUP3 000009e2: SWAP5 000009e3: PUSH4 0x022c0d9f 000009e8: PUSH1 0xe0 000009ea: SHL 000009eb: DUP5 000009ec: MSTORE 000009ed: ADDRESS 000009ee: SWAP1 000009ef: PUSH1 0x04 000009f1: DUP6 000009f2: ADD 000009f3: PUSH2 0x085e 000009f6: JUMP 000009f7: JUMPDEST 000009f8: SUB 000009f9: SWAP3 000009fa: GAS 000009fb: CALL 000009fc: DUP1 000009fd: ISZERO 000009fe: PUSH2 0x020f 00000a01: JUMPI 00000a02: PUSH2 0x0ade 00000a05: JUMPI 00000a06: JUMPDEST 00000a07: POP 00000a08: PUSH1 0x40 00000a0a: MLOAD 00000a0b: PUSH4 0x70a08231 00000a10: PUSH1 0xe0 00000a12: SHL 00000a13: DUP2 00000a14: MSTORE 00000a15: ADDRESS 00000a16: PUSH1 0x04 00000a18: DUP3 00000a19: ADD 00000a1a: MSTORE 00000a1b: SWAP2 00000a1c: PUSH1 0x20 00000a1e: SWAP1 00000a1f: DUP4 00000a20: SWAP1 00000a21: PUSH1 0x24 00000a23: SWAP1 00000a24: DUP3 00000a25: SWAP1 00000a26: PUSH32 0x0000000000000000000000001bbf25e71ec48b84d773809b4ba55b6f4be946fb 00000a47: AND 00000a48: GAS 00000a49: STATICCALL 00000a4a: DUP1 00000a4b: ISZERO 00000a4c: PUSH2 0x020f 00000a4f: JUMPI 00000a50: PUSH2 0x03e8 00000a53: SWAP6 00000a54: PUSH2 0x0a7c 00000a57: PUSH2 0x0a8c 00000a5a: SWAP4 00000a5b: PUSH4 0x3b9aca00 00000a60: SWAP4 00000a61: PUSH2 0x0a96 00000a64: SWAP7 00000a65: PUSH0 00000a66: SWAP2 00000a67: PUSH2 0x0abf 00000a6a: JUMPI 00000a6b: JUMPDEST 00000a6c: POP 00000a6d: PUSH2 0x0a77 00000a70: DUP3 00000a71: DUP3 00000a72: GT 00000a73: PUSH2 0x07f5 00000a76: JUMP 00000a77: JUMPDEST 00000a78: PUSH2 0x05a4 00000a7b: JUMP 00000a7c: JUMPDEST 00000a7d: MUL 00000a7e: MUL 00000a7f: PUSH8 0x0de0b6b3a7640000 00000a88: SWAP1 00000a89: DIV 00000a8a: SWAP1 00000a8b: JUMP 00000a8c: JUMPDEST 00000a8d: PUSH4 0x3b9aca00 00000a92: SWAP1 00000a93: DIV 00000a94: SWAP1 00000a95: JUMP 00000a96: JUMPDEST 00000a97: PUSH2 0x0aa2 00000a9a: DUP3 00000a9b: DUP3 00000a9c: LT 00000a9d: ISZERO 00000a9e: PUSH2 0x07f5 00000aa1: JUMP 00000aa2: JUMPDEST 00000aa3: SUB 00000aa4: MUL 00000aa5: DIV 00000aa6: SELFBALANCE 00000aa7: DUP2 00000aa8: GT 00000aa9: PUSH2 0x0ab8 00000aac: JUMPI 00000aad: JUMPDEST 00000aae: PUSH0 00000aaf: DUP1 00000ab0: DUP1 00000ab1: DUP1 00000ab2: SWAP4 00000ab3: COINBASE 00000ab4: GAS 00000ab5: CALL 00000ab6: POP 00000ab7: JUMP 00000ab8: JUMPDEST 00000ab9: POP 00000aba: SELFBALANCE 00000abb: PUSH2 0x0aad 00000abe: JUMP 00000abf: JUMPDEST 00000ac0: PUSH2 0x0ad8 00000ac3: SWAP2 00000ac4: POP 00000ac5: PUSH1 0x20 00000ac7: RETURNDATASIZE 00000ac8: PUSH1 0x20 00000aca: GT 00000acb: PUSH2 0x0279 00000ace: JUMPI 00000acf: PUSH2 0x026b 00000ad2: DUP2 00000ad3: DUP4 00000ad4: PUSH2 0x0534 00000ad7: JUMP 00000ad8: JUMPDEST 00000ad9: PUSH0 00000ada: PUSH2 0x0a6b 00000add: JUMP 00000ade: JUMPDEST 00000adf: DUP1 00000ae0: PUSH2 0x04a3 00000ae3: PUSH2 0x0aeb 00000ae6: SWAP3 00000ae7: PUSH2 0x050c 00000aea: JUMP 00000aeb: JUMPDEST 00000aec: PUSH0 00000aed: PUSH2 0x0a06 00000af0: JUMP 00000af1: JUMPDEST 00000af2: PUSH2 0x0999 00000af5: SWAP6 00000af6: POP 00000af7: PUSH2 0x09cb 00000afa: SWAP4 00000afb: POP 00000afc: PUSH2 0x099e 00000aff: PUSH2 0x09ad 00000b02: SWAP4 00000b03: PUSH2 0x0b1d 00000b06: PUSH2 0x09a6 00000b09: SWAP4 00000b0a: PUSH1 0x60 00000b0c: RETURNDATASIZE 00000b0d: PUSH1 0x60 00000b0f: GT 00000b10: PUSH2 0x04d6 00000b13: JUMPI 00000b14: PUSH2 0x04c6 00000b17: DUP2 00000b18: DUP4 00000b19: PUSH2 0x0534 00000b1c: JUMP 00000b1d: JUMPDEST 00000b1e: POP 00000b1f: SWAP9 00000b20: SWAP1 00000b21: SWAP9 00000b22: SWAP7 00000b23: POP 00000b24: POP 00000b25: SWAP4 00000b26: POP 00000b27: POP 00000b28: PUSH2 0x0980 00000b2b: JUMP 00000b2c: JUMPDEST 00000b2d: SWAP3 00000b2e: SWAP4 00000b2f: SWAP2 00000b30: SWAP1 00000b31: PUSH2 0x0b3f 00000b34: DUP2 00000b35: DUP6 00000b36: PUSH2 0x0820 00000b39: SWAP5 00000b3a: MUL 00000b3b: PUSH2 0x0836 00000b3e: JUMP 00000b3f: JUMPDEST 00000b40: SWAP4 00000b41: PUSH0 00000b42: NOT 00000b43: PUSH1 0x7d 00000b45: DUP7 00000b46: PUSH1 0x01 00000b48: SHL 00000b49: DIV 00000b4a: DUP7 00000b4b: SUB 00000b4c: ADD 00000b4d: SWAP6 00000b4e: MUL 00000b4f: PUSH2 0x0836 00000b52: JUMP 00000b53: JUMPDEST 00000b54: SWAP1 00000b55: PUSH2 0x0820 00000b58: SWAP3 00000b59: PUSH2 0x03e5 00000b5c: SWAP2 00000b5d: PUSH2 0x03e8 00000b60: DUP4 00000b61: DUP6 00000b62: MUL 00000b63: SWAP2 00000b64: MUL 00000b65: ADD 00000b66: SWAP3 00000b67: MUL 00000b68: MUL 00000b69: PUSH2 0x0836 00000b6c: JUMP 00000b6d: JUMPDEST 00000b6e: SWAP1 00000b6f: PUSH2 0x03e8 00000b72: DUP3 00000b73: PUSH2 0x03e5 00000b76: PUSH2 0x0b86 00000b79: SWAP5 00000b7a: PUSH1 0x01 00000b7c: SWAP7 00000b7d: SUB 00000b7e: MUL 00000b7f: SWAP3 00000b80: MUL 00000b81: MUL 00000b82: PUSH2 0x0836 00000b85: JUMP 00000b86: JUMPDEST 00000b87: ADD 00000b88: SWAP1 00000b89: JUMP 00000b8a: INVALID 00000b8b: LOG2 00000b8c: PUSH5 0x6970667358 00000b92: UNKNOWN(0x22) 00000b93: SLT 00000b94: KECCAK256 00000b95: UNKNOWN(0xDD) 00000b96: EXTCODEHASH 00000b97: STOP 00000b98: RETURNDATASIZE 00000b99: UNKNOWN(0xB5) 00000b9a: UNKNOWN(0xDB) 00000b9b: PUSH4 0xe6063060 00000ba0: UNKNOWN(0x27) 00000ba1: PUSH29 0xa9148cf5ec8fa5b4f870a801b418a8d4952d0464736f6c634300081600 00000bbf: CALLER
| 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": "0x10d1e85c",
"selector": "0x10d1e85c",
"calldata_variants": [
"0x10d1e85c",
"0x10d1e85c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe1e22e86",
"selector": "0xe1e22e86",
"calldata_variants": [
"0xe1e22e86",
"0xe1e22e860000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe950e1f2",
"selector": "0xe950e1f2",
"calldata_variants": [
"0xe950e1f2",
"0xe950e1f20000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 334,
"type": "msg_sender_eq_const",
"value": 339
},
{
"pc": 1481,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x5a157fdab207312fdc44ea01ea1561bbdd6f166968a7b7e9030764353d2391ce
call_targets:
0xb1ce3ea155a6eda0b34d958081489f54bdf3da5f
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x5a157fdab207312fdc44ea01ea1561bbdd6f166968a7b7e9030764353d2391ce",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xb1ce3ea155a6eda0b34d958081489f54bdf3da5f"
],
"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": "0x10d1e85c",
"selector": "0x10d1e85c",
"calldata_variants": [
"0x10d1e85c",
"0x10d1e85c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe1e22e86",
"selector": "0xe1e22e86",
"calldata_variants": [
"0xe1e22e86",
"0xe1e22e860000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe950e1f2",
"selector": "0xe950e1f2",
"calldata_variants": [
"0xe950e1f2",
"0xe950e1f20000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 474,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 520,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 936,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 13,
"guards_detected": [
{
"pc": 334,
"type": "msg_sender_eq_const",
"value": 339
},
{
"pc": 1481,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 13
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x5a157fdab207312fdc44ea01ea1561bbdd6f166968a7b7e9030764353d2391ce
call_targets:
0xb1ce3ea155a6eda0b34d958081489f54bdf3da5f
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x5a157fdab207312fdc44ea01ea1561bbdd6f166968a7b7e9030764353d2391ce",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xb1ce3ea155a6eda0b34d958081489f54bdf3da5f"
],
"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": "0x10d1e85c",
"selector": "0x10d1e85c",
"calldata_variants": [
"0x10d1e85c",
"0x10d1e85c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe1e22e86",
"selector": "0xe1e22e86",
"calldata_variants": [
"0xe1e22e86",
"0xe1e22e860000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe950e1f2",
"selector": "0xe950e1f2",
"calldata_variants": [
"0xe950e1f2",
"0xe950e1f20000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 474,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 520,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 936,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 13,
"guards_detected": [
{
"pc": 334,
"type": "msg_sender_eq_const",
"value": 339
},
{
"pc": 1481,
"type": "tx_origin_used"
}
]
}
|