TW
Tripwire
Find contracts. Test them. Review real vulns.

Analysis Run

019b3836-21a6-7223-b6cc-f566edf0cc20

complete
Chain ID
1
Address
0xce42e990781b6c0b24a334f51eef725eb5684b9a
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
ETH value transfer possible
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
147 artifact.fetch complete 1 / 3 3 months ago
148 tool.cast_disasm complete 1 / 3 3 months ago
43595 analysis.bundle complete 1 / 3 1 week ago
43596 capability.graph complete 1 / 3 1 week ago
43597 detector.run complete 1 / 3 1 week ago
43598 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)
2
EXT*/BALANCE
0
Total opcodes
1882
Flags
No heuristic flags raised.
View cast disassembly output 
00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x0095
0000000a: JUMPI
0000000b: PUSH1 0x00
0000000d: CALLDATALOAD
0000000e: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000002c: SWAP1
0000002d: DIV
0000002e: DUP1
0000002f: PUSH4 0x013cf08b
00000034: EQ
00000035: PUSH2 0x0097
00000038: JUMPI
00000039: DUP1
0000003a: PUSH4 0x0d61b519
0000003f: EQ
00000040: PUSH2 0x013b
00000043: JUMPI
00000044: DUP1
00000045: PUSH4 0x173a4b70
0000004a: EQ
0000004b: PUSH2 0x0162
0000004e: JUMPI
0000004f: DUP1
00000050: PUSH4 0x39ce3983
00000055: EQ
00000056: PUSH2 0x01da
00000059: JUMPI
0000005a: DUP1
0000005b: PUSH4 0x400e3949
00000060: EQ
00000061: PUSH2 0x01fb
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0x4d853ee5
0000006b: EQ
0000006c: PUSH2 0x021c
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0x5e44daf3
00000076: EQ
00000077: PUSH2 0x0253
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0x8160f0b5
00000081: EQ
00000082: PUSH2 0x0280
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xfd46146a
0000008c: EQ
0000008d: PUSH2 0x02a1
00000090: JUMPI
00000091: PUSH2 0x0095
00000094: JUMP
00000095: JUMPDEST
00000096: STOP
00000097: JUMPDEST
00000098: PUSH2 0x00a8
0000009b: PUSH1 0x04
0000009d: DUP1
0000009e: CALLDATALOAD
0000009f: SWAP1
000000a0: PUSH1 0x20
000000a2: ADD
000000a3: POP
000000a4: PUSH2 0x051b
000000a7: JUMP
000000a8: JUMPDEST
000000a9: PUSH1 0x40
000000ab: MLOAD
000000ac: DUP1
000000ad: DUP8
000000ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000000c3: AND
000000c4: DUP2
000000c5: MSTORE
000000c6: PUSH1 0x20
000000c8: ADD
000000c9: DUP7
000000ca: DUP2
000000cb: MSTORE
000000cc: PUSH1 0x20
000000ce: ADD
000000cf: DUP6
000000d0: DUP2
000000d1: MSTORE
000000d2: PUSH1 0x20
000000d4: ADD
000000d5: DUP1
000000d6: PUSH1 0x20
000000d8: ADD
000000d9: DUP5
000000da: DUP2
000000db: MSTORE
000000dc: PUSH1 0x20
000000de: ADD
000000df: DUP4
000000e0: DUP2
000000e1: MSTORE
000000e2: PUSH1 0x20
000000e4: ADD
000000e5: DUP3
000000e6: DUP2
000000e7: SUB
000000e8: DUP3
000000e9: MSTORE
000000ea: DUP6
000000eb: DUP2
000000ec: DUP2
000000ed: SLOAD
000000ee: DUP2
000000ef: MSTORE
000000f0: PUSH1 0x20
000000f2: ADD
000000f3: SWAP2
000000f4: POP
000000f5: DUP1
000000f6: SLOAD
000000f7: DUP1
000000f8: ISZERO
000000f9: PUSH2 0x0127
000000fc: JUMPI
000000fd: DUP3
000000fe: ADD
000000ff: SWAP2
00000100: SWAP1
00000101: PUSH1 0x00
00000103: MSTORE
00000104: PUSH1 0x20
00000106: PUSH1 0x00
00000108: KECCAK256
00000109: SWAP1
0000010a: JUMPDEST
0000010b: DUP2
0000010c: SLOAD
0000010d: DUP2
0000010e: MSTORE
0000010f: SWAP1
00000110: PUSH1 0x01
00000112: ADD
00000113: SWAP1
00000114: PUSH1 0x20
00000116: ADD
00000117: DUP1
00000118: DUP4
00000119: GT
0000011a: PUSH2 0x010a
0000011d: JUMPI
0000011e: DUP3
0000011f: SWAP1
00000120: SUB
00000121: PUSH1 0x1f
00000123: AND
00000124: DUP3
00000125: ADD
00000126: SWAP2
00000127: JUMPDEST
00000128: POP
00000129: POP
0000012a: SWAP8
0000012b: POP
0000012c: POP
0000012d: POP
0000012e: POP
0000012f: POP
00000130: POP
00000131: POP
00000132: POP
00000133: PUSH1 0x40
00000135: MLOAD
00000136: DUP1
00000137: SWAP2
00000138: SUB
00000139: SWAP1
0000013a: RETURN
0000013b: JUMPDEST
0000013c: PUSH2 0x014c
0000013f: PUSH1 0x04
00000141: DUP1
00000142: CALLDATALOAD
00000143: SWAP1
00000144: PUSH1 0x20
00000146: ADD
00000147: POP
00000148: PUSH2 0x0947
0000014b: JUMP
0000014c: JUMPDEST
0000014d: PUSH1 0x40
0000014f: MLOAD
00000150: DUP1
00000151: DUP3
00000152: DUP2
00000153: MSTORE
00000154: PUSH1 0x20
00000156: ADD
00000157: SWAP2
00000158: POP
00000159: POP
0000015a: PUSH1 0x40
0000015c: MLOAD
0000015d: DUP1
0000015e: SWAP2
0000015f: SUB
00000160: SWAP1
00000161: RETURN
00000162: JUMPDEST
00000163: PUSH2 0x01c4
00000166: PUSH1 0x04
00000168: DUP1
00000169: CALLDATALOAD
0000016a: SWAP1
0000016b: PUSH1 0x20
0000016d: ADD
0000016e: DUP1
0000016f: CALLDATALOAD
00000170: SWAP1
00000171: PUSH1 0x20
00000173: ADD
00000174: DUP1
00000175: CALLDATALOAD
00000176: SWAP1
00000177: PUSH1 0x20
00000179: ADD
0000017a: DUP1
0000017b: CALLDATALOAD
0000017c: SWAP1
0000017d: PUSH1 0x20
0000017f: ADD
00000180: SWAP1
00000181: PUSH1 0x04
00000183: ADD
00000184: DUP1
00000185: CALLDATALOAD
00000186: SWAP1
00000187: PUSH1 0x20
00000189: ADD
0000018a: SWAP2
0000018b: SWAP2
0000018c: SWAP1
0000018d: DUP1
0000018e: DUP1
0000018f: PUSH1 0x1f
00000191: ADD
00000192: PUSH1 0x20
00000194: DUP1
00000195: SWAP2
00000196: DIV
00000197: MUL
00000198: PUSH1 0x20
0000019a: ADD
0000019b: PUSH1 0x40
0000019d: MLOAD
0000019e: SWAP1
0000019f: DUP2
000001a0: ADD
000001a1: PUSH1 0x40
000001a3: MSTORE
000001a4: DUP1
000001a5: SWAP4
000001a6: SWAP3
000001a7: SWAP2
000001a8: SWAP1
000001a9: DUP2
000001aa: DUP2
000001ab: MSTORE
000001ac: PUSH1 0x20
000001ae: ADD
000001af: DUP4
000001b0: DUP4
000001b1: DUP1
000001b2: DUP3
000001b3: DUP5
000001b4: CALLDATACOPY
000001b5: DUP3
000001b6: ADD
000001b7: SWAP2
000001b8: POP
000001b9: POP
000001ba: POP
000001bb: POP
000001bc: POP
000001bd: POP
000001be: SWAP1
000001bf: POP
000001c0: PUSH2 0x05e8
000001c3: JUMP
000001c4: JUMPDEST
000001c5: PUSH1 0x40
000001c7: MLOAD
000001c8: DUP1
000001c9: DUP3
000001ca: DUP2
000001cb: MSTORE
000001cc: PUSH1 0x20
000001ce: ADD
000001cf: SWAP2
000001d0: POP
000001d1: POP
000001d2: PUSH1 0x40
000001d4: MLOAD
000001d5: DUP1
000001d6: SWAP2
000001d7: SUB
000001d8: SWAP1
000001d9: RETURN
000001da: JUMPDEST
000001db: PUSH2 0x01e5
000001de: PUSH1 0x04
000001e0: POP
000001e1: PUSH2 0x05a7
000001e4: JUMP
000001e5: JUMPDEST
000001e6: PUSH1 0x40
000001e8: MLOAD
000001e9: DUP1
000001ea: DUP3
000001eb: DUP2
000001ec: MSTORE
000001ed: PUSH1 0x20
000001ef: ADD
000001f0: SWAP2
000001f1: POP
000001f2: POP
000001f3: PUSH1 0x40
000001f5: MLOAD
000001f6: DUP1
000001f7: SWAP2
000001f8: SUB
000001f9: SWAP1
000001fa: RETURN
000001fb: JUMPDEST
000001fc: PUSH2 0x0206
000001ff: PUSH1 0x04
00000201: POP
00000202: PUSH2 0x05df
00000205: JUMP
00000206: JUMPDEST
00000207: PUSH1 0x40
00000209: MLOAD
0000020a: DUP1
0000020b: DUP3
0000020c: DUP2
0000020d: MSTORE
0000020e: PUSH1 0x20
00000210: ADD
00000211: SWAP2
00000212: POP
00000213: POP
00000214: PUSH1 0x40
00000216: MLOAD
00000217: DUP1
00000218: SWAP2
00000219: SUB
0000021a: SWAP1
0000021b: RETURN
0000021c: JUMPDEST
0000021d: PUSH2 0x0227
00000220: PUSH1 0x04
00000222: POP
00000223: PUSH2 0x05b9
00000226: JUMP
00000227: JUMPDEST
00000228: PUSH1 0x40
0000022a: MLOAD
0000022b: DUP1
0000022c: DUP3
0000022d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000242: AND
00000243: DUP2
00000244: MSTORE
00000245: PUSH1 0x20
00000247: ADD
00000248: SWAP2
00000249: POP
0000024a: POP
0000024b: PUSH1 0x40
0000024d: MLOAD
0000024e: DUP1
0000024f: SWAP2
00000250: SUB
00000251: SWAP1
00000252: RETURN
00000253: JUMPDEST
00000254: PUSH2 0x026a
00000257: PUSH1 0x04
00000259: DUP1
0000025a: CALLDATALOAD
0000025b: SWAP1
0000025c: PUSH1 0x20
0000025e: ADD
0000025f: DUP1
00000260: CALLDATALOAD
00000261: SWAP1
00000262: PUSH1 0x20
00000264: ADD
00000265: POP
00000266: PUSH2 0x02c2
00000269: JUMP
0000026a: JUMPDEST
0000026b: PUSH1 0x40
0000026d: MLOAD
0000026e: DUP1
0000026f: DUP3
00000270: DUP2
00000271: MSTORE
00000272: PUSH1 0x20
00000274: ADD
00000275: SWAP2
00000276: POP
00000277: POP
00000278: PUSH1 0x40
0000027a: MLOAD
0000027b: DUP1
0000027c: SWAP2
0000027d: SUB
0000027e: SWAP1
0000027f: RETURN
00000280: JUMPDEST
00000281: PUSH2 0x028b
00000284: PUSH1 0x04
00000286: POP
00000287: PUSH2 0x059e
0000028a: JUMP
0000028b: JUMPDEST
0000028c: PUSH1 0x40
0000028e: MLOAD
0000028f: DUP1
00000290: DUP3
00000291: DUP2
00000292: MSTORE
00000293: PUSH1 0x20
00000295: ADD
00000296: SWAP2
00000297: POP
00000298: POP
00000299: PUSH1 0x40
0000029b: MLOAD
0000029c: DUP1
0000029d: SWAP2
0000029e: SUB
0000029f: SWAP1
000002a0: RETURN
000002a1: JUMPDEST
000002a2: PUSH2 0x02ac
000002a5: PUSH1 0x04
000002a7: POP
000002a8: PUSH2 0x05b0
000002ab: JUMP
000002ac: JUMPDEST
000002ad: PUSH1 0x40
000002af: MLOAD
000002b0: DUP1
000002b1: DUP3
000002b2: DUP2
000002b3: MSTORE
000002b4: PUSH1 0x20
000002b6: ADD
000002b7: SWAP2
000002b8: POP
000002b9: POP
000002ba: PUSH1 0x40
000002bc: MLOAD
000002bd: DUP1
000002be: SWAP2
000002bf: SUB
000002c0: SWAP1
000002c1: RETURN
000002c2: JUMPDEST
000002c3: PUSH1 0x00
000002c5: PUSH1 0x00
000002c7: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000002e8: DUP4
000002e9: SLT
000002ea: ISZERO
000002eb: DUP1
000002ec: PUSH2 0x02f6
000002ef: JUMPI
000002f0: POP
000002f1: PUSH1 0x01
000002f3: DUP4
000002f4: SGT
000002f5: ISZERO
000002f6: JUMPDEST
000002f7: ISZERO
000002f8: PUSH2 0x0513
000002fb: JUMPI
000002fc: PUSH1 0x04
000002fe: PUSH1 0x00
00000300: POP
00000301: DUP5
00000302: DUP2
00000303: SLOAD
00000304: DUP2
00000305: LT
00000306: ISZERO
00000307: PUSH2 0x0002
0000030a: JUMPI
0000030b: SWAP1
0000030c: PUSH1 0x00
0000030e: MSTORE
0000030f: PUSH1 0x20
00000311: PUSH1 0x00
00000313: KECCAK256
00000314: SWAP1
00000315: PUSH1 0x08
00000317: MUL
00000318: ADD
00000319: PUSH1 0x00
0000031b: POP
0000031c: SWAP1
0000031d: POP
0000031e: PUSH1 0x01
00000320: DUP2
00000321: PUSH1 0x07
00000323: ADD
00000324: PUSH1 0x00
00000326: POP
00000327: PUSH1 0x00
00000329: CALLER
0000032a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000033f: AND
00000340: DUP2
00000341: MSTORE
00000342: PUSH1 0x20
00000344: ADD
00000345: SWAP1
00000346: DUP2
00000347: MSTORE
00000348: PUSH1 0x20
0000034a: ADD
0000034b: PUSH1 0x00
0000034d: KECCAK256
0000034e: PUSH1 0x00
00000350: SWAP1
00000351: SLOAD
00000352: SWAP1
00000353: PUSH2 0x0100
00000356: EXP
00000357: SWAP1
00000358: DIV
00000359: PUSH1 0xff
0000035b: AND
0000035c: EQ
0000035d: ISZERO
0000035e: PUSH2 0x0366
00000361: JUMPI
00000362: PUSH2 0x0514
00000365: JUMP
00000366: JUMPDEST
00000367: DUP1
00000368: PUSH1 0x06
0000036a: ADD
0000036b: PUSH1 0x00
0000036d: POP
0000036e: DUP1
0000036f: SLOAD
00000370: DUP1
00000371: SWAP2
00000372: SWAP1
00000373: PUSH1 0x01
00000375: ADD
00000376: SWAP1
00000377: SWAP1
00000378: DUP2
00000379: SLOAD
0000037a: DUP2
0000037b: DUP4
0000037c: SSTORE
0000037d: DUP2
0000037e: DUP2
0000037f: ISZERO
00000380: GT
00000381: PUSH2 0x03ed
00000384: JUMPI
00000385: PUSH1 0x02
00000387: MUL
00000388: DUP2
00000389: PUSH1 0x02
0000038b: MUL
0000038c: DUP4
0000038d: PUSH1 0x00
0000038f: MSTORE
00000390: PUSH1 0x20
00000392: PUSH1 0x00
00000394: KECCAK256
00000395: SWAP2
00000396: DUP3
00000397: ADD
00000398: SWAP2
00000399: ADD
0000039a: PUSH2 0x03ec
0000039d: SWAP2
0000039e: SWAP1
0000039f: PUSH2 0x03a3
000003a2: JUMP
000003a3: JUMPDEST
000003a4: DUP1
000003a5: DUP3
000003a6: GT
000003a7: ISZERO
000003a8: PUSH2 0x03e8
000003ab: JUMPI
000003ac: PUSH1 0x00
000003ae: PUSH1 0x00
000003b0: DUP3
000003b1: ADD
000003b2: PUSH1 0x00
000003b4: POP
000003b5: PUSH1 0x00
000003b7: SWAP1
000003b8: SSTORE
000003b9: PUSH1 0x01
000003bb: DUP3
000003bc: ADD
000003bd: PUSH1 0x00
000003bf: PUSH2 0x0100
000003c2: EXP
000003c3: DUP2
000003c4: SLOAD
000003c5: SWAP1
000003c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003db: MUL
000003dc: NOT
000003dd: AND
000003de: SWAP1
000003df: SSTORE
000003e0: POP
000003e1: PUSH1 0x01
000003e3: ADD
000003e4: PUSH2 0x03a3
000003e7: JUMP
000003e8: JUMPDEST
000003e9: POP
000003ea: SWAP1
000003eb: JUMP
000003ec: JUMPDEST
000003ed: JUMPDEST
000003ee: POP
000003ef: POP
000003f0: POP
000003f1: SWAP2
000003f2: POP
000003f3: DUP2
000003f4: POP
000003f5: PUSH1 0x40
000003f7: PUSH1 0x40
000003f9: MLOAD
000003fa: SWAP1
000003fb: DUP2
000003fc: ADD
000003fd: PUSH1 0x40
000003ff: MSTORE
00000400: DUP1
00000401: DUP5
00000402: DUP2
00000403: MSTORE
00000404: PUSH1 0x20
00000406: ADD
00000407: CALLER
00000408: DUP2
00000409: MSTORE
0000040a: PUSH1 0x20
0000040c: ADD
0000040d: POP
0000040e: DUP2
0000040f: PUSH1 0x06
00000411: ADD
00000412: PUSH1 0x00
00000414: POP
00000415: DUP4
00000416: DUP2
00000417: SLOAD
00000418: DUP2
00000419: LT
0000041a: ISZERO
0000041b: PUSH2 0x0002
0000041e: JUMPI
0000041f: SWAP1
00000420: PUSH1 0x00
00000422: MSTORE
00000423: PUSH1 0x20
00000425: PUSH1 0x00
00000427: KECCAK256
00000428: SWAP1
00000429: PUSH1 0x02
0000042b: MUL
0000042c: ADD
0000042d: PUSH1 0x00
0000042f: POP
00000430: PUSH1 0x00
00000432: DUP3
00000433: ADD
00000434: MLOAD
00000435: DUP2
00000436: PUSH1 0x00
00000438: ADD
00000439: PUSH1 0x00
0000043b: POP
0000043c: SSTORE
0000043d: PUSH1 0x20
0000043f: DUP3
00000440: ADD
00000441: MLOAD
00000442: DUP2
00000443: PUSH1 0x01
00000445: ADD
00000446: PUSH1 0x00
00000448: PUSH2 0x0100
0000044b: EXP
0000044c: DUP2
0000044d: SLOAD
0000044e: DUP2
0000044f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000464: MUL
00000465: NOT
00000466: AND
00000467: SWAP1
00000468: DUP4
00000469: MUL
0000046a: OR
0000046b: SWAP1
0000046c: SSTORE
0000046d: POP
0000046e: SWAP1
0000046f: POP
00000470: POP
00000471: PUSH1 0x01
00000473: DUP2
00000474: PUSH1 0x07
00000476: ADD
00000477: PUSH1 0x00
00000479: POP
0000047a: PUSH1 0x00
0000047c: CALLER
0000047d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000492: AND
00000493: DUP2
00000494: MSTORE
00000495: PUSH1 0x20
00000497: ADD
00000498: SWAP1
00000499: DUP2
0000049a: MSTORE
0000049b: PUSH1 0x20
0000049d: ADD
0000049e: PUSH1 0x00
000004a0: KECCAK256
000004a1: PUSH1 0x00
000004a3: PUSH2 0x0100
000004a6: EXP
000004a7: DUP2
000004a8: SLOAD
000004a9: DUP2
000004aa: PUSH1 0xff
000004ac: MUL
000004ad: NOT
000004ae: AND
000004af: SWAP1
000004b0: DUP4
000004b1: MUL
000004b2: OR
000004b3: SWAP1
000004b4: SSTORE
000004b5: POP
000004b6: PUSH32 0x0ee65d9041aa0fefb9e13f940fcdce8fb817356542f5024e16208214b26efc09
000004d7: DUP5
000004d8: DUP5
000004d9: CALLER
000004da: PUSH1 0x40
000004dc: MLOAD
000004dd: DUP1
000004de: DUP5
000004df: DUP2
000004e0: MSTORE
000004e1: PUSH1 0x20
000004e3: ADD
000004e4: DUP4
000004e5: DUP2
000004e6: MSTORE
000004e7: PUSH1 0x20
000004e9: ADD
000004ea: DUP3
000004eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000500: AND
00000501: DUP2
00000502: MSTORE
00000503: PUSH1 0x20
00000505: ADD
00000506: SWAP4
00000507: POP
00000508: POP
00000509: POP
0000050a: POP
0000050b: PUSH1 0x40
0000050d: MLOAD
0000050e: DUP1
0000050f: SWAP2
00000510: SUB
00000511: SWAP1
00000512: LOG1
00000513: JUMPDEST
00000514: JUMPDEST
00000515: POP
00000516: SWAP3
00000517: SWAP2
00000518: POP
00000519: POP
0000051a: JUMP
0000051b: JUMPDEST
0000051c: PUSH1 0x04
0000051e: PUSH1 0x00
00000520: POP
00000521: DUP2
00000522: DUP2
00000523: SLOAD
00000524: DUP2
00000525: LT
00000526: ISZERO
00000527: PUSH2 0x0002
0000052a: JUMPI
0000052b: SWAP1
0000052c: PUSH1 0x00
0000052e: MSTORE
0000052f: PUSH1 0x20
00000531: PUSH1 0x00
00000533: KECCAK256
00000534: SWAP1
00000535: PUSH1 0x08
00000537: MUL
00000538: ADD
00000539: PUSH1 0x00
0000053b: SWAP2
0000053c: POP
0000053d: SWAP1
0000053e: POP
0000053f: DUP1
00000540: PUSH1 0x00
00000542: ADD
00000543: PUSH1 0x00
00000545: SWAP1
00000546: SLOAD
00000547: SWAP1
00000548: PUSH2 0x0100
0000054b: EXP
0000054c: SWAP1
0000054d: DIV
0000054e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000563: AND
00000564: SWAP1
00000565: DUP1
00000566: PUSH1 0x01
00000568: ADD
00000569: PUSH1 0x00
0000056b: POP
0000056c: SLOAD
0000056d: SWAP1
0000056e: DUP1
0000056f: PUSH1 0x02
00000571: ADD
00000572: PUSH1 0x00
00000574: POP
00000575: SLOAD
00000576: SWAP1
00000577: DUP1
00000578: PUSH1 0x03
0000057a: ADD
0000057b: PUSH1 0x00
0000057d: POP
0000057e: SWAP1
0000057f: DUP1
00000580: PUSH1 0x04
00000582: ADD
00000583: PUSH1 0x00
00000585: POP
00000586: SLOAD
00000587: SWAP1
00000588: DUP1
00000589: PUSH1 0x05
0000058b: ADD
0000058c: PUSH1 0x00
0000058e: SWAP1
0000058f: SLOAD
00000590: SWAP1
00000591: PUSH2 0x0100
00000594: EXP
00000595: SWAP1
00000596: DIV
00000597: PUSH1 0xff
00000599: AND
0000059a: SWAP1
0000059b: POP
0000059c: DUP7
0000059d: JUMP
0000059e: JUMPDEST
0000059f: PUSH1 0x00
000005a1: PUSH1 0x00
000005a3: POP
000005a4: SLOAD
000005a5: DUP2
000005a6: JUMP
000005a7: JUMPDEST
000005a8: PUSH1 0x01
000005aa: PUSH1 0x00
000005ac: POP
000005ad: SLOAD
000005ae: DUP2
000005af: JUMP
000005b0: JUMPDEST
000005b1: PUSH1 0x02
000005b3: PUSH1 0x00
000005b5: POP
000005b6: SLOAD
000005b7: DUP2
000005b8: JUMP
000005b9: JUMPDEST
000005ba: PUSH1 0x03
000005bc: PUSH1 0x00
000005be: SWAP1
000005bf: SLOAD
000005c0: SWAP1
000005c1: PUSH2 0x0100
000005c4: EXP
000005c5: SWAP1
000005c6: DIV
000005c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005dc: AND
000005dd: DUP2
000005de: JUMP
000005df: JUMPDEST
000005e0: PUSH1 0x05
000005e2: PUSH1 0x00
000005e4: POP
000005e5: SLOAD
000005e6: DUP2
000005e7: JUMP
000005e8: JUMPDEST
000005e9: PUSH1 0x00
000005eb: PUSH1 0x00
000005ed: PUSH1 0x04
000005ef: PUSH1 0x00
000005f1: POP
000005f2: DUP1
000005f3: SLOAD
000005f4: DUP1
000005f5: SWAP2
000005f6: SWAP1
000005f7: PUSH1 0x01
000005f9: ADD
000005fa: SWAP1
000005fb: SWAP1
000005fc: DUP2
000005fd: SLOAD
000005fe: DUP2
000005ff: DUP4
00000600: SSTORE
00000601: DUP2
00000602: DUP2
00000603: ISZERO
00000604: GT
00000605: PUSH2 0x0756
00000608: JUMPI
00000609: PUSH1 0x08
0000060b: MUL
0000060c: DUP2
0000060d: PUSH1 0x08
0000060f: MUL
00000610: DUP4
00000611: PUSH1 0x00
00000613: MSTORE
00000614: PUSH1 0x20
00000616: PUSH1 0x00
00000618: KECCAK256
00000619: SWAP2
0000061a: DUP3
0000061b: ADD
0000061c: SWAP2
0000061d: ADD
0000061e: PUSH2 0x0755
00000621: SWAP2
00000622: SWAP1
00000623: PUSH2 0x0627
00000626: JUMP
00000627: JUMPDEST
00000628: DUP1
00000629: DUP3
0000062a: GT
0000062b: ISZERO
0000062c: PUSH2 0x0751
0000062f: JUMPI
00000630: PUSH1 0x00
00000632: PUSH1 0x00
00000634: DUP3
00000635: ADD
00000636: PUSH1 0x00
00000638: PUSH2 0x0100
0000063b: EXP
0000063c: DUP2
0000063d: SLOAD
0000063e: SWAP1
0000063f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000654: MUL
00000655: NOT
00000656: AND
00000657: SWAP1
00000658: SSTORE
00000659: PUSH1 0x01
0000065b: DUP3
0000065c: ADD
0000065d: PUSH1 0x00
0000065f: POP
00000660: PUSH1 0x00
00000662: SWAP1
00000663: SSTORE
00000664: PUSH1 0x02
00000666: DUP3
00000667: ADD
00000668: PUSH1 0x00
0000066a: POP
0000066b: PUSH1 0x00
0000066d: SWAP1
0000066e: SSTORE
0000066f: PUSH1 0x03
00000671: DUP3
00000672: ADD
00000673: PUSH1 0x00
00000675: POP
00000676: DUP1
00000677: SLOAD
00000678: PUSH1 0x00
0000067a: DUP3
0000067b: SSTORE
0000067c: PUSH1 0x1f
0000067e: ADD
0000067f: PUSH1 0x20
00000681: SWAP1
00000682: DIV
00000683: SWAP1
00000684: PUSH1 0x00
00000686: MSTORE
00000687: PUSH1 0x20
00000689: PUSH1 0x00
0000068b: KECCAK256
0000068c: SWAP1
0000068d: DUP2
0000068e: ADD
0000068f: SWAP1
00000690: PUSH2 0x06b7
00000693: SWAP2
00000694: SWAP1
00000695: PUSH2 0x0699
00000698: JUMP
00000699: JUMPDEST
0000069a: DUP1
0000069b: DUP3
0000069c: GT
0000069d: ISZERO
0000069e: PUSH2 0x06b3
000006a1: JUMPI
000006a2: PUSH1 0x00
000006a4: DUP2
000006a5: DUP2
000006a6: POP
000006a7: PUSH1 0x00
000006a9: SWAP1
000006aa: SSTORE
000006ab: POP
000006ac: PUSH1 0x01
000006ae: ADD
000006af: PUSH2 0x0699
000006b2: JUMP
000006b3: JUMPDEST
000006b4: POP
000006b5: SWAP1
000006b6: JUMP
000006b7: JUMPDEST
000006b8: POP
000006b9: PUSH1 0x04
000006bb: DUP3
000006bc: ADD
000006bd: PUSH1 0x00
000006bf: POP
000006c0: PUSH1 0x00
000006c2: SWAP1
000006c3: SSTORE
000006c4: PUSH1 0x05
000006c6: DUP3
000006c7: ADD
000006c8: PUSH1 0x00
000006ca: PUSH2 0x0100
000006cd: EXP
000006ce: DUP2
000006cf: SLOAD
000006d0: SWAP1
000006d1: PUSH1 0xff
000006d3: MUL
000006d4: NOT
000006d5: AND
000006d6: SWAP1
000006d7: SSTORE
000006d8: PUSH1 0x06
000006da: DUP3
000006db: ADD
000006dc: PUSH1 0x00
000006de: POP
000006df: DUP1
000006e0: SLOAD
000006e1: PUSH1 0x00
000006e3: DUP3
000006e4: SSTORE
000006e5: PUSH1 0x02
000006e7: MUL
000006e8: SWAP1
000006e9: PUSH1 0x00
000006eb: MSTORE
000006ec: PUSH1 0x20
000006ee: PUSH1 0x00
000006f0: KECCAK256
000006f1: SWAP1
000006f2: DUP2
000006f3: ADD
000006f4: SWAP1
000006f5: PUSH2 0x0747
000006f8: SWAP2
000006f9: SWAP1
000006fa: PUSH2 0x06fe
000006fd: JUMP
000006fe: JUMPDEST
000006ff: DUP1
00000700: DUP3
00000701: GT
00000702: ISZERO
00000703: PUSH2 0x0743
00000706: JUMPI
00000707: PUSH1 0x00
00000709: PUSH1 0x00
0000070b: DUP3
0000070c: ADD
0000070d: PUSH1 0x00
0000070f: POP
00000710: PUSH1 0x00
00000712: SWAP1
00000713: SSTORE
00000714: PUSH1 0x01
00000716: DUP3
00000717: ADD
00000718: PUSH1 0x00
0000071a: PUSH2 0x0100
0000071d: EXP
0000071e: DUP2
0000071f: SLOAD
00000720: SWAP1
00000721: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000736: MUL
00000737: NOT
00000738: AND
00000739: SWAP1
0000073a: SSTORE
0000073b: POP
0000073c: PUSH1 0x01
0000073e: ADD
0000073f: PUSH2 0x06fe
00000742: JUMP
00000743: JUMPDEST
00000744: POP
00000745: SWAP1
00000746: JUMP
00000747: JUMPDEST
00000748: POP
00000749: POP
0000074a: PUSH1 0x01
0000074c: ADD
0000074d: PUSH2 0x0627
00000750: JUMP
00000751: JUMPDEST
00000752: POP
00000753: SWAP1
00000754: JUMP
00000755: JUMPDEST
00000756: JUMPDEST
00000757: POP
00000758: POP
00000759: POP
0000075a: SWAP2
0000075b: POP
0000075c: DUP2
0000075d: POP
0000075e: PUSH1 0x04
00000760: PUSH1 0x00
00000762: POP
00000763: DUP3
00000764: DUP2
00000765: SLOAD
00000766: DUP2
00000767: LT
00000768: ISZERO
00000769: PUSH2 0x0002
0000076c: JUMPI
0000076d: SWAP1
0000076e: PUSH1 0x00
00000770: MSTORE
00000771: PUSH1 0x20
00000773: PUSH1 0x00
00000775: KECCAK256
00000776: SWAP1
00000777: PUSH1 0x08
00000779: MUL
0000077a: ADD
0000077b: PUSH1 0x00
0000077d: POP
0000077e: SWAP1
0000077f: POP
00000780: DUP6
00000781: DUP2
00000782: PUSH1 0x00
00000784: ADD
00000785: PUSH1 0x00
00000787: PUSH2 0x0100
0000078a: EXP
0000078b: DUP2
0000078c: SLOAD
0000078d: DUP2
0000078e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007a3: MUL
000007a4: NOT
000007a5: AND
000007a6: SWAP1
000007a7: DUP4
000007a8: MUL
000007a9: OR
000007aa: SWAP1
000007ab: SSTORE
000007ac: POP
000007ad: DUP5
000007ae: DUP2
000007af: PUSH1 0x01
000007b1: ADD
000007b2: PUSH1 0x00
000007b4: POP
000007b5: DUP2
000007b6: SWAP1
000007b7: SSTORE
000007b8: POP
000007b9: DUP4
000007ba: DUP2
000007bb: PUSH1 0x02
000007bd: ADD
000007be: PUSH1 0x00
000007c0: POP
000007c1: DUP2
000007c2: SWAP1
000007c3: SSTORE
000007c4: POP
000007c5: DUP3
000007c6: DUP2
000007c7: PUSH1 0x03
000007c9: ADD
000007ca: PUSH1 0x00
000007cc: POP
000007cd: SWAP1
000007ce: DUP1
000007cf: MLOAD
000007d0: SWAP1
000007d1: PUSH1 0x20
000007d3: ADD
000007d4: SWAP1
000007d5: DUP3
000007d6: DUP1
000007d7: SLOAD
000007d8: DUP3
000007d9: DUP3
000007da: SSTORE
000007db: SWAP1
000007dc: PUSH1 0x00
000007de: MSTORE
000007df: PUSH1 0x20
000007e1: PUSH1 0x00
000007e3: KECCAK256
000007e4: SWAP1
000007e5: PUSH1 0x1f
000007e7: ADD
000007e8: PUSH1 0x20
000007ea: SWAP1
000007eb: DIV
000007ec: DUP2
000007ed: ADD
000007ee: SWAP3
000007ef: DUP3
000007f0: ISZERO
000007f1: PUSH2 0x0817
000007f4: JUMPI
000007f5: SWAP2
000007f6: DUP3
000007f7: ADD
000007f8: JUMPDEST
000007f9: DUP3
000007fa: DUP2
000007fb: GT
000007fc: ISZERO
000007fd: PUSH2 0x0816
00000800: JUMPI
00000801: DUP3
00000802: MLOAD
00000803: DUP3
00000804: PUSH1 0x00
00000806: POP
00000807: SSTORE
00000808: SWAP2
00000809: PUSH1 0x20
0000080b: ADD
0000080c: SWAP2
0000080d: SWAP1
0000080e: PUSH1 0x01
00000810: ADD
00000811: SWAP1
00000812: PUSH2 0x07f8
00000815: JUMP
00000816: JUMPDEST
00000817: JUMPDEST
00000818: POP
00000819: SWAP1
0000081a: POP
0000081b: PUSH2 0x0842
0000081e: SWAP2
0000081f: SWAP1
00000820: PUSH2 0x0824
00000823: JUMP
00000824: JUMPDEST
00000825: DUP1
00000826: DUP3
00000827: GT
00000828: ISZERO
00000829: PUSH2 0x083e
0000082c: JUMPI
0000082d: PUSH1 0x00
0000082f: DUP2
00000830: DUP2
00000831: POP
00000832: PUSH1 0x00
00000834: SWAP1
00000835: SSTORE
00000836: POP
00000837: PUSH1 0x01
00000839: ADD
0000083a: PUSH2 0x0824
0000083d: JUMP
0000083e: JUMPDEST
0000083f: POP
00000840: SWAP1
00000841: JUMP
00000842: JUMPDEST
00000843: POP
00000844: POP
00000845: TIMESTAMP
00000846: DUP2
00000847: PUSH1 0x04
00000849: ADD
0000084a: PUSH1 0x00
0000084c: POP
0000084d: DUP2
0000084e: SWAP1
0000084f: SSTORE
00000850: POP
00000851: PUSH1 0x01
00000853: DUP2
00000854: PUSH1 0x05
00000856: ADD
00000857: PUSH1 0x00
00000859: PUSH2 0x0100
0000085c: EXP
0000085d: DUP2
0000085e: SLOAD
0000085f: DUP2
00000860: PUSH1 0xff
00000862: MUL
00000863: NOT
00000864: AND
00000865: SWAP1
00000866: DUP4
00000867: MUL
00000868: OR
00000869: SWAP1
0000086a: SSTORE
0000086b: POP
0000086c: PUSH32 0x095779230509156998187c606e5b8a5a734137945aa43da9bf39c5e7f529a86b
0000088d: DUP3
0000088e: DUP8
0000088f: DUP8
00000890: DUP8
00000891: DUP8
00000892: PUSH1 0x40
00000894: MLOAD
00000895: DUP1
00000896: DUP7
00000897: DUP2
00000898: MSTORE
00000899: PUSH1 0x20
0000089b: ADD
0000089c: DUP6
0000089d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008b2: AND
000008b3: DUP2
000008b4: MSTORE
000008b5: PUSH1 0x20
000008b7: ADD
000008b8: DUP5
000008b9: DUP2
000008ba: MSTORE
000008bb: PUSH1 0x20
000008bd: ADD
000008be: DUP4
000008bf: DUP2
000008c0: MSTORE
000008c1: PUSH1 0x20
000008c3: ADD
000008c4: DUP1
000008c5: PUSH1 0x20
000008c7: ADD
000008c8: DUP3
000008c9: DUP2
000008ca: SUB
000008cb: DUP3
000008cc: MSTORE
000008cd: DUP4
000008ce: DUP2
000008cf: DUP2
000008d0: MLOAD
000008d1: DUP2
000008d2: MSTORE
000008d3: PUSH1 0x20
000008d5: ADD
000008d6: SWAP2
000008d7: POP
000008d8: DUP1
000008d9: MLOAD
000008da: SWAP1
000008db: PUSH1 0x20
000008dd: ADD
000008de: SWAP1
000008df: DUP1
000008e0: DUP4
000008e1: DUP4
000008e2: DUP3
000008e3: SWAP1
000008e4: PUSH1 0x00
000008e6: PUSH1 0x04
000008e8: PUSH1 0x20
000008ea: DUP5
000008eb: PUSH1 0x1f
000008ed: ADD
000008ee: DIV
000008ef: PUSH1 0x03
000008f1: MUL
000008f2: PUSH1 0x0f
000008f4: ADD
000008f5: CALL
000008f6: POP
000008f7: SWAP1
000008f8: POP
000008f9: SWAP1
000008fa: DUP2
000008fb: ADD
000008fc: SWAP1
000008fd: PUSH1 0x1f
000008ff: AND
00000900: DUP1
00000901: ISZERO
00000902: PUSH2 0x091f
00000905: JUMPI
00000906: DUP1
00000907: DUP3
00000908: SUB
00000909: DUP1
0000090a: MLOAD
0000090b: PUSH1 0x01
0000090d: DUP4
0000090e: PUSH1 0x20
00000910: SUB
00000911: PUSH2 0x0100
00000914: EXP
00000915: SUB
00000916: NOT
00000917: AND
00000918: DUP2
00000919: MSTORE
0000091a: PUSH1 0x20
0000091c: ADD
0000091d: SWAP2
0000091e: POP
0000091f: JUMPDEST
00000920: POP
00000921: SWAP7
00000922: POP
00000923: POP
00000924: POP
00000925: POP
00000926: POP
00000927: POP
00000928: POP
00000929: PUSH1 0x40
0000092b: MLOAD
0000092c: DUP1
0000092d: SWAP2
0000092e: SUB
0000092f: SWAP1
00000930: LOG1
00000931: PUSH1 0x01
00000933: DUP3
00000934: ADD
00000935: PUSH1 0x05
00000937: PUSH1 0x00
00000939: POP
0000093a: DUP2
0000093b: SWAP1
0000093c: SSTORE
0000093d: POP
0000093e: JUMPDEST
0000093f: POP
00000940: SWAP5
00000941: SWAP4
00000942: POP
00000943: POP
00000944: POP
00000945: POP
00000946: JUMP
00000947: JUMPDEST
00000948: PUSH1 0x00
0000094a: PUSH1 0x00
0000094c: PUSH1 0x00
0000094e: PUSH1 0x00
00000950: PUSH1 0x00
00000952: PUSH1 0x00
00000954: PUSH1 0x04
00000956: PUSH1 0x00
00000958: POP
00000959: DUP8
0000095a: DUP2
0000095b: SLOAD
0000095c: DUP2
0000095d: LT
0000095e: ISZERO
0000095f: PUSH2 0x0002
00000962: JUMPI
00000963: SWAP1
00000964: PUSH1 0x00
00000966: MSTORE
00000967: PUSH1 0x20
00000969: PUSH1 0x00
0000096b: KECCAK256
0000096c: SWAP1
0000096d: PUSH1 0x08
0000096f: MUL
00000970: ADD
00000971: PUSH1 0x00
00000973: POP
00000974: SWAP5
00000975: POP
00000976: PUSH1 0x01
00000978: PUSH1 0x00
0000097a: POP
0000097b: SLOAD
0000097c: DUP6
0000097d: PUSH1 0x04
0000097f: ADD
00000980: PUSH1 0x00
00000982: POP
00000983: SLOAD
00000984: ADD
00000985: TIMESTAMP
00000986: GT
00000987: DUP1
00000988: ISZERO
00000989: PUSH2 0x09a0
0000098c: JUMPI
0000098d: POP
0000098e: DUP5
0000098f: PUSH1 0x05
00000991: ADD
00000992: PUSH1 0x00
00000994: SWAP1
00000995: SLOAD
00000996: SWAP1
00000997: PUSH2 0x0100
0000099a: EXP
0000099b: SWAP1
0000099c: DIV
0000099d: PUSH1 0xff
0000099f: AND
000009a0: JUMPDEST
000009a1: ISZERO
000009a2: PUSH2 0x0b4c
000009a5: JUMPI
000009a6: PUSH1 0x00
000009a8: SWAP4
000009a9: POP
000009aa: PUSH1 0x00
000009ac: SWAP3
000009ad: POP
000009ae: JUMPDEST
000009af: DUP5
000009b0: PUSH1 0x06
000009b2: ADD
000009b3: PUSH1 0x00
000009b5: POP
000009b6: SLOAD
000009b7: DUP4
000009b8: LT
000009b9: ISZERO
000009ba: PUSH2 0x0a0e
000009bd: JUMPI
000009be: DUP5
000009bf: PUSH1 0x06
000009c1: ADD
000009c2: PUSH1 0x00
000009c4: POP
000009c5: DUP4
000009c6: DUP2
000009c7: SLOAD
000009c8: DUP2
000009c9: LT
000009ca: ISZERO
000009cb: PUSH2 0x0002
000009ce: JUMPI
000009cf: SWAP1
000009d0: PUSH1 0x00
000009d2: MSTORE
000009d3: PUSH1 0x20
000009d5: PUSH1 0x00
000009d7: KECCAK256
000009d8: SWAP1
000009d9: PUSH1 0x02
000009db: MUL
000009dc: ADD
000009dd: PUSH1 0x00
000009df: POP
000009e0: SWAP2
000009e1: POP
000009e2: PUSH1 0x02
000009e4: PUSH1 0x00
000009e6: POP
000009e7: SLOAD
000009e8: SWAP1
000009e9: POP
000009ea: DUP1
000009eb: DUP5
000009ec: ADD
000009ed: SWAP4
000009ee: POP
000009ef: DUP4
000009f0: POP
000009f1: DUP2
000009f2: PUSH1 0x00
000009f4: ADD
000009f5: PUSH1 0x00
000009f7: POP
000009f8: SLOAD
000009f9: DUP2
000009fa: MUL
000009fb: DUP7
000009fc: ADD
000009fd: SWAP6
000009fe: POP
000009ff: DUP6
00000a00: POP
00000a01: JUMPDEST
00000a02: DUP3
00000a03: PUSH1 0x01
00000a05: ADD
00000a06: SWAP3
00000a07: POP
00000a08: DUP3
00000a09: POP
00000a0a: PUSH2 0x09ae
00000a0d: JUMP
00000a0e: JUMPDEST
00000a0f: PUSH1 0x00
00000a11: PUSH1 0x00
00000a13: POP
00000a14: SLOAD
00000a15: DUP5
00000a16: GT
00000a17: DUP1
00000a18: ISZERO
00000a19: PUSH2 0x0a22
00000a1c: JUMPI
00000a1d: POP
00000a1e: PUSH1 0x00
00000a20: DUP7
00000a21: SGT
00000a22: JUMPDEST
00000a23: ISZERO
00000a24: PUSH2 0x0ab5
00000a27: JUMPI
00000a28: DUP5
00000a29: PUSH1 0x00
00000a2b: ADD
00000a2c: PUSH1 0x00
00000a2e: SWAP1
00000a2f: SLOAD
00000a30: SWAP1
00000a31: PUSH2 0x0100
00000a34: EXP
00000a35: SWAP1
00000a36: DIV
00000a37: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a4c: AND
00000a4d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a62: AND
00000a63: DUP6
00000a64: PUSH1 0x01
00000a66: ADD
00000a67: PUSH1 0x00
00000a69: POP
00000a6a: SLOAD
00000a6b: DUP7
00000a6c: PUSH1 0x02
00000a6e: ADD
00000a6f: PUSH1 0x00
00000a71: POP
00000a72: SLOAD
00000a73: PUSH1 0x40
00000a75: MLOAD
00000a76: DUP1
00000a77: DUP3
00000a78: DUP2
00000a79: MSTORE
00000a7a: PUSH1 0x20
00000a7c: ADD
00000a7d: SWAP2
00000a7e: POP
00000a7f: POP
00000a80: PUSH1 0x00
00000a82: PUSH1 0x40
00000a84: MLOAD
00000a85: DUP1
00000a86: DUP4
00000a87: SUB
00000a88: DUP2
00000a89: DUP6
00000a8a: DUP8
00000a8b: PUSH2 0x8502
00000a8e: GAS
00000a8f: SUB
00000a90: CALL
00000a91: SWAP3
00000a92: POP
00000a93: POP
00000a94: POP
00000a95: POP
00000a96: PUSH1 0x00
00000a98: DUP6
00000a99: PUSH1 0x05
00000a9b: ADD
00000a9c: PUSH1 0x00
00000a9e: PUSH2 0x0100
00000aa1: EXP
00000aa2: DUP2
00000aa3: SLOAD
00000aa4: DUP2
00000aa5: PUSH1 0xff
00000aa7: MUL
00000aa8: NOT
00000aa9: AND
00000aaa: SWAP1
00000aab: DUP4
00000aac: MUL
00000aad: OR
00000aae: SWAP1
00000aaf: SSTORE
00000ab0: POP
00000ab1: PUSH2 0x0aeb
00000ab4: JUMP
00000ab5: JUMPDEST
00000ab6: PUSH1 0x00
00000ab8: PUSH1 0x00
00000aba: POP
00000abb: SLOAD
00000abc: DUP5
00000abd: GT
00000abe: DUP1
00000abf: ISZERO
00000ac0: PUSH2 0x0ac9
00000ac3: JUMPI
00000ac4: POP
00000ac5: PUSH1 0x00
00000ac7: DUP7
00000ac8: SLT
00000ac9: JUMPDEST
00000aca: ISZERO
00000acb: PUSH2 0x0aea
00000ace: JUMPI
00000acf: PUSH1 0x00
00000ad1: DUP6
00000ad2: PUSH1 0x05
00000ad4: ADD
00000ad5: PUSH1 0x00
00000ad7: PUSH2 0x0100
00000ada: EXP
00000adb: DUP2
00000adc: SLOAD
00000add: DUP2
00000ade: PUSH1 0xff
00000ae0: MUL
00000ae1: NOT
00000ae2: AND
00000ae3: SWAP1
00000ae4: DUP4
00000ae5: MUL
00000ae6: OR
00000ae7: SWAP1
00000ae8: SSTORE
00000ae9: POP
00000aea: JUMPDEST
00000aeb: JUMPDEST
00000aec: PUSH32 0xd220b7272a8b6d0d7d6bcdace67b936a8f175e6d5c1b3ee438b72256b32ab3af
00000b0d: DUP8
00000b0e: DUP8
00000b0f: DUP7
00000b10: DUP9
00000b11: PUSH1 0x05
00000b13: ADD
00000b14: PUSH1 0x00
00000b16: SWAP1
00000b17: SLOAD
00000b18: SWAP1
00000b19: PUSH2 0x0100
00000b1c: EXP
00000b1d: SWAP1
00000b1e: DIV
00000b1f: PUSH1 0xff
00000b21: AND
00000b22: PUSH1 0x40
00000b24: MLOAD
00000b25: DUP1
00000b26: DUP6
00000b27: DUP2
00000b28: MSTORE
00000b29: PUSH1 0x20
00000b2b: ADD
00000b2c: DUP5
00000b2d: DUP2
00000b2e: MSTORE
00000b2f: PUSH1 0x20
00000b31: ADD
00000b32: DUP4
00000b33: DUP2
00000b34: MSTORE
00000b35: PUSH1 0x20
00000b37: ADD
00000b38: DUP3
00000b39: DUP2
00000b3a: MSTORE
00000b3b: PUSH1 0x20
00000b3d: ADD
00000b3e: SWAP5
00000b3f: POP
00000b40: POP
00000b41: POP
00000b42: POP
00000b43: POP
00000b44: PUSH1 0x40
00000b46: MLOAD
00000b47: DUP1
00000b48: SWAP2
00000b49: SUB
00000b4a: SWAP1
00000b4b: LOG1
00000b4c: JUMPDEST
00000b4d: JUMPDEST
00000b4e: POP
00000b4f: POP
00000b50: POP
00000b51: POP
00000b52: POP
00000b53: SWAP2
00000b54: SWAP1
00000b55: POP
00000b56: 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 ETH value transfer possible 55 no no
view
trace_id: 0x8c2fe45487956c1e828bbb61e0d4ef30cef7d95860f0e15bb7f69d46ee673b19
call_targets: 0xce42e990781b6c0b24a334f51eef725eb5684b9a
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x8c2fe45487956c1e828bbb61e0d4ef30cef7d95860f0e15bb7f69d46ee673b19",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xce42e990781b6c0b24a334f51eef725eb5684b9a"
    ],
    "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": "0x013cf08b",
            "selector": "0x013cf08b",
            "calldata_variants": [
                "0x013cf08b",
                "0x013cf08b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0d61b519",
            "selector": "0x0d61b519",
            "calldata_variants": [
                "0x0d61b519",
                "0x0d61b5190000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x173a4b70",
            "selector": "0x173a4b70",
            "calldata_variants": [
                "0x173a4b70",
                "0x173a4b700000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x39ce3983",
            "selector": "0x39ce3983",
            "calldata_variants": [
                "0x39ce3983",
                "0x39ce39830000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x400e3949",
            "selector": "0x400e3949",
            "calldata_variants": [
                "0x400e3949",
                "0x400e39490000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4d853ee5",
            "selector": "0x4d853ee5",
            "calldata_variants": [
                "0x4d853ee5",
                "0x4d853ee50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x5e44daf3",
            "selector": "0x5e44daf3",
            "calldata_variants": [
                "0x5e44daf3",
                "0x5e44daf30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8160f0b5",
            "selector": "0x8160f0b5",
            "calldata_variants": [
                "0x8160f0b5",
                "0x8160f0b50000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 2293,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2704,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 2,
    "guards_detected": []
}
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0x8c2fe45487956c1e828bbb61e0d4ef30cef7d95860f0e15bb7f69d46ee673b19
call_targets: 0xce42e990781b6c0b24a334f51eef725eb5684b9a
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x8c2fe45487956c1e828bbb61e0d4ef30cef7d95860f0e15bb7f69d46ee673b19",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xce42e990781b6c0b24a334f51eef725eb5684b9a"
    ],
    "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": "0x013cf08b",
            "selector": "0x013cf08b",
            "calldata_variants": [
                "0x013cf08b",
                "0x013cf08b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0d61b519",
            "selector": "0x0d61b519",
            "calldata_variants": [
                "0x0d61b519",
                "0x0d61b5190000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x173a4b70",
            "selector": "0x173a4b70",
            "calldata_variants": [
                "0x173a4b70",
                "0x173a4b700000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x39ce3983",
            "selector": "0x39ce3983",
            "calldata_variants": [
                "0x39ce3983",
                "0x39ce39830000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x400e3949",
            "selector": "0x400e3949",
            "calldata_variants": [
                "0x400e3949",
                "0x400e39490000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4d853ee5",
            "selector": "0x4d853ee5",
            "calldata_variants": [
                "0x4d853ee5",
                "0x4d853ee50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x5e44daf3",
            "selector": "0x5e44daf3",
            "calldata_variants": [
                "0x5e44daf3",
                "0x5e44daf30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8160f0b5",
            "selector": "0x8160f0b5",
            "calldata_variants": [
                "0x8160f0b5",
                "0x8160f0b50000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 2293,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2704,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 2,
    "guards_detected": [],
    "untrusted_call_count": 2
}