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

Analysis Run

019b3831-b4d5-734c-82d1-3a07c9753473

complete
Chain ID
1
Address
0xbaa43006db572fbe2d49439ee32f72723b3d0e88
Block Number
—
Created
Fri, Dec 19, 2025 7:59 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
49 artifact.fetch complete 1 / 3 3 months ago
50 tool.cast_disasm complete 1 / 3 3 months ago
43035 analysis.bundle complete 1 / 3 2 weeks ago
43036 capability.graph complete 1 / 3 2 weeks ago
43037 detector.run complete 1 / 3 2 weeks ago
43038 validation.fork complete 1 / 3 2 weeks 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)
3
EXT*/BALANCE
2
Total opcodes
1698
Flags
No heuristic flags raised.
View cast disassembly output 
00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x00d7
0000000a: JUMPI
0000000b: PUSH1 0x00
0000000d: CALLDATALOAD
0000000e: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000002c: SWAP1
0000002d: DIV
0000002e: DUP1
0000002f: PUSH4 0x12065fe0
00000034: EQ
00000035: PUSH2 0x00d9
00000038: JUMPI
00000039: DUP1
0000003a: PUSH4 0x3ccfd60b
0000003f: EQ
00000040: PUSH2 0x00fa
00000043: JUMPI
00000044: DUP1
00000045: PUSH4 0x481c6a75
0000004a: EQ
0000004b: PUSH2 0x0107
0000004e: JUMPI
0000004f: DUP1
00000050: PUSH4 0x4afdd0e7
00000055: EQ
00000056: PUSH2 0x013e
00000059: JUMPI
0000005a: DUP1
0000005b: PUSH4 0x4e4f8289
00000060: EQ
00000061: PUSH2 0x015f
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0x5294010f
0000006b: EQ
0000006c: PUSH2 0x0180
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0x54fac919
00000076: EQ
00000077: PUSH2 0x01a1
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0x679dffb4
00000081: EQ
00000082: PUSH2 0x01ae
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0x8351a0d4
0000008c: EQ
0000008d: PUSH2 0x01cf
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0x8b3aa967
00000097: EQ
00000098: PUSH2 0x01f0
0000009b: JUMPI
0000009c: DUP1
0000009d: PUSH4 0x959499b6
000000a2: EQ
000000a3: PUSH2 0x0211
000000a6: JUMPI
000000a7: DUP1
000000a8: PUSH4 0x978bbdb9
000000ad: EQ
000000ae: PUSH2 0x021e
000000b1: JUMPI
000000b2: DUP1
000000b3: PUSH4 0xbbd4e8c9
000000b8: EQ
000000b9: PUSH2 0x023f
000000bc: JUMPI
000000bd: DUP1
000000be: PUSH4 0xd0e30db0
000000c3: EQ
000000c4: PUSH2 0x0260
000000c7: JUMPI
000000c8: DUP1
000000c9: PUSH4 0xd9607482
000000ce: EQ
000000cf: PUSH2 0x026d
000000d2: JUMPI
000000d3: PUSH2 0x00d7
000000d6: JUMP
000000d7: JUMPDEST
000000d8: STOP
000000d9: JUMPDEST
000000da: PUSH2 0x00e4
000000dd: PUSH1 0x04
000000df: POP
000000e0: PUSH2 0x028e
000000e3: JUMP
000000e4: JUMPDEST
000000e5: PUSH1 0x40
000000e7: MLOAD
000000e8: DUP1
000000e9: DUP3
000000ea: DUP2
000000eb: MSTORE
000000ec: PUSH1 0x20
000000ee: ADD
000000ef: SWAP2
000000f0: POP
000000f1: POP
000000f2: PUSH1 0x40
000000f4: MLOAD
000000f5: DUP1
000000f6: SWAP2
000000f7: SUB
000000f8: SWAP1
000000f9: RETURN
000000fa: JUMPDEST
000000fb: PUSH2 0x0105
000000fe: PUSH1 0x04
00000100: POP
00000101: PUSH2 0x0366
00000104: JUMP
00000105: JUMPDEST
00000106: STOP
00000107: JUMPDEST
00000108: PUSH2 0x0112
0000010b: PUSH1 0x04
0000010d: POP
0000010e: PUSH2 0x0593
00000111: JUMP
00000112: JUMPDEST
00000113: PUSH1 0x40
00000115: MLOAD
00000116: DUP1
00000117: DUP3
00000118: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000012d: AND
0000012e: DUP2
0000012f: MSTORE
00000130: PUSH1 0x20
00000132: ADD
00000133: SWAP2
00000134: POP
00000135: POP
00000136: PUSH1 0x40
00000138: MLOAD
00000139: DUP1
0000013a: SWAP2
0000013b: SUB
0000013c: SWAP1
0000013d: RETURN
0000013e: JUMPDEST
0000013f: PUSH2 0x0149
00000142: PUSH1 0x04
00000144: POP
00000145: PUSH2 0x02ca
00000148: JUMP
00000149: JUMPDEST
0000014a: PUSH1 0x40
0000014c: MLOAD
0000014d: DUP1
0000014e: DUP3
0000014f: DUP2
00000150: MSTORE
00000151: PUSH1 0x20
00000153: ADD
00000154: SWAP2
00000155: POP
00000156: POP
00000157: PUSH1 0x40
00000159: MLOAD
0000015a: DUP1
0000015b: SWAP2
0000015c: SUB
0000015d: SWAP1
0000015e: RETURN
0000015f: JUMPDEST
00000160: PUSH2 0x016a
00000163: PUSH1 0x04
00000165: POP
00000166: PUSH2 0x02dc
00000169: JUMP
0000016a: JUMPDEST
0000016b: PUSH1 0x40
0000016d: MLOAD
0000016e: DUP1
0000016f: DUP3
00000170: DUP2
00000171: MSTORE
00000172: PUSH1 0x20
00000174: ADD
00000175: SWAP2
00000176: POP
00000177: POP
00000178: PUSH1 0x40
0000017a: MLOAD
0000017b: DUP1
0000017c: SWAP2
0000017d: SUB
0000017e: SWAP1
0000017f: RETURN
00000180: JUMPDEST
00000181: PUSH2 0x018b
00000184: PUSH1 0x04
00000186: POP
00000187: PUSH2 0x058a
0000018a: JUMP
0000018b: JUMPDEST
0000018c: PUSH1 0x40
0000018e: MLOAD
0000018f: DUP1
00000190: DUP3
00000191: DUP2
00000192: MSTORE
00000193: PUSH1 0x20
00000195: ADD
00000196: SWAP2
00000197: POP
00000198: POP
00000199: PUSH1 0x40
0000019b: MLOAD
0000019c: DUP1
0000019d: SWAP2
0000019e: SUB
0000019f: SWAP1
000001a0: RETURN
000001a1: JUMPDEST
000001a2: PUSH2 0x01ac
000001a5: PUSH1 0x04
000001a7: POP
000001a8: PUSH2 0x09f5
000001ab: JUMP
000001ac: JUMPDEST
000001ad: STOP
000001ae: JUMPDEST
000001af: PUSH2 0x01b9
000001b2: PUSH1 0x04
000001b4: POP
000001b5: PUSH2 0x02ee
000001b8: JUMP
000001b9: JUMPDEST
000001ba: PUSH1 0x40
000001bc: MLOAD
000001bd: DUP1
000001be: DUP3
000001bf: DUP2
000001c0: MSTORE
000001c1: PUSH1 0x20
000001c3: ADD
000001c4: SWAP2
000001c5: POP
000001c6: POP
000001c7: PUSH1 0x40
000001c9: MLOAD
000001ca: DUP1
000001cb: SWAP2
000001cc: SUB
000001cd: SWAP1
000001ce: RETURN
000001cf: JUMPDEST
000001d0: PUSH2 0x01da
000001d3: PUSH1 0x04
000001d5: POP
000001d6: PUSH2 0x032a
000001d9: JUMP
000001da: JUMPDEST
000001db: PUSH1 0x40
000001dd: MLOAD
000001de: DUP1
000001df: DUP3
000001e0: DUP2
000001e1: MSTORE
000001e2: PUSH1 0x20
000001e4: ADD
000001e5: SWAP2
000001e6: POP
000001e7: POP
000001e8: PUSH1 0x40
000001ea: MLOAD
000001eb: DUP1
000001ec: SWAP2
000001ed: SUB
000001ee: SWAP1
000001ef: RETURN
000001f0: JUMPDEST
000001f1: PUSH2 0x01fb
000001f4: PUSH1 0x04
000001f6: POP
000001f7: PUSH2 0x0c31
000001fa: JUMP
000001fb: JUMPDEST
000001fc: PUSH1 0x40
000001fe: MLOAD
000001ff: DUP1
00000200: DUP3
00000201: DUP2
00000202: MSTORE
00000203: PUSH1 0x20
00000205: ADD
00000206: SWAP2
00000207: POP
00000208: POP
00000209: PUSH1 0x40
0000020b: MLOAD
0000020c: DUP1
0000020d: SWAP2
0000020e: SUB
0000020f: SWAP1
00000210: RETURN
00000211: JUMPDEST
00000212: PUSH2 0x021c
00000215: PUSH1 0x04
00000217: POP
00000218: PUSH2 0x071d
0000021b: JUMP
0000021c: JUMPDEST
0000021d: STOP
0000021e: JUMPDEST
0000021f: PUSH2 0x0229
00000222: PUSH1 0x04
00000224: POP
00000225: PUSH2 0x02d3
00000228: JUMP
00000229: JUMPDEST
0000022a: PUSH1 0x40
0000022c: MLOAD
0000022d: DUP1
0000022e: DUP3
0000022f: DUP2
00000230: MSTORE
00000231: PUSH1 0x20
00000233: ADD
00000234: SWAP2
00000235: POP
00000236: POP
00000237: PUSH1 0x40
00000239: MLOAD
0000023a: DUP1
0000023b: SWAP2
0000023c: SUB
0000023d: SWAP1
0000023e: RETURN
0000023f: JUMPDEST
00000240: PUSH2 0x024a
00000243: PUSH1 0x04
00000245: POP
00000246: PUSH2 0x0581
00000249: JUMP
0000024a: JUMPDEST
0000024b: PUSH1 0x40
0000024d: MLOAD
0000024e: DUP1
0000024f: DUP3
00000250: DUP2
00000251: MSTORE
00000252: PUSH1 0x20
00000254: ADD
00000255: SWAP2
00000256: POP
00000257: POP
00000258: PUSH1 0x40
0000025a: MLOAD
0000025b: DUP1
0000025c: SWAP2
0000025d: SUB
0000025e: SWAP1
0000025f: RETURN
00000260: JUMPDEST
00000261: PUSH2 0x026b
00000264: PUSH1 0x04
00000266: POP
00000267: PUSH2 0x05b9
0000026a: JUMP
0000026b: JUMPDEST
0000026c: STOP
0000026d: JUMPDEST
0000026e: PUSH2 0x0278
00000271: PUSH1 0x04
00000273: POP
00000274: PUSH2 0x02e5
00000277: JUMP
00000278: JUMPDEST
00000279: PUSH1 0x40
0000027b: MLOAD
0000027c: DUP1
0000027d: DUP3
0000027e: DUP2
0000027f: MSTORE
00000280: PUSH1 0x20
00000282: ADD
00000283: SWAP2
00000284: POP
00000285: POP
00000286: PUSH1 0x40
00000288: MLOAD
00000289: DUP1
0000028a: SWAP2
0000028b: SUB
0000028c: SWAP1
0000028d: RETURN
0000028e: JUMPDEST
0000028f: PUSH1 0x00
00000291: PUSH1 0x0a
00000293: PUSH1 0x00
00000295: POP
00000296: PUSH1 0x00
00000298: CALLER
00000299: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002ae: AND
000002af: DUP2
000002b0: MSTORE
000002b1: PUSH1 0x20
000002b3: ADD
000002b4: SWAP1
000002b5: DUP2
000002b6: MSTORE
000002b7: PUSH1 0x20
000002b9: ADD
000002ba: PUSH1 0x00
000002bc: KECCAK256
000002bd: PUSH1 0x00
000002bf: POP
000002c0: SLOAD
000002c1: SWAP1
000002c2: POP
000002c3: PUSH2 0x02c7
000002c6: JUMP
000002c7: JUMPDEST
000002c8: SWAP1
000002c9: JUMP
000002ca: JUMPDEST
000002cb: PUSH1 0x03
000002cd: PUSH1 0x00
000002cf: POP
000002d0: SLOAD
000002d1: DUP2
000002d2: JUMP
000002d3: JUMPDEST
000002d4: PUSH1 0x04
000002d6: PUSH1 0x00
000002d8: POP
000002d9: SLOAD
000002da: DUP2
000002db: JUMP
000002dc: JUMPDEST
000002dd: PUSH1 0x05
000002df: PUSH1 0x00
000002e1: POP
000002e2: SLOAD
000002e3: DUP2
000002e4: JUMP
000002e5: JUMPDEST
000002e6: PUSH1 0x06
000002e8: PUSH1 0x00
000002ea: POP
000002eb: SLOAD
000002ec: DUP2
000002ed: JUMP
000002ee: JUMPDEST
000002ef: PUSH1 0x00
000002f1: PUSH1 0x0d
000002f3: PUSH1 0x00
000002f5: POP
000002f6: PUSH1 0x00
000002f8: CALLER
000002f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000030e: AND
0000030f: DUP2
00000310: MSTORE
00000311: PUSH1 0x20
00000313: ADD
00000314: SWAP1
00000315: DUP2
00000316: MSTORE
00000317: PUSH1 0x20
00000319: ADD
0000031a: PUSH1 0x00
0000031c: KECCAK256
0000031d: PUSH1 0x00
0000031f: POP
00000320: SLOAD
00000321: SWAP1
00000322: POP
00000323: PUSH2 0x0327
00000326: JUMP
00000327: JUMPDEST
00000328: SWAP1
00000329: JUMP
0000032a: JUMPDEST
0000032b: PUSH1 0x00
0000032d: PUSH1 0x0c
0000032f: PUSH1 0x00
00000331: POP
00000332: PUSH1 0x00
00000334: CALLER
00000335: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000034a: AND
0000034b: DUP2
0000034c: MSTORE
0000034d: PUSH1 0x20
0000034f: ADD
00000350: SWAP1
00000351: DUP2
00000352: MSTORE
00000353: PUSH1 0x20
00000355: ADD
00000356: PUSH1 0x00
00000358: KECCAK256
00000359: PUSH1 0x00
0000035b: POP
0000035c: SLOAD
0000035d: SWAP1
0000035e: POP
0000035f: PUSH2 0x0363
00000362: JUMP
00000363: JUMPDEST
00000364: SWAP1
00000365: JUMP
00000366: JUMPDEST
00000367: PUSH1 0x06
00000369: PUSH1 0x00
0000036b: POP
0000036c: SLOAD
0000036d: PUSH1 0x0b
0000036f: PUSH1 0x00
00000371: POP
00000372: PUSH1 0x00
00000374: CALLER
00000375: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000038a: AND
0000038b: DUP2
0000038c: MSTORE
0000038d: PUSH1 0x20
0000038f: ADD
00000390: SWAP1
00000391: DUP2
00000392: MSTORE
00000393: PUSH1 0x20
00000395: ADD
00000396: PUSH1 0x00
00000398: KECCAK256
00000399: PUSH1 0x00
0000039b: POP
0000039c: SLOAD
0000039d: TIMESTAMP
0000039e: SUB
0000039f: LT
000003a0: ISZERO
000003a1: ISZERO
000003a2: PUSH2 0x057e
000003a5: JUMPI
000003a6: PUSH1 0x64
000003a8: PUSH1 0x04
000003aa: PUSH1 0x00
000003ac: POP
000003ad: SLOAD
000003ae: PUSH1 0x0d
000003b0: PUSH1 0x00
000003b2: POP
000003b3: PUSH1 0x00
000003b5: CALLER
000003b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003cb: AND
000003cc: DUP2
000003cd: MSTORE
000003ce: PUSH1 0x20
000003d0: ADD
000003d1: SWAP1
000003d2: DUP2
000003d3: MSTORE
000003d4: PUSH1 0x20
000003d6: ADD
000003d7: PUSH1 0x00
000003d9: KECCAK256
000003da: PUSH1 0x00
000003dc: POP
000003dd: SLOAD
000003de: MUL
000003df: DIV
000003e0: PUSH1 0x01
000003e2: PUSH1 0x00
000003e4: POP
000003e5: DUP2
000003e6: SWAP1
000003e7: SSTORE
000003e8: POP
000003e9: PUSH1 0x01
000003eb: PUSH1 0x00
000003ed: POP
000003ee: SLOAD
000003ef: PUSH1 0x0d
000003f1: PUSH1 0x00
000003f3: POP
000003f4: PUSH1 0x00
000003f6: CALLER
000003f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000040c: AND
0000040d: DUP2
0000040e: MSTORE
0000040f: PUSH1 0x20
00000411: ADD
00000412: SWAP1
00000413: DUP2
00000414: MSTORE
00000415: PUSH1 0x20
00000417: ADD
00000418: PUSH1 0x00
0000041a: KECCAK256
0000041b: PUSH1 0x00
0000041d: POP
0000041e: SLOAD
0000041f: SUB
00000420: PUSH1 0x02
00000422: PUSH1 0x00
00000424: POP
00000425: DUP2
00000426: SWAP1
00000427: SSTORE
00000428: POP
00000429: PUSH1 0x02
0000042b: PUSH1 0x00
0000042d: POP
0000042e: SLOAD
0000042f: PUSH1 0x0a
00000431: PUSH1 0x00
00000433: POP
00000434: PUSH1 0x00
00000436: CALLER
00000437: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000044c: AND
0000044d: DUP2
0000044e: MSTORE
0000044f: PUSH1 0x20
00000451: ADD
00000452: SWAP1
00000453: DUP2
00000454: MSTORE
00000455: PUSH1 0x20
00000457: ADD
00000458: PUSH1 0x00
0000045a: KECCAK256
0000045b: PUSH1 0x00
0000045d: POP
0000045e: SLOAD
0000045f: ADD
00000460: ADDRESS
00000461: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000476: AND
00000477: BALANCE
00000478: GT
00000479: ISZERO
0000047a: PUSH2 0x057d
0000047d: JUMPI
0000047e: CALLER
0000047f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000494: AND
00000495: PUSH1 0x00
00000497: PUSH1 0x02
00000499: PUSH1 0x00
0000049b: POP
0000049c: SLOAD
0000049d: PUSH1 0x0a
0000049f: PUSH1 0x00
000004a1: POP
000004a2: PUSH1 0x00
000004a4: CALLER
000004a5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004ba: AND
000004bb: DUP2
000004bc: MSTORE
000004bd: PUSH1 0x20
000004bf: ADD
000004c0: SWAP1
000004c1: DUP2
000004c2: MSTORE
000004c3: PUSH1 0x20
000004c5: ADD
000004c6: PUSH1 0x00
000004c8: KECCAK256
000004c9: PUSH1 0x00
000004cb: POP
000004cc: SLOAD
000004cd: ADD
000004ce: PUSH1 0x40
000004d0: MLOAD
000004d1: DUP1
000004d2: SWAP1
000004d3: POP
000004d4: PUSH1 0x00
000004d6: PUSH1 0x40
000004d8: MLOAD
000004d9: DUP1
000004da: DUP4
000004db: SUB
000004dc: DUP2
000004dd: DUP6
000004de: DUP9
000004df: DUP9
000004e0: CALL
000004e1: SWAP4
000004e2: POP
000004e3: POP
000004e4: POP
000004e5: POP
000004e6: PUSH1 0x00
000004e8: PUSH1 0x00
000004ea: PUSH2 0x0100
000004ed: EXP
000004ee: DUP2
000004ef: SLOAD
000004f0: DUP2
000004f1: PUSH1 0xff
000004f3: MUL
000004f4: NOT
000004f5: AND
000004f6: SWAP1
000004f7: DUP4
000004f8: MUL
000004f9: OR
000004fa: SWAP1
000004fb: SSTORE
000004fc: POP
000004fd: PUSH1 0x00
000004ff: PUSH1 0x00
00000501: SWAP1
00000502: SLOAD
00000503: SWAP1
00000504: PUSH2 0x0100
00000507: EXP
00000508: SWAP1
00000509: DIV
0000050a: PUSH1 0xff
0000050c: AND
0000050d: ISZERO
0000050e: PUSH2 0x057c
00000511: JUMPI
00000512: PUSH1 0x00
00000514: PUSH1 0x0d
00000516: PUSH1 0x00
00000518: POP
00000519: PUSH1 0x00
0000051b: CALLER
0000051c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000531: AND
00000532: DUP2
00000533: MSTORE
00000534: PUSH1 0x20
00000536: ADD
00000537: SWAP1
00000538: DUP2
00000539: MSTORE
0000053a: PUSH1 0x20
0000053c: ADD
0000053d: PUSH1 0x00
0000053f: KECCAK256
00000540: PUSH1 0x00
00000542: POP
00000543: DUP2
00000544: SWAP1
00000545: SSTORE
00000546: POP
00000547: PUSH1 0x00
00000549: PUSH1 0x0a
0000054b: PUSH1 0x00
0000054d: POP
0000054e: PUSH1 0x00
00000550: CALLER
00000551: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000566: AND
00000567: DUP2
00000568: MSTORE
00000569: PUSH1 0x20
0000056b: ADD
0000056c: SWAP1
0000056d: DUP2
0000056e: MSTORE
0000056f: PUSH1 0x20
00000571: ADD
00000572: PUSH1 0x00
00000574: KECCAK256
00000575: PUSH1 0x00
00000577: POP
00000578: DUP2
00000579: SWAP1
0000057a: SSTORE
0000057b: POP
0000057c: JUMPDEST
0000057d: JUMPDEST
0000057e: JUMPDEST
0000057f: JUMPDEST
00000580: JUMP
00000581: JUMPDEST
00000582: PUSH1 0x07
00000584: PUSH1 0x00
00000586: POP
00000587: SLOAD
00000588: DUP2
00000589: JUMP
0000058a: JUMPDEST
0000058b: PUSH1 0x08
0000058d: PUSH1 0x00
0000058f: POP
00000590: SLOAD
00000591: DUP2
00000592: JUMP
00000593: JUMPDEST
00000594: PUSH1 0x09
00000596: PUSH1 0x00
00000598: SWAP1
00000599: SLOAD
0000059a: SWAP1
0000059b: PUSH2 0x0100
0000059e: EXP
0000059f: SWAP1
000005a0: DIV
000005a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005b6: AND
000005b7: DUP2
000005b8: JUMP
000005b9: JUMPDEST
000005ba: PUSH1 0x07
000005bc: PUSH1 0x00
000005be: DUP2
000005bf: DUP2
000005c0: POP
000005c1: SLOAD
000005c2: PUSH1 0x01
000005c4: ADD
000005c5: SWAP2
000005c6: SWAP1
000005c7: POP
000005c8: DUP2
000005c9: SWAP1
000005ca: SSTORE
000005cb: POP
000005cc: TIMESTAMP
000005cd: PUSH1 0x05
000005cf: PUSH1 0x00
000005d1: POP
000005d2: DUP2
000005d3: SWAP1
000005d4: SSTORE
000005d5: POP
000005d6: PUSH1 0x05
000005d8: PUSH1 0x00
000005da: POP
000005db: SLOAD
000005dc: PUSH1 0x0b
000005de: PUSH1 0x00
000005e0: POP
000005e1: PUSH1 0x00
000005e3: CALLER
000005e4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005f9: AND
000005fa: DUP2
000005fb: MSTORE
000005fc: PUSH1 0x20
000005fe: ADD
000005ff: SWAP1
00000600: DUP2
00000601: MSTORE
00000602: PUSH1 0x20
00000604: ADD
00000605: PUSH1 0x00
00000607: KECCAK256
00000608: PUSH1 0x00
0000060a: POP
0000060b: DUP2
0000060c: SWAP1
0000060d: SSTORE
0000060e: POP
0000060f: CALLER
00000610: PUSH1 0x0e
00000612: PUSH1 0x00
00000614: POP
00000615: PUSH1 0x00
00000617: PUSH1 0x07
00000619: PUSH1 0x00
0000061b: POP
0000061c: SLOAD
0000061d: DUP2
0000061e: MSTORE
0000061f: PUSH1 0x20
00000621: ADD
00000622: SWAP1
00000623: DUP2
00000624: MSTORE
00000625: PUSH1 0x20
00000627: ADD
00000628: PUSH1 0x00
0000062a: KECCAK256
0000062b: PUSH1 0x00
0000062d: PUSH2 0x0100
00000630: EXP
00000631: DUP2
00000632: SLOAD
00000633: DUP2
00000634: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000649: MUL
0000064a: NOT
0000064b: AND
0000064c: SWAP1
0000064d: DUP4
0000064e: MUL
0000064f: OR
00000650: SWAP1
00000651: SSTORE
00000652: POP
00000653: CALLVALUE
00000654: PUSH1 0x0a
00000656: PUSH1 0x00
00000658: POP
00000659: PUSH1 0x00
0000065b: CALLER
0000065c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000671: AND
00000672: DUP2
00000673: MSTORE
00000674: PUSH1 0x20
00000676: ADD
00000677: SWAP1
00000678: DUP2
00000679: MSTORE
0000067a: PUSH1 0x20
0000067c: ADD
0000067d: PUSH1 0x00
0000067f: KECCAK256
00000680: PUSH1 0x00
00000682: DUP3
00000683: DUP3
00000684: DUP3
00000685: POP
00000686: SLOAD
00000687: ADD
00000688: SWAP3
00000689: POP
0000068a: POP
0000068b: DUP2
0000068c: SWAP1
0000068d: SSTORE
0000068e: POP
0000068f: PUSH1 0x64
00000691: PUSH1 0x03
00000693: PUSH1 0x00
00000695: POP
00000696: SLOAD
00000697: CALLVALUE
00000698: MUL
00000699: DIV
0000069a: PUSH1 0x0c
0000069c: PUSH1 0x00
0000069e: POP
0000069f: PUSH1 0x00
000006a1: CALLER
000006a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006b7: AND
000006b8: DUP2
000006b9: MSTORE
000006ba: PUSH1 0x20
000006bc: ADD
000006bd: SWAP1
000006be: DUP2
000006bf: MSTORE
000006c0: PUSH1 0x20
000006c2: ADD
000006c3: PUSH1 0x00
000006c5: KECCAK256
000006c6: PUSH1 0x00
000006c8: DUP3
000006c9: DUP3
000006ca: DUP3
000006cb: POP
000006cc: SLOAD
000006cd: ADD
000006ce: SWAP3
000006cf: POP
000006d0: POP
000006d1: DUP2
000006d2: SWAP1
000006d3: SSTORE
000006d4: POP
000006d5: PUSH1 0x64
000006d7: PUSH1 0x03
000006d9: PUSH1 0x00
000006db: POP
000006dc: SLOAD
000006dd: CALLVALUE
000006de: MUL
000006df: DIV
000006e0: PUSH1 0x0d
000006e2: PUSH1 0x00
000006e4: POP
000006e5: PUSH1 0x00
000006e7: CALLER
000006e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006fd: AND
000006fe: DUP2
000006ff: MSTORE
00000700: PUSH1 0x20
00000702: ADD
00000703: SWAP1
00000704: DUP2
00000705: MSTORE
00000706: PUSH1 0x20
00000708: ADD
00000709: PUSH1 0x00
0000070b: KECCAK256
0000070c: PUSH1 0x00
0000070e: DUP3
0000070f: DUP3
00000710: DUP3
00000711: POP
00000712: SLOAD
00000713: ADD
00000714: SWAP3
00000715: POP
00000716: POP
00000717: DUP2
00000718: SWAP1
00000719: SSTORE
0000071a: POP
0000071b: JUMPDEST
0000071c: JUMP
0000071d: JUMPDEST
0000071e: PUSH1 0x06
00000720: PUSH1 0x00
00000722: POP
00000723: SLOAD
00000724: PUSH1 0x0b
00000726: PUSH1 0x00
00000728: POP
00000729: PUSH1 0x00
0000072b: CALLER
0000072c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000741: AND
00000742: DUP2
00000743: MSTORE
00000744: PUSH1 0x20
00000746: ADD
00000747: SWAP1
00000748: DUP2
00000749: MSTORE
0000074a: PUSH1 0x20
0000074c: ADD
0000074d: PUSH1 0x00
0000074f: KECCAK256
00000750: PUSH1 0x00
00000752: POP
00000753: SLOAD
00000754: TIMESTAMP
00000755: SUB
00000756: LT
00000757: ISZERO
00000758: ISZERO
00000759: PUSH2 0x09f2
0000075c: JUMPI
0000075d: PUSH1 0x64
0000075f: PUSH1 0x04
00000761: PUSH1 0x00
00000763: POP
00000764: SLOAD
00000765: PUSH1 0x0d
00000767: PUSH1 0x00
00000769: POP
0000076a: PUSH1 0x00
0000076c: CALLER
0000076d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000782: AND
00000783: DUP2
00000784: MSTORE
00000785: PUSH1 0x20
00000787: ADD
00000788: SWAP1
00000789: DUP2
0000078a: MSTORE
0000078b: PUSH1 0x20
0000078d: ADD
0000078e: PUSH1 0x00
00000790: KECCAK256
00000791: PUSH1 0x00
00000793: POP
00000794: SLOAD
00000795: MUL
00000796: DIV
00000797: PUSH1 0x01
00000799: PUSH1 0x00
0000079b: POP
0000079c: DUP2
0000079d: SWAP1
0000079e: SSTORE
0000079f: POP
000007a0: PUSH1 0x01
000007a2: PUSH1 0x00
000007a4: POP
000007a5: SLOAD
000007a6: PUSH1 0x0d
000007a8: PUSH1 0x00
000007aa: POP
000007ab: PUSH1 0x00
000007ad: CALLER
000007ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007c3: AND
000007c4: DUP2
000007c5: MSTORE
000007c6: PUSH1 0x20
000007c8: ADD
000007c9: SWAP1
000007ca: DUP2
000007cb: MSTORE
000007cc: PUSH1 0x20
000007ce: ADD
000007cf: PUSH1 0x00
000007d1: KECCAK256
000007d2: PUSH1 0x00
000007d4: POP
000007d5: SLOAD
000007d6: SUB
000007d7: PUSH1 0x02
000007d9: PUSH1 0x00
000007db: POP
000007dc: DUP2
000007dd: SWAP1
000007de: SSTORE
000007df: POP
000007e0: PUSH1 0x02
000007e2: PUSH1 0x00
000007e4: POP
000007e5: SLOAD
000007e6: ADDRESS
000007e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007fc: AND
000007fd: BALANCE
000007fe: GT
000007ff: ISZERO
00000800: PUSH2 0x09f1
00000803: JUMPI
00000804: CALLER
00000805: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000081a: AND
0000081b: PUSH1 0x00
0000081d: PUSH1 0x02
0000081f: PUSH1 0x00
00000821: POP
00000822: SLOAD
00000823: PUSH1 0x40
00000825: MLOAD
00000826: DUP1
00000827: SWAP1
00000828: POP
00000829: PUSH1 0x00
0000082b: PUSH1 0x40
0000082d: MLOAD
0000082e: DUP1
0000082f: DUP4
00000830: SUB
00000831: DUP2
00000832: DUP6
00000833: DUP9
00000834: DUP9
00000835: CALL
00000836: SWAP4
00000837: POP
00000838: POP
00000839: POP
0000083a: POP
0000083b: PUSH1 0x00
0000083d: PUSH1 0x00
0000083f: PUSH2 0x0100
00000842: EXP
00000843: DUP2
00000844: SLOAD
00000845: DUP2
00000846: PUSH1 0xff
00000848: MUL
00000849: NOT
0000084a: AND
0000084b: SWAP1
0000084c: DUP4
0000084d: MUL
0000084e: OR
0000084f: SWAP1
00000850: SSTORE
00000851: POP
00000852: PUSH1 0x00
00000854: PUSH1 0x00
00000856: SWAP1
00000857: SLOAD
00000858: SWAP1
00000859: PUSH2 0x0100
0000085c: EXP
0000085d: SWAP1
0000085e: DIV
0000085f: PUSH1 0xff
00000861: AND
00000862: ISZERO
00000863: PUSH2 0x09f0
00000866: JUMPI
00000867: TIMESTAMP
00000868: PUSH1 0x0b
0000086a: PUSH1 0x00
0000086c: POP
0000086d: PUSH1 0x00
0000086f: CALLER
00000870: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000885: AND
00000886: DUP2
00000887: MSTORE
00000888: PUSH1 0x20
0000088a: ADD
0000088b: SWAP1
0000088c: DUP2
0000088d: MSTORE
0000088e: PUSH1 0x20
00000890: ADD
00000891: PUSH1 0x00
00000893: KECCAK256
00000894: PUSH1 0x00
00000896: POP
00000897: DUP2
00000898: SWAP1
00000899: SSTORE
0000089a: POP
0000089b: PUSH1 0x0d
0000089d: PUSH1 0x00
0000089f: POP
000008a0: PUSH1 0x00
000008a2: CALLER
000008a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008b8: AND
000008b9: DUP2
000008ba: MSTORE
000008bb: PUSH1 0x20
000008bd: ADD
000008be: SWAP1
000008bf: DUP2
000008c0: MSTORE
000008c1: PUSH1 0x20
000008c3: ADD
000008c4: PUSH1 0x00
000008c6: KECCAK256
000008c7: PUSH1 0x00
000008c9: POP
000008ca: SLOAD
000008cb: PUSH1 0x0d
000008cd: PUSH1 0x00
000008cf: POP
000008d0: PUSH1 0x00
000008d2: CALLER
000008d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008e8: AND
000008e9: DUP2
000008ea: MSTORE
000008eb: PUSH1 0x20
000008ed: ADD
000008ee: SWAP1
000008ef: DUP2
000008f0: MSTORE
000008f1: PUSH1 0x20
000008f3: ADD
000008f4: PUSH1 0x00
000008f6: KECCAK256
000008f7: PUSH1 0x00
000008f9: DUP3
000008fa: DUP3
000008fb: DUP3
000008fc: POP
000008fd: SLOAD
000008fe: SUB
000008ff: SWAP3
00000900: POP
00000901: POP
00000902: DUP2
00000903: SWAP1
00000904: SSTORE
00000905: POP
00000906: PUSH1 0x64
00000908: PUSH1 0x03
0000090a: PUSH1 0x00
0000090c: POP
0000090d: SLOAD
0000090e: PUSH1 0x0a
00000910: PUSH1 0x00
00000912: POP
00000913: PUSH1 0x00
00000915: CALLER
00000916: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000092b: AND
0000092c: DUP2
0000092d: MSTORE
0000092e: PUSH1 0x20
00000930: ADD
00000931: SWAP1
00000932: DUP2
00000933: MSTORE
00000934: PUSH1 0x20
00000936: ADD
00000937: PUSH1 0x00
00000939: KECCAK256
0000093a: PUSH1 0x00
0000093c: POP
0000093d: SLOAD
0000093e: MUL
0000093f: DIV
00000940: PUSH1 0x0d
00000942: PUSH1 0x00
00000944: POP
00000945: PUSH1 0x00
00000947: CALLER
00000948: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000095d: AND
0000095e: DUP2
0000095f: MSTORE
00000960: PUSH1 0x20
00000962: ADD
00000963: SWAP1
00000964: DUP2
00000965: MSTORE
00000966: PUSH1 0x20
00000968: ADD
00000969: PUSH1 0x00
0000096b: KECCAK256
0000096c: PUSH1 0x00
0000096e: DUP3
0000096f: DUP3
00000970: DUP3
00000971: POP
00000972: SLOAD
00000973: ADD
00000974: SWAP3
00000975: POP
00000976: POP
00000977: DUP2
00000978: SWAP1
00000979: SSTORE
0000097a: POP
0000097b: PUSH1 0x64
0000097d: PUSH1 0x03
0000097f: PUSH1 0x00
00000981: POP
00000982: SLOAD
00000983: PUSH1 0x0a
00000985: PUSH1 0x00
00000987: POP
00000988: PUSH1 0x00
0000098a: CALLER
0000098b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009a0: AND
000009a1: DUP2
000009a2: MSTORE
000009a3: PUSH1 0x20
000009a5: ADD
000009a6: SWAP1
000009a7: DUP2
000009a8: MSTORE
000009a9: PUSH1 0x20
000009ab: ADD
000009ac: PUSH1 0x00
000009ae: KECCAK256
000009af: PUSH1 0x00
000009b1: POP
000009b2: SLOAD
000009b3: MUL
000009b4: DIV
000009b5: PUSH1 0x0c
000009b7: PUSH1 0x00
000009b9: POP
000009ba: PUSH1 0x00
000009bc: CALLER
000009bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009d2: AND
000009d3: DUP2
000009d4: MSTORE
000009d5: PUSH1 0x20
000009d7: ADD
000009d8: SWAP1
000009d9: DUP2
000009da: MSTORE
000009db: PUSH1 0x20
000009dd: ADD
000009de: PUSH1 0x00
000009e0: KECCAK256
000009e1: PUSH1 0x00
000009e3: DUP3
000009e4: DUP3
000009e5: DUP3
000009e6: POP
000009e7: SLOAD
000009e8: ADD
000009e9: SWAP3
000009ea: POP
000009eb: POP
000009ec: DUP2
000009ed: SWAP1
000009ee: SSTORE
000009ef: POP
000009f0: JUMPDEST
000009f1: JUMPDEST
000009f2: JUMPDEST
000009f3: JUMPDEST
000009f4: JUMP
000009f5: JUMPDEST
000009f6: PUSH1 0x00
000009f8: PUSH1 0x09
000009fa: PUSH1 0x00
000009fc: SWAP1
000009fd: SLOAD
000009fe: SWAP1
000009ff: PUSH2 0x0100
00000a02: EXP
00000a03: SWAP1
00000a04: DIV
00000a05: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a1a: AND
00000a1b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a30: AND
00000a31: CALLER
00000a32: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a47: AND
00000a48: EQ
00000a49: ISZERO
00000a4a: ISZERO
00000a4b: PUSH2 0x0a53
00000a4e: JUMPI
00000a4f: PUSH2 0x0c2e
00000a52: JUMP
00000a53: JUMPDEST
00000a54: PUSH1 0x08
00000a56: PUSH1 0x00
00000a58: POP
00000a59: SLOAD
00000a5a: PUSH1 0x05
00000a5c: PUSH1 0x00
00000a5e: POP
00000a5f: SLOAD
00000a60: TIMESTAMP
00000a61: SUB
00000a62: LT
00000a63: ISZERO
00000a64: ISZERO
00000a65: PUSH2 0x0c2d
00000a68: JUMPI
00000a69: PUSH1 0x00
00000a6b: SWAP1
00000a6c: POP
00000a6d: JUMPDEST
00000a6e: PUSH1 0x07
00000a70: PUSH1 0x00
00000a72: POP
00000a73: SLOAD
00000a74: DUP2
00000a75: LT
00000a76: ISZERO
00000a77: PUSH2 0x0c2c
00000a7a: JUMPI
00000a7b: PUSH1 0x0e
00000a7d: PUSH1 0x00
00000a7f: POP
00000a80: PUSH1 0x00
00000a82: DUP3
00000a83: DUP2
00000a84: MSTORE
00000a85: PUSH1 0x20
00000a87: ADD
00000a88: SWAP1
00000a89: DUP2
00000a8a: MSTORE
00000a8b: PUSH1 0x20
00000a8d: ADD
00000a8e: PUSH1 0x00
00000a90: KECCAK256
00000a91: PUSH1 0x00
00000a93: SWAP1
00000a94: SLOAD
00000a95: SWAP1
00000a96: PUSH2 0x0100
00000a99: EXP
00000a9a: SWAP1
00000a9b: DIV
00000a9c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ab1: AND
00000ab2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ac7: AND
00000ac8: PUSH1 0x00
00000aca: PUSH1 0x0a
00000acc: PUSH1 0x00
00000ace: POP
00000acf: PUSH1 0x00
00000ad1: PUSH1 0x0e
00000ad3: PUSH1 0x00
00000ad5: POP
00000ad6: PUSH1 0x00
00000ad8: DUP7
00000ad9: DUP2
00000ada: MSTORE
00000adb: PUSH1 0x20
00000add: ADD
00000ade: SWAP1
00000adf: DUP2
00000ae0: MSTORE
00000ae1: PUSH1 0x20
00000ae3: ADD
00000ae4: PUSH1 0x00
00000ae6: KECCAK256
00000ae7: PUSH1 0x00
00000ae9: SWAP1
00000aea: SLOAD
00000aeb: SWAP1
00000aec: PUSH2 0x0100
00000aef: EXP
00000af0: SWAP1
00000af1: DIV
00000af2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b07: AND
00000b08: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b1d: AND
00000b1e: DUP2
00000b1f: MSTORE
00000b20: PUSH1 0x20
00000b22: ADD
00000b23: SWAP1
00000b24: DUP2
00000b25: MSTORE
00000b26: PUSH1 0x20
00000b28: ADD
00000b29: PUSH1 0x00
00000b2b: KECCAK256
00000b2c: PUSH1 0x00
00000b2e: POP
00000b2f: SLOAD
00000b30: PUSH1 0x40
00000b32: MLOAD
00000b33: DUP1
00000b34: SWAP1
00000b35: POP
00000b36: PUSH1 0x00
00000b38: PUSH1 0x40
00000b3a: MLOAD
00000b3b: DUP1
00000b3c: DUP4
00000b3d: SUB
00000b3e: DUP2
00000b3f: DUP6
00000b40: DUP9
00000b41: DUP9
00000b42: CALL
00000b43: SWAP4
00000b44: POP
00000b45: POP
00000b46: POP
00000b47: POP
00000b48: POP
00000b49: PUSH1 0x00
00000b4b: PUSH1 0x0a
00000b4d: PUSH1 0x00
00000b4f: POP
00000b50: PUSH1 0x00
00000b52: PUSH1 0x0e
00000b54: PUSH1 0x00
00000b56: POP
00000b57: PUSH1 0x00
00000b59: DUP6
00000b5a: DUP2
00000b5b: MSTORE
00000b5c: PUSH1 0x20
00000b5e: ADD
00000b5f: SWAP1
00000b60: DUP2
00000b61: MSTORE
00000b62: PUSH1 0x20
00000b64: ADD
00000b65: PUSH1 0x00
00000b67: KECCAK256
00000b68: PUSH1 0x00
00000b6a: SWAP1
00000b6b: SLOAD
00000b6c: SWAP1
00000b6d: PUSH2 0x0100
00000b70: EXP
00000b71: SWAP1
00000b72: DIV
00000b73: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b88: AND
00000b89: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b9e: AND
00000b9f: DUP2
00000ba0: MSTORE
00000ba1: PUSH1 0x20
00000ba3: ADD
00000ba4: SWAP1
00000ba5: DUP2
00000ba6: MSTORE
00000ba7: PUSH1 0x20
00000ba9: ADD
00000baa: PUSH1 0x00
00000bac: KECCAK256
00000bad: PUSH1 0x00
00000baf: POP
00000bb0: DUP2
00000bb1: SWAP1
00000bb2: SSTORE
00000bb3: POP
00000bb4: PUSH1 0x00
00000bb6: PUSH1 0x0d
00000bb8: PUSH1 0x00
00000bba: POP
00000bbb: PUSH1 0x00
00000bbd: PUSH1 0x0e
00000bbf: PUSH1 0x00
00000bc1: POP
00000bc2: PUSH1 0x00
00000bc4: DUP6
00000bc5: DUP2
00000bc6: MSTORE
00000bc7: PUSH1 0x20
00000bc9: ADD
00000bca: SWAP1
00000bcb: DUP2
00000bcc: MSTORE
00000bcd: PUSH1 0x20
00000bcf: ADD
00000bd0: PUSH1 0x00
00000bd2: KECCAK256
00000bd3: PUSH1 0x00
00000bd5: SWAP1
00000bd6: SLOAD
00000bd7: SWAP1
00000bd8: PUSH2 0x0100
00000bdb: EXP
00000bdc: SWAP1
00000bdd: DIV
00000bde: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bf3: AND
00000bf4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c09: AND
00000c0a: DUP2
00000c0b: MSTORE
00000c0c: PUSH1 0x20
00000c0e: ADD
00000c0f: SWAP1
00000c10: DUP2
00000c11: MSTORE
00000c12: PUSH1 0x20
00000c14: ADD
00000c15: PUSH1 0x00
00000c17: KECCAK256
00000c18: PUSH1 0x00
00000c1a: POP
00000c1b: DUP2
00000c1c: SWAP1
00000c1d: SSTORE
00000c1e: POP
00000c1f: JUMPDEST
00000c20: DUP1
00000c21: PUSH1 0x01
00000c23: ADD
00000c24: SWAP1
00000c25: POP
00000c26: DUP1
00000c27: POP
00000c28: PUSH2 0x0a6d
00000c2b: JUMP
00000c2c: JUMPDEST
00000c2d: JUMPDEST
00000c2e: JUMPDEST
00000c2f: POP
00000c30: JUMP
00000c31: JUMPDEST
00000c32: PUSH1 0x00
00000c34: PUSH1 0x0b
00000c36: PUSH1 0x00
00000c38: POP
00000c39: PUSH1 0x00
00000c3b: CALLER
00000c3c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c51: AND
00000c52: DUP2
00000c53: MSTORE
00000c54: PUSH1 0x20
00000c56: ADD
00000c57: SWAP1
00000c58: DUP2
00000c59: MSTORE
00000c5a: PUSH1 0x20
00000c5c: ADD
00000c5d: PUSH1 0x00
00000c5f: KECCAK256
00000c60: PUSH1 0x00
00000c62: POP
00000c63: SLOAD
00000c64: TIMESTAMP
00000c65: SUB
00000c66: SWAP1
00000c67: POP
00000c68: PUSH2 0x0c6c
00000c6b: JUMP
00000c6c: JUMPDEST
00000c6d: SWAP1
00000c6e: 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
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0x71016762b4eb1fc7d33f9eead3813551afdea2cbce903d05b88e2d771fe85729
call_targets: 0xbaa43006db572fbe2d49439ee32f72723b3d0e88
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x71016762b4eb1fc7d33f9eead3813551afdea2cbce903d05b88e2d771fe85729",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xbaa43006db572fbe2d49439ee32f72723b3d0e88"
    ],
    "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": "0x12065fe0",
            "selector": "0x12065fe0",
            "calldata_variants": [
                "0x12065fe0",
                "0x12065fe00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3ccfd60b",
            "selector": "0x3ccfd60b",
            "calldata_variants": [
                "0x3ccfd60b",
                "0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x481c6a75",
            "selector": "0x481c6a75",
            "calldata_variants": [
                "0x481c6a75",
                "0x481c6a750000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4afdd0e7",
            "selector": "0x4afdd0e7",
            "calldata_variants": [
                "0x4afdd0e7",
                "0x4afdd0e70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4e4f8289",
            "selector": "0x4e4f8289",
            "calldata_variants": [
                "0x4e4f8289",
                "0x4e4f82890000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x5294010f",
            "selector": "0x5294010f",
            "calldata_variants": [
                "0x5294010f",
                "0x5294010f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x54fac919",
            "selector": "0x54fac919",
            "calldata_variants": [
                "0x54fac919",
                "0x54fac9190000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x679dffb4",
            "selector": "0x679dffb4",
            "calldata_variants": [
                "0x679dffb4",
                "0x679dffb40000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 1248,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2101,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2882,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 3,
    "guards_detected": [
        {
            "pc": 2609,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ],
    "untrusted_call_count": 3
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0x71016762b4eb1fc7d33f9eead3813551afdea2cbce903d05b88e2d771fe85729
call_targets: 0xbaa43006db572fbe2d49439ee32f72723b3d0e88
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x71016762b4eb1fc7d33f9eead3813551afdea2cbce903d05b88e2d771fe85729",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xbaa43006db572fbe2d49439ee32f72723b3d0e88"
    ],
    "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": "0x12065fe0",
            "selector": "0x12065fe0",
            "calldata_variants": [
                "0x12065fe0",
                "0x12065fe00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3ccfd60b",
            "selector": "0x3ccfd60b",
            "calldata_variants": [
                "0x3ccfd60b",
                "0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x481c6a75",
            "selector": "0x481c6a75",
            "calldata_variants": [
                "0x481c6a75",
                "0x481c6a750000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4afdd0e7",
            "selector": "0x4afdd0e7",
            "calldata_variants": [
                "0x4afdd0e7",
                "0x4afdd0e70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4e4f8289",
            "selector": "0x4e4f8289",
            "calldata_variants": [
                "0x4e4f8289",
                "0x4e4f82890000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x5294010f",
            "selector": "0x5294010f",
            "calldata_variants": [
                "0x5294010f",
                "0x5294010f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x54fac919",
            "selector": "0x54fac919",
            "calldata_variants": [
                "0x54fac919",
                "0x54fac9190000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x679dffb4",
            "selector": "0x679dffb4",
            "calldata_variants": [
                "0x679dffb4",
                "0x679dffb40000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 1248,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2101,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2882,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 3,
    "guards_detected": [
        {
            "pc": 2609,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ]
}