Analysis Run

019b477e-a979-72cb-a3f3-c89d9f55fd2a

complete

Chain ID

1

Address

0xed7da010027967365e0a7c370c1dde2f9fe4477f

Block Number

—

Created

Mon, Dec 22, 2025 7:17 PM

Review Summary

What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?

back to vulns open contract

Confirmed

0

Validated

0

Source

Verified

Review Backing

Not yet

Best current signal

Untrusted CALL target/value reachable

crit 0 high 0 direct contract

Review Checklist

1. Read the findings table first. Ignore raw jobs until the result looks real.

2. Confirm attacker control, not just the existence of a sink.

3. Confirm money or privilege impact.

4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts

ID	Type	Status	Attempts	Heartbeat
20637	artifact.fetch	complete	1 / 3	3 months ago
20638	tool.cast_disasm	complete	1 / 3	3 months ago
63758	analysis.bundle	complete	1 / 3	2 weeks ago
63759	capability.graph	complete	1 / 3	2 weeks ago
63760	detector.run	complete	1 / 3	2 weeks ago
63761	validation.fork	complete	1 / 3	2 weeks ago

Artifact

Runtime bytecode: available

Creation TX: —

Deployer: —

Proxy: no

Implementation:

—

Verified Source: yes

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm

Delegatecall

0

Selfdestruct

0

CREATE2

0

CALL-family (heavy)

3

EXT*/BALANCE

7

Total opcodes

2073

Flags

heavy_ext_balance_usage

View cast disassembly output

00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x010c
0000000a: JUMPI
0000000b: PUSH4 0xffffffff
00000010: PUSH1 0xe0
00000012: PUSH1 0x02
00000014: EXP
00000015: PUSH1 0x00
00000017: CALLDATALOAD
00000018: DIV
00000019: AND
0000001a: PUSH4 0x06fdde03
0000001f: DUP2
00000020: EQ
00000021: PUSH2 0x011d
00000024: JUMPI
00000025: DUP1
00000026: PUSH4 0x095ea7b3
0000002b: EQ
0000002c: PUSH2 0x01aa
0000002f: JUMPI
00000030: DUP1
00000031: PUSH4 0x18160ddd
00000036: EQ
00000037: PUSH2 0x01da
0000003a: JUMPI
0000003b: DUP1
0000003c: PUSH4 0x23b872dd
00000041: EQ
00000042: PUSH2 0x01f9
00000045: JUMPI
00000046: DUP1
00000047: PUSH4 0x23c94353
0000004c: EQ
0000004d: PUSH2 0x01da
00000050: JUMPI
00000051: DUP1
00000052: PUSH4 0x313ce567
00000057: EQ
00000058: PUSH2 0x024e
0000005b: JUMPI
0000005c: DUP1
0000005d: PUSH4 0x33f707d1
00000062: EQ
00000063: PUSH2 0x0271
00000066: JUMPI
00000067: DUP1
00000068: PUSH4 0x383e3a5d
0000006d: EQ
0000006e: PUSH2 0x0283
00000071: JUMPI
00000072: DUP1
00000073: PUSH4 0x4b750334
00000078: EQ
00000079: PUSH2 0x02a5
0000007c: JUMPI
0000007d: DUP1
0000007e: PUSH4 0x6c11bcd3
00000083: EQ
00000084: PUSH2 0x02c4
00000087: JUMPI
00000088: DUP1
00000089: PUSH4 0x70a08231
0000008e: EQ
0000008f: PUSH2 0x02d6
00000092: JUMPI
00000093: DUP1
00000094: PUSH4 0x8620410b
00000099: EQ
0000009a: PUSH2 0x0301
0000009d: JUMPI
0000009e: DUP1
0000009f: PUSH4 0x8da5cb5b
000000a4: EQ
000000a5: PUSH2 0x0320
000000a8: JUMPI
000000a9: DUP1
000000aa: PUSH4 0x95d89b41
000000af: EQ
000000b0: PUSH2 0x0349
000000b3: JUMPI
000000b4: DUP1
000000b5: PUSH4 0x99fca937
000000ba: EQ
000000bb: PUSH2 0x03d6
000000be: JUMPI
000000bf: DUP1
000000c0: PUSH4 0xa9059cbb
000000c5: EQ
000000c6: PUSH2 0x03f5
000000c9: JUMPI
000000ca: DUP1
000000cb: PUSH4 0xd0e30db0
000000d0: EQ
000000d1: PUSH2 0x0425
000000d4: JUMPI
000000d5: DUP1
000000d6: PUSH4 0xd0febe4c
000000db: EQ
000000dc: PUSH2 0x042f
000000df: JUMPI
000000e0: DUP1
000000e1: PUSH4 0xd5a5825d
000000e6: EQ
000000e7: PUSH2 0x0439
000000ea: JUMPI
000000eb: DUP1
000000ec: PUSH4 0xdd62ed3e
000000f1: EQ
000000f2: PUSH2 0x0458
000000f5: JUMPI
000000f6: DUP1
000000f7: PUSH4 0xeae4c19f
000000fc: EQ
000000fd: PUSH2 0x0489
00000100: JUMPI
00000101: DUP1
00000102: PUSH4 0xf2fde38b
00000107: EQ
00000108: PUSH2 0x04a8
0000010b: JUMPI
0000010c: JUMPDEST
0000010d: PUSH2 0x011b
00000110: JUMPDEST
00000111: PUSH2 0x0118
00000114: PUSH2 0x04c3
00000117: JUMP
00000118: JUMPDEST
00000119: JUMPDEST
0000011a: JUMP
0000011b: JUMPDEST
0000011c: STOP
0000011d: JUMPDEST
0000011e: CALLVALUE
0000011f: PUSH2 0x0000
00000122: JUMPI
00000123: PUSH2 0x012a
00000126: PUSH2 0x057d
00000129: JUMP
0000012a: JUMPDEST
0000012b: PUSH1 0x40
0000012d: DUP1
0000012e: MLOAD
0000012f: PUSH1 0x20
00000131: DUP1
00000132: DUP3
00000133: MSTORE
00000134: DUP4
00000135: MLOAD
00000136: DUP2
00000137: DUP4
00000138: ADD
00000139: MSTORE
0000013a: DUP4
0000013b: MLOAD
0000013c: SWAP2
0000013d: SWAP3
0000013e: DUP4
0000013f: SWAP3
00000140: SWAP1
00000141: DUP4
00000142: ADD
00000143: SWAP2
00000144: DUP6
00000145: ADD
00000146: SWAP1
00000147: DUP1
00000148: DUP4
00000149: DUP4
0000014a: DUP3
0000014b: ISZERO
0000014c: PUSH2 0x0170
0000014f: JUMPI
00000150: JUMPDEST
00000151: DUP1
00000152: MLOAD
00000153: DUP3
00000154: MSTORE
00000155: PUSH1 0x20
00000157: DUP4
00000158: GT
00000159: ISZERO
0000015a: PUSH2 0x0170
0000015d: JUMPI
0000015e: PUSH1 0x1f
00000160: NOT
00000161: SWAP1
00000162: SWAP3
00000163: ADD
00000164: SWAP2
00000165: PUSH1 0x20
00000167: SWAP2
00000168: DUP3
00000169: ADD
0000016a: SWAP2
0000016b: ADD
0000016c: PUSH2 0x0150
0000016f: JUMP
00000170: JUMPDEST
00000171: POP
00000172: POP
00000173: POP
00000174: SWAP1
00000175: POP
00000176: SWAP1
00000177: DUP2
00000178: ADD
00000179: SWAP1
0000017a: PUSH1 0x1f
0000017c: AND
0000017d: DUP1
0000017e: ISZERO
0000017f: PUSH2 0x019c
00000182: JUMPI
00000183: DUP1
00000184: DUP3
00000185: SUB
00000186: DUP1
00000187: MLOAD
00000188: PUSH1 0x01
0000018a: DUP4
0000018b: PUSH1 0x20
0000018d: SUB
0000018e: PUSH2 0x0100
00000191: EXP
00000192: SUB
00000193: NOT
00000194: AND
00000195: DUP2
00000196: MSTORE
00000197: PUSH1 0x20
00000199: ADD
0000019a: SWAP2
0000019b: POP
0000019c: JUMPDEST
0000019d: POP
0000019e: SWAP3
0000019f: POP
000001a0: POP
000001a1: POP
000001a2: PUSH1 0x40
000001a4: MLOAD
000001a5: DUP1
000001a6: SWAP2
000001a7: SUB
000001a8: SWAP1
000001a9: RETURN
000001aa: JUMPDEST
000001ab: CALLVALUE
000001ac: PUSH2 0x0000
000001af: JUMPI
000001b0: PUSH2 0x01c6
000001b3: PUSH1 0x01
000001b5: PUSH1 0xa0
000001b7: PUSH1 0x02
000001b9: EXP
000001ba: SUB
000001bb: PUSH1 0x04
000001bd: CALLDATALOAD
000001be: AND
000001bf: PUSH1 0x24
000001c1: CALLDATALOAD
000001c2: PUSH2 0x05dd
000001c5: JUMP
000001c6: JUMPDEST
000001c7: PUSH1 0x40
000001c9: DUP1
000001ca: MLOAD
000001cb: SWAP2
000001cc: ISZERO
000001cd: ISZERO
000001ce: DUP3
000001cf: MSTORE
000001d0: MLOAD
000001d1: SWAP1
000001d2: DUP2
000001d3: SWAP1
000001d4: SUB
000001d5: PUSH1 0x20
000001d7: ADD
000001d8: SWAP1
000001d9: RETURN
000001da: JUMPDEST
000001db: CALLVALUE
000001dc: PUSH2 0x0000
000001df: JUMPI
000001e0: PUSH2 0x01e7
000001e3: PUSH2 0x0648
000001e6: JUMP
000001e7: JUMPDEST
000001e8: PUSH1 0x40
000001ea: DUP1
000001eb: MLOAD
000001ec: SWAP2
000001ed: DUP3
000001ee: MSTORE
000001ef: MLOAD
000001f0: SWAP1
000001f1: DUP2
000001f2: SWAP1
000001f3: SUB
000001f4: PUSH1 0x20
000001f6: ADD
000001f7: SWAP1
000001f8: RETURN
000001f9: JUMPDEST
000001fa: CALLVALUE
000001fb: PUSH2 0x0000
000001fe: JUMPI
000001ff: PUSH2 0x01c6
00000202: PUSH1 0x01
00000204: PUSH1 0xa0
00000206: PUSH1 0x02
00000208: EXP
00000209: SUB
0000020a: PUSH1 0x04
0000020c: CALLDATALOAD
0000020d: DUP2
0000020e: AND
0000020f: SWAP1
00000210: PUSH1 0x24
00000212: CALLDATALOAD
00000213: AND
00000214: PUSH1 0x44
00000216: CALLDATALOAD
00000217: PUSH2 0x064f
0000021a: JUMP
0000021b: JUMPDEST
0000021c: PUSH1 0x40
0000021e: DUP1
0000021f: MLOAD
00000220: SWAP2
00000221: ISZERO
00000222: ISZERO
00000223: DUP3
00000224: MSTORE
00000225: MLOAD
00000226: SWAP1
00000227: DUP2
00000228: SWAP1
00000229: SUB
0000022a: PUSH1 0x20
0000022c: ADD
0000022d: SWAP1
0000022e: RETURN
0000022f: JUMPDEST
00000230: CALLVALUE
00000231: PUSH2 0x0000
00000234: JUMPI
00000235: PUSH2 0x01e7
00000238: PUSH2 0x0648
0000023b: JUMP
0000023c: JUMPDEST
0000023d: PUSH1 0x40
0000023f: DUP1
00000240: MLOAD
00000241: SWAP2
00000242: DUP3
00000243: MSTORE
00000244: MLOAD
00000245: SWAP1
00000246: DUP2
00000247: SWAP1
00000248: SUB
00000249: PUSH1 0x20
0000024b: ADD
0000024c: SWAP1
0000024d: RETURN
0000024e: JUMPDEST
0000024f: CALLVALUE
00000250: PUSH2 0x0000
00000253: JUMPI
00000254: PUSH2 0x025b
00000257: PUSH2 0x0770
0000025a: JUMP
0000025b: JUMPDEST
0000025c: PUSH1 0x40
0000025e: DUP1
0000025f: MLOAD
00000260: PUSH1 0xff
00000262: SWAP1
00000263: SWAP3
00000264: AND
00000265: DUP3
00000266: MSTORE
00000267: MLOAD
00000268: SWAP1
00000269: DUP2
0000026a: SWAP1
0000026b: SUB
0000026c: PUSH1 0x20
0000026e: ADD
0000026f: SWAP1
00000270: RETURN
00000271: JUMPDEST
00000272: CALLVALUE
00000273: PUSH2 0x0000
00000276: JUMPI
00000277: PUSH2 0x011b
0000027a: PUSH1 0x04
0000027c: CALLDATALOAD
0000027d: PUSH2 0x0775
00000280: JUMP
00000281: JUMPDEST
00000282: STOP
00000283: JUMPDEST
00000284: CALLVALUE
00000285: PUSH2 0x0000
00000288: JUMPI
00000289: PUSH2 0x01e7
0000028c: PUSH1 0x04
0000028e: CALLDATALOAD
0000028f: PUSH2 0x081c
00000292: JUMP
00000293: JUMPDEST
00000294: PUSH1 0x40
00000296: DUP1
00000297: MLOAD
00000298: SWAP2
00000299: DUP3
0000029a: MSTORE
0000029b: MLOAD
0000029c: SWAP1
0000029d: DUP2
0000029e: SWAP1
0000029f: SUB
000002a0: PUSH1 0x20
000002a2: ADD
000002a3: SWAP1
000002a4: RETURN
000002a5: JUMPDEST
000002a6: CALLVALUE
000002a7: PUSH2 0x0000
000002aa: JUMPI
000002ab: PUSH2 0x01e7
000002ae: PUSH2 0x08c7
000002b1: JUMP
000002b2: JUMPDEST
000002b3: PUSH1 0x40
000002b5: DUP1
000002b6: MLOAD
000002b7: SWAP2
000002b8: DUP3
000002b9: MSTORE
000002ba: MLOAD
000002bb: SWAP1
000002bc: DUP2
000002bd: SWAP1
000002be: SUB
000002bf: PUSH1 0x20
000002c1: ADD
000002c2: SWAP1
000002c3: RETURN
000002c4: JUMPDEST
000002c5: CALLVALUE
000002c6: PUSH2 0x0000
000002c9: JUMPI
000002ca: PUSH2 0x011b
000002cd: PUSH1 0x04
000002cf: CALLDATALOAD
000002d0: PUSH2 0x08d3
000002d3: JUMP
000002d4: JUMPDEST
000002d5: STOP
000002d6: JUMPDEST
000002d7: CALLVALUE
000002d8: PUSH2 0x0000
000002db: JUMPI
000002dc: PUSH2 0x01e7
000002df: PUSH1 0x01
000002e1: PUSH1 0xa0
000002e3: PUSH1 0x02
000002e5: EXP
000002e6: SUB
000002e7: PUSH1 0x04
000002e9: CALLDATALOAD
000002ea: AND
000002eb: PUSH2 0x09e0
000002ee: JUMP
000002ef: JUMPDEST
000002f0: PUSH1 0x40
000002f2: DUP1
000002f3: MLOAD
000002f4: SWAP2
000002f5: DUP3
000002f6: MSTORE
000002f7: MLOAD
000002f8: SWAP1
000002f9: DUP2
000002fa: SWAP1
000002fb: SUB
000002fc: PUSH1 0x20
000002fe: ADD
000002ff: SWAP1
00000300: RETURN
00000301: JUMPDEST
00000302: CALLVALUE
00000303: PUSH2 0x0000
00000306: JUMPI
00000307: PUSH2 0x01e7
0000030a: PUSH2 0x09ff
0000030d: JUMP
0000030e: JUMPDEST
0000030f: PUSH1 0x40
00000311: DUP1
00000312: MLOAD
00000313: SWAP2
00000314: DUP3
00000315: MSTORE
00000316: MLOAD
00000317: SWAP1
00000318: DUP2
00000319: SWAP1
0000031a: SUB
0000031b: PUSH1 0x20
0000031d: ADD
0000031e: SWAP1
0000031f: RETURN
00000320: JUMPDEST
00000321: CALLVALUE
00000322: PUSH2 0x0000
00000325: JUMPI
00000326: PUSH2 0x032d
00000329: PUSH2 0x0a10
0000032c: JUMP
0000032d: JUMPDEST
0000032e: PUSH1 0x40
00000330: DUP1
00000331: MLOAD
00000332: PUSH1 0x01
00000334: PUSH1 0xa0
00000336: PUSH1 0x02
00000338: EXP
00000339: SUB
0000033a: SWAP1
0000033b: SWAP3
0000033c: AND
0000033d: DUP3
0000033e: MSTORE
0000033f: MLOAD
00000340: SWAP1
00000341: DUP2
00000342: SWAP1
00000343: SUB
00000344: PUSH1 0x20
00000346: ADD
00000347: SWAP1
00000348: RETURN
00000349: JUMPDEST
0000034a: CALLVALUE
0000034b: PUSH2 0x0000
0000034e: JUMPI
0000034f: PUSH2 0x012a
00000352: PUSH2 0x0a1f
00000355: JUMP
00000356: JUMPDEST
00000357: PUSH1 0x40
00000359: DUP1
0000035a: MLOAD
0000035b: PUSH1 0x20
0000035d: DUP1
0000035e: DUP3
0000035f: MSTORE
00000360: DUP4
00000361: MLOAD
00000362: DUP2
00000363: DUP4
00000364: ADD
00000365: MSTORE
00000366: DUP4
00000367: MLOAD
00000368: SWAP2
00000369: SWAP3
0000036a: DUP4
0000036b: SWAP3
0000036c: SWAP1
0000036d: DUP4
0000036e: ADD
0000036f: SWAP2
00000370: DUP6
00000371: ADD
00000372: SWAP1
00000373: DUP1
00000374: DUP4
00000375: DUP4
00000376: DUP3
00000377: ISZERO
00000378: PUSH2 0x0170
0000037b: JUMPI
0000037c: JUMPDEST
0000037d: DUP1
0000037e: MLOAD
0000037f: DUP3
00000380: MSTORE
00000381: PUSH1 0x20
00000383: DUP4
00000384: GT
00000385: ISZERO
00000386: PUSH2 0x0170
00000389: JUMPI
0000038a: PUSH1 0x1f
0000038c: NOT
0000038d: SWAP1
0000038e: SWAP3
0000038f: ADD
00000390: SWAP2
00000391: PUSH1 0x20
00000393: SWAP2
00000394: DUP3
00000395: ADD
00000396: SWAP2
00000397: ADD
00000398: PUSH2 0x0150
0000039b: JUMP
0000039c: JUMPDEST
0000039d: POP
0000039e: POP
0000039f: POP
000003a0: SWAP1
000003a1: POP
000003a2: SWAP1
000003a3: DUP2
000003a4: ADD
000003a5: SWAP1
000003a6: PUSH1 0x1f
000003a8: AND
000003a9: DUP1
000003aa: ISZERO
000003ab: PUSH2 0x019c
000003ae: JUMPI
000003af: DUP1
000003b0: DUP3
000003b1: SUB
000003b2: DUP1
000003b3: MLOAD
000003b4: PUSH1 0x01
000003b6: DUP4
000003b7: PUSH1 0x20
000003b9: SUB
000003ba: PUSH2 0x0100
000003bd: EXP
000003be: SUB
000003bf: NOT
000003c0: AND
000003c1: DUP2
000003c2: MSTORE
000003c3: PUSH1 0x20
000003c5: ADD
000003c6: SWAP2
000003c7: POP
000003c8: JUMPDEST
000003c9: POP
000003ca: SWAP3
000003cb: POP
000003cc: POP
000003cd: POP
000003ce: PUSH1 0x40
000003d0: MLOAD
000003d1: DUP1
000003d2: SWAP2
000003d3: SUB
000003d4: SWAP1
000003d5: RETURN
000003d6: JUMPDEST
000003d7: CALLVALUE
000003d8: PUSH2 0x0000
000003db: JUMPI
000003dc: PUSH2 0x01e7
000003df: PUSH2 0x0a56
000003e2: JUMP
000003e3: JUMPDEST
000003e4: PUSH1 0x40
000003e6: DUP1
000003e7: MLOAD
000003e8: SWAP2
000003e9: DUP3
000003ea: MSTORE
000003eb: MLOAD
000003ec: SWAP1
000003ed: DUP2
000003ee: SWAP1
000003ef: SUB
000003f0: PUSH1 0x20
000003f2: ADD
000003f3: SWAP1
000003f4: RETURN
000003f5: JUMPDEST
000003f6: CALLVALUE
000003f7: PUSH2 0x0000
000003fa: JUMPI
000003fb: PUSH2 0x01c6
000003fe: PUSH1 0x01
00000400: PUSH1 0xa0
00000402: PUSH1 0x02
00000404: EXP
00000405: SUB
00000406: PUSH1 0x04
00000408: CALLDATALOAD
00000409: AND
0000040a: PUSH1 0x24
0000040c: CALLDATALOAD
0000040d: PUSH2 0x0a9f
00000410: JUMP
00000411: JUMPDEST
00000412: PUSH1 0x40
00000414: DUP1
00000415: MLOAD
00000416: SWAP2
00000417: ISZERO
00000418: ISZERO
00000419: DUP3
0000041a: MSTORE
0000041b: MLOAD
0000041c: SWAP1
0000041d: DUP2
0000041e: SWAP1
0000041f: SUB
00000420: PUSH1 0x20
00000422: ADD
00000423: SWAP1
00000424: RETURN
00000425: JUMPDEST
00000426: PUSH2 0x011b
00000429: PUSH2 0x0b70
0000042c: JUMP
0000042d: JUMPDEST
0000042e: STOP
0000042f: JUMPDEST
00000430: PUSH2 0x011b
00000433: PUSH2 0x04c3
00000436: JUMP
00000437: JUMPDEST
00000438: STOP
00000439: JUMPDEST
0000043a: CALLVALUE
0000043b: PUSH2 0x0000
0000043e: JUMPI
0000043f: PUSH2 0x01e7
00000442: PUSH2 0x0bb7
00000445: JUMP
00000446: JUMPDEST
00000447: PUSH1 0x40
00000449: DUP1
0000044a: MLOAD
0000044b: SWAP2
0000044c: DUP3
0000044d: MSTORE
0000044e: MLOAD
0000044f: SWAP1
00000450: DUP2
00000451: SWAP1
00000452: SUB
00000453: PUSH1 0x20
00000455: ADD
00000456: SWAP1
00000457: RETURN
00000458: JUMPDEST
00000459: CALLVALUE
0000045a: PUSH2 0x0000
0000045d: JUMPI
0000045e: PUSH2 0x01e7
00000461: PUSH1 0x01
00000463: PUSH1 0xa0
00000465: PUSH1 0x02
00000467: EXP
00000468: SUB
00000469: PUSH1 0x04
0000046b: CALLDATALOAD
0000046c: DUP2
0000046d: AND
0000046e: SWAP1
0000046f: PUSH1 0x24
00000471: CALLDATALOAD
00000472: AND
00000473: PUSH2 0x0bc6
00000476: JUMP
00000477: JUMPDEST
00000478: PUSH1 0x40
0000047a: DUP1
0000047b: MLOAD
0000047c: SWAP2
0000047d: DUP3
0000047e: MSTORE
0000047f: MLOAD
00000480: SWAP1
00000481: DUP2
00000482: SWAP1
00000483: SUB
00000484: PUSH1 0x20
00000486: ADD
00000487: SWAP1
00000488: RETURN
00000489: JUMPDEST
0000048a: CALLVALUE
0000048b: PUSH2 0x0000
0000048e: JUMPI
0000048f: PUSH2 0x01e7
00000492: PUSH2 0x0bf3
00000495: JUMP
00000496: JUMPDEST
00000497: PUSH1 0x40
00000499: DUP1
0000049a: MLOAD
0000049b: SWAP2
0000049c: DUP3
0000049d: MSTORE
0000049e: MLOAD
0000049f: SWAP1
000004a0: DUP2
000004a1: SWAP1
000004a2: SUB
000004a3: PUSH1 0x20
000004a5: ADD
000004a6: SWAP1
000004a7: RETURN
000004a8: JUMPDEST
000004a9: CALLVALUE
000004aa: PUSH2 0x0000
000004ad: JUMPI
000004ae: PUSH2 0x011b
000004b1: PUSH1 0x01
000004b3: PUSH1 0xa0
000004b5: PUSH1 0x02
000004b7: EXP
000004b8: SUB
000004b9: PUSH1 0x04
000004bb: CALLDATALOAD
000004bc: AND
000004bd: PUSH2 0x0bf9
000004c0: JUMP
000004c1: JUMPDEST
000004c2: STOP
000004c3: JUMPDEST
000004c4: PUSH1 0x00
000004c6: PUSH1 0x00
000004c8: CALLVALUE
000004c9: GT
000004ca: ISZERO
000004cb: PUSH2 0x0579
000004ce: JUMPI
000004cf: PUSH2 0x04d6
000004d2: PUSH2 0x09ff
000004d5: JUMP
000004d6: JUMPDEST
000004d7: CALLVALUE
000004d8: PUSH8 0x0de0b6b3a7640000
000004e1: MUL
000004e2: DUP2
000004e3: ISZERO
000004e4: PUSH2 0x0000
000004e7: JUMPI
000004e8: PUSH1 0x01
000004ea: DUP1
000004eb: SLOAD
000004ec: SWAP3
000004ed: SWAP1
000004ee: SWAP2
000004ef: DIV
000004f0: SWAP2
000004f1: DUP3
000004f2: ADD
000004f3: DUP2
000004f4: SSTORE
000004f5: PUSH1 0x01
000004f7: PUSH1 0xa0
000004f9: PUSH1 0x02
000004fb: EXP
000004fc: SUB
000004fd: CALLER
000004fe: DUP2
000004ff: AND
00000500: PUSH1 0x00
00000502: DUP2
00000503: DUP2
00000504: MSTORE
00000505: PUSH1 0x02
00000507: PUSH1 0x20
00000509: MSTORE
0000050a: PUSH1 0x40
0000050c: SWAP1
0000050d: KECCAK256
0000050e: DUP1
0000050f: SLOAD
00000510: DUP6
00000511: ADD
00000512: SWAP1
00000513: SSTORE
00000514: SWAP2
00000515: SLOAD
00000516: SWAP3
00000517: SWAP4
00000518: POP
00000519: SWAP1
0000051a: SWAP2
0000051b: PUSH32 0x6a7381bdc8f4e7ed3c0f0c299382777bde88a65f0c27f670235401d154454630
0000053c: SWAP2
0000053d: CALLVALUE
0000053e: SWAP2
0000053f: ADDRESS
00000540: SWAP1
00000541: SWAP2
00000542: AND
00000543: BALANCE
00000544: SWAP1
00000545: DUP6
00000546: SWAP1
00000547: PUSH2 0x054e
0000054a: PUSH2 0x09ff
0000054d: JUMP
0000054e: JUMPDEST
0000054f: PUSH1 0x40
00000551: DUP1
00000552: MLOAD
00000553: SWAP6
00000554: DUP7
00000555: MSTORE
00000556: PUSH1 0x20
00000558: DUP7
00000559: ADD
0000055a: SWAP5
0000055b: SWAP1
0000055c: SWAP5
0000055d: MSTORE
0000055e: DUP5
0000055f: DUP5
00000560: ADD
00000561: SWAP3
00000562: SWAP1
00000563: SWAP3
00000564: MSTORE
00000565: PUSH1 0x60
00000567: DUP5
00000568: ADD
00000569: MSTORE
0000056a: PUSH1 0x80
0000056c: DUP4
0000056d: ADD
0000056e: MSTORE
0000056f: MLOAD
00000570: SWAP1
00000571: DUP2
00000572: SWAP1
00000573: SUB
00000574: PUSH1 0xa0
00000576: ADD
00000577: SWAP1
00000578: LOG2
00000579: JUMPDEST
0000057a: JUMPDEST
0000057b: POP
0000057c: JUMP
0000057d: JUMPDEST
0000057e: PUSH1 0x60
00000580: PUSH1 0x40
00000582: MLOAD
00000583: SWAP1
00000584: DUP2
00000585: ADD
00000586: PUSH1 0x40
00000588: MSTORE
00000589: DUP1
0000058a: PUSH1 0x25
0000058c: DUP2
0000058d: MSTORE
0000058e: PUSH1 0x20
00000590: ADD
00000591: PUSH32 0x426f6b6b79506f6f426168c2b47320457468657220526566756e6461626c6520
000005b2: DUP2
000005b3: MSTORE
000005b4: PUSH1 0x20
000005b6: ADD
000005b7: PUSH32 0x5072697a65000000000000000000000000000000000000000000000000000000
000005d8: DUP2
000005d9: MSTORE
000005da: POP
000005db: DUP2
000005dc: JUMP
000005dd: JUMPDEST
000005de: PUSH1 0x01
000005e0: PUSH1 0xa0
000005e2: PUSH1 0x02
000005e4: EXP
000005e5: SUB
000005e6: CALLER
000005e7: DUP2
000005e8: AND
000005e9: PUSH1 0x00
000005eb: DUP2
000005ec: DUP2
000005ed: MSTORE
000005ee: PUSH1 0x03
000005f0: PUSH1 0x20
000005f2: SWAP1
000005f3: DUP2
000005f4: MSTORE
000005f5: PUSH1 0x40
000005f7: DUP1
000005f8: DUP4
000005f9: KECCAK256
000005fa: SWAP5
000005fb: DUP8
000005fc: AND
000005fd: DUP1
000005fe: DUP5
000005ff: MSTORE
00000600: SWAP5
00000601: DUP3
00000602: MSTORE
00000603: DUP1
00000604: DUP4
00000605: KECCAK256
00000606: DUP7
00000607: SWAP1
00000608: SSTORE
00000609: DUP1
0000060a: MLOAD
0000060b: DUP7
0000060c: DUP2
0000060d: MSTORE
0000060e: SWAP1
0000060f: MLOAD
00000610: SWAP3
00000611: SWAP5
00000612: SWAP4
00000613: SWAP3
00000614: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00000635: SWAP3
00000636: SWAP2
00000637: DUP2
00000638: SWAP1
00000639: SUB
0000063a: SWAP1
0000063b: SWAP2
0000063c: ADD
0000063d: SWAP1
0000063e: LOG3
0000063f: POP
00000640: PUSH1 0x01
00000642: JUMPDEST
00000643: SWAP3
00000644: SWAP2
00000645: POP
00000646: POP
00000647: JUMP
00000648: JUMPDEST
00000649: PUSH1 0x01
0000064b: SLOAD
0000064c: JUMPDEST
0000064d: SWAP1
0000064e: JUMP
0000064f: JUMPDEST
00000650: PUSH1 0x01
00000652: PUSH1 0xa0
00000654: PUSH1 0x02
00000656: EXP
00000657: SUB
00000658: DUP4
00000659: AND
0000065a: PUSH1 0x00
0000065c: SWAP1
0000065d: DUP2
0000065e: MSTORE
0000065f: PUSH1 0x02
00000661: PUSH1 0x20
00000663: MSTORE
00000664: PUSH1 0x40
00000666: DUP2
00000667: KECCAK256
00000668: SLOAD
00000669: DUP3
0000066a: SWAP1
0000066b: LT
0000066c: DUP1
0000066d: ISZERO
0000066e: SWAP1
0000066f: PUSH2 0x069f
00000672: JUMPI
00000673: POP
00000674: PUSH1 0x01
00000676: PUSH1 0xa0
00000678: PUSH1 0x02
0000067a: EXP
0000067b: SUB
0000067c: DUP1
0000067d: DUP6
0000067e: AND
0000067f: PUSH1 0x00
00000681: SWAP1
00000682: DUP2
00000683: MSTORE
00000684: PUSH1 0x03
00000686: PUSH1 0x20
00000688: SWAP1
00000689: DUP2
0000068a: MSTORE
0000068b: PUSH1 0x40
0000068d: DUP1
0000068e: DUP4
0000068f: KECCAK256
00000690: CALLER
00000691: SWAP1
00000692: SWAP5
00000693: AND
00000694: DUP4
00000695: MSTORE
00000696: SWAP3
00000697: SWAP1
00000698: MSTORE
00000699: KECCAK256
0000069a: SLOAD
0000069b: DUP3
0000069c: SWAP1
0000069d: LT
0000069e: ISZERO
0000069f: JUMPDEST
000006a0: DUP1
000006a1: ISZERO
000006a2: PUSH2 0x06ab
000006a5: JUMPI
000006a6: POP
000006a7: PUSH1 0x00
000006a9: DUP3
000006aa: GT
000006ab: JUMPDEST
000006ac: DUP1
000006ad: ISZERO
000006ae: PUSH2 0x06d0
000006b1: JUMPI
000006b2: POP
000006b3: PUSH1 0x01
000006b5: PUSH1 0xa0
000006b7: PUSH1 0x02
000006b9: EXP
000006ba: SUB
000006bb: DUP4
000006bc: AND
000006bd: PUSH1 0x00
000006bf: SWAP1
000006c0: DUP2
000006c1: MSTORE
000006c2: PUSH1 0x02
000006c4: PUSH1 0x20
000006c6: MSTORE
000006c7: PUSH1 0x40
000006c9: SWAP1
000006ca: KECCAK256
000006cb: SLOAD
000006cc: DUP3
000006cd: DUP2
000006ce: ADD
000006cf: GT
000006d0: JUMPDEST
000006d1: ISZERO
000006d2: PUSH2 0x075d
000006d5: JUMPI
000006d6: PUSH1 0x01
000006d8: PUSH1 0xa0
000006da: PUSH1 0x02
000006dc: EXP
000006dd: SUB
000006de: DUP1
000006df: DUP6
000006e0: AND
000006e1: PUSH1 0x00
000006e3: DUP2
000006e4: DUP2
000006e5: MSTORE
000006e6: PUSH1 0x02
000006e8: PUSH1 0x20
000006ea: DUP2
000006eb: DUP2
000006ec: MSTORE
000006ed: PUSH1 0x40
000006ef: DUP1
000006f0: DUP5
000006f1: KECCAK256
000006f2: DUP1
000006f3: SLOAD
000006f4: DUP10
000006f5: SWAP1
000006f6: SUB
000006f7: SWAP1
000006f8: SSTORE
000006f9: PUSH1 0x03
000006fb: DUP3
000006fc: MSTORE
000006fd: DUP1
000006fe: DUP5
000006ff: KECCAK256
00000700: CALLER
00000701: DUP8
00000702: AND
00000703: DUP6
00000704: MSTORE
00000705: DUP3
00000706: MSTORE
00000707: DUP1
00000708: DUP5
00000709: KECCAK256
0000070a: DUP1
0000070b: SLOAD
0000070c: DUP10
0000070d: SWAP1
0000070e: SUB
0000070f: SWAP1
00000710: SSTORE
00000711: SWAP5
00000712: DUP9
00000713: AND
00000714: DUP1
00000715: DUP5
00000716: MSTORE
00000717: SWAP2
00000718: DUP2
00000719: MSTORE
0000071a: SWAP2
0000071b: DUP5
0000071c: SWAP1
0000071d: KECCAK256
0000071e: DUP1
0000071f: SLOAD
00000720: DUP8
00000721: ADD
00000722: SWAP1
00000723: SSTORE
00000724: DUP4
00000725: MLOAD
00000726: DUP7
00000727: DUP2
00000728: MSTORE
00000729: SWAP4
0000072a: MLOAD
0000072b: SWAP1
0000072c: SWAP4
0000072d: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
0000074e: SWAP3
0000074f: SWAP1
00000750: DUP3
00000751: SWAP1
00000752: SUB
00000753: ADD
00000754: SWAP1
00000755: LOG3
00000756: POP
00000757: PUSH1 0x01
00000759: PUSH2 0x0761
0000075c: JUMP
0000075d: JUMPDEST
0000075e: POP
0000075f: PUSH1 0x00
00000761: JUMPDEST
00000762: JUMPDEST
00000763: SWAP4
00000764: SWAP3
00000765: POP
00000766: POP
00000767: POP
00000768: JUMP
00000769: JUMPDEST
0000076a: PUSH1 0x01
0000076c: SLOAD
0000076d: JUMPDEST
0000076e: SWAP1
0000076f: JUMP
00000770: JUMPDEST
00000771: PUSH1 0x12
00000773: DUP2
00000774: JUMP
00000775: JUMPDEST
00000776: PUSH1 0x00
00000778: DUP1
00000779: SLOAD
0000077a: CALLER
0000077b: PUSH1 0x01
0000077d: PUSH1 0xa0
0000077f: PUSH1 0x02
00000781: EXP
00000782: SUB
00000783: SWAP1
00000784: DUP2
00000785: AND
00000786: SWAP2
00000787: AND
00000788: EQ
00000789: PUSH2 0x0791
0000078c: JUMPI
0000078d: PUSH2 0x0000
00000790: JUMP
00000791: JUMPDEST
00000792: PUSH2 0x0799
00000795: PUSH2 0x0a56
00000798: JUMP
00000799: JUMPDEST
0000079a: SWAP1
0000079b: POP
0000079c: DUP1
0000079d: DUP3
0000079e: GT
0000079f: ISZERO
000007a0: PUSH2 0x07a7
000007a3: JUMPI
000007a4: DUP1
000007a5: SWAP2
000007a6: POP
000007a7: JUMPDEST
000007a8: PUSH1 0x00
000007aa: DUP1
000007ab: SLOAD
000007ac: PUSH1 0x40
000007ae: MLOAD
000007af: PUSH1 0x01
000007b1: PUSH1 0xa0
000007b3: PUSH1 0x02
000007b5: EXP
000007b6: SUB
000007b7: SWAP1
000007b8: SWAP2
000007b9: AND
000007ba: SWAP2
000007bb: DUP5
000007bc: ISZERO
000007bd: PUSH2 0x08fc
000007c0: MUL
000007c1: SWAP2
000007c2: DUP6
000007c3: SWAP2
000007c4: DUP2
000007c5: DUP2
000007c6: DUP2
000007c7: DUP6
000007c8: DUP9
000007c9: DUP9
000007ca: CALL
000007cb: SWAP4
000007cc: POP
000007cd: POP
000007ce: POP
000007cf: POP
000007d0: ISZERO
000007d1: ISZERO
000007d2: PUSH2 0x07da
000007d5: JUMPI
000007d6: PUSH2 0x0000
000007d9: JUMP
000007da: JUMPDEST
000007db: PUSH1 0x40
000007dd: DUP1
000007de: MLOAD
000007df: DUP4
000007e0: DUP2
000007e1: MSTORE
000007e2: DUP4
000007e3: DUP4
000007e4: SUB
000007e5: PUSH1 0x20
000007e7: DUP3
000007e8: ADD
000007e9: MSTORE
000007ea: DUP2
000007eb: MLOAD
000007ec: PUSH32 0x0c875c8d391179c5cf7ad8303d268efd50b8beb78b671f85cd54bfb91eb8ef40
0000080d: SWAP3
0000080e: SWAP2
0000080f: DUP2
00000810: SWAP1
00000811: SUB
00000812: SWAP1
00000813: SWAP2
00000814: ADD
00000815: SWAP1
00000816: LOG1
00000817: JUMPDEST
00000818: JUMPDEST
00000819: POP
0000081a: POP
0000081b: JUMP
0000081c: JUMPDEST
0000081d: PUSH1 0x00
0000081f: PUSH1 0x04
00000821: SLOAD
00000822: PUSH3 0x093a80
00000826: ADD
00000827: DUP3
00000828: LT
00000829: ISZERO
0000082a: PUSH2 0x083b
0000082d: JUMPI
0000082e: POP
0000082f: PUSH7 0x038d7ea4c68000
00000837: PUSH2 0x08bd
0000083a: JUMP
0000083b: JUMPDEST
0000083c: PUSH1 0x04
0000083e: SLOAD
0000083f: PUSH3 0x278d00
00000843: ADD
00000844: DUP3
00000845: LT
00000846: ISZERO
00000847: PUSH2 0x0858
0000084a: JUMPI
0000084b: POP
0000084c: PUSH7 0x03e871b540c000
00000854: PUSH2 0x08bd
00000857: JUMP
00000858: JUMPDEST
00000859: PUSH1 0x04
0000085b: SLOAD
0000085c: PUSH3 0x4f1a00
00000860: ADD
00000861: DUP3
00000862: LT
00000863: ISZERO
00000864: PUSH2 0x0875
00000867: JUMPI
00000868: POP
00000869: PUSH7 0x2aa1efb94e0000
00000871: PUSH2 0x08bd
00000874: JUMP
00000875: JUMPDEST
00000876: PUSH1 0x04
00000878: SLOAD
00000879: PUSH3 0x76a700
0000087d: ADD
0000087e: DUP3
0000087f: LT
00000880: ISZERO
00000881: PUSH2 0x0892
00000884: JUMPI
00000885: POP
00000886: PUSH7 0x2e2f6e5e148000
0000088e: PUSH2 0x08bd
00000891: JUMP
00000892: JUMPDEST
00000893: PUSH1 0x04
00000895: SLOAD
00000896: PUSH4 0x01e13380
0000089b: ADD
0000089c: DUP3
0000089d: LT
0000089e: ISZERO
0000089f: PUSH2 0x08b1
000008a2: JUMPI
000008a3: POP
000008a4: PUSH8 0x0214e8348c4f0000
000008ad: PUSH2 0x08bd
000008b0: JUMP
000008b1: JUMPDEST
000008b2: POP
000008b3: PUSH9 0x3635c9adc5dea00000
000008bd: JUMPDEST
000008be: JUMPDEST
000008bf: JUMPDEST
000008c0: JUMPDEST
000008c1: JUMPDEST
000008c2: JUMPDEST
000008c3: SWAP2
000008c4: SWAP1
000008c5: POP
000008c6: JUMP
000008c7: JUMPDEST
000008c8: PUSH7 0x038d7ea4c68000
000008d0: JUMPDEST
000008d1: SWAP1
000008d2: JUMP
000008d3: JUMPDEST
000008d4: PUSH1 0x01
000008d6: PUSH1 0xa0
000008d8: PUSH1 0x02
000008da: EXP
000008db: SUB
000008dc: CALLER
000008dd: AND
000008de: PUSH1 0x00
000008e0: SWAP1
000008e1: DUP2
000008e2: MSTORE
000008e3: PUSH1 0x02
000008e5: PUSH1 0x20
000008e7: MSTORE
000008e8: PUSH1 0x40
000008ea: DUP2
000008eb: KECCAK256
000008ec: SLOAD
000008ed: DUP3
000008ee: GT
000008ef: ISZERO
000008f0: PUSH2 0x08f8
000008f3: JUMPI
000008f4: PUSH2 0x0000
000008f7: JUMP
000008f8: JUMPDEST
000008f9: PUSH1 0x01
000008fb: PUSH1 0xa0
000008fd: PUSH1 0x02
000008ff: EXP
00000900: SUB
00000901: CALLER
00000902: AND
00000903: PUSH1 0x00
00000905: SWAP1
00000906: DUP2
00000907: MSTORE
00000908: PUSH1 0x02
0000090a: PUSH1 0x20
0000090c: MSTORE
0000090d: PUSH1 0x40
0000090f: SWAP1
00000910: KECCAK256
00000911: DUP1
00000912: SLOAD
00000913: DUP4
00000914: SWAP1
00000915: SUB
00000916: SWAP1
00000917: SSTORE
00000918: PUSH1 0x01
0000091a: DUP1
0000091b: SLOAD
0000091c: DUP4
0000091d: SWAP1
0000091e: SUB
0000091f: SWAP1
00000920: SSTORE
00000921: PUSH8 0x0de0b6b3a7640000
0000092a: PUSH2 0x0931
0000092d: PUSH2 0x08c7
00000930: JUMP
00000931: JUMPDEST
00000932: DUP4
00000933: MUL
00000934: DUP2
00000935: ISZERO
00000936: PUSH2 0x0000
00000939: JUMPI
0000093a: PUSH1 0x40
0000093c: MLOAD
0000093d: SWAP2
0000093e: SWAP1
0000093f: DIV
00000940: SWAP2
00000941: POP
00000942: PUSH1 0x01
00000944: PUSH1 0xa0
00000946: PUSH1 0x02
00000948: EXP
00000949: SUB
0000094a: CALLER
0000094b: AND
0000094c: SWAP1
0000094d: DUP3
0000094e: ISZERO
0000094f: PUSH2 0x08fc
00000952: MUL
00000953: SWAP1
00000954: DUP4
00000955: SWAP1
00000956: PUSH1 0x00
00000958: DUP2
00000959: DUP2
0000095a: DUP2
0000095b: DUP6
0000095c: DUP9
0000095d: DUP9
0000095e: CALL
0000095f: SWAP4
00000960: POP
00000961: POP
00000962: POP
00000963: POP
00000964: ISZERO
00000965: ISZERO
00000966: PUSH2 0x096e
00000969: JUMPI
0000096a: PUSH2 0x0000
0000096d: JUMP
0000096e: JUMPDEST
0000096f: CALLER
00000970: PUSH1 0x01
00000972: PUSH1 0xa0
00000974: PUSH1 0x02
00000976: EXP
00000977: SUB
00000978: AND
00000979: PUSH32 0x0db49c84bba47806cd98c426100d458b5859594553fc51f0ce13852e9e1ca1c9
0000099a: DUP3
0000099b: ADDRESS
0000099c: PUSH1 0x01
0000099e: PUSH1 0xa0
000009a0: PUSH1 0x02
000009a2: EXP
000009a3: SUB
000009a4: AND
000009a5: BALANCE
000009a6: DUP6
000009a7: PUSH1 0x01
000009a9: SLOAD
000009aa: PUSH2 0x09b1
000009ad: PUSH2 0x08c7
000009b0: JUMP
000009b1: JUMPDEST
000009b2: PUSH1 0x40
000009b4: DUP1
000009b5: MLOAD
000009b6: SWAP6
000009b7: DUP7
000009b8: MSTORE
000009b9: PUSH1 0x20
000009bb: DUP7
000009bc: ADD
000009bd: SWAP5
000009be: SWAP1
000009bf: SWAP5
000009c0: MSTORE
000009c1: DUP5
000009c2: DUP5
000009c3: ADD
000009c4: SWAP3
000009c5: SWAP1
000009c6: SWAP3
000009c7: MSTORE
000009c8: PUSH1 0x60
000009ca: DUP5
000009cb: ADD
000009cc: MSTORE
000009cd: PUSH1 0x80
000009cf: DUP4
000009d0: ADD
000009d1: MSTORE
000009d2: MLOAD
000009d3: SWAP1
000009d4: DUP2
000009d5: SWAP1
000009d6: SUB
000009d7: PUSH1 0xa0
000009d9: ADD
000009da: SWAP1
000009db: LOG2
000009dc: JUMPDEST
000009dd: POP
000009de: POP
000009df: JUMP
000009e0: JUMPDEST
000009e1: PUSH1 0x01
000009e3: PUSH1 0xa0
000009e5: PUSH1 0x02
000009e7: EXP
000009e8: SUB
000009e9: DUP2
000009ea: AND
000009eb: PUSH1 0x00
000009ed: SWAP1
000009ee: DUP2
000009ef: MSTORE
000009f0: PUSH1 0x02
000009f2: PUSH1 0x20
000009f4: MSTORE
000009f5: PUSH1 0x40
000009f7: SWAP1
000009f8: KECCAK256
000009f9: SLOAD
000009fa: JUMPDEST
000009fb: SWAP2
000009fc: SWAP1
000009fd: POP
000009fe: JUMP
000009ff: JUMPDEST
00000a00: PUSH1 0x00
00000a02: PUSH2 0x0a0a
00000a05: TIMESTAMP
00000a06: PUSH2 0x081c
00000a09: JUMP
00000a0a: JUMPDEST
00000a0b: SWAP1
00000a0c: POP
00000a0d: JUMPDEST
00000a0e: SWAP1
00000a0f: JUMP
00000a10: JUMPDEST
00000a11: PUSH1 0x00
00000a13: SLOAD
00000a14: PUSH1 0x01
00000a16: PUSH1 0xa0
00000a18: PUSH1 0x02
00000a1a: EXP
00000a1b: SUB
00000a1c: AND
00000a1d: DUP2
00000a1e: JUMP
00000a1f: JUMPDEST
00000a20: PUSH1 0x40
00000a22: DUP1
00000a23: MLOAD
00000a24: DUP1
00000a25: DUP3
00000a26: ADD
00000a27: SWAP1
00000a28: SWAP2
00000a29: MSTORE
00000a2a: PUSH1 0x04
00000a2c: DUP2
00000a2d: MSTORE
00000a2e: PUSH32 0x4245525000000000000000000000000000000000000000000000000000000000
00000a4f: PUSH1 0x20
00000a51: DUP3
00000a52: ADD
00000a53: MSTORE
00000a54: DUP2
00000a55: JUMP
00000a56: JUMPDEST
00000a57: PUSH1 0x00
00000a59: PUSH1 0x01
00000a5b: PUSH1 0xa0
00000a5d: PUSH1 0x02
00000a5f: EXP
00000a60: SUB
00000a61: ADDRESS
00000a62: AND
00000a63: BALANCE
00000a64: DUP2
00000a65: PUSH8 0x0de0b6b3a7640000
00000a6e: PUSH2 0x0a75
00000a71: PUSH2 0x08c7
00000a74: JUMP
00000a75: JUMPDEST
00000a76: PUSH1 0x01
00000a78: SLOAD
00000a79: MUL
00000a7a: DUP2
00000a7b: ISZERO
00000a7c: PUSH2 0x0000
00000a7f: JUMPI
00000a80: DIV
00000a81: SWAP1
00000a82: POP
00000a83: DUP1
00000a84: DUP3
00000a85: GT
00000a86: ISZERO
00000a87: PUSH2 0x0a94
00000a8a: JUMPI
00000a8b: DUP1
00000a8c: DUP3
00000a8d: SUB
00000a8e: SWAP3
00000a8f: POP
00000a90: PUSH2 0x0a99
00000a93: JUMP
00000a94: JUMPDEST
00000a95: PUSH1 0x00
00000a97: SWAP3
00000a98: POP
00000a99: JUMPDEST
00000a9a: JUMPDEST
00000a9b: POP
00000a9c: POP
00000a9d: SWAP1
00000a9e: JUMP
00000a9f: JUMPDEST
00000aa0: PUSH1 0x01
00000aa2: PUSH1 0xa0
00000aa4: PUSH1 0x02
00000aa6: EXP
00000aa7: SUB
00000aa8: CALLER
00000aa9: AND
00000aaa: PUSH1 0x00
00000aac: SWAP1
00000aad: DUP2
00000aae: MSTORE
00000aaf: PUSH1 0x02
00000ab1: PUSH1 0x20
00000ab3: MSTORE
00000ab4: PUSH1 0x40
00000ab6: DUP2
00000ab7: KECCAK256
00000ab8: SLOAD
00000ab9: DUP3
00000aba: SWAP1
00000abb: LT
00000abc: DUP1
00000abd: ISZERO
00000abe: SWAP1
00000abf: PUSH2 0x0ac8
00000ac2: JUMPI
00000ac3: POP
00000ac4: PUSH1 0x00
00000ac6: DUP3
00000ac7: GT
00000ac8: JUMPDEST
00000ac9: DUP1
00000aca: ISZERO
00000acb: PUSH2 0x0aed
00000ace: JUMPI
00000acf: POP
00000ad0: PUSH1 0x01
00000ad2: PUSH1 0xa0
00000ad4: PUSH1 0x02
00000ad6: EXP
00000ad7: SUB
00000ad8: DUP4
00000ad9: AND
00000ada: PUSH1 0x00
00000adc: SWAP1
00000add: DUP2
00000ade: MSTORE
00000adf: PUSH1 0x02
00000ae1: PUSH1 0x20
00000ae3: MSTORE
00000ae4: PUSH1 0x40
00000ae6: SWAP1
00000ae7: KECCAK256
00000ae8: SLOAD
00000ae9: DUP3
00000aea: DUP2
00000aeb: ADD
00000aec: GT
00000aed: JUMPDEST
00000aee: ISZERO
00000aef: PUSH2 0x0b61
00000af2: JUMPI
00000af3: PUSH1 0x01
00000af5: PUSH1 0xa0
00000af7: PUSH1 0x02
00000af9: EXP
00000afa: SUB
00000afb: CALLER
00000afc: DUP2
00000afd: AND
00000afe: PUSH1 0x00
00000b00: DUP2
00000b01: DUP2
00000b02: MSTORE
00000b03: PUSH1 0x02
00000b05: PUSH1 0x20
00000b07: SWAP1
00000b08: DUP2
00000b09: MSTORE
00000b0a: PUSH1 0x40
00000b0c: DUP1
00000b0d: DUP4
00000b0e: KECCAK256
00000b0f: DUP1
00000b10: SLOAD
00000b11: DUP9
00000b12: SWAP1
00000b13: SUB
00000b14: SWAP1
00000b15: SSTORE
00000b16: SWAP4
00000b17: DUP8
00000b18: AND
00000b19: DUP1
00000b1a: DUP4
00000b1b: MSTORE
00000b1c: SWAP2
00000b1d: DUP5
00000b1e: SWAP1
00000b1f: KECCAK256
00000b20: DUP1
00000b21: SLOAD
00000b22: DUP8
00000b23: ADD
00000b24: SWAP1
00000b25: SSTORE
00000b26: DUP4
00000b27: MLOAD
00000b28: DUP7
00000b29: DUP2
00000b2a: MSTORE
00000b2b: SWAP4
00000b2c: MLOAD
00000b2d: SWAP2
00000b2e: SWAP4
00000b2f: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00000b50: SWAP3
00000b51: SWAP1
00000b52: DUP2
00000b53: SWAP1
00000b54: SUB
00000b55: SWAP1
00000b56: SWAP2
00000b57: ADD
00000b58: SWAP1
00000b59: LOG3
00000b5a: POP
00000b5b: PUSH1 0x01
00000b5d: PUSH2 0x0642
00000b60: JUMP
00000b61: JUMPDEST
00000b62: POP
00000b63: PUSH1 0x00
00000b65: PUSH2 0x0642
00000b68: JUMP
00000b69: JUMPDEST
00000b6a: JUMPDEST
00000b6b: SWAP3
00000b6c: SWAP2
00000b6d: POP
00000b6e: POP
00000b6f: JUMP
00000b70: JUMPDEST
00000b71: PUSH1 0x40
00000b73: DUP1
00000b74: MLOAD
00000b75: CALLVALUE
00000b76: DUP2
00000b77: MSTORE
00000b78: PUSH1 0x01
00000b7a: PUSH1 0xa0
00000b7c: PUSH1 0x02
00000b7e: EXP
00000b7f: SUB
00000b80: ADDRESS
00000b81: AND
00000b82: BALANCE
00000b83: PUSH1 0x20
00000b85: DUP3
00000b86: ADD
00000b87: MSTORE
00000b88: DUP2
00000b89: MLOAD
00000b8a: PUSH32 0x06da3309189fa49284f335d2c2bcb4cb0b8ad2a59ad92a9bdebeeb8f1ceba511
00000bab: SWAP3
00000bac: SWAP2
00000bad: DUP2
00000bae: SWAP1
00000baf: SUB
00000bb0: SWAP1
00000bb1: SWAP2
00000bb2: ADD
00000bb3: SWAP1
00000bb4: LOG1
00000bb5: JUMPDEST
00000bb6: JUMP
00000bb7: JUMPDEST
00000bb8: PUSH1 0x01
00000bba: PUSH1 0xa0
00000bbc: PUSH1 0x02
00000bbe: EXP
00000bbf: SUB
00000bc0: ADDRESS
00000bc1: AND
00000bc2: BALANCE
00000bc3: JUMPDEST
00000bc4: SWAP1
00000bc5: JUMP
00000bc6: JUMPDEST
00000bc7: PUSH1 0x01
00000bc9: PUSH1 0xa0
00000bcb: PUSH1 0x02
00000bcd: EXP
00000bce: SUB
00000bcf: DUP1
00000bd0: DUP4
00000bd1: AND
00000bd2: PUSH1 0x00
00000bd4: SWAP1
00000bd5: DUP2
00000bd6: MSTORE
00000bd7: PUSH1 0x03
00000bd9: PUSH1 0x20
00000bdb: SWAP1
00000bdc: DUP2
00000bdd: MSTORE
00000bde: PUSH1 0x40
00000be0: DUP1
00000be1: DUP4
00000be2: KECCAK256
00000be3: SWAP4
00000be4: DUP6
00000be5: AND
00000be6: DUP4
00000be7: MSTORE
00000be8: SWAP3
00000be9: SWAP1
00000bea: MSTORE
00000beb: KECCAK256
00000bec: SLOAD
00000bed: JUMPDEST
00000bee: SWAP3
00000bef: SWAP2
00000bf0: POP
00000bf1: POP
00000bf2: JUMP
00000bf3: JUMPDEST
00000bf4: PUSH1 0x04
00000bf6: SLOAD
00000bf7: DUP2
00000bf8: JUMP
00000bf9: JUMPDEST
00000bfa: PUSH1 0x00
00000bfc: SLOAD
00000bfd: CALLER
00000bfe: PUSH1 0x01
00000c00: PUSH1 0xa0
00000c02: PUSH1 0x02
00000c04: EXP
00000c05: SUB
00000c06: SWAP1
00000c07: DUP2
00000c08: AND
00000c09: SWAP2
00000c0a: AND
00000c0b: EQ
00000c0c: PUSH2 0x0c14
00000c0f: JUMPI
00000c10: PUSH2 0x0000
00000c13: JUMP
00000c14: JUMPDEST
00000c15: PUSH1 0x00
00000c17: DUP1
00000c18: SLOAD
00000c19: PUSH1 0x40
00000c1b: MLOAD
00000c1c: PUSH1 0x01
00000c1e: PUSH1 0xa0
00000c20: PUSH1 0x02
00000c22: EXP
00000c23: SUB
00000c24: DUP1
00000c25: DUP6
00000c26: AND
00000c27: SWAP4
00000c28: SWAP3
00000c29: AND
00000c2a: SWAP2
00000c2b: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00000c4c: SWAP2
00000c4d: LOG3
00000c4e: PUSH1 0x00
00000c50: DUP1
00000c51: SLOAD
00000c52: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c67: NOT
00000c68: AND
00000c69: PUSH1 0x01
00000c6b: PUSH1 0xa0
00000c6d: PUSH1 0x02
00000c6f: EXP
00000c70: SUB
00000c71: DUP4
00000c72: AND
00000c73: OR
00000c74: SWAP1
00000c75: SSTORE
00000c76: JUMPDEST
00000c77: JUMPDEST
00000c78: POP
00000c79: JUMP
00000c7a: STOP
00000c7b: LOG1
00000c7c: PUSH6 0x627a7a723058
00000c83: KECCAK256
00000c84: SAR
00000c85: UNKNOWN(0xDC)
00000c86: EXTCODESIZE
00000c87: STATICCALL
00000c88: SWAP7
00000c89: UNKNOWN(0x25)
00000c8a: PUSH19 0x10228e16d72efe6e0a399c8b7455f9dcc96040
00000c9e: EXTCODECOPY
00000c9f: UNKNOWN(0xAC)
00000ca0: UNKNOWN(0x2F)
00000ca1: DIV
00000ca2: UNKNOWN(0x2D)
00000ca3: UNKNOWN(0xBF)
00000ca4: STOP
00000ca5: UNKNOWN(0x29)

Findings

validated = confirmed for call sinks; sink observed for others

Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	other	detector	Untrusted CALL target/value reachable	60	no	no	view trace_id: 0x376b6826931460bc07fd7db69702a02b8d0f43ab0365b11335b10bf7538743a4 call_targets: 0xed7da010027967365e0a7c370c1dde2f9fe4477f target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x376b6826931460bc07fd7db69702a02b8d0f43ab0365b11335b10bf7538743a4", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xed7da010027967365e0a7c370c1dde2f9fe4477f" ], "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": "0x06fdde03", "selector": "0x06fdde03", "calldata_variants": [ "0x06fdde03", "0x06fdde030000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x095ea7b3", "selector": "0x095ea7b3", "calldata_variants": [ "0x095ea7b3", "0x095ea7b30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x18160ddd", "selector": "0x18160ddd", "calldata_variants": [ "0x18160ddd", "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x23b872dd", "selector": "0x23b872dd", "calldata_variants": [ "0x23b872dd", "0x23b872dd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x23c94353", "selector": "0x23c94353", "calldata_variants": [ "0x23c94353", "0x23c943530000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x313ce567", "selector": "0x313ce567", "calldata_variants": [ "0x313ce567", "0x313ce5670000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x33f707d1", "selector": "0x33f707d1", "calldata_variants": [ "0x33f707d1", "0x33f707d10000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x383e3a5d", "selector": "0x383e3a5d", "calldata_variants": [ "0x383e3a5d", "0x383e3a5d0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 1994, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2398, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 2, "guards_detected": [], "untrusted_call_count": 2 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0x376b6826931460bc07fd7db69702a02b8d0f43ab0365b11335b10bf7538743a4 call_targets: 0xed7da010027967365e0a7c370c1dde2f9fe4477f target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x376b6826931460bc07fd7db69702a02b8d0f43ab0365b11335b10bf7538743a4", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xed7da010027967365e0a7c370c1dde2f9fe4477f" ], "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": "0x06fdde03", "selector": "0x06fdde03", "calldata_variants": [ "0x06fdde03", "0x06fdde030000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x095ea7b3", "selector": "0x095ea7b3", "calldata_variants": [ "0x095ea7b3", "0x095ea7b30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x18160ddd", "selector": "0x18160ddd", "calldata_variants": [ "0x18160ddd", "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x23b872dd", "selector": "0x23b872dd", "calldata_variants": [ "0x23b872dd", "0x23b872dd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x23c94353", "selector": "0x23c94353", "calldata_variants": [ "0x23c94353", "0x23c943530000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x313ce567", "selector": "0x313ce567", "calldata_variants": [ "0x313ce567", "0x313ce5670000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x33f707d1", "selector": "0x33f707d1", "calldata_variants": [ "0x33f707d1", "0x33f707d10000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x383e3a5d", "selector": "0x383e3a5d", "calldata_variants": [ "0x383e3a5d", "0x383e3a5d0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 1994, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2398, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 2, "guards_detected": [] }

Severity