019b477e-aa46-7000-a4ea-d07249817f65
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 |
|---|---|---|---|---|
| 20797 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 20798 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 64322 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 64323 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 64324 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 64325 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLDATASIZE 00000006: ISZERO 00000007: PUSH2 0x0110 0000000a: JUMPI 0000000b: PUSH1 0x00 0000000d: CALLDATALOAD 0000000e: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002c: SWAP1 0000002d: DIV 0000002e: PUSH4 0xffffffff 00000033: AND 00000034: DUP1 00000035: PUSH4 0x06fdde03 0000003a: EQ 0000003b: PUSH2 0x0115 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0x09fca951 00000045: EQ 00000046: PUSH2 0x0146 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0x10e80ded 00000050: EQ 00000051: PUSH2 0x019b 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0x14ce4059 0000005b: EQ 0000005c: PUSH2 0x01f0 0000005f: JUMPI 00000060: DUP1 00000061: PUSH4 0x1800ed8e 00000066: EQ 00000067: PUSH2 0x0219 0000006a: JUMPI 0000006b: DUP1 0000006c: PUSH4 0x2b68b9c6 00000071: EQ 00000072: PUSH2 0x026e 00000075: JUMPI 00000076: DUP1 00000077: PUSH4 0x3ccfd60b 0000007c: EQ 0000007d: PUSH2 0x0283 00000080: JUMPI 00000081: DUP1 00000082: PUSH4 0x494d93cc 00000087: EQ 00000088: PUSH2 0x02b0 0000008b: JUMPI 0000008c: DUP1 0000008d: PUSH4 0x4f01d77e 00000092: EQ 00000093: PUSH2 0x02d9 00000096: JUMPI 00000097: DUP1 00000098: PUSH4 0x65372147 0000009d: EQ 0000009e: PUSH2 0x0300 000000a1: JUMPI 000000a2: DUP1 000000a3: PUSH4 0x6b31ee01 000000a8: EQ 000000a9: PUSH2 0x036d 000000ac: JUMPI 000000ad: DUP1 000000ae: PUSH4 0x8da5cb5b 000000b3: EQ 000000b4: PUSH2 0x0396 000000b7: JUMPI 000000b8: DUP1 000000b9: PUSH4 0x94e47e61 000000be: EQ 000000bf: PUSH2 0x03eb 000000c2: JUMPI 000000c3: DUP1 000000c4: PUSH4 0xa53aeb4e 000000c9: EQ 000000ca: PUSH2 0x0414 000000cd: JUMPI 000000ce: DUP1 000000cf: PUSH4 0xba13a572 000000d4: EQ 000000d5: PUSH2 0x0429 000000d8: JUMPI 000000d9: DUP1 000000da: PUSH4 0xbe3e33d5 000000df: EQ 000000e0: PUSH2 0x043e 000000e3: JUMPI 000000e4: DUP1 000000e5: PUSH4 0xca92a136 000000ea: EQ 000000eb: PUSH2 0x0490 000000ee: JUMPI 000000ef: DUP1 000000f0: PUSH4 0xddca3f43 000000f5: EQ 000000f6: PUSH2 0x04c1 000000f9: JUMPI 000000fa: DUP1 000000fb: PUSH4 0xfbe6a9b2 00000100: EQ 00000101: PUSH2 0x04ea 00000104: JUMPI 00000105: DUP1 00000106: PUSH4 0xfcfff16f 0000010b: EQ 0000010c: PUSH2 0x0513 0000010f: JUMPI 00000110: JUMPDEST 00000111: PUSH1 0x00 00000113: DUP1 00000114: REVERT 00000115: JUMPDEST 00000116: CALLVALUE 00000117: ISZERO 00000118: PUSH2 0x0120 0000011b: JUMPI 0000011c: PUSH1 0x00 0000011e: DUP1 0000011f: REVERT 00000120: JUMPDEST 00000121: PUSH2 0x0128 00000124: PUSH2 0x0540 00000127: JUMP 00000128: JUMPDEST 00000129: PUSH1 0x40 0000012b: MLOAD 0000012c: DUP1 0000012d: DUP3 0000012e: PUSH1 0x00 00000130: NOT 00000131: AND 00000132: PUSH1 0x00 00000134: NOT 00000135: AND 00000136: DUP2 00000137: MSTORE 00000138: PUSH1 0x20 0000013a: ADD 0000013b: SWAP2 0000013c: POP 0000013d: POP 0000013e: PUSH1 0x40 00000140: MLOAD 00000141: DUP1 00000142: SWAP2 00000143: SUB 00000144: SWAP1 00000145: RETURN 00000146: JUMPDEST 00000147: CALLVALUE 00000148: ISZERO 00000149: PUSH2 0x0151 0000014c: JUMPI 0000014d: PUSH1 0x00 0000014f: DUP1 00000150: REVERT 00000151: JUMPDEST 00000152: PUSH2 0x0159 00000155: PUSH2 0x0546 00000158: JUMP 00000159: JUMPDEST 0000015a: PUSH1 0x40 0000015c: MLOAD 0000015d: DUP1 0000015e: DUP3 0000015f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000174: AND 00000175: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000018a: AND 0000018b: DUP2 0000018c: MSTORE 0000018d: PUSH1 0x20 0000018f: ADD 00000190: SWAP2 00000191: POP 00000192: POP 00000193: PUSH1 0x40 00000195: MLOAD 00000196: DUP1 00000197: SWAP2 00000198: SUB 00000199: SWAP1 0000019a: RETURN 0000019b: JUMPDEST 0000019c: CALLVALUE 0000019d: ISZERO 0000019e: PUSH2 0x01a6 000001a1: JUMPI 000001a2: PUSH1 0x00 000001a4: DUP1 000001a5: REVERT 000001a6: JUMPDEST 000001a7: PUSH2 0x01ae 000001aa: PUSH2 0x056c 000001ad: JUMP 000001ae: JUMPDEST 000001af: PUSH1 0x40 000001b1: MLOAD 000001b2: DUP1 000001b3: DUP3 000001b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001c9: AND 000001ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001df: AND 000001e0: DUP2 000001e1: MSTORE 000001e2: PUSH1 0x20 000001e4: ADD 000001e5: SWAP2 000001e6: POP 000001e7: POP 000001e8: PUSH1 0x40 000001ea: MLOAD 000001eb: DUP1 000001ec: SWAP2 000001ed: SUB 000001ee: SWAP1 000001ef: RETURN 000001f0: JUMPDEST 000001f1: CALLVALUE 000001f2: ISZERO 000001f3: PUSH2 0x01fb 000001f6: JUMPI 000001f7: PUSH1 0x00 000001f9: DUP1 000001fa: REVERT 000001fb: JUMPDEST 000001fc: PUSH2 0x0203 000001ff: PUSH2 0x0592 00000202: JUMP 00000203: JUMPDEST 00000204: PUSH1 0x40 00000206: MLOAD 00000207: DUP1 00000208: DUP3 00000209: DUP2 0000020a: MSTORE 0000020b: PUSH1 0x20 0000020d: ADD 0000020e: SWAP2 0000020f: POP 00000210: POP 00000211: PUSH1 0x40 00000213: MLOAD 00000214: DUP1 00000215: SWAP2 00000216: SUB 00000217: SWAP1 00000218: RETURN 00000219: JUMPDEST 0000021a: CALLVALUE 0000021b: ISZERO 0000021c: PUSH2 0x0224 0000021f: JUMPI 00000220: PUSH1 0x00 00000222: DUP1 00000223: REVERT 00000224: JUMPDEST 00000225: PUSH2 0x022c 00000228: PUSH2 0x0598 0000022b: JUMP 0000022c: JUMPDEST 0000022d: PUSH1 0x40 0000022f: MLOAD 00000230: DUP1 00000231: DUP3 00000232: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000247: AND 00000248: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000025d: AND 0000025e: DUP2 0000025f: MSTORE 00000260: PUSH1 0x20 00000262: ADD 00000263: SWAP2 00000264: POP 00000265: POP 00000266: PUSH1 0x40 00000268: MLOAD 00000269: DUP1 0000026a: SWAP2 0000026b: SUB 0000026c: SWAP1 0000026d: RETURN 0000026e: JUMPDEST 0000026f: CALLVALUE 00000270: ISZERO 00000271: PUSH2 0x0279 00000274: JUMPI 00000275: PUSH1 0x00 00000277: DUP1 00000278: REVERT 00000279: JUMPDEST 0000027a: PUSH2 0x0281 0000027d: PUSH2 0x05be 00000280: JUMP 00000281: JUMPDEST 00000282: STOP 00000283: JUMPDEST 00000284: CALLVALUE 00000285: ISZERO 00000286: PUSH2 0x028e 00000289: JUMPI 0000028a: PUSH1 0x00 0000028c: DUP1 0000028d: REVERT 0000028e: JUMPDEST 0000028f: PUSH2 0x0296 00000292: PUSH2 0x06a1 00000295: JUMP 00000296: JUMPDEST 00000297: PUSH1 0x40 00000299: MLOAD 0000029a: DUP1 0000029b: DUP3 0000029c: ISZERO 0000029d: ISZERO 0000029e: ISZERO 0000029f: ISZERO 000002a0: DUP2 000002a1: MSTORE 000002a2: PUSH1 0x20 000002a4: ADD 000002a5: SWAP2 000002a6: POP 000002a7: POP 000002a8: PUSH1 0x40 000002aa: MLOAD 000002ab: DUP1 000002ac: SWAP2 000002ad: SUB 000002ae: SWAP1 000002af: RETURN 000002b0: JUMPDEST 000002b1: CALLVALUE 000002b2: ISZERO 000002b3: PUSH2 0x02bb 000002b6: JUMPI 000002b7: PUSH1 0x00 000002b9: DUP1 000002ba: REVERT 000002bb: JUMPDEST 000002bc: PUSH2 0x02c3 000002bf: PUSH2 0x087e 000002c2: JUMP 000002c3: JUMPDEST 000002c4: PUSH1 0x40 000002c6: MLOAD 000002c7: DUP1 000002c8: DUP3 000002c9: DUP2 000002ca: MSTORE 000002cb: PUSH1 0x20 000002cd: ADD 000002ce: SWAP2 000002cf: POP 000002d0: POP 000002d1: PUSH1 0x40 000002d3: MLOAD 000002d4: DUP1 000002d5: SWAP2 000002d6: SUB 000002d7: SWAP1 000002d8: RETURN 000002d9: JUMPDEST 000002da: CALLVALUE 000002db: ISZERO 000002dc: PUSH2 0x02e4 000002df: JUMPI 000002e0: PUSH1 0x00 000002e2: DUP1 000002e3: REVERT 000002e4: JUMPDEST 000002e5: PUSH2 0x02fe 000002e8: PUSH1 0x04 000002ea: DUP1 000002eb: DUP1 000002ec: CALLDATALOAD 000002ed: PUSH1 0x00 000002ef: NOT 000002f0: AND 000002f1: SWAP1 000002f2: PUSH1 0x20 000002f4: ADD 000002f5: SWAP1 000002f6: SWAP2 000002f7: SWAP1 000002f8: POP 000002f9: POP 000002fa: PUSH2 0x0884 000002fd: JUMP 000002fe: JUMPDEST 000002ff: STOP 00000300: JUMPDEST 00000301: CALLVALUE 00000302: ISZERO 00000303: PUSH2 0x030b 00000306: JUMPI 00000307: PUSH1 0x00 00000309: DUP1 0000030a: REVERT 0000030b: JUMPDEST 0000030c: PUSH2 0x0313 0000030f: PUSH2 0x0b8c 00000312: JUMP 00000313: JUMPDEST 00000314: PUSH1 0x40 00000316: MLOAD 00000317: DUP1 00000318: DUP3 00000319: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000339: NOT 0000033a: AND 0000033b: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0000035b: NOT 0000035c: AND 0000035d: DUP2 0000035e: MSTORE 0000035f: PUSH1 0x20 00000361: ADD 00000362: SWAP2 00000363: POP 00000364: POP 00000365: PUSH1 0x40 00000367: MLOAD 00000368: DUP1 00000369: SWAP2 0000036a: SUB 0000036b: SWAP1 0000036c: RETURN 0000036d: JUMPDEST 0000036e: CALLVALUE 0000036f: ISZERO 00000370: PUSH2 0x0378 00000373: JUMPI 00000374: PUSH1 0x00 00000376: DUP1 00000377: REVERT 00000378: JUMPDEST 00000379: PUSH2 0x0380 0000037c: PUSH2 0x0bbe 0000037f: JUMP 00000380: JUMPDEST 00000381: PUSH1 0x40 00000383: MLOAD 00000384: DUP1 00000385: DUP3 00000386: DUP2 00000387: MSTORE 00000388: PUSH1 0x20 0000038a: ADD 0000038b: SWAP2 0000038c: POP 0000038d: POP 0000038e: PUSH1 0x40 00000390: MLOAD 00000391: DUP1 00000392: SWAP2 00000393: SUB 00000394: SWAP1 00000395: RETURN 00000396: JUMPDEST 00000397: CALLVALUE 00000398: ISZERO 00000399: PUSH2 0x03a1 0000039c: JUMPI 0000039d: PUSH1 0x00 0000039f: DUP1 000003a0: REVERT 000003a1: JUMPDEST 000003a2: PUSH2 0x03a9 000003a5: PUSH2 0x0bc4 000003a8: JUMP 000003a9: JUMPDEST 000003aa: PUSH1 0x40 000003ac: MLOAD 000003ad: DUP1 000003ae: DUP3 000003af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003c4: AND 000003c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003da: AND 000003db: DUP2 000003dc: MSTORE 000003dd: PUSH1 0x20 000003df: ADD 000003e0: SWAP2 000003e1: POP 000003e2: POP 000003e3: PUSH1 0x40 000003e5: MLOAD 000003e6: DUP1 000003e7: SWAP2 000003e8: SUB 000003e9: SWAP1 000003ea: RETURN 000003eb: JUMPDEST 000003ec: CALLVALUE 000003ed: ISZERO 000003ee: PUSH2 0x03f6 000003f1: JUMPI 000003f2: PUSH1 0x00 000003f4: DUP1 000003f5: REVERT 000003f6: JUMPDEST 000003f7: PUSH2 0x03fe 000003fa: PUSH2 0x0bea 000003fd: JUMP 000003fe: JUMPDEST 000003ff: PUSH1 0x40 00000401: MLOAD 00000402: DUP1 00000403: DUP3 00000404: DUP2 00000405: MSTORE 00000406: PUSH1 0x20 00000408: ADD 00000409: SWAP2 0000040a: POP 0000040b: POP 0000040c: PUSH1 0x40 0000040e: MLOAD 0000040f: DUP1 00000410: SWAP2 00000411: SUB 00000412: SWAP1 00000413: RETURN 00000414: JUMPDEST 00000415: CALLVALUE 00000416: ISZERO 00000417: PUSH2 0x041f 0000041a: JUMPI 0000041b: PUSH1 0x00 0000041d: DUP1 0000041e: REVERT 0000041f: JUMPDEST 00000420: PUSH2 0x0427 00000423: PUSH2 0x0bf0 00000426: JUMP 00000427: JUMPDEST 00000428: STOP 00000429: JUMPDEST 0000042a: CALLVALUE 0000042b: ISZERO 0000042c: PUSH2 0x0434 0000042f: JUMPI 00000430: PUSH1 0x00 00000432: DUP1 00000433: REVERT 00000434: JUMPDEST 00000435: PUSH2 0x043c 00000438: PUSH2 0x0daa 0000043b: JUMP 0000043c: JUMPDEST 0000043d: STOP 0000043e: JUMPDEST 0000043f: PUSH2 0x0476 00000442: PUSH1 0x04 00000444: DUP1 00000445: DUP1 00000446: CALLDATALOAD 00000447: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000467: NOT 00000468: AND 00000469: SWAP1 0000046a: PUSH1 0x20 0000046c: ADD 0000046d: SWAP1 0000046e: SWAP2 0000046f: SWAP1 00000470: POP 00000471: POP 00000472: PUSH2 0x10f1 00000475: JUMP 00000476: JUMPDEST 00000477: PUSH1 0x40 00000479: MLOAD 0000047a: DUP1 0000047b: DUP3 0000047c: ISZERO 0000047d: ISZERO 0000047e: ISZERO 0000047f: ISZERO 00000480: DUP2 00000481: MSTORE 00000482: PUSH1 0x20 00000484: ADD 00000485: SWAP2 00000486: POP 00000487: POP 00000488: PUSH1 0x40 0000048a: MLOAD 0000048b: DUP1 0000048c: SWAP2 0000048d: SUB 0000048e: SWAP1 0000048f: RETURN 00000490: JUMPDEST 00000491: CALLVALUE 00000492: ISZERO 00000493: PUSH2 0x049b 00000496: JUMPI 00000497: PUSH1 0x00 00000499: DUP1 0000049a: REVERT 0000049b: JUMPDEST 0000049c: PUSH2 0x04a3 0000049f: PUSH2 0x13f0 000004a2: JUMP 000004a3: JUMPDEST 000004a4: PUSH1 0x40 000004a6: MLOAD 000004a7: DUP1 000004a8: DUP3 000004a9: PUSH1 0x00 000004ab: NOT 000004ac: AND 000004ad: PUSH1 0x00 000004af: NOT 000004b0: AND 000004b1: DUP2 000004b2: MSTORE 000004b3: PUSH1 0x20 000004b5: ADD 000004b6: SWAP2 000004b7: POP 000004b8: POP 000004b9: PUSH1 0x40 000004bb: MLOAD 000004bc: DUP1 000004bd: SWAP2 000004be: SUB 000004bf: SWAP1 000004c0: RETURN 000004c1: JUMPDEST 000004c2: CALLVALUE 000004c3: ISZERO 000004c4: PUSH2 0x04cc 000004c7: JUMPI 000004c8: PUSH1 0x00 000004ca: DUP1 000004cb: REVERT 000004cc: JUMPDEST 000004cd: PUSH2 0x04d4 000004d0: PUSH2 0x13f6 000004d3: JUMP 000004d4: JUMPDEST 000004d5: PUSH1 0x40 000004d7: MLOAD 000004d8: DUP1 000004d9: DUP3 000004da: DUP2 000004db: MSTORE 000004dc: PUSH1 0x20 000004de: ADD 000004df: SWAP2 000004e0: POP 000004e1: POP 000004e2: PUSH1 0x40 000004e4: MLOAD 000004e5: DUP1 000004e6: SWAP2 000004e7: SUB 000004e8: SWAP1 000004e9: RETURN 000004ea: JUMPDEST 000004eb: CALLVALUE 000004ec: ISZERO 000004ed: PUSH2 0x04f5 000004f0: JUMPI 000004f1: PUSH1 0x00 000004f3: DUP1 000004f4: REVERT 000004f5: JUMPDEST 000004f6: PUSH2 0x04fd 000004f9: PUSH2 0x13fc 000004fc: JUMP 000004fd: JUMPDEST 000004fe: PUSH1 0x40 00000500: MLOAD 00000501: DUP1 00000502: DUP3 00000503: DUP2 00000504: MSTORE 00000505: PUSH1 0x20 00000507: ADD 00000508: SWAP2 00000509: POP 0000050a: POP 0000050b: PUSH1 0x40 0000050d: MLOAD 0000050e: DUP1 0000050f: SWAP2 00000510: SUB 00000511: SWAP1 00000512: RETURN 00000513: JUMPDEST 00000514: CALLVALUE 00000515: ISZERO 00000516: PUSH2 0x051e 00000519: JUMPI 0000051a: PUSH1 0x00 0000051c: DUP1 0000051d: REVERT 0000051e: JUMPDEST 0000051f: PUSH2 0x0526 00000522: PUSH2 0x1402 00000525: JUMP 00000526: JUMPDEST 00000527: PUSH1 0x40 00000529: MLOAD 0000052a: DUP1 0000052b: DUP3 0000052c: ISZERO 0000052d: ISZERO 0000052e: ISZERO 0000052f: ISZERO 00000530: DUP2 00000531: MSTORE 00000532: PUSH1 0x20 00000534: ADD 00000535: SWAP2 00000536: POP 00000537: POP 00000538: PUSH1 0x40 0000053a: MLOAD 0000053b: DUP1 0000053c: SWAP2 0000053d: SUB 0000053e: SWAP1 0000053f: RETURN 00000540: JUMPDEST 00000541: PUSH1 0x00 00000543: SLOAD 00000544: DUP2 00000545: JUMP 00000546: JUMPDEST 00000547: PUSH1 0x0a 00000549: PUSH1 0x01 0000054b: SWAP1 0000054c: SLOAD 0000054d: SWAP1 0000054e: PUSH2 0x0100 00000551: EXP 00000552: SWAP1 00000553: DIV 00000554: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000569: AND 0000056a: DUP2 0000056b: JUMP 0000056c: JUMPDEST 0000056d: PUSH1 0x0b 0000056f: PUSH1 0x00 00000571: SWAP1 00000572: SLOAD 00000573: SWAP1 00000574: PUSH2 0x0100 00000577: EXP 00000578: SWAP1 00000579: DIV 0000057a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000058f: AND 00000590: DUP2 00000591: JUMP 00000592: JUMPDEST 00000593: PUSH1 0x05 00000595: SLOAD 00000596: DUP2 00000597: JUMP 00000598: JUMPDEST 00000599: PUSH1 0x01 0000059b: PUSH1 0x00 0000059d: SWAP1 0000059e: SLOAD 0000059f: SWAP1 000005a0: PUSH2 0x0100 000005a3: EXP 000005a4: SWAP1 000005a5: DIV 000005a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005bb: AND 000005bc: DUP2 000005bd: JUMP 000005be: JUMPDEST 000005bf: PUSH1 0x02 000005c1: PUSH1 0x14 000005c3: SWAP1 000005c4: SLOAD 000005c5: SWAP1 000005c6: PUSH2 0x0100 000005c9: EXP 000005ca: SWAP1 000005cb: DIV 000005cc: PUSH1 0xff 000005ce: AND 000005cf: ISZERO 000005d0: ISZERO 000005d1: ISZERO 000005d2: PUSH2 0x05da 000005d5: JUMPI 000005d6: PUSH1 0x00 000005d8: DUP1 000005d9: REVERT 000005da: JUMPDEST 000005db: PUSH1 0x02 000005dd: PUSH1 0x00 000005df: SWAP1 000005e0: SLOAD 000005e1: SWAP1 000005e2: PUSH2 0x0100 000005e5: EXP 000005e6: SWAP1 000005e7: DIV 000005e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005fd: AND 000005fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000613: AND 00000614: CALLER 00000615: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000062a: AND 0000062b: EQ 0000062c: ISZERO 0000062d: ISZERO 0000062e: PUSH2 0x0636 00000631: JUMPI 00000632: PUSH1 0x00 00000634: DUP1 00000635: REVERT 00000636: JUMPDEST 00000637: PUSH32 0xf58fef8e187ef8dfd7bef096c1ef3e4f3c54f98d95b8ad5659349b07e61204df 00000658: PUSH1 0x40 0000065a: MLOAD 0000065b: PUSH1 0x40 0000065d: MLOAD 0000065e: DUP1 0000065f: SWAP2 00000660: SUB 00000661: SWAP1 00000662: LOG1 00000663: PUSH1 0x02 00000665: PUSH1 0x00 00000667: SWAP1 00000668: SLOAD 00000669: SWAP1 0000066a: PUSH2 0x0100 0000066d: EXP 0000066e: SWAP1 0000066f: DIV 00000670: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000685: AND 00000686: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000069b: AND 0000069c: SELFDESTRUCT 0000069d: JUMPDEST 0000069e: JUMPDEST 0000069f: JUMPDEST 000006a0: JUMP 000006a1: JUMPDEST 000006a2: PUSH1 0x00 000006a4: DUP1 000006a5: PUSH1 0x02 000006a7: PUSH1 0x14 000006a9: SWAP1 000006aa: SLOAD 000006ab: SWAP1 000006ac: PUSH2 0x0100 000006af: EXP 000006b0: SWAP1 000006b1: DIV 000006b2: PUSH1 0xff 000006b4: AND 000006b5: ISZERO 000006b6: ISZERO 000006b7: ISZERO 000006b8: PUSH2 0x06c0 000006bb: JUMPI 000006bc: PUSH1 0x00 000006be: DUP1 000006bf: REVERT 000006c0: JUMPDEST 000006c1: PUSH1 0x00 000006c3: PUSH1 0x0d 000006c5: PUSH1 0x00 000006c7: CALLER 000006c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006dd: AND 000006de: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006f3: AND 000006f4: DUP2 000006f5: MSTORE 000006f6: PUSH1 0x20 000006f8: ADD 000006f9: SWAP1 000006fa: DUP2 000006fb: MSTORE 000006fc: PUSH1 0x20 000006fe: ADD 000006ff: PUSH1 0x00 00000701: KECCAK256 00000702: SLOAD 00000703: GT 00000704: ISZERO 00000705: ISZERO 00000706: PUSH2 0x070e 00000709: JUMPI 0000070a: PUSH1 0x00 0000070c: DUP1 0000070d: REVERT 0000070e: JUMPDEST 0000070f: PUSH1 0x0d 00000711: PUSH1 0x00 00000713: CALLER 00000714: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000729: AND 0000072a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000073f: AND 00000740: DUP2 00000741: MSTORE 00000742: PUSH1 0x20 00000744: ADD 00000745: SWAP1 00000746: DUP2 00000747: MSTORE 00000748: PUSH1 0x20 0000074a: ADD 0000074b: PUSH1 0x00 0000074d: KECCAK256 0000074e: SLOAD 0000074f: SWAP1 00000750: POP 00000751: PUSH1 0x00 00000753: PUSH1 0x0d 00000755: PUSH1 0x00 00000757: CALLER 00000758: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000076d: AND 0000076e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000783: AND 00000784: DUP2 00000785: MSTORE 00000786: PUSH1 0x20 00000788: ADD 00000789: SWAP1 0000078a: DUP2 0000078b: MSTORE 0000078c: PUSH1 0x20 0000078e: ADD 0000078f: PUSH1 0x00 00000791: KECCAK256 00000792: DUP2 00000793: SWAP1 00000794: SSTORE 00000795: POP 00000796: CALLER 00000797: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007ac: AND 000007ad: PUSH2 0x08fc 000007b0: DUP3 000007b1: SWAP1 000007b2: DUP2 000007b3: ISZERO 000007b4: MUL 000007b5: SWAP1 000007b6: PUSH1 0x40 000007b8: MLOAD 000007b9: PUSH1 0x00 000007bb: PUSH1 0x40 000007bd: MLOAD 000007be: DUP1 000007bf: DUP4 000007c0: SUB 000007c1: DUP2 000007c2: DUP6 000007c3: DUP9 000007c4: DUP9 000007c5: CALL 000007c6: SWAP4 000007c7: POP 000007c8: POP 000007c9: POP 000007ca: POP 000007cb: ISZERO 000007cc: ISZERO 000007cd: PUSH2 0x081d 000007d0: JUMPI 000007d1: DUP1 000007d2: PUSH1 0x0d 000007d4: PUSH1 0x00 000007d6: CALLER 000007d7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007ec: AND 000007ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000802: AND 00000803: DUP2 00000804: MSTORE 00000805: PUSH1 0x20 00000807: ADD 00000808: SWAP1 00000809: DUP2 0000080a: MSTORE 0000080b: PUSH1 0x20 0000080d: ADD 0000080e: PUSH1 0x00 00000810: KECCAK256 00000811: DUP2 00000812: SWAP1 00000813: SSTORE 00000814: POP 00000815: PUSH1 0x00 00000817: SWAP2 00000818: POP 00000819: PUSH2 0x0878 0000081c: JUMP 0000081d: JUMPDEST 0000081e: CALLER 0000081f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000834: AND 00000835: PUSH32 0xf279e6a1f5e320cca91135676d9cb6e44ca8a08c0b88342bcdb1144f6511b568 00000856: DUP3 00000857: TIMESTAMP 00000858: PUSH1 0x40 0000085a: MLOAD 0000085b: DUP1 0000085c: DUP4 0000085d: DUP2 0000085e: MSTORE 0000085f: PUSH1 0x20 00000861: ADD 00000862: DUP3 00000863: DUP2 00000864: MSTORE 00000865: PUSH1 0x20 00000867: ADD 00000868: SWAP3 00000869: POP 0000086a: POP 0000086b: POP 0000086c: PUSH1 0x40 0000086e: MLOAD 0000086f: DUP1 00000870: SWAP2 00000871: SUB 00000872: SWAP1 00000873: LOG2 00000874: PUSH1 0x01 00000876: SWAP2 00000877: POP 00000878: JUMPDEST 00000879: JUMPDEST 0000087a: JUMPDEST 0000087b: POP 0000087c: SWAP1 0000087d: JUMP 0000087e: JUMPDEST 0000087f: PUSH1 0x07 00000881: SLOAD 00000882: DUP2 00000883: JUMP 00000884: JUMPDEST 00000885: PUSH1 0x00 00000887: DUP1 00000888: PUSH1 0x00 0000088a: PUSH1 0x02 0000088c: PUSH1 0x14 0000088e: SWAP1 0000088f: SLOAD 00000890: SWAP1 00000891: PUSH2 0x0100 00000894: EXP 00000895: SWAP1 00000896: DIV 00000897: PUSH1 0xff 00000899: AND 0000089a: ISZERO 0000089b: ISZERO 0000089c: ISZERO 0000089d: PUSH2 0x08a5 000008a0: JUMPI 000008a1: PUSH1 0x00 000008a3: DUP1 000008a4: REVERT 000008a5: JUMPDEST 000008a6: PUSH1 0x02 000008a8: PUSH1 0x00 000008aa: SWAP1 000008ab: SLOAD 000008ac: SWAP1 000008ad: PUSH2 0x0100 000008b0: EXP 000008b1: SWAP1 000008b2: DIV 000008b3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008c8: AND 000008c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008de: AND 000008df: CALLER 000008e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008f5: AND 000008f6: EQ 000008f7: ISZERO 000008f8: ISZERO 000008f9: PUSH2 0x0901 000008fc: JUMPI 000008fd: PUSH1 0x00 000008ff: DUP1 00000900: REVERT 00000901: JUMPDEST 00000902: DUP4 00000903: PUSH1 0x09 00000905: DUP2 00000906: PUSH1 0x00 00000908: NOT 00000909: AND 0000090a: SWAP1 0000090b: SSTORE 0000090c: POP 0000090d: PUSH1 0x09 0000090f: SLOAD 00000910: PUSH1 0x1f 00000912: PUSH1 0x20 00000914: DUP2 00000915: LT 00000916: ISZERO 00000917: ISZERO 00000918: PUSH2 0x091d 0000091b: JUMPI 0000091c: INVALID 0000091d: JUMPDEST 0000091e: BYTE 0000091f: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000 00000940: MUL 00000941: PUSH1 0x0a 00000943: PUSH1 0x00 00000945: PUSH2 0x0100 00000948: EXP 00000949: DUP2 0000094a: SLOAD 0000094b: DUP2 0000094c: PUSH1 0xff 0000094e: MUL 0000094f: NOT 00000950: AND 00000951: SWAP1 00000952: DUP4 00000953: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000 00000974: SWAP1 00000975: DIV 00000976: MUL 00000977: OR 00000978: SWAP1 00000979: SSTORE 0000097a: POP 0000097b: PUSH1 0x0c 0000097d: PUSH1 0x00 0000097f: PUSH1 0x0a 00000981: PUSH1 0x00 00000983: SWAP1 00000984: SLOAD 00000985: SWAP1 00000986: PUSH2 0x0100 00000989: EXP 0000098a: SWAP1 0000098b: DIV 0000098c: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000 000009ad: MUL 000009ae: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000009ce: NOT 000009cf: AND 000009d0: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000009f0: NOT 000009f1: AND 000009f2: DUP2 000009f3: MSTORE 000009f4: PUSH1 0x20 000009f6: ADD 000009f7: SWAP1 000009f8: DUP2 000009f9: MSTORE 000009fa: PUSH1 0x20 000009fc: ADD 000009fd: PUSH1 0x00 000009ff: KECCAK256 00000a00: SWAP3 00000a01: POP 00000a02: DUP3 00000a03: DUP1 00000a04: SLOAD 00000a05: SWAP1 00000a06: POP 00000a07: PUSH1 0x08 00000a09: DUP2 00000a0a: SWAP1 00000a0b: SSTORE 00000a0c: POP 00000a0d: PUSH1 0x00 00000a0f: PUSH1 0x08 00000a11: SLOAD 00000a12: GT 00000a13: ISZERO 00000a14: PUSH2 0x0ada 00000a17: JUMPI 00000a18: PUSH1 0x08 00000a1a: SLOAD 00000a1b: ADDRESS 00000a1c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a31: AND 00000a32: BALANCE 00000a33: DUP2 00000a34: ISZERO 00000a35: ISZERO 00000a36: PUSH2 0x0a3b 00000a39: JUMPI 00000a3a: INVALID 00000a3b: JUMPDEST 00000a3c: DIV 00000a3d: SWAP2 00000a3e: POP 00000a3f: PUSH1 0x00 00000a41: SWAP1 00000a42: POP 00000a43: JUMPDEST 00000a44: PUSH1 0x08 00000a46: SLOAD 00000a47: DUP2 00000a48: LT 00000a49: ISZERO 00000a4a: PUSH2 0x0ad9 00000a4d: JUMPI 00000a4e: DUP2 00000a4f: PUSH1 0x0d 00000a51: PUSH1 0x00 00000a53: DUP6 00000a54: DUP5 00000a55: DUP2 00000a56: SLOAD 00000a57: DUP2 00000a58: LT 00000a59: ISZERO 00000a5a: ISZERO 00000a5b: PUSH2 0x0a60 00000a5e: JUMPI 00000a5f: INVALID 00000a60: JUMPDEST 00000a61: SWAP1 00000a62: PUSH1 0x00 00000a64: MSTORE 00000a65: PUSH1 0x20 00000a67: PUSH1 0x00 00000a69: KECCAK256 00000a6a: SWAP1 00000a6b: ADD 00000a6c: PUSH1 0x00 00000a6e: JUMPDEST 00000a6f: SWAP1 00000a70: SLOAD 00000a71: SWAP1 00000a72: PUSH2 0x0100 00000a75: EXP 00000a76: SWAP1 00000a77: DIV 00000a78: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a8d: AND 00000a8e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000aa3: AND 00000aa4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ab9: AND 00000aba: DUP2 00000abb: MSTORE 00000abc: PUSH1 0x20 00000abe: ADD 00000abf: SWAP1 00000ac0: DUP2 00000ac1: MSTORE 00000ac2: PUSH1 0x20 00000ac4: ADD 00000ac5: PUSH1 0x00 00000ac7: KECCAK256 00000ac8: DUP2 00000ac9: SWAP1 00000aca: SSTORE 00000acb: POP 00000acc: JUMPDEST 00000acd: DUP1 00000ace: DUP1 00000acf: PUSH1 0x01 00000ad1: ADD 00000ad2: SWAP2 00000ad3: POP 00000ad4: POP 00000ad5: PUSH2 0x0a43 00000ad8: JUMP 00000ad9: JUMPDEST 00000ada: JUMPDEST 00000adb: PUSH32 0xce2892841501496330839ba407f44943da10eb31b71db5c90df80c1ae1d7d1d3 00000afc: PUSH1 0x0a 00000afe: PUSH1 0x00 00000b00: SWAP1 00000b01: SLOAD 00000b02: SWAP1 00000b03: PUSH2 0x0100 00000b06: EXP 00000b07: SWAP1 00000b08: DIV 00000b09: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000 00000b2a: MUL 00000b2b: PUSH1 0x40 00000b2d: MLOAD 00000b2e: DUP1 00000b2f: DUP3 00000b30: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000b50: NOT 00000b51: AND 00000b52: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000b72: NOT 00000b73: AND 00000b74: DUP2 00000b75: MSTORE 00000b76: PUSH1 0x20 00000b78: ADD 00000b79: SWAP2 00000b7a: POP 00000b7b: POP 00000b7c: PUSH1 0x40 00000b7e: MLOAD 00000b7f: DUP1 00000b80: SWAP2 00000b81: SUB 00000b82: SWAP1 00000b83: LOG1 00000b84: JUMPDEST 00000b85: JUMPDEST 00000b86: JUMPDEST 00000b87: POP 00000b88: POP 00000b89: POP 00000b8a: POP 00000b8b: JUMP 00000b8c: JUMPDEST 00000b8d: PUSH1 0x0a 00000b8f: PUSH1 0x00 00000b91: SWAP1 00000b92: SLOAD 00000b93: SWAP1 00000b94: PUSH2 0x0100 00000b97: EXP 00000b98: SWAP1 00000b99: DIV 00000b9a: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000 00000bbb: MUL 00000bbc: DUP2 00000bbd: JUMP 00000bbe: JUMPDEST 00000bbf: PUSH1 0x03 00000bc1: SLOAD 00000bc2: DUP2 00000bc3: JUMP 00000bc4: JUMPDEST 00000bc5: PUSH1 0x02 00000bc7: PUSH1 0x00 00000bc9: SWAP1 00000bca: SLOAD 00000bcb: SWAP1 00000bcc: PUSH2 0x0100 00000bcf: EXP 00000bd0: SWAP1 00000bd1: DIV 00000bd2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000be7: AND 00000be8: DUP2 00000be9: JUMP 00000bea: JUMPDEST 00000beb: PUSH1 0x06 00000bed: SLOAD 00000bee: DUP2 00000bef: JUMP 00000bf0: JUMPDEST 00000bf1: PUSH1 0x02 00000bf3: PUSH1 0x00 00000bf5: SWAP1 00000bf6: SLOAD 00000bf7: SWAP1 00000bf8: PUSH2 0x0100 00000bfb: EXP 00000bfc: SWAP1 00000bfd: DIV 00000bfe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c13: AND 00000c14: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c29: AND 00000c2a: ORIGIN 00000c2b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c40: AND 00000c41: EQ 00000c42: ISZERO 00000c43: ISZERO 00000c44: PUSH2 0x0c4c 00000c47: JUMPI 00000c48: PUSH1 0x00 00000c4a: DUP1 00000c4b: REVERT 00000c4c: JUMPDEST 00000c4d: PUSH1 0x02 00000c4f: PUSH1 0x14 00000c51: SWAP1 00000c52: SLOAD 00000c53: SWAP1 00000c54: PUSH2 0x0100 00000c57: EXP 00000c58: SWAP1 00000c59: DIV 00000c5a: PUSH1 0xff 00000c5c: AND 00000c5d: ISZERO 00000c5e: ISZERO 00000c5f: ISZERO 00000c60: PUSH2 0x0c68 00000c63: JUMPI 00000c64: PUSH1 0x00 00000c66: DUP1 00000c67: REVERT 00000c68: JUMPDEST 00000c69: PUSH1 0x00 00000c6b: PUSH1 0x01 00000c6d: MUL 00000c6e: PUSH1 0x09 00000c70: SLOAD 00000c71: PUSH1 0x00 00000c73: NOT 00000c74: AND 00000c75: EQ 00000c76: ISZERO 00000c77: DUP1 00000c78: ISZERO 00000c79: PUSH2 0x0c84 00000c7c: JUMPI 00000c7d: POP 00000c7e: PUSH1 0x00 00000c80: PUSH1 0x08 00000c82: SLOAD 00000c83: EQ 00000c84: JUMPDEST 00000c85: ISZERO 00000c86: ISZERO 00000c87: PUSH2 0x0c8f 00000c8a: JUMPI 00000c8b: PUSH1 0x00 00000c8d: DUP1 00000c8e: REVERT 00000c8f: JUMPDEST 00000c90: CALLER 00000c91: PUSH1 0x0b 00000c93: PUSH1 0x00 00000c95: PUSH2 0x0100 00000c98: EXP 00000c99: DUP2 00000c9a: SLOAD 00000c9b: DUP2 00000c9c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cb1: MUL 00000cb2: NOT 00000cb3: AND 00000cb4: SWAP1 00000cb5: DUP4 00000cb6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ccb: AND 00000ccc: MUL 00000ccd: OR 00000cce: SWAP1 00000ccf: SSTORE 00000cd0: POP 00000cd1: CALLER 00000cd2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ce7: AND 00000ce8: PUSH2 0x08fc 00000ceb: ADDRESS 00000cec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d01: AND 00000d02: BALANCE 00000d03: SWAP1 00000d04: DUP2 00000d05: ISZERO 00000d06: MUL 00000d07: SWAP1 00000d08: PUSH1 0x40 00000d0a: MLOAD 00000d0b: PUSH1 0x00 00000d0d: PUSH1 0x40 00000d0f: MLOAD 00000d10: DUP1 00000d11: DUP4 00000d12: SUB 00000d13: DUP2 00000d14: DUP6 00000d15: DUP9 00000d16: DUP9 00000d17: CALL 00000d18: SWAP4 00000d19: POP 00000d1a: POP 00000d1b: POP 00000d1c: POP 00000d1d: ISZERO 00000d1e: PUSH2 0x0da4 00000d21: JUMPI 00000d22: PUSH32 0x7e98bc8f89e5efd34c3306b5f212781ef818e91840831c7b7947cf060865ffc7 00000d43: CALLER 00000d44: ADDRESS 00000d45: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d5a: AND 00000d5b: BALANCE 00000d5c: PUSH1 0x40 00000d5e: MLOAD 00000d5f: DUP1 00000d60: DUP4 00000d61: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d76: AND 00000d77: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d8c: AND 00000d8d: DUP2 00000d8e: MSTORE 00000d8f: PUSH1 0x20 00000d91: ADD 00000d92: DUP3 00000d93: DUP2 00000d94: MSTORE 00000d95: PUSH1 0x20 00000d97: ADD 00000d98: SWAP3 00000d99: POP 00000d9a: POP 00000d9b: POP 00000d9c: PUSH1 0x40 00000d9e: MLOAD 00000d9f: DUP1 00000da0: SWAP2 00000da1: SUB 00000da2: SWAP1 00000da3: LOG1 00000da4: JUMPDEST 00000da5: JUMPDEST 00000da6: JUMPDEST 00000da7: JUMPDEST 00000da8: JUMPDEST 00000da9: JUMP 00000daa: JUMPDEST 00000dab: PUSH1 0x00 00000dad: DUP1 00000dae: PUSH1 0x00 00000db0: PUSH1 0x02 00000db2: PUSH1 0x14 00000db4: SWAP1 00000db5: SLOAD 00000db6: SWAP1 00000db7: PUSH2 0x0100 00000dba: EXP 00000dbb: SWAP1 00000dbc: DIV 00000dbd: PUSH1 0xff 00000dbf: AND 00000dc0: ISZERO 00000dc1: ISZERO 00000dc2: ISZERO 00000dc3: PUSH2 0x0dcb 00000dc6: JUMPI 00000dc7: PUSH1 0x00 00000dc9: DUP1 00000dca: REVERT 00000dcb: JUMPDEST 00000dcc: PUSH1 0x07 00000dce: SLOAD 00000dcf: NUMBER 00000dd0: LT 00000dd1: ISZERO 00000dd2: DUP1 00000dd3: ISZERO 00000dd4: PUSH2 0x0de3 00000dd7: JUMPI 00000dd8: POP 00000dd9: PUSH2 0x0100 00000ddc: PUSH1 0x07 00000dde: SLOAD 00000ddf: ADD 00000de0: NUMBER 00000de1: GT 00000de2: ISZERO 00000de3: JUMPDEST 00000de4: DUP1 00000de5: ISZERO 00000de6: PUSH2 0x0dfc 00000de9: JUMPI 00000dea: POP 00000deb: PUSH1 0x09 00000ded: SLOAD 00000dee: PUSH1 0x00 00000df0: NOT 00000df1: AND 00000df2: PUSH1 0x07 00000df4: SLOAD 00000df5: BLOCKHASH 00000df6: PUSH1 0x00 00000df8: NOT 00000df9: AND 00000dfa: EQ 00000dfb: ISZERO 00000dfc: JUMPDEST 00000dfd: ISZERO 00000dfe: ISZERO 00000dff: PUSH2 0x0e07 00000e02: JUMPI 00000e03: PUSH1 0x00 00000e05: DUP1 00000e06: REVERT 00000e07: JUMPDEST 00000e08: PUSH1 0x02 00000e0a: PUSH1 0x00 00000e0c: SWAP1 00000e0d: SLOAD 00000e0e: SWAP1 00000e0f: PUSH2 0x0100 00000e12: EXP 00000e13: SWAP1 00000e14: DIV 00000e15: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e2a: AND 00000e2b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e40: AND 00000e41: CALLER 00000e42: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e57: AND 00000e58: EQ 00000e59: ISZERO 00000e5a: ISZERO 00000e5b: PUSH2 0x0e63 00000e5e: JUMPI 00000e5f: PUSH1 0x00 00000e61: DUP1 00000e62: REVERT 00000e63: JUMPDEST 00000e64: PUSH1 0x07 00000e66: SLOAD 00000e67: BLOCKHASH 00000e68: PUSH1 0x09 00000e6a: DUP2 00000e6b: PUSH1 0x00 00000e6d: NOT 00000e6e: AND 00000e6f: SWAP1 00000e70: SSTORE 00000e71: POP 00000e72: PUSH1 0x09 00000e74: SLOAD 00000e75: PUSH1 0x1f 00000e77: PUSH1 0x20 00000e79: DUP2 00000e7a: LT 00000e7b: ISZERO 00000e7c: ISZERO 00000e7d: PUSH2 0x0e82 00000e80: JUMPI 00000e81: INVALID 00000e82: JUMPDEST 00000e83: BYTE 00000e84: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000 00000ea5: MUL 00000ea6: PUSH1 0x0a 00000ea8: PUSH1 0x00 00000eaa: PUSH2 0x0100 00000ead: EXP 00000eae: DUP2 00000eaf: SLOAD 00000eb0: DUP2 00000eb1: PUSH1 0xff 00000eb3: MUL 00000eb4: NOT 00000eb5: AND 00000eb6: SWAP1 00000eb7: DUP4 00000eb8: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000 00000ed9: SWAP1 00000eda: DIV 00000edb: MUL 00000edc: OR 00000edd: SWAP1 00000ede: SSTORE 00000edf: POP 00000ee0: PUSH1 0x0c 00000ee2: PUSH1 0x00 00000ee4: PUSH1 0x0a 00000ee6: PUSH1 0x00 00000ee8: SWAP1 00000ee9: SLOAD 00000eea: SWAP1 00000eeb: PUSH2 0x0100 00000eee: EXP 00000eef: SWAP1 00000ef0: DIV 00000ef1: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000 00000f12: MUL 00000f13: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000f33: NOT 00000f34: AND 00000f35: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000f55: NOT 00000f56: AND 00000f57: DUP2 00000f58: MSTORE 00000f59: PUSH1 0x20 00000f5b: ADD 00000f5c: SWAP1 00000f5d: DUP2 00000f5e: MSTORE 00000f5f: PUSH1 0x20 00000f61: ADD 00000f62: PUSH1 0x00 00000f64: KECCAK256 00000f65: SWAP3 00000f66: POP 00000f67: DUP3 00000f68: DUP1 00000f69: SLOAD 00000f6a: SWAP1 00000f6b: POP 00000f6c: PUSH1 0x08 00000f6e: DUP2 00000f6f: SWAP1 00000f70: SSTORE 00000f71: POP 00000f72: PUSH1 0x00 00000f74: PUSH1 0x08 00000f76: SLOAD 00000f77: GT 00000f78: ISZERO 00000f79: PUSH2 0x103f 00000f7c: JUMPI 00000f7d: PUSH1 0x08 00000f7f: SLOAD 00000f80: ADDRESS 00000f81: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f96: AND 00000f97: BALANCE 00000f98: DUP2 00000f99: ISZERO 00000f9a: ISZERO 00000f9b: PUSH2 0x0fa0 00000f9e: JUMPI 00000f9f: INVALID 00000fa0: JUMPDEST 00000fa1: DIV 00000fa2: SWAP2 00000fa3: POP 00000fa4: PUSH1 0x00 00000fa6: SWAP1 00000fa7: POP 00000fa8: JUMPDEST 00000fa9: PUSH1 0x08 00000fab: SLOAD 00000fac: DUP2 00000fad: LT 00000fae: ISZERO 00000faf: PUSH2 0x103e 00000fb2: JUMPI 00000fb3: DUP2 00000fb4: PUSH1 0x0d 00000fb6: PUSH1 0x00 00000fb8: DUP6 00000fb9: DUP5 00000fba: DUP2 00000fbb: SLOAD 00000fbc: DUP2 00000fbd: LT 00000fbe: ISZERO 00000fbf: ISZERO 00000fc0: PUSH2 0x0fc5 00000fc3: JUMPI 00000fc4: INVALID 00000fc5: JUMPDEST 00000fc6: SWAP1 00000fc7: PUSH1 0x00 00000fc9: MSTORE 00000fca: PUSH1 0x20 00000fcc: PUSH1 0x00 00000fce: KECCAK256 00000fcf: SWAP1 00000fd0: ADD 00000fd1: PUSH1 0x00 00000fd3: JUMPDEST 00000fd4: SWAP1 00000fd5: SLOAD 00000fd6: SWAP1 00000fd7: PUSH2 0x0100 00000fda: EXP 00000fdb: SWAP1 00000fdc: DIV 00000fdd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ff2: AND 00000ff3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001008: AND 00001009: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000101e: AND 0000101f: DUP2 00001020: MSTORE 00001021: PUSH1 0x20 00001023: ADD 00001024: SWAP1 00001025: DUP2 00001026: MSTORE 00001027: PUSH1 0x20 00001029: ADD 0000102a: PUSH1 0x00 0000102c: KECCAK256 0000102d: DUP2 0000102e: SWAP1 0000102f: SSTORE 00001030: POP 00001031: JUMPDEST 00001032: DUP1 00001033: DUP1 00001034: PUSH1 0x01 00001036: ADD 00001037: SWAP2 00001038: POP 00001039: POP 0000103a: PUSH2 0x0fa8 0000103d: JUMP 0000103e: JUMPDEST 0000103f: JUMPDEST 00001040: PUSH32 0xce2892841501496330839ba407f44943da10eb31b71db5c90df80c1ae1d7d1d3 00001061: PUSH1 0x0a 00001063: PUSH1 0x00 00001065: SWAP1 00001066: SLOAD 00001067: SWAP1 00001068: PUSH2 0x0100 0000106b: EXP 0000106c: SWAP1 0000106d: DIV 0000106e: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000 0000108f: MUL 00001090: PUSH1 0x40 00001092: MLOAD 00001093: DUP1 00001094: DUP3 00001095: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000010b5: NOT 000010b6: AND 000010b7: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000010d7: NOT 000010d8: AND 000010d9: DUP2 000010da: MSTORE 000010db: PUSH1 0x20 000010dd: ADD 000010de: SWAP2 000010df: POP 000010e0: POP 000010e1: PUSH1 0x40 000010e3: MLOAD 000010e4: DUP1 000010e5: SWAP2 000010e6: SUB 000010e7: SWAP1 000010e8: LOG1 000010e9: JUMPDEST 000010ea: JUMPDEST 000010eb: JUMPDEST 000010ec: JUMPDEST 000010ed: POP 000010ee: POP 000010ef: POP 000010f0: JUMP 000010f1: JUMPDEST 000010f2: PUSH1 0x00 000010f4: DUP1 000010f5: PUSH1 0x02 000010f7: PUSH1 0x14 000010f9: SWAP1 000010fa: SLOAD 000010fb: SWAP1 000010fc: PUSH2 0x0100 000010ff: EXP 00001100: SWAP1 00001101: DIV 00001102: PUSH1 0xff 00001104: AND 00001105: ISZERO 00001106: ISZERO 00001107: PUSH2 0x110f 0000110a: JUMPI 0000110b: PUSH1 0x00 0000110d: DUP1 0000110e: REVERT 0000110f: JUMPDEST 00001110: PUSH1 0x04 00001112: SLOAD 00001113: CALLVALUE 00001114: LT 00001115: ISZERO 00001116: ISZERO 00001117: ISZERO 00001118: PUSH2 0x1120 0000111b: JUMPI 0000111c: PUSH1 0x00 0000111e: DUP1 0000111f: REVERT 00001120: JUMPDEST 00001121: PUSH1 0x0c 00001123: PUSH1 0x00 00001125: DUP5 00001126: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00001146: NOT 00001147: AND 00001148: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00001168: NOT 00001169: AND 0000116a: DUP2 0000116b: MSTORE 0000116c: PUSH1 0x20 0000116e: ADD 0000116f: SWAP1 00001170: DUP2 00001171: MSTORE 00001172: PUSH1 0x20 00001174: ADD 00001175: PUSH1 0x00 00001177: KECCAK256 00001178: DUP1 00001179: SLOAD 0000117a: DUP1 0000117b: PUSH1 0x01 0000117d: ADD 0000117e: DUP3 0000117f: DUP2 00001180: PUSH2 0x1189 00001183: SWAP2 00001184: SWAP1 00001185: PUSH2 0x1415 00001188: JUMP 00001189: JUMPDEST 0000118a: SWAP2 0000118b: PUSH1 0x00 0000118d: MSTORE 0000118e: PUSH1 0x20 00001190: PUSH1 0x00 00001192: KECCAK256 00001193: SWAP1 00001194: ADD 00001195: PUSH1 0x00 00001197: JUMPDEST 00001198: CALLER 00001199: SWAP1 0000119a: SWAP2 0000119b: SWAP1 0000119c: SWAP2 0000119d: PUSH2 0x0100 000011a0: EXP 000011a1: DUP2 000011a2: SLOAD 000011a3: DUP2 000011a4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011b9: MUL 000011ba: NOT 000011bb: AND 000011bc: SWAP1 000011bd: DUP4 000011be: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011d3: AND 000011d4: MUL 000011d5: OR 000011d6: SWAP1 000011d7: SSTORE 000011d8: POP 000011d9: POP 000011da: PUSH1 0x03 000011dc: SLOAD 000011dd: ADDRESS 000011de: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011f3: AND 000011f4: BALANCE 000011f5: LT 000011f6: ISZERO 000011f7: ISZERO 000011f8: PUSH2 0x12fb 000011fb: JUMPI 000011fc: PUSH1 0x64 000011fe: PUSH1 0x05 00001200: SLOAD 00001201: ADDRESS 00001202: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001217: AND 00001218: BALANCE 00001219: MUL 0000121a: DUP2 0000121b: ISZERO 0000121c: ISZERO 0000121d: PUSH2 0x1222 00001220: JUMPI 00001221: INVALID 00001222: JUMPDEST 00001223: DIV 00001224: SWAP1 00001225: POP 00001226: PUSH1 0x02 00001228: PUSH1 0x00 0000122a: SWAP1 0000122b: SLOAD 0000122c: SWAP1 0000122d: PUSH2 0x0100 00001230: EXP 00001231: SWAP1 00001232: DIV 00001233: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001248: AND 00001249: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000125e: AND 0000125f: PUSH2 0x08fc 00001262: DUP3 00001263: SWAP1 00001264: DUP2 00001265: ISZERO 00001266: MUL 00001267: SWAP1 00001268: PUSH1 0x40 0000126a: MLOAD 0000126b: PUSH1 0x00 0000126d: PUSH1 0x40 0000126f: MLOAD 00001270: DUP1 00001271: DUP4 00001272: SUB 00001273: DUP2 00001274: DUP6 00001275: DUP9 00001276: DUP9 00001277: CALL 00001278: SWAP4 00001279: POP 0000127a: POP 0000127b: POP 0000127c: POP 0000127d: ISZERO 0000127e: ISZERO 0000127f: PUSH2 0x128b 00001282: JUMPI 00001283: PUSH1 0x00 00001285: SWAP2 00001286: POP 00001287: PUSH2 0x13e8 0000128a: JUMP 0000128b: JUMPDEST 0000128c: PUSH1 0x00 0000128e: PUSH1 0x02 00001290: PUSH1 0x14 00001292: PUSH2 0x0100 00001295: EXP 00001296: DUP2 00001297: SLOAD 00001298: DUP2 00001299: PUSH1 0xff 0000129b: MUL 0000129c: NOT 0000129d: AND 0000129e: SWAP1 0000129f: DUP4 000012a0: ISZERO 000012a1: ISZERO 000012a2: MUL 000012a3: OR 000012a4: SWAP1 000012a5: SSTORE 000012a6: POP 000012a7: PUSH1 0x0a 000012a9: NUMBER 000012aa: ADD 000012ab: PUSH1 0x07 000012ad: DUP2 000012ae: SWAP1 000012af: SSTORE 000012b0: POP 000012b1: PUSH32 0xc15f25c4eb6ac5b9dc23661b850cbdb3ee36aebed198ad870ab929bae77142de 000012d2: PUSH1 0x02 000012d4: PUSH1 0x14 000012d6: SWAP1 000012d7: SLOAD 000012d8: SWAP1 000012d9: PUSH2 0x0100 000012dc: EXP 000012dd: SWAP1 000012de: DIV 000012df: PUSH1 0xff 000012e1: AND 000012e2: PUSH1 0x40 000012e4: MLOAD 000012e5: DUP1 000012e6: DUP3 000012e7: ISZERO 000012e8: ISZERO 000012e9: ISZERO 000012ea: ISZERO 000012eb: DUP2 000012ec: MSTORE 000012ed: PUSH1 0x20 000012ef: ADD 000012f0: SWAP2 000012f1: POP 000012f2: POP 000012f3: PUSH1 0x40 000012f5: MLOAD 000012f6: DUP1 000012f7: SWAP2 000012f8: SUB 000012f9: SWAP1 000012fa: LOG1 000012fb: JUMPDEST 000012fc: PUSH32 0xe8d947d7ebdd7b8b8fa2ad2022c7591418ac32d8c29c5f8a8fc9de52ffa54092 0000131d: ADDRESS 0000131e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001333: AND 00001334: BALANCE 00001335: PUSH1 0x40 00001337: MLOAD 00001338: DUP1 00001339: DUP3 0000133a: DUP2 0000133b: MSTORE 0000133c: PUSH1 0x20 0000133e: ADD 0000133f: SWAP2 00001340: POP 00001341: POP 00001342: PUSH1 0x40 00001344: MLOAD 00001345: DUP1 00001346: SWAP2 00001347: SUB 00001348: SWAP1 00001349: LOG1 0000134a: CALLER 0000134b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001360: AND 00001361: PUSH32 0xa59307e8fe3d4b654d8d230e2ca86c8cfd44a732b78879c2afed9c90c8f00c1a 00001382: DUP5 00001383: TIMESTAMP 00001384: PUSH1 0x40 00001386: MLOAD 00001387: DUP1 00001388: DUP4 00001389: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000013a9: NOT 000013aa: AND 000013ab: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000013cb: NOT 000013cc: AND 000013cd: DUP2 000013ce: MSTORE 000013cf: PUSH1 0x20 000013d1: ADD 000013d2: DUP3 000013d3: DUP2 000013d4: MSTORE 000013d5: PUSH1 0x20 000013d7: ADD 000013d8: SWAP3 000013d9: POP 000013da: POP 000013db: POP 000013dc: PUSH1 0x40 000013de: MLOAD 000013df: DUP1 000013e0: SWAP2 000013e1: SUB 000013e2: SWAP1 000013e3: LOG2 000013e4: PUSH1 0x01 000013e6: SWAP2 000013e7: POP 000013e8: JUMPDEST 000013e9: JUMPDEST 000013ea: JUMPDEST 000013eb: POP 000013ec: SWAP2 000013ed: SWAP1 000013ee: POP 000013ef: JUMP 000013f0: JUMPDEST 000013f1: PUSH1 0x09 000013f3: SLOAD 000013f4: DUP2 000013f5: JUMP 000013f6: JUMPDEST 000013f7: PUSH1 0x04 000013f9: SLOAD 000013fa: DUP2 000013fb: JUMP 000013fc: JUMPDEST 000013fd: PUSH1 0x08 000013ff: SLOAD 00001400: DUP2 00001401: JUMP 00001402: JUMPDEST 00001403: PUSH1 0x02 00001405: PUSH1 0x14 00001407: SWAP1 00001408: SLOAD 00001409: SWAP1 0000140a: PUSH2 0x0100 0000140d: EXP 0000140e: SWAP1 0000140f: DIV 00001410: PUSH1 0xff 00001412: AND 00001413: DUP2 00001414: JUMP 00001415: JUMPDEST 00001416: DUP2 00001417: SLOAD 00001418: DUP2 00001419: DUP4 0000141a: SSTORE 0000141b: DUP2 0000141c: DUP2 0000141d: ISZERO 0000141e: GT 0000141f: PUSH2 0x143c 00001422: JUMPI 00001423: DUP2 00001424: DUP4 00001425: PUSH1 0x00 00001427: MSTORE 00001428: PUSH1 0x20 0000142a: PUSH1 0x00 0000142c: KECCAK256 0000142d: SWAP2 0000142e: DUP3 0000142f: ADD 00001430: SWAP2 00001431: ADD 00001432: PUSH2 0x143b 00001435: SWAP2 00001436: SWAP1 00001437: PUSH2 0x1441 0000143a: JUMP 0000143b: JUMPDEST 0000143c: JUMPDEST 0000143d: POP 0000143e: POP 0000143f: POP 00001440: JUMP 00001441: JUMPDEST 00001442: PUSH2 0x1463 00001445: SWAP2 00001446: SWAP1 00001447: JUMPDEST 00001448: DUP1 00001449: DUP3 0000144a: GT 0000144b: ISZERO 0000144c: PUSH2 0x145f 0000144f: JUMPI 00001450: PUSH1 0x00 00001452: DUP2 00001453: PUSH1 0x00 00001455: SWAP1 00001456: SSTORE 00001457: POP 00001458: PUSH1 0x01 0000145a: ADD 0000145b: PUSH2 0x1447 0000145e: JUMP 0000145f: JUMPDEST 00001460: POP 00001461: SWAP1 00001462: JUMP 00001463: JUMPDEST 00001464: SWAP1 00001465: JUMP 00001466: STOP 00001467: LOG1 00001468: PUSH6 0x627a7a723058 0000146f: KECCAK256 00001470: SWAP11 00001471: SWAP14 00001472: UNKNOWN(0xD3) 00001473: UNKNOWN(0xE9) 00001474: UNKNOWN(0x2D) 00001475: UNKNOWN(0x1F) 00001476: TSTORE 00001477: UNKNOWN(0xB9) 00001478: UNKNOWN(0xB2) 00001479: CALLDATASIZE 0000147a: UNKNOWN(0xD1) 0000147b: ISZERO 0000147c: MLOAD 0000147d: STOP 0000147e: CALLDATACOPY 0000147f: SUB 00001480: DUP16 00001481: UNKNOWN(0xDB) 00001482: PUSH16
| 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": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x09fca951",
"selector": "0x09fca951",
"calldata_variants": [
"0x09fca951",
"0x09fca9510000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x10e80ded",
"selector": "0x10e80ded",
"calldata_variants": [
"0x10e80ded",
"0x10e80ded0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x14ce4059",
"selector": "0x14ce4059",
"calldata_variants": [
"0x14ce4059",
"0x14ce40590000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1800ed8e",
"selector": "0x1800ed8e",
"calldata_variants": [
"0x1800ed8e",
"0x1800ed8e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2b68b9c6",
"selector": "0x2b68b9c6",
"calldata_variants": [
"0x2b68b9c6",
"0x2b68b9c60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 1556,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2271,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3114,
"type": "tx_origin_used"
},
{
"pc": 3649,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x4354bbb5f1718673866386da0c615ca11b4de68e7fdcbde582536d87489cb147
call_targets:
0x2c46664818784a86ee0e371fa951d1bfa083944e
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x4354bbb5f1718673866386da0c615ca11b4de68e7fdcbde582536d87489cb147",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x2c46664818784a86ee0e371fa951d1bfa083944e"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x09fca951",
"selector": "0x09fca951",
"calldata_variants": [
"0x09fca951",
"0x09fca9510000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x10e80ded",
"selector": "0x10e80ded",
"calldata_variants": [
"0x10e80ded",
"0x10e80ded0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x14ce4059",
"selector": "0x14ce4059",
"calldata_variants": [
"0x14ce4059",
"0x14ce40590000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1800ed8e",
"selector": "0x1800ed8e",
"calldata_variants": [
"0x1800ed8e",
"0x1800ed8e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2b68b9c6",
"selector": "0x2b68b9c6",
"calldata_variants": [
"0x2b68b9c6",
"0x2b68b9c60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1989,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3351,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4727,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [
{
"pc": 1556,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2271,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3114,
"type": "tx_origin_used"
},
{
"pc": 3649,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 3
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x4354bbb5f1718673866386da0c615ca11b4de68e7fdcbde582536d87489cb147
call_targets:
0x2c46664818784a86ee0e371fa951d1bfa083944e
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x4354bbb5f1718673866386da0c615ca11b4de68e7fdcbde582536d87489cb147",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x2c46664818784a86ee0e371fa951d1bfa083944e"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x09fca951",
"selector": "0x09fca951",
"calldata_variants": [
"0x09fca951",
"0x09fca9510000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x10e80ded",
"selector": "0x10e80ded",
"calldata_variants": [
"0x10e80ded",
"0x10e80ded0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x14ce4059",
"selector": "0x14ce4059",
"calldata_variants": [
"0x14ce4059",
"0x14ce40590000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1800ed8e",
"selector": "0x1800ed8e",
"calldata_variants": [
"0x1800ed8e",
"0x1800ed8e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2b68b9c6",
"selector": "0x2b68b9c6",
"calldata_variants": [
"0x2b68b9c6",
"0x2b68b9c60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1989,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3351,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4727,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": [
{
"pc": 1556,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2271,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3114,
"type": "tx_origin_used"
},
{
"pc": 3649,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|
| medium | other | detector | SELFDESTRUCT reachable | 45 | no | no |
viewtrace_id: 0x349b1667364c4793a5d8490d87a79a1acc928b9251e5fcf7ffbdbc43e2c726eb
validation_json{
"sink": "SELFDESTRUCT",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0x349b1667364c4793a5d8490d87a79a1acc928b9251e5fcf7ffbdbc43e2c726eb",
"confirmed": false,
"trace_mode": "structLogs",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x09fca951",
"selector": "0x09fca951",
"calldata_variants": [
"0x09fca951",
"0x09fca9510000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x10e80ded",
"selector": "0x10e80ded",
"calldata_variants": [
"0x10e80ded",
"0x10e80ded0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x14ce4059",
"selector": "0x14ce4059",
"calldata_variants": [
"0x14ce4059",
"0x14ce40590000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1800ed8e",
"selector": "0x1800ed8e",
"calldata_variants": [
"0x1800ed8e",
"0x1800ed8e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2b68b9c6",
"selector": "0x2b68b9c6",
"calldata_variants": [
"0x2b68b9c6",
"0x2b68b9c60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3ccfd60b",
"selector": "0x3ccfd60b",
"calldata_variants": [
"0x3ccfd60b",
"0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 1556,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2271,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3114,
"type": "tx_origin_used"
},
{
"pc": 3649,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"selfdestruct_count": 1
}
|