Analysis Run

019b3836-2223-71e5-bafe-8c4d47674f3b

complete

Chain ID

1

Address

0x3ec738d2aa4ad9542c351d40bb6023838376fda2

Block Number

—

Created

Fri, Dec 19, 2025 8:03 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

Bytecode only

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
231	artifact.fetch	complete	1 / 3	3 months ago
232	tool.cast_disasm	complete	1 / 3	3 months ago
43231	analysis.bundle	complete	1 / 3	1 week ago
43232	capability.graph	complete	1 / 3	1 week ago
43233	detector.run	complete	1 / 3	1 week ago
43234	validation.fork	complete	1 / 3	1 week ago

Artifact

Runtime bytecode: available

Creation TX: —

Deployer: —

Proxy: no

Implementation:

—

Verified Source: no

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)

13

EXT*/BALANCE

4

Total opcodes

1893

Flags

call_family_heavy

View cast disassembly output

00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x00ae
0000000a: JUMPI
0000000b: PUSH1 0xe0
0000000d: PUSH1 0x02
0000000f: EXP
00000010: PUSH1 0x00
00000012: CALLDATALOAD
00000013: DIV
00000014: PUSH4 0x083b2732
00000019: DUP2
0000001a: EQ
0000001b: PUSH2 0x00de
0000001e: JUMPI
0000001f: DUP1
00000020: PUSH4 0x187c5903
00000025: EQ
00000026: PUSH2 0x0126
00000029: JUMPI
0000002a: DUP1
0000002b: PUSH4 0x1bccca14
00000030: EQ
00000031: PUSH2 0x0156
00000034: JUMPI
00000035: DUP1
00000036: PUSH4 0x29f8df0d
0000003b: EQ
0000003c: PUSH2 0x0177
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x3f32e918
00000046: EQ
00000047: PUSH2 0x0180
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x437600bc
00000051: EQ
00000052: PUSH2 0x01a6
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x444bdb1b
0000005c: EQ
0000005d: PUSH2 0x01be
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x55a25f96
00000067: EQ
00000068: PUSH2 0x0208
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0x6d4ce63c
00000072: EQ
00000073: PUSH2 0x02cb
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0x6e723e24
0000007d: EQ
0000007e: PUSH2 0x02f7
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0x71ad7221
00000088: EQ
00000089: PUSH2 0x0300
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0xa32da9d1
00000093: EQ
00000094: PUSH2 0x0320
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0xbf37df2f
0000009e: EQ
0000009f: PUSH2 0x0341
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0xe8b5e51f
000000a9: EQ
000000aa: PUSH2 0x0359
000000ad: JUMPI
000000ae: JUMPDEST
000000af: PUSH2 0x03c8
000000b2: CALLER
000000b3: PUSH1 0x01
000000b5: PUSH1 0xa0
000000b7: PUSH1 0x02
000000b9: EXP
000000ba: SUB
000000bb: AND
000000bc: PUSH20 0x26588a9301b0428d95e6fc3a5024fce8bec12d51
000000d1: EQ
000000d2: ISZERO
000000d3: PUSH2 0x03ca
000000d6: JUMPI
000000d7: PUSH2 0x03ca
000000da: PUSH2 0x00e2
000000dd: JUMP
000000de: JUMPDEST
000000df: PUSH2 0x03c8
000000e2: JUMPDEST
000000e3: PUSH1 0x00
000000e5: DUP1
000000e6: DUP1
000000e7: DUP1
000000e8: DUP1
000000e9: DUP1
000000ea: DUP1
000000eb: DUP1
000000ec: JUMPDEST
000000ed: PUSH1 0x14
000000ef: DUP8
000000f0: LT
000000f1: ISZERO
000000f2: PUSH2 0x07a3
000000f5: JUMPI
000000f6: PUSH2 0x0100
000000f9: SWAP8
000000fa: SWAP1
000000fb: SWAP8
000000fc: MUL
000000fd: SWAP7
000000fe: PUSH1 0x00
00000100: DUP8
00000101: CALLDATASIZE
00000102: DUP2
00000103: LT
00000104: ISZERO
00000105: PUSH2 0x0002
00000108: JUMPI
00000109: PUSH1 0xf8
0000010b: PUSH1 0x02
0000010d: EXP
0000010e: SWAP1
0000010f: CALLDATALOAD
00000110: DUP2
00000111: SWAP1
00000112: DIV
00000113: DUP2
00000114: MUL
00000115: DIV
00000116: SWAP1
00000117: SWAP9
00000118: ADD
00000119: SWAP8
0000011a: POP
0000011b: PUSH1 0x01
0000011d: SWAP7
0000011e: SWAP1
0000011f: SWAP7
00000120: ADD
00000121: SWAP6
00000122: PUSH2 0x00ec
00000125: JUMP
00000126: JUMPDEST
00000127: PUSH2 0x03c8
0000012a: CALLER
0000012b: PUSH1 0x01
0000012d: PUSH1 0xa0
0000012f: PUSH1 0x02
00000131: EXP
00000132: SUB
00000133: AND
00000134: PUSH1 0x00
00000136: SWAP1
00000137: DUP2
00000138: MSTORE
00000139: PUSH1 0x0d
0000013b: PUSH1 0x20
0000013d: MSTORE
0000013e: PUSH1 0x40
00000140: DUP2
00000141: KECCAK256
00000142: SLOAD
00000143: DUP2
00000144: SWAP1
00000145: DUP2
00000146: SWAP1
00000147: DUP2
00000148: SWAP1
00000149: DUP2
0000014a: EQ
0000014b: ISZERO
0000014c: PUSH2 0x08f5
0000014f: JUMPI
00000150: JUMPDEST
00000151: POP
00000152: POP
00000153: POP
00000154: POP
00000155: JUMP
00000156: JUMPDEST
00000157: PUSH2 0x03cc
0000015a: PUSH1 0x04
0000015c: CALLDATALOAD
0000015d: PUSH1 0x07
0000015f: DUP2
00000160: PUSH1 0x05
00000162: DUP2
00000163: LT
00000164: ISZERO
00000165: PUSH2 0x0002
00000168: JUMPI
00000169: POP
0000016a: ADD
0000016b: SLOAD
0000016c: PUSH1 0x01
0000016e: PUSH1 0xa0
00000170: PUSH1 0x02
00000172: EXP
00000173: SUB
00000174: AND
00000175: DUP2
00000176: JUMP
00000177: JUMPDEST
00000178: PUSH2 0x02e5
0000017b: PUSH1 0x05
0000017d: SLOAD
0000017e: DUP2
0000017f: JUMP
00000180: JUMPDEST
00000181: PUSH2 0x03c8
00000184: JUMPDEST
00000185: PUSH1 0x40
00000187: MLOAD
00000188: CALLER
00000189: PUSH1 0x01
0000018b: PUSH1 0xa0
0000018d: PUSH1 0x02
0000018f: EXP
00000190: SUB
00000191: AND
00000192: SWAP1
00000193: PUSH1 0x00
00000195: SWAP1
00000196: CALLVALUE
00000197: SWAP1
00000198: DUP3
00000199: DUP2
0000019a: DUP2
0000019b: DUP2
0000019c: DUP6
0000019d: DUP9
0000019e: DUP4
0000019f: CALL
000001a0: POP
000001a1: POP
000001a2: POP
000001a3: POP
000001a4: POP
000001a5: JUMP
000001a6: JUMPDEST
000001a7: PUSH2 0x02e5
000001aa: PUSH1 0x04
000001ac: CALLDATALOAD
000001ad: PUSH1 0x06
000001af: PUSH1 0x20
000001b1: MSTORE
000001b2: PUSH1 0x00
000001b4: SWAP1
000001b5: DUP2
000001b6: MSTORE
000001b7: PUSH1 0x40
000001b9: SWAP1
000001ba: KECCAK256
000001bb: SLOAD
000001bc: DUP2
000001bd: JUMP
000001be: JUMPDEST
000001bf: PUSH2 0x02e5
000001c2: PUSH1 0x00
000001c4: DUP1
000001c5: DUP1
000001c6: DUP1
000001c7: DUP1
000001c8: JUMPDEST
000001c9: PUSH1 0x05
000001cb: SLOAD
000001cc: DUP4
000001cd: LT
000001ce: ISZERO
000001cf: PUSH2 0x073c
000001d2: JUMPI
000001d3: PUSH1 0x06
000001d5: PUSH1 0x00
000001d7: DUP1
000001d8: DUP6
000001d9: PUSH1 0x05
000001db: DUP2
000001dc: LT
000001dd: ISZERO
000001de: PUSH2 0x0002
000001e1: JUMPI
000001e2: SLOAD
000001e3: PUSH1 0x01
000001e5: PUSH1 0xa0
000001e7: PUSH1 0x02
000001e9: EXP
000001ea: SUB
000001eb: AND
000001ec: SWAP1
000001ed: MSTORE
000001ee: PUSH1 0x20
000001f0: SWAP2
000001f1: SWAP1
000001f2: SWAP2
000001f3: MSTORE
000001f4: PUSH1 0x40
000001f6: SWAP1
000001f7: KECCAK256
000001f8: SLOAD
000001f9: SWAP1
000001fa: SWAP4
000001fb: ADD
000001fc: SWAP3
000001fd: PUSH1 0x01
000001ff: SWAP3
00000200: SWAP1
00000201: SWAP3
00000202: ADD
00000203: SWAP2
00000204: PUSH2 0x01c8
00000207: JUMP
00000208: JUMPDEST
00000209: PUSH1 0x40
0000020b: DUP1
0000020c: MLOAD
0000020d: PUSH2 0x0400
00000210: DUP2
00000211: DUP2
00000212: ADD
00000213: SWAP1
00000214: SWAP3
00000215: MSTORE
00000216: PUSH2 0x03c8
00000219: SWAP2
0000021a: PUSH2 0x0404
0000021d: SWAP2
0000021e: SWAP1
0000021f: PUSH1 0x04
00000221: SWAP1
00000222: PUSH1 0x20
00000224: SWAP1
00000225: DUP4
00000226: SWAP1
00000227: DUP4
00000228: SWAP1
00000229: DUP1
0000022a: DUP3
0000022b: DUP5
0000022c: CALLDATACOPY
0000022d: PUSH1 0x40
0000022f: DUP1
00000230: MLOAD
00000231: DUP1
00000232: DUP4
00000233: ADD
00000234: SWAP1
00000235: SWAP2
00000236: MSTORE
00000237: SWAP3
00000238: SWAP7
00000239: PUSH2 0x0804
0000023c: SWAP7
0000023d: POP
0000023e: SWAP3
0000023f: SWAP5
00000240: POP
00000241: SWAP2
00000242: SWAP3
00000243: SWAP2
00000244: DUP5
00000245: SWAP2
00000246: POP
00000247: DUP4
00000248: SWAP1
00000249: DUP1
0000024a: DUP3
0000024b: DUP5
0000024c: CALLDATACOPY
0000024d: PUSH1 0x40
0000024f: DUP1
00000250: MLOAD
00000251: DUP1
00000252: DUP4
00000253: ADD
00000254: SWAP1
00000255: SWAP2
00000256: MSTORE
00000257: SWAP3
00000258: SWAP7
00000259: PUSH2 0x0c04
0000025c: SWAP7
0000025d: POP
0000025e: SWAP3
0000025f: SWAP5
00000260: POP
00000261: SWAP2
00000262: SWAP3
00000263: SWAP2
00000264: DUP5
00000265: SWAP2
00000266: POP
00000267: DUP4
00000268: SWAP1
00000269: DUP1
0000026a: DUP3
0000026b: DUP5
0000026c: CALLDATACOPY
0000026d: PUSH1 0x40
0000026f: DUP1
00000270: MLOAD
00000271: DUP1
00000272: DUP4
00000273: ADD
00000274: SWAP1
00000275: SWAP2
00000276: MSTORE
00000277: SWAP3
00000278: SWAP7
00000279: PUSH2 0x1004
0000027c: SWAP7
0000027d: POP
0000027e: SWAP3
0000027f: SWAP5
00000280: POP
00000281: SWAP2
00000282: SWAP3
00000283: SWAP2
00000284: DUP5
00000285: SWAP2
00000286: POP
00000287: DUP4
00000288: SWAP1
00000289: DUP1
0000028a: DUP3
0000028b: DUP5
0000028c: CALLDATACOPY
0000028d: PUSH1 0x40
0000028f: DUP1
00000290: MLOAD
00000291: DUP1
00000292: DUP4
00000293: ADD
00000294: SWAP1
00000295: SWAP2
00000296: MSTORE
00000297: SWAP3
00000298: SWAP7
00000299: PUSH2 0x1404
0000029c: SWAP7
0000029d: POP
0000029e: SWAP3
0000029f: SWAP5
000002a0: POP
000002a1: SWAP2
000002a2: SWAP3
000002a3: SWAP2
000002a4: DUP5
000002a5: SWAP2
000002a6: POP
000002a7: DUP4
000002a8: SWAP1
000002a9: DUP1
000002aa: DUP3
000002ab: DUP5
000002ac: CALLDATACOPY
000002ad: POP
000002ae: SWAP1
000002af: SWAP5
000002b0: CALLDATALOAD
000002b1: SWAP4
000002b2: POP
000002b3: POP
000002b4: POP
000002b5: POP
000002b6: PUSH1 0x00
000002b8: PUSH1 0x00
000002ba: PUSH1 0x00
000002bc: PUSH1 0x00
000002be: CALLVALUE
000002bf: PUSH1 0x00
000002c1: EQ
000002c2: ISZERO
000002c3: PUSH2 0x067c
000002c6: JUMPI
000002c7: PUSH2 0x0670
000002ca: JUMP
000002cb: JUMPDEST
000002cc: PUSH1 0x01
000002ce: PUSH1 0xa0
000002d0: PUSH1 0x02
000002d2: EXP
000002d3: SUB
000002d4: CALLER
000002d5: AND
000002d6: PUSH1 0x00
000002d8: SWAP1
000002d9: DUP2
000002da: MSTORE
000002db: PUSH1 0x06
000002dd: PUSH1 0x20
000002df: MSTORE
000002e0: PUSH1 0x40
000002e2: SWAP1
000002e3: KECCAK256
000002e4: SLOAD
000002e5: JUMPDEST
000002e6: PUSH1 0x40
000002e8: DUP1
000002e9: MLOAD
000002ea: SWAP2
000002eb: DUP3
000002ec: MSTORE
000002ed: MLOAD
000002ee: SWAP1
000002ef: DUP2
000002f0: SWAP1
000002f1: SUB
000002f2: PUSH1 0x20
000002f4: ADD
000002f5: SWAP1
000002f6: RETURN
000002f7: JUMPDEST
000002f8: PUSH2 0x02e5
000002fb: PUSH1 0x0c
000002fd: SLOAD
000002fe: DUP2
000002ff: JUMP
00000300: JUMPDEST
00000301: PUSH1 0x04
00000303: CALLDATALOAD
00000304: PUSH1 0x01
00000306: PUSH1 0xa0
00000308: PUSH1 0x02
0000030a: EXP
0000030b: SUB
0000030c: AND
0000030d: PUSH1 0x00
0000030f: SWAP1
00000310: DUP2
00000311: MSTORE
00000312: PUSH1 0x06
00000314: PUSH1 0x20
00000316: MSTORE
00000317: PUSH1 0x40
00000319: SWAP1
0000031a: KECCAK256
0000031b: SLOAD
0000031c: PUSH2 0x02e5
0000031f: JUMP
00000320: JUMPDEST
00000321: PUSH2 0x03cc
00000324: PUSH1 0x04
00000326: CALLDATALOAD
00000327: PUSH1 0x00
00000329: DUP2
0000032a: PUSH1 0x05
0000032c: DUP2
0000032d: LT
0000032e: ISZERO
0000032f: PUSH2 0x0002
00000332: JUMPI
00000333: POP
00000334: POP
00000335: SLOAD
00000336: PUSH1 0x01
00000338: PUSH1 0xa0
0000033a: PUSH1 0x02
0000033c: EXP
0000033d: SUB
0000033e: AND
0000033f: DUP2
00000340: JUMP
00000341: JUMPDEST
00000342: PUSH2 0x02e5
00000345: PUSH1 0x04
00000347: CALLDATALOAD
00000348: PUSH1 0x0d
0000034a: PUSH1 0x20
0000034c: MSTORE
0000034d: PUSH1 0x00
0000034f: SWAP1
00000350: DUP2
00000351: MSTORE
00000352: PUSH1 0x40
00000354: SWAP1
00000355: KECCAK256
00000356: SLOAD
00000357: DUP2
00000358: JUMP
00000359: JUMPDEST
0000035a: PUSH2 0x03c8
0000035d: CALLER
0000035e: PUSH1 0x01
00000360: PUSH1 0xa0
00000362: PUSH1 0x02
00000364: EXP
00000365: SUB
00000366: AND
00000367: PUSH1 0x00
00000369: SWAP1
0000036a: DUP2
0000036b: MSTORE
0000036c: PUSH1 0x0d
0000036e: PUSH1 0x20
00000370: MSTORE
00000371: PUSH1 0x40
00000373: DUP2
00000374: KECCAK256
00000375: SLOAD
00000376: EQ
00000377: ISZERO
00000378: PUSH2 0x03a8
0000037b: JUMPI
0000037c: PUSH1 0x0c
0000037e: SLOAD
0000037f: CALLER
00000380: SWAP1
00000381: PUSH1 0x07
00000383: SWAP1
00000384: PUSH1 0x05
00000386: DUP2
00000387: LT
00000388: ISZERO
00000389: PUSH2 0x0002
0000038c: JUMPI
0000038d: ADD
0000038e: DUP1
0000038f: SLOAD
00000390: PUSH1 0x01
00000392: PUSH1 0xa0
00000394: PUSH1 0x02
00000396: EXP
00000397: SUB
00000398: NOT
00000399: AND
0000039a: SWAP1
0000039b: SWAP2
0000039c: OR
0000039d: SWAP1
0000039e: SSTORE
0000039f: PUSH1 0x0c
000003a1: DUP1
000003a2: SLOAD
000003a3: PUSH1 0x01
000003a5: ADD
000003a6: SWAP1
000003a7: SSTORE
000003a8: JUMPDEST
000003a9: CALLER
000003aa: PUSH1 0x01
000003ac: PUSH1 0xa0
000003ae: PUSH1 0x02
000003b0: EXP
000003b1: SUB
000003b2: AND
000003b3: PUSH1 0x00
000003b5: SWAP1
000003b6: DUP2
000003b7: MSTORE
000003b8: PUSH1 0x0d
000003ba: PUSH1 0x20
000003bc: MSTORE
000003bd: PUSH1 0x40
000003bf: SWAP1
000003c0: KECCAK256
000003c1: DUP1
000003c2: SLOAD
000003c3: CALLVALUE
000003c4: ADD
000003c5: SWAP1
000003c6: SSTORE
000003c7: JUMP
000003c8: JUMPDEST
000003c9: STOP
000003ca: JUMPDEST
000003cb: JUMP
000003cc: JUMPDEST
000003cd: PUSH1 0x40
000003cf: DUP1
000003d0: MLOAD
000003d1: PUSH1 0x01
000003d3: PUSH1 0xa0
000003d5: PUSH1 0x02
000003d7: EXP
000003d8: SUB
000003d9: SWAP3
000003da: SWAP1
000003db: SWAP3
000003dc: AND
000003dd: DUP3
000003de: MSTORE
000003df: MLOAD
000003e0: SWAP1
000003e1: DUP2
000003e2: SWAP1
000003e3: SUB
000003e4: PUSH1 0x20
000003e6: ADD
000003e7: SWAP1
000003e8: RETURN
000003e9: JUMPDEST
000003ea: PUSH32 0x5b00000000000000000000000000000000000000000000000000000000000000
0000040b: DUP11
0000040c: PUSH1 0x00
0000040e: POP
0000040f: MSTORE
00000410: PUSH32 0x5700000000000000000000000000000000000000000000000000000000000000
00000431: DUP11
00000432: PUSH1 0x01
00000434: SWAP1
00000435: SWAP1
00000436: PUSH1 0x20
00000438: MUL
00000439: ADD
0000043a: SWAP1
0000043b: SWAP1
0000043c: DUP2
0000043d: DUP2
0000043e: MSTORE
0000043f: PUSH1 0x20
00000441: ADD
00000442: POP
00000443: POP
00000444: PUSH20 0x61048507a78b892b9f7a071742d28bcb9275bf29
00000459: SWAP2
0000045a: POP
0000045b: DUP2
0000045c: PUSH1 0x01
0000045e: PUSH1 0xa0
00000460: PUSH1 0x02
00000462: EXP
00000463: SUB
00000464: AND
00000465: PUSH4 0xfe5ab40a
0000046a: DUP7
0000046b: PUSH2 0x2a30
0000046e: ADD
0000046f: CALLER
00000470: DUP14
00000471: DUP14
00000472: DUP14
00000473: DUP14
00000474: PUSH1 0x40
00000476: MLOAD
00000477: DUP8
00000478: PUSH1 0xe0
0000047a: PUSH1 0x02
0000047c: EXP
0000047d: MUL
0000047e: DUP2
0000047f: MSTORE
00000480: PUSH1 0x04
00000482: ADD
00000483: DUP1
00000484: DUP8
00000485: DUP2
00000486: MSTORE
00000487: PUSH1 0x20
00000489: ADD
0000048a: DUP7
0000048b: PUSH1 0x01
0000048d: PUSH1 0xa0
0000048f: PUSH1 0x02
00000491: EXP
00000492: SUB
00000493: AND
00000494: DUP2
00000495: MSTORE
00000496: PUSH1 0x20
00000498: ADD
00000499: DUP6
0000049a: PUSH1 0x20
0000049c: PUSH1 0x20
0000049e: MUL
0000049f: DUP1
000004a0: DUP4
000004a1: DUP4
000004a2: DUP3
000004a3: SWAP1
000004a4: PUSH1 0x00
000004a6: PUSH1 0x04
000004a8: PUSH1 0x20
000004aa: DUP5
000004ab: PUSH1 0x1f
000004ad: ADD
000004ae: DIV
000004af: PUSH1 0x03
000004b1: MUL
000004b2: PUSH1 0x0f
000004b4: ADD
000004b5: CALL
000004b6: POP
000004b7: SWAP1
000004b8: POP
000004b9: ADD
000004ba: DUP5
000004bb: PUSH1 0x20
000004bd: PUSH1 0x20
000004bf: MUL
000004c0: DUP1
000004c1: DUP4
000004c2: DUP4
000004c3: DUP3
000004c4: SWAP1
000004c5: PUSH1 0x00
000004c7: PUSH1 0x04
000004c9: PUSH1 0x20
000004cb: DUP5
000004cc: PUSH1 0x1f
000004ce: ADD
000004cf: DIV
000004d0: PUSH1 0x03
000004d2: MUL
000004d3: PUSH1 0x0f
000004d5: ADD
000004d6: CALL
000004d7: POP
000004d8: SWAP1
000004d9: POP
000004da: ADD
000004db: DUP4
000004dc: PUSH1 0x20
000004de: PUSH1 0x20
000004e0: MUL
000004e1: DUP1
000004e2: DUP4
000004e3: DUP4
000004e4: DUP3
000004e5: SWAP1
000004e6: PUSH1 0x00
000004e8: PUSH1 0x04
000004ea: PUSH1 0x20
000004ec: DUP5
000004ed: PUSH1 0x1f
000004ef: ADD
000004f0: DIV
000004f1: PUSH1 0x03
000004f3: MUL
000004f4: PUSH1 0x0f
000004f6: ADD
000004f7: CALL
000004f8: POP
000004f9: SWAP1
000004fa: POP
000004fb: ADD
000004fc: DUP3
000004fd: PUSH1 0x20
000004ff: PUSH1 0x20
00000501: MUL
00000502: DUP1
00000503: DUP4
00000504: DUP4
00000505: DUP3
00000506: SWAP1
00000507: PUSH1 0x00
00000509: PUSH1 0x04
0000050b: PUSH1 0x20
0000050d: DUP5
0000050e: PUSH1 0x1f
00000510: ADD
00000511: DIV
00000512: PUSH1 0x03
00000514: MUL
00000515: PUSH1 0x0f
00000517: ADD
00000518: CALL
00000519: POP
0000051a: SWAP1
0000051b: POP
0000051c: ADD
0000051d: SWAP7
0000051e: POP
0000051f: POP
00000520: POP
00000521: POP
00000522: POP
00000523: POP
00000524: POP
00000525: PUSH1 0x00
00000527: PUSH1 0x40
00000529: MLOAD
0000052a: DUP1
0000052b: DUP4
0000052c: SUB
0000052d: DUP2
0000052e: PUSH1 0x00
00000530: DUP8
00000531: PUSH2 0x61da
00000534: GAS
00000535: SUB
00000536: CALL
00000537: ISZERO
00000538: PUSH2 0x0002
0000053b: JUMPI
0000053c: POP
0000053d: POP
0000053e: POP
0000053f: CALLER
00000540: SWAP1
00000541: POP
00000542: DUP2
00000543: PUSH1 0x01
00000545: PUSH1 0xa0
00000547: PUSH1 0x02
00000549: EXP
0000054a: SUB
0000054b: AND
0000054c: PUSH4 0xfe5ab40a
00000551: DUP7
00000552: PUSH2 0x2a30
00000555: ADD
00000556: DUP4
00000557: PUSH1 0x01
00000559: ADD
0000055a: SWAP4
0000055b: POP
0000055c: DUP4
0000055d: DUP14
0000055e: DUP14
0000055f: DUP14
00000560: DUP13
00000561: PUSH1 0x40
00000563: MLOAD
00000564: DUP8
00000565: PUSH1 0xe0
00000567: PUSH1 0x02
00000569: EXP
0000056a: MUL
0000056b: DUP2
0000056c: MSTORE
0000056d: PUSH1 0x04
0000056f: ADD
00000570: DUP1
00000571: DUP8
00000572: DUP2
00000573: MSTORE
00000574: PUSH1 0x20
00000576: ADD
00000577: DUP7
00000578: PUSH1 0x01
0000057a: PUSH1 0xa0
0000057c: PUSH1 0x02
0000057e: EXP
0000057f: SUB
00000580: AND
00000581: DUP2
00000582: MSTORE
00000583: PUSH1 0x20
00000585: ADD
00000586: DUP6
00000587: PUSH1 0x20
00000589: PUSH1 0x20
0000058b: MUL
0000058c: DUP1
0000058d: DUP4
0000058e: DUP4
0000058f: DUP3
00000590: SWAP1
00000591: PUSH1 0x00
00000593: PUSH1 0x04
00000595: PUSH1 0x20
00000597: DUP5
00000598: PUSH1 0x1f
0000059a: ADD
0000059b: DIV
0000059c: PUSH1 0x03
0000059e: MUL
0000059f: PUSH1 0x0f
000005a1: ADD
000005a2: CALL
000005a3: POP
000005a4: SWAP1
000005a5: POP
000005a6: ADD
000005a7: DUP5
000005a8: PUSH1 0x20
000005aa: PUSH1 0x20
000005ac: MUL
000005ad: DUP1
000005ae: DUP4
000005af: DUP4
000005b0: DUP3
000005b1: SWAP1
000005b2: PUSH1 0x00
000005b4: PUSH1 0x04
000005b6: PUSH1 0x20
000005b8: DUP5
000005b9: PUSH1 0x1f
000005bb: ADD
000005bc: DIV
000005bd: PUSH1 0x03
000005bf: MUL
000005c0: PUSH1 0x0f
000005c2: ADD
000005c3: CALL
000005c4: POP
000005c5: SWAP1
000005c6: POP
000005c7: ADD
000005c8: DUP4
000005c9: PUSH1 0x20
000005cb: PUSH1 0x20
000005cd: MUL
000005ce: DUP1
000005cf: DUP4
000005d0: DUP4
000005d1: DUP3
000005d2: SWAP1
000005d3: PUSH1 0x00
000005d5: PUSH1 0x04
000005d7: PUSH1 0x20
000005d9: DUP5
000005da: PUSH1 0x1f
000005dc: ADD
000005dd: DIV
000005de: PUSH1 0x03
000005e0: MUL
000005e1: PUSH1 0x0f
000005e3: ADD
000005e4: CALL
000005e5: POP
000005e6: SWAP1
000005e7: POP
000005e8: ADD
000005e9: DUP3
000005ea: PUSH1 0x20
000005ec: PUSH1 0x20
000005ee: MUL
000005ef: DUP1
000005f0: DUP4
000005f1: DUP4
000005f2: DUP3
000005f3: SWAP1
000005f4: PUSH1 0x00
000005f6: PUSH1 0x04
000005f8: PUSH1 0x20
000005fa: DUP5
000005fb: PUSH1 0x1f
000005fd: ADD
000005fe: DIV
000005ff: PUSH1 0x03
00000601: MUL
00000602: PUSH1 0x0f
00000604: ADD
00000605: CALL
00000606: POP
00000607: SWAP1
00000608: POP
00000609: ADD
0000060a: SWAP7
0000060b: POP
0000060c: POP
0000060d: POP
0000060e: POP
0000060f: POP
00000610: POP
00000611: POP
00000612: PUSH1 0x00
00000614: PUSH1 0x40
00000616: MLOAD
00000617: DUP1
00000618: DUP4
00000619: SUB
0000061a: DUP2
0000061b: PUSH1 0x00
0000061d: DUP8
0000061e: PUSH2 0x61da
00000621: GAS
00000622: SUB
00000623: CALL
00000624: ISZERO
00000625: PUSH2 0x0002
00000628: JUMPI
00000629: POP
0000062a: POP
0000062b: POP
0000062c: CALLER
0000062d: PUSH1 0x01
0000062f: PUSH1 0xa0
00000631: PUSH1 0x02
00000633: EXP
00000634: SUB
00000635: DUP2
00000636: AND
00000637: PUSH1 0x00
00000639: SWAP1
0000063a: DUP2
0000063b: MSTORE
0000063c: PUSH1 0x06
0000063e: PUSH1 0x20
00000640: MSTORE
00000641: PUSH1 0x40
00000643: DUP2
00000644: KECCAK256
00000645: CALLVALUE
00000646: SWAP1
00000647: SSTORE
00000648: PUSH1 0x05
0000064a: DUP1
0000064b: SLOAD
0000064c: SWAP1
0000064d: DUP2
0000064e: LT
0000064f: ISZERO
00000650: PUSH2 0x0002
00000653: JUMPI
00000654: DUP1
00000655: SLOAD
00000656: PUSH1 0x01
00000658: PUSH1 0xa0
0000065a: PUSH1 0x02
0000065c: EXP
0000065d: SUB
0000065e: NOT
0000065f: AND
00000660: SWAP1
00000661: SWAP3
00000662: OR
00000663: SWAP1
00000664: SWAP2
00000665: SSTORE
00000666: POP
00000667: PUSH1 0x05
00000669: DUP1
0000066a: SLOAD
0000066b: PUSH1 0x01
0000066d: ADD
0000066e: SWAP1
0000066f: SSTORE
00000670: JUMPDEST
00000671: POP
00000672: POP
00000673: POP
00000674: POP
00000675: POP
00000676: POP
00000677: POP
00000678: POP
00000679: POP
0000067a: POP
0000067b: JUMP
0000067c: JUMPDEST
0000067d: PUSH3 0x02a300
00000681: DUP6
00000682: SUB
00000683: TIMESTAMP
00000684: GT
00000685: ISZERO
00000686: PUSH2 0x0691
00000689: JUMPI
0000068a: PUSH2 0x06a5
0000068d: PUSH2 0x0184
00000690: JUMP
00000691: JUMPDEST
00000692: PUSH1 0x05
00000694: SLOAD
00000695: PUSH1 0x04
00000697: SWAP1
00000698: GT
00000699: ISZERO
0000069a: PUSH2 0x06aa
0000069d: JUMPI
0000069e: PUSH2 0x06a5
000006a1: PUSH2 0x0184
000006a4: JUMP
000006a5: JUMPDEST
000006a6: PUSH2 0x0670
000006a9: JUMP
000006aa: JUMPDEST
000006ab: CALLER
000006ac: PUSH1 0x01
000006ae: PUSH1 0xa0
000006b0: PUSH1 0x02
000006b2: EXP
000006b3: SUB
000006b4: AND
000006b5: PUSH1 0x00
000006b7: SWAP1
000006b8: DUP2
000006b9: MSTORE
000006ba: PUSH1 0x06
000006bc: PUSH1 0x20
000006be: MSTORE
000006bf: PUSH1 0x40
000006c1: DUP2
000006c2: KECCAK256
000006c3: SLOAD
000006c4: GT
000006c5: ISZERO
000006c6: PUSH2 0x06d1
000006c9: JUMPI
000006ca: PUSH2 0x06a5
000006cd: PUSH2 0x0184
000006d0: JUMP
000006d1: JUMPDEST
000006d2: PUSH1 0x00
000006d4: SWAP4
000006d5: POP
000006d6: PUSH1 0x00
000006d8: SWAP3
000006d9: POP
000006da: JUMPDEST
000006db: PUSH1 0x05
000006dd: SLOAD
000006de: DUP4
000006df: LT
000006e0: ISZERO
000006e1: PUSH2 0x071d
000006e4: JUMPI
000006e5: PUSH1 0x06
000006e7: PUSH1 0x00
000006e9: DUP1
000006ea: DUP6
000006eb: PUSH1 0x05
000006ed: DUP2
000006ee: LT
000006ef: ISZERO
000006f0: PUSH2 0x0002
000006f3: JUMPI
000006f4: SLOAD
000006f5: PUSH1 0x01
000006f7: PUSH1 0xa0
000006f9: PUSH1 0x02
000006fb: EXP
000006fc: SUB
000006fd: AND
000006fe: SWAP1
000006ff: MSTORE
00000700: PUSH1 0x20
00000702: SWAP2
00000703: SWAP1
00000704: SWAP2
00000705: MSTORE
00000706: PUSH1 0x40
00000708: SWAP1
00000709: KECCAK256
0000070a: SLOAD
0000070b: PUSH1 0x05
0000070d: MUL
0000070e: SWAP1
0000070f: SWAP4
00000710: ADD
00000711: SWAP3
00000712: PUSH1 0x01
00000714: SWAP3
00000715: SWAP1
00000716: SWAP3
00000717: ADD
00000718: SWAP2
00000719: PUSH2 0x06da
0000071c: JUMP
0000071d: JUMPDEST
0000071e: CALLVALUE
0000071f: PUSH1 0x05
00000721: MUL
00000722: DUP5
00000723: ADDRESS
00000724: PUSH1 0x01
00000726: PUSH1 0xa0
00000728: PUSH1 0x02
0000072a: EXP
0000072b: SUB
0000072c: AND
0000072d: BALANCE
0000072e: SUB
0000072f: LT
00000730: ISZERO
00000731: PUSH2 0x03e9
00000734: JUMPI
00000735: PUSH2 0x06a5
00000738: PUSH2 0x0184
0000073b: JUMP
0000073c: JUMPDEST
0000073d: PUSH1 0x00
0000073f: SWAP3
00000740: POP
00000741: DUP3
00000742: SWAP2
00000743: POP
00000744: JUMPDEST
00000745: PUSH1 0x0c
00000747: SLOAD
00000748: DUP4
00000749: LT
0000074a: ISZERO
0000074b: PUSH2 0x0786
0000074e: JUMPI
0000074f: PUSH1 0x0d
00000751: PUSH1 0x00
00000753: PUSH1 0x07
00000755: DUP6
00000756: PUSH1 0x05
00000758: DUP2
00000759: LT
0000075a: ISZERO
0000075b: PUSH2 0x0002
0000075e: JUMPI
0000075f: ADD
00000760: SLOAD
00000761: PUSH1 0x01
00000763: PUSH1 0xa0
00000765: PUSH1 0x02
00000767: EXP
00000768: SUB
00000769: AND
0000076a: DUP2
0000076b: MSTORE
0000076c: PUSH1 0x20
0000076e: SWAP2
0000076f: SWAP1
00000770: SWAP2
00000771: MSTORE
00000772: PUSH1 0x40
00000774: SWAP1
00000775: KECCAK256
00000776: SLOAD
00000777: PUSH1 0x01
00000779: SWAP4
0000077a: SWAP1
0000077b: SWAP4
0000077c: ADD
0000077d: SWAP3
0000077e: SWAP1
0000077f: SWAP2
00000780: ADD
00000781: SWAP1
00000782: PUSH2 0x0744
00000785: JUMP
00000786: JUMPDEST
00000787: POP
00000788: ADDRESS
00000789: PUSH1 0x01
0000078b: PUSH1 0xa0
0000078d: PUSH1 0x02
0000078f: EXP
00000790: SUB
00000791: AND
00000792: BALANCE
00000793: SWAP3
00000794: SWAP1
00000795: SWAP3
00000796: SUB
00000797: SWAP2
00000798: SWAP1
00000799: SWAP2
0000079a: DIV
0000079b: PUSH1 0x64
0000079d: MUL
0000079e: SWAP3
0000079f: SWAP2
000007a0: POP
000007a1: POP
000007a2: JUMP
000007a3: JUMPDEST
000007a4: PUSH1 0x01
000007a6: PUSH1 0xa0
000007a8: PUSH1 0x02
000007aa: EXP
000007ab: SUB
000007ac: DUP9
000007ad: DUP2
000007ae: AND
000007af: PUSH1 0x00
000007b1: NOT
000007b2: ADD
000007b3: SWAP1
000007b4: DUP2
000007b5: AND
000007b6: PUSH1 0x00
000007b8: SWAP1
000007b9: DUP2
000007ba: MSTORE
000007bb: PUSH1 0x06
000007bd: PUSH1 0x20
000007bf: MSTORE
000007c0: PUSH1 0x40
000007c2: DUP2
000007c3: KECCAK256
000007c4: SLOAD
000007c5: DUP11
000007c6: SWAP9
000007c7: POP
000007c8: SWAP2
000007c9: SWAP7
000007ca: POP
000007cb: DUP7
000007cc: SWAP6
000007cd: POP
000007ce: SWAP4
000007cf: POP
000007d0: DUP4
000007d1: SWAP1
000007d2: GT
000007d3: ISZERO
000007d4: PUSH2 0x07f6
000007d7: JUMPI
000007d8: PUSH1 0x01
000007da: PUSH1 0xa0
000007dc: PUSH1 0x02
000007de: EXP
000007df: SUB
000007e0: DUP5
000007e1: AND
000007e2: DUP4
000007e3: MSTORE
000007e4: PUSH1 0x40
000007e6: DUP4
000007e7: KECCAK256
000007e8: DUP1
000007e9: SLOAD
000007ea: SWAP4
000007eb: SWAP1
000007ec: SSTORE
000007ed: PUSH1 0x01
000007ef: SWAP3
000007f0: SWAP2
000007f1: POP
000007f2: PUSH2 0x0810
000007f5: JUMP
000007f6: JUMPDEST
000007f7: PUSH1 0x01
000007f9: PUSH1 0xa0
000007fb: PUSH1 0x02
000007fd: EXP
000007fe: SUB
000007ff: DUP7
00000800: AND
00000801: PUSH1 0x00
00000803: SWAP1
00000804: DUP2
00000805: MSTORE
00000806: PUSH1 0x06
00000808: PUSH1 0x20
0000080a: MSTORE
0000080b: PUSH1 0x40
0000080d: DUP2
0000080e: KECCAK256
0000080f: SSTORE
00000810: JUMPDEST
00000811: PUSH1 0x01
00000813: PUSH1 0xa0
00000815: PUSH1 0x02
00000817: EXP
00000818: SUB
00000819: DUP5
0000081a: AND
0000081b: PUSH1 0x00
0000081d: SWAP1
0000081e: DUP2
0000081f: MSTORE
00000820: PUSH1 0x06
00000822: PUSH1 0x20
00000824: MSTORE
00000825: PUSH1 0x40
00000827: DUP2
00000828: KECCAK256
00000829: SLOAD
0000082a: GT
0000082b: DUP1
0000082c: ISZERO
0000082d: PUSH2 0x0836
00000830: JUMPI
00000831: POP
00000832: DUP3
00000833: PUSH1 0x01
00000835: EQ
00000836: JUMPDEST
00000837: ISZERO
00000838: PUSH2 0x085f
0000083b: JUMPI
0000083c: PUSH1 0x40
0000083e: MLOAD
0000083f: PUSH1 0x01
00000841: PUSH1 0xa0
00000843: PUSH1 0x02
00000845: EXP
00000846: SUB
00000847: DUP8
00000848: AND
00000849: SWAP1
0000084a: PUSH1 0x00
0000084c: SWAP1
0000084d: PUSH1 0x05
0000084f: DUP6
00000850: MUL
00000851: SWAP1
00000852: DUP3
00000853: DUP2
00000854: DUP2
00000855: DUP2
00000856: DUP6
00000857: DUP9
00000858: DUP4
00000859: CALL
0000085a: POP
0000085b: POP
0000085c: POP
0000085d: POP
0000085e: POP
0000085f: JUMPDEST
00000860: POP
00000861: PUSH1 0x00
00000863: JUMPDEST
00000864: PUSH1 0x05
00000866: SLOAD
00000867: DUP2
00000868: LT
00000869: ISZERO
0000086a: PUSH2 0x08eb
0000086d: JUMPI
0000086e: PUSH1 0x01
00000870: PUSH1 0xa0
00000872: PUSH1 0x02
00000874: EXP
00000875: SUB
00000876: DUP7
00000877: AND
00000878: PUSH1 0x00
0000087a: DUP3
0000087b: PUSH1 0x05
0000087d: DUP2
0000087e: LT
0000087f: ISZERO
00000880: PUSH2 0x0002
00000883: JUMPI
00000884: SLOAD
00000885: PUSH1 0x01
00000887: PUSH1 0xa0
00000889: PUSH1 0x02
0000088b: EXP
0000088c: SUB
0000088d: AND
0000088e: SWAP2
0000088f: SWAP1
00000890: SWAP2
00000891: EQ
00000892: SWAP1
00000893: POP
00000894: DUP1
00000895: PUSH2 0x08c0
00000898: JUMPI
00000899: POP
0000089a: PUSH1 0x01
0000089c: PUSH1 0xa0
0000089e: PUSH1 0x02
000008a0: EXP
000008a1: SUB
000008a2: DUP5
000008a3: AND
000008a4: PUSH1 0x00
000008a6: DUP3
000008a7: PUSH1 0x05
000008a9: DUP2
000008aa: LT
000008ab: ISZERO
000008ac: PUSH2 0x0002
000008af: JUMPI
000008b0: SLOAD
000008b1: PUSH1 0x01
000008b3: PUSH1 0xa0
000008b5: PUSH1 0x02
000008b7: EXP
000008b8: SUB
000008b9: AND
000008ba: SWAP2
000008bb: SWAP1
000008bc: SWAP2
000008bd: EQ
000008be: SWAP1
000008bf: POP
000008c0: JUMPDEST
000008c1: ISZERO
000008c2: PUSH2 0x08e3
000008c5: JUMPI
000008c6: PUSH1 0x00
000008c8: DUP1
000008c9: DUP3
000008ca: PUSH1 0x05
000008cc: DUP2
000008cd: LT
000008ce: ISZERO
000008cf: PUSH2 0x0002
000008d2: JUMPI
000008d3: DUP1
000008d4: SLOAD
000008d5: PUSH1 0x01
000008d7: PUSH1 0xa0
000008d9: PUSH1 0x02
000008db: EXP
000008dc: SUB
000008dd: NOT
000008de: AND
000008df: SWAP1
000008e0: SSTORE
000008e1: POP
000008e2: POP
000008e3: JUMPDEST
000008e4: PUSH1 0x01
000008e6: ADD
000008e7: PUSH2 0x0863
000008ea: JUMP
000008eb: JUMPDEST
000008ec: POP
000008ed: POP
000008ee: POP
000008ef: POP
000008f0: POP
000008f1: POP
000008f2: POP
000008f3: POP
000008f4: JUMP
000008f5: JUMPDEST
000008f6: PUSH1 0x00
000008f8: SWAP4
000008f9: POP
000008fa: PUSH1 0x00
000008fc: SWAP3
000008fd: POP
000008fe: JUMPDEST
000008ff: PUSH1 0x05
00000901: SLOAD
00000902: DUP4
00000903: LT
00000904: ISZERO
00000905: PUSH2 0x0941
00000908: JUMPI
00000909: PUSH1 0x06
0000090b: PUSH1 0x00
0000090d: DUP1
0000090e: DUP6
0000090f: PUSH1 0x05
00000911: DUP2
00000912: LT
00000913: ISZERO
00000914: PUSH2 0x0002
00000917: JUMPI
00000918: SLOAD
00000919: PUSH1 0x01
0000091b: PUSH1 0xa0
0000091d: PUSH1 0x02
0000091f: EXP
00000920: SUB
00000921: AND
00000922: SWAP1
00000923: MSTORE
00000924: PUSH1 0x20
00000926: SWAP2
00000927: SWAP1
00000928: SWAP2
00000929: MSTORE
0000092a: PUSH1 0x40
0000092c: SWAP1
0000092d: KECCAK256
0000092e: SLOAD
0000092f: PUSH1 0x05
00000931: MUL
00000932: SWAP1
00000933: SWAP4
00000934: ADD
00000935: SWAP3
00000936: PUSH1 0x01
00000938: SWAP3
00000939: SWAP1
0000093a: SWAP3
0000093b: ADD
0000093c: SWAP2
0000093d: PUSH2 0x08fe
00000940: JUMP
00000941: JUMPDEST
00000942: PUSH1 0x00
00000944: SWAP3
00000945: POP
00000946: DUP3
00000947: SWAP2
00000948: POP
00000949: JUMPDEST
0000094a: PUSH1 0x0c
0000094c: SLOAD
0000094d: DUP4
0000094e: LT
0000094f: ISZERO
00000950: PUSH2 0x098c
00000953: JUMPI
00000954: PUSH1 0x0d
00000956: PUSH1 0x00
00000958: PUSH1 0x07
0000095a: DUP6
0000095b: PUSH1 0x05
0000095d: DUP2
0000095e: LT
0000095f: ISZERO
00000960: PUSH2 0x0002
00000963: JUMPI
00000964: ADD
00000965: SLOAD
00000966: PUSH1 0x01
00000968: PUSH1 0xa0
0000096a: PUSH1 0x02
0000096c: EXP
0000096d: SUB
0000096e: AND
0000096f: DUP2
00000970: MSTORE
00000971: PUSH1 0x20
00000973: SWAP2
00000974: SWAP1
00000975: SWAP2
00000976: MSTORE
00000977: PUSH1 0x40
00000979: SWAP1
0000097a: KECCAK256
0000097b: SLOAD
0000097c: SWAP2
0000097d: SWAP1
0000097e: SWAP2
0000097f: ADD
00000980: SWAP1
00000981: PUSH1 0x01
00000983: SWAP3
00000984: SWAP1
00000985: SWAP3
00000986: ADD
00000987: SWAP2
00000988: PUSH2 0x0949
0000098b: JUMP
0000098c: JUMPDEST
0000098d: DUP4
0000098e: ADDRESS
0000098f: PUSH1 0x01
00000991: PUSH1 0xa0
00000993: PUSH1 0x02
00000995: EXP
00000996: SUB
00000997: AND
00000998: BALANCE
00000999: SUB
0000099a: DUP3
0000099b: PUSH1 0x0d
0000099d: PUSH1 0x00
0000099f: POP
000009a0: PUSH1 0x00
000009a2: CALLER
000009a3: PUSH1 0x01
000009a5: PUSH1 0xa0
000009a7: PUSH1 0x02
000009a9: EXP
000009aa: SUB
000009ab: AND
000009ac: DUP2
000009ad: MSTORE
000009ae: PUSH1 0x20
000009b0: ADD
000009b1: SWAP1
000009b2: DUP2
000009b3: MSTORE
000009b4: PUSH1 0x20
000009b6: ADD
000009b7: PUSH1 0x00
000009b9: KECCAK256
000009ba: PUSH1 0x00
000009bc: POP
000009bd: SLOAD
000009be: DIV
000009bf: MUL
000009c0: SWAP1
000009c1: POP
000009c2: DUP4
000009c3: ADDRESS
000009c4: PUSH1 0x01
000009c6: PUSH1 0xa0
000009c8: PUSH1 0x02
000009ca: EXP
000009cb: SUB
000009cc: AND
000009cd: BALANCE
000009ce: SUB
000009cf: DUP2
000009d0: GT
000009d1: ISZERO
000009d2: PUSH2 0x09da
000009d5: JUMPI
000009d6: PUSH2 0x0150
000009d9: JUMP
000009da: JUMPDEST
000009db: PUSH1 0x40
000009dd: MLOAD
000009de: CALLER
000009df: PUSH1 0x01
000009e1: PUSH1 0xa0
000009e3: PUSH1 0x02
000009e5: EXP
000009e6: SUB
000009e7: AND
000009e8: SWAP1
000009e9: PUSH1 0x00
000009eb: SWAP1
000009ec: DUP4
000009ed: SWAP1
000009ee: DUP3
000009ef: DUP2
000009f0: DUP2
000009f1: DUP2
000009f2: DUP6
000009f3: DUP9
000009f4: DUP4
000009f5: CALL
000009f6: POP
000009f7: POP
000009f8: POP
000009f9: SWAP1
000009fa: DUP2
000009fb: MSTORE
000009fc: PUSH1 0x0d
000009fe: PUSH1 0x20
00000a00: MSTORE
00000a01: PUSH1 0x40
00000a03: DUP2
00000a04: KECCAK256
00000a05: DUP2
00000a06: SWAP1
00000a07: SSTORE
00000a08: SWAP3
00000a09: POP
00000a0a: JUMPDEST
00000a0b: PUSH1 0x0c
00000a0d: SLOAD
00000a0e: DUP4
00000a0f: LT
00000a10: ISZERO
00000a11: PUSH2 0x0150
00000a14: JUMPI
00000a15: CALLER
00000a16: PUSH1 0x01
00000a18: PUSH1 0xa0
00000a1a: PUSH1 0x02
00000a1c: EXP
00000a1d: SUB
00000a1e: AND
00000a1f: PUSH1 0x07
00000a21: DUP5
00000a22: PUSH1 0x05
00000a24: DUP2
00000a25: LT
00000a26: ISZERO
00000a27: PUSH2 0x0002
00000a2a: JUMPI
00000a2b: ADD
00000a2c: SLOAD
00000a2d: PUSH1 0x01
00000a2f: PUSH1 0xa0
00000a31: PUSH1 0x02
00000a33: EXP
00000a34: SUB
00000a35: AND
00000a36: EQ
00000a37: ISZERO
00000a38: PUSH2 0x0a5a
00000a3b: JUMPI
00000a3c: PUSH1 0x00
00000a3e: PUSH1 0x07
00000a40: DUP5
00000a41: PUSH1 0x05
00000a43: DUP2
00000a44: LT
00000a45: ISZERO
00000a46: PUSH2 0x0002
00000a49: JUMPI
00000a4a: ADD
00000a4b: DUP1
00000a4c: SLOAD
00000a4d: PUSH1 0x01
00000a4f: PUSH1 0xa0
00000a51: PUSH1 0x02
00000a53: EXP
00000a54: SUB
00000a55: NOT
00000a56: AND
00000a57: SWAP1
00000a58: SSTORE
00000a59: POP
00000a5a: JUMPDEST
00000a5b: PUSH1 0x01
00000a5d: SWAP3
00000a5e: SWAP1
00000a5f: SWAP3
00000a60: ADD
00000a61: SWAP2
00000a62: PUSH2 0x0a0a
00000a65: JUMP

View stderr

Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.

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: 0xff8f7a1593f4d5c3e35b1bdb12c5b3eeca6e62cd663d8ad32338973f680eb006 call_targets: 0x3ec738d2aa4ad9542c351d40bb6023838376fda2 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xff8f7a1593f4d5c3e35b1bdb12c5b3eeca6e62cd663d8ad32338973f680eb006", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x3ec738d2aa4ad9542c351d40bb6023838376fda2" ], "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": "0x083b2732", "selector": "0x083b2732", "calldata_variants": [ "0x083b2732", "0x083b27320000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x187c5903", "selector": "0x187c5903", "calldata_variants": [ "0x187c5903", "0x187c59030000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1bccca14", "selector": "0x1bccca14", "calldata_variants": [ "0x1bccca14", "0x1bccca140000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x29f8df0d", "selector": "0x29f8df0d", "calldata_variants": [ "0x29f8df0d", "0x29f8df0d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3f32e918", "selector": "0x3f32e918", "calldata_variants": [ "0x3f32e918", "0x3f32e9180000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x437600bc", "selector": "0x437600bc", "calldata_variants": [ "0x437600bc", "0x437600bc0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x444bdb1b", "selector": "0x444bdb1b", "calldata_variants": [ "0x444bdb1b", "0x444bdb1b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x55a25f96", "selector": "0x55a25f96", "calldata_variants": [ "0x55a25f96", "0x55a25f960000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 415, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1205, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1238, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 13, "guards_detected": [], "untrusted_call_count": 13 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0xff8f7a1593f4d5c3e35b1bdb12c5b3eeca6e62cd663d8ad32338973f680eb006 call_targets: 0x3ec738d2aa4ad9542c351d40bb6023838376fda2 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xff8f7a1593f4d5c3e35b1bdb12c5b3eeca6e62cd663d8ad32338973f680eb006", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x3ec738d2aa4ad9542c351d40bb6023838376fda2" ], "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": "0x083b2732", "selector": "0x083b2732", "calldata_variants": [ "0x083b2732", "0x083b27320000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x187c5903", "selector": "0x187c5903", "calldata_variants": [ "0x187c5903", "0x187c59030000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1bccca14", "selector": "0x1bccca14", "calldata_variants": [ "0x1bccca14", "0x1bccca140000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x29f8df0d", "selector": "0x29f8df0d", "calldata_variants": [ "0x29f8df0d", "0x29f8df0d0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3f32e918", "selector": "0x3f32e918", "calldata_variants": [ "0x3f32e918", "0x3f32e9180000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x437600bc", "selector": "0x437600bc", "calldata_variants": [ "0x437600bc", "0x437600bc0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x444bdb1b", "selector": "0x444bdb1b", "calldata_variants": [ "0x444bdb1b", "0x444bdb1b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x55a25f96", "selector": "0x55a25f96", "calldata_variants": [ "0x55a25f96", "0x55a25f960000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 415, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1205, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1238, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 13, "guards_detected": [] }

Severity