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

Analysis Run

019b3844-8a48-719a-a979-20b028a1238e

complete
Chain ID
1
Address
0x43907ed071d821228562aac8aa5ec119dca77759
Block Number
—
Created
Fri, Dec 19, 2025 8:19 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
11595 artifact.fetch complete 1 / 3 4 months ago
11596 tool.cast_disasm complete 1 / 3 4 months ago
54408 analysis.bundle complete 1 / 3 2 weeks ago
54409 capability.graph complete 1 / 3 2 weeks ago
54410 detector.run complete 1 / 3 2 weeks ago
54411 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
1
CREATE2
0
CALL-family (heavy)
8
EXT*/BALANCE
8
Total opcodes
1794
Flags
selfdestruct_present heavy_ext_balance_usage
View cast disassembly output 
00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x00ef
0000000a: JUMPI
0000000b: PUSH1 0x00
0000000d: CALLDATALOAD
0000000e: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000002c: SWAP1
0000002d: DIV
0000002e: PUSH4 0xffffffff
00000033: AND
00000034: DUP1
00000035: PUSH4 0x13faede6
0000003a: EQ
0000003b: PUSH2 0x00fa
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0x3197cbb6
00000045: EQ
00000046: PUSH2 0x0123
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0x41c0e1b5
00000050: EQ
00000051: PUSH2 0x014c
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0x429b62e5
0000005b: EQ
0000005c: PUSH2 0x0161
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0x486581ea
00000066: EQ
00000067: PUSH2 0x01b2
0000006a: JUMPI
0000006b: DUP1
0000006c: PUSH4 0x4bb278f3
00000071: EQ
00000072: PUSH2 0x01eb
00000075: JUMPI
00000076: DUP1
00000077: PUSH4 0x63bd1d4a
0000007c: EQ
0000007d: PUSH2 0x0218
00000080: JUMPI
00000081: DUP1
00000082: PUSH4 0x78e97925
00000087: EQ
00000088: PUSH2 0x026d
0000008b: JUMPI
0000008c: DUP1
0000008d: PUSH4 0x7bb98a68
00000092: EQ
00000093: PUSH2 0x0296
00000096: JUMPI
00000097: DUP1
00000098: PUSH4 0x8d4e4083
0000009d: EQ
0000009e: PUSH2 0x02eb
000000a1: JUMPI
000000a2: DUP1
000000a3: PUSH4 0xa4d66daf
000000a8: EQ
000000a9: PUSH2 0x0318
000000ac: JUMPI
000000ad: DUP1
000000ae: PUSH4 0xb4427263
000000b3: EQ
000000b4: PUSH2 0x0341
000000b7: JUMPI
000000b8: DUP1
000000b9: PUSH4 0xc296302a
000000be: EQ
000000bf: PUSH2 0x0363
000000c2: JUMPI
000000c3: DUP1
000000c4: PUSH4 0xd3419bf3
000000c9: EQ
000000ca: PUSH2 0x039c
000000cd: JUMPI
000000ce: DUP1
000000cf: PUSH4 0xebf0c717
000000d4: EQ
000000d5: PUSH2 0x03f1
000000d8: JUMPI
000000d9: DUP1
000000da: PUSH4 0xf7bb3f3e
000000df: EQ
000000e0: PUSH2 0x0446
000000e3: JUMPI
000000e4: DUP1
000000e5: PUSH4 0xfe315723
000000ea: EQ
000000eb: PUSH2 0x046f
000000ee: JUMPI
000000ef: JUMPDEST
000000f0: PUSH2 0x00f7
000000f3: PUSH2 0x04c4
000000f6: JUMP
000000f7: JUMPDEST
000000f8: POP
000000f9: STOP
000000fa: JUMPDEST
000000fb: CALLVALUE
000000fc: ISZERO
000000fd: PUSH2 0x0105
00000100: JUMPI
00000101: PUSH1 0x00
00000103: DUP1
00000104: REVERT
00000105: JUMPDEST
00000106: PUSH2 0x010d
00000109: PUSH2 0x0a95
0000010c: JUMP
0000010d: JUMPDEST
0000010e: PUSH1 0x40
00000110: MLOAD
00000111: DUP1
00000112: DUP3
00000113: DUP2
00000114: MSTORE
00000115: PUSH1 0x20
00000117: ADD
00000118: SWAP2
00000119: POP
0000011a: POP
0000011b: PUSH1 0x40
0000011d: MLOAD
0000011e: DUP1
0000011f: SWAP2
00000120: SUB
00000121: SWAP1
00000122: RETURN
00000123: JUMPDEST
00000124: CALLVALUE
00000125: ISZERO
00000126: PUSH2 0x012e
00000129: JUMPI
0000012a: PUSH1 0x00
0000012c: DUP1
0000012d: REVERT
0000012e: JUMPDEST
0000012f: PUSH2 0x0136
00000132: PUSH2 0x0a9b
00000135: JUMP
00000136: JUMPDEST
00000137: PUSH1 0x40
00000139: MLOAD
0000013a: DUP1
0000013b: DUP3
0000013c: DUP2
0000013d: MSTORE
0000013e: PUSH1 0x20
00000140: ADD
00000141: SWAP2
00000142: POP
00000143: POP
00000144: PUSH1 0x40
00000146: MLOAD
00000147: DUP1
00000148: SWAP2
00000149: SUB
0000014a: SWAP1
0000014b: RETURN
0000014c: JUMPDEST
0000014d: CALLVALUE
0000014e: ISZERO
0000014f: PUSH2 0x0157
00000152: JUMPI
00000153: PUSH1 0x00
00000155: DUP1
00000156: REVERT
00000157: JUMPDEST
00000158: PUSH2 0x015f
0000015b: PUSH2 0x0aa1
0000015e: JUMP
0000015f: JUMPDEST
00000160: STOP
00000161: JUMPDEST
00000162: CALLVALUE
00000163: ISZERO
00000164: PUSH2 0x016c
00000167: JUMPI
00000168: PUSH1 0x00
0000016a: DUP1
0000016b: REVERT
0000016c: JUMPDEST
0000016d: PUSH2 0x0198
00000170: PUSH1 0x04
00000172: DUP1
00000173: DUP1
00000174: CALLDATALOAD
00000175: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000018a: AND
0000018b: SWAP1
0000018c: PUSH1 0x20
0000018e: ADD
0000018f: SWAP1
00000190: SWAP2
00000191: SWAP1
00000192: POP
00000193: POP
00000194: PUSH2 0x0b36
00000197: JUMP
00000198: JUMPDEST
00000199: PUSH1 0x40
0000019b: MLOAD
0000019c: DUP1
0000019d: DUP3
0000019e: ISZERO
0000019f: ISZERO
000001a0: ISZERO
000001a1: ISZERO
000001a2: DUP2
000001a3: MSTORE
000001a4: PUSH1 0x20
000001a6: ADD
000001a7: SWAP2
000001a8: POP
000001a9: POP
000001aa: PUSH1 0x40
000001ac: MLOAD
000001ad: DUP1
000001ae: SWAP2
000001af: SUB
000001b0: SWAP1
000001b1: RETURN
000001b2: JUMPDEST
000001b3: CALLVALUE
000001b4: ISZERO
000001b5: PUSH2 0x01bd
000001b8: JUMPI
000001b9: PUSH1 0x00
000001bb: DUP1
000001bc: REVERT
000001bd: JUMPDEST
000001be: PUSH2 0x01e9
000001c1: PUSH1 0x04
000001c3: DUP1
000001c4: DUP1
000001c5: CALLDATALOAD
000001c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001db: AND
000001dc: SWAP1
000001dd: PUSH1 0x20
000001df: ADD
000001e0: SWAP1
000001e1: SWAP2
000001e2: SWAP1
000001e3: POP
000001e4: POP
000001e5: PUSH2 0x0b56
000001e8: JUMP
000001e9: JUMPDEST
000001ea: STOP
000001eb: JUMPDEST
000001ec: CALLVALUE
000001ed: ISZERO
000001ee: PUSH2 0x01f6
000001f1: JUMPI
000001f2: PUSH1 0x00
000001f4: DUP1
000001f5: REVERT
000001f6: JUMPDEST
000001f7: PUSH2 0x01fe
000001fa: PUSH2 0x0c31
000001fd: JUMP
000001fe: JUMPDEST
000001ff: PUSH1 0x40
00000201: MLOAD
00000202: DUP1
00000203: DUP3
00000204: ISZERO
00000205: ISZERO
00000206: ISZERO
00000207: ISZERO
00000208: DUP2
00000209: MSTORE
0000020a: PUSH1 0x20
0000020c: ADD
0000020d: SWAP2
0000020e: POP
0000020f: POP
00000210: PUSH1 0x40
00000212: MLOAD
00000213: DUP1
00000214: SWAP2
00000215: SUB
00000216: SWAP1
00000217: RETURN
00000218: JUMPDEST
00000219: CALLVALUE
0000021a: ISZERO
0000021b: PUSH2 0x0223
0000021e: JUMPI
0000021f: PUSH1 0x00
00000221: DUP1
00000222: REVERT
00000223: JUMPDEST
00000224: PUSH2 0x022b
00000227: PUSH2 0x0d3d
0000022a: JUMP
0000022b: JUMPDEST
0000022c: PUSH1 0x40
0000022e: MLOAD
0000022f: DUP1
00000230: DUP3
00000231: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000246: AND
00000247: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000025c: AND
0000025d: DUP2
0000025e: MSTORE
0000025f: PUSH1 0x20
00000261: ADD
00000262: SWAP2
00000263: POP
00000264: POP
00000265: PUSH1 0x40
00000267: MLOAD
00000268: DUP1
00000269: SWAP2
0000026a: SUB
0000026b: SWAP1
0000026c: RETURN
0000026d: JUMPDEST
0000026e: CALLVALUE
0000026f: ISZERO
00000270: PUSH2 0x0278
00000273: JUMPI
00000274: PUSH1 0x00
00000276: DUP1
00000277: REVERT
00000278: JUMPDEST
00000279: PUSH2 0x0280
0000027c: PUSH2 0x0d63
0000027f: JUMP
00000280: JUMPDEST
00000281: PUSH1 0x40
00000283: MLOAD
00000284: DUP1
00000285: DUP3
00000286: DUP2
00000287: MSTORE
00000288: PUSH1 0x20
0000028a: ADD
0000028b: SWAP2
0000028c: POP
0000028d: POP
0000028e: PUSH1 0x40
00000290: MLOAD
00000291: DUP1
00000292: SWAP2
00000293: SUB
00000294: SWAP1
00000295: RETURN
00000296: JUMPDEST
00000297: CALLVALUE
00000298: ISZERO
00000299: PUSH2 0x02a1
0000029c: JUMPI
0000029d: PUSH1 0x00
0000029f: DUP1
000002a0: REVERT
000002a1: JUMPDEST
000002a2: PUSH2 0x02a9
000002a5: PUSH2 0x0d69
000002a8: JUMP
000002a9: JUMPDEST
000002aa: PUSH1 0x40
000002ac: MLOAD
000002ad: DUP1
000002ae: DUP3
000002af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002c4: AND
000002c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002da: AND
000002db: DUP2
000002dc: MSTORE
000002dd: PUSH1 0x20
000002df: ADD
000002e0: SWAP2
000002e1: POP
000002e2: POP
000002e3: PUSH1 0x40
000002e5: MLOAD
000002e6: DUP1
000002e7: SWAP2
000002e8: SUB
000002e9: SWAP1
000002ea: RETURN
000002eb: JUMPDEST
000002ec: CALLVALUE
000002ed: ISZERO
000002ee: PUSH2 0x02f6
000002f1: JUMPI
000002f2: PUSH1 0x00
000002f4: DUP1
000002f5: REVERT
000002f6: JUMPDEST
000002f7: PUSH2 0x02fe
000002fa: PUSH2 0x0d8f
000002fd: JUMP
000002fe: JUMPDEST
000002ff: PUSH1 0x40
00000301: MLOAD
00000302: DUP1
00000303: DUP3
00000304: ISZERO
00000305: ISZERO
00000306: ISZERO
00000307: ISZERO
00000308: DUP2
00000309: MSTORE
0000030a: PUSH1 0x20
0000030c: ADD
0000030d: SWAP2
0000030e: POP
0000030f: POP
00000310: PUSH1 0x40
00000312: MLOAD
00000313: DUP1
00000314: SWAP2
00000315: SUB
00000316: SWAP1
00000317: RETURN
00000318: JUMPDEST
00000319: CALLVALUE
0000031a: ISZERO
0000031b: PUSH2 0x0323
0000031e: JUMPI
0000031f: PUSH1 0x00
00000321: DUP1
00000322: REVERT
00000323: JUMPDEST
00000324: PUSH2 0x032b
00000327: PUSH2 0x0da2
0000032a: JUMP
0000032b: JUMPDEST
0000032c: PUSH1 0x40
0000032e: MLOAD
0000032f: DUP1
00000330: DUP3
00000331: DUP2
00000332: MSTORE
00000333: PUSH1 0x20
00000335: ADD
00000336: SWAP2
00000337: POP
00000338: POP
00000339: PUSH1 0x40
0000033b: MLOAD
0000033c: DUP1
0000033d: SWAP2
0000033e: SUB
0000033f: SWAP1
00000340: RETURN
00000341: JUMPDEST
00000342: PUSH2 0x0349
00000345: PUSH2 0x04c4
00000348: JUMP
00000349: JUMPDEST
0000034a: PUSH1 0x40
0000034c: MLOAD
0000034d: DUP1
0000034e: DUP3
0000034f: ISZERO
00000350: ISZERO
00000351: ISZERO
00000352: ISZERO
00000353: DUP2
00000354: MSTORE
00000355: PUSH1 0x20
00000357: ADD
00000358: SWAP2
00000359: POP
0000035a: POP
0000035b: PUSH1 0x40
0000035d: MLOAD
0000035e: DUP1
0000035f: SWAP2
00000360: SUB
00000361: SWAP1
00000362: RETURN
00000363: JUMPDEST
00000364: CALLVALUE
00000365: ISZERO
00000366: PUSH2 0x036e
00000369: JUMPI
0000036a: PUSH1 0x00
0000036c: DUP1
0000036d: REVERT
0000036e: JUMPDEST
0000036f: PUSH2 0x039a
00000372: PUSH1 0x04
00000374: DUP1
00000375: DUP1
00000376: CALLDATALOAD
00000377: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000038c: AND
0000038d: SWAP1
0000038e: PUSH1 0x20
00000390: ADD
00000391: SWAP1
00000392: SWAP2
00000393: SWAP1
00000394: POP
00000395: POP
00000396: PUSH2 0x0da8
00000399: JUMP
0000039a: JUMPDEST
0000039b: STOP
0000039c: JUMPDEST
0000039d: CALLVALUE
0000039e: ISZERO
0000039f: PUSH2 0x03a7
000003a2: JUMPI
000003a3: PUSH1 0x00
000003a5: DUP1
000003a6: REVERT
000003a7: JUMPDEST
000003a8: PUSH2 0x03af
000003ab: PUSH2 0x0e4a
000003ae: JUMP
000003af: JUMPDEST
000003b0: PUSH1 0x40
000003b2: MLOAD
000003b3: DUP1
000003b4: DUP3
000003b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003ca: AND
000003cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003e0: AND
000003e1: DUP2
000003e2: MSTORE
000003e3: PUSH1 0x20
000003e5: ADD
000003e6: SWAP2
000003e7: POP
000003e8: POP
000003e9: PUSH1 0x40
000003eb: MLOAD
000003ec: DUP1
000003ed: SWAP2
000003ee: SUB
000003ef: SWAP1
000003f0: RETURN
000003f1: JUMPDEST
000003f2: CALLVALUE
000003f3: ISZERO
000003f4: PUSH2 0x03fc
000003f7: JUMPI
000003f8: PUSH1 0x00
000003fa: DUP1
000003fb: REVERT
000003fc: JUMPDEST
000003fd: PUSH2 0x0404
00000400: PUSH2 0x0e70
00000403: JUMP
00000404: JUMPDEST
00000405: PUSH1 0x40
00000407: MLOAD
00000408: DUP1
00000409: DUP3
0000040a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000041f: AND
00000420: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000435: AND
00000436: DUP2
00000437: MSTORE
00000438: PUSH1 0x20
0000043a: ADD
0000043b: SWAP2
0000043c: POP
0000043d: POP
0000043e: PUSH1 0x40
00000440: MLOAD
00000441: DUP1
00000442: SWAP2
00000443: SUB
00000444: SWAP1
00000445: RETURN
00000446: JUMPDEST
00000447: CALLVALUE
00000448: ISZERO
00000449: PUSH2 0x0451
0000044c: JUMPI
0000044d: PUSH1 0x00
0000044f: DUP1
00000450: REVERT
00000451: JUMPDEST
00000452: PUSH2 0x0459
00000455: PUSH2 0x0e95
00000458: JUMP
00000459: JUMPDEST
0000045a: PUSH1 0x40
0000045c: MLOAD
0000045d: DUP1
0000045e: DUP3
0000045f: DUP2
00000460: MSTORE
00000461: PUSH1 0x20
00000463: ADD
00000464: SWAP2
00000465: POP
00000466: POP
00000467: PUSH1 0x40
00000469: MLOAD
0000046a: DUP1
0000046b: SWAP2
0000046c: SUB
0000046d: SWAP1
0000046e: RETURN
0000046f: JUMPDEST
00000470: CALLVALUE
00000471: ISZERO
00000472: PUSH2 0x047a
00000475: JUMPI
00000476: PUSH1 0x00
00000478: DUP1
00000479: REVERT
0000047a: JUMPDEST
0000047b: PUSH2 0x0482
0000047e: PUSH2 0x0e9b
00000481: JUMP
00000482: JUMPDEST
00000483: PUSH1 0x40
00000485: MLOAD
00000486: DUP1
00000487: DUP3
00000488: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000049d: AND
0000049e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004b3: AND
000004b4: DUP2
000004b5: MSTORE
000004b6: PUSH1 0x20
000004b8: ADD
000004b9: SWAP2
000004ba: POP
000004bb: POP
000004bc: PUSH1 0x40
000004be: MLOAD
000004bf: DUP1
000004c0: SWAP2
000004c1: SUB
000004c2: SWAP1
000004c3: RETURN
000004c4: JUMPDEST
000004c5: PUSH1 0x00
000004c7: DUP1
000004c8: PUSH1 0x00
000004ca: DUP1
000004cb: PUSH1 0x04
000004cd: SLOAD
000004ce: TIMESTAMP
000004cf: LT
000004d0: DUP1
000004d1: PUSH2 0x04db
000004d4: JUMPI
000004d5: POP
000004d6: PUSH1 0x05
000004d8: SLOAD
000004d9: TIMESTAMP
000004da: GT
000004db: JUMPDEST
000004dc: ISZERO
000004dd: PUSH2 0x04e5
000004e0: JUMPI
000004e1: PUSH1 0x00
000004e3: DUP1
000004e4: REVERT
000004e5: JUMPDEST
000004e6: PUSH1 0x00
000004e8: CALLVALUE
000004e9: EQ
000004ea: ISZERO
000004eb: PUSH2 0x04f3
000004ee: JUMPI
000004ef: PUSH1 0x00
000004f1: DUP1
000004f2: REVERT
000004f3: JUMPDEST
000004f4: PUSH8 0x0de0b6b3a7640000
000004fd: PUSH1 0x09
000004ff: PUSH1 0x00
00000501: SWAP1
00000502: SLOAD
00000503: SWAP1
00000504: PUSH2 0x0100
00000507: EXP
00000508: SWAP1
00000509: DIV
0000050a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000051f: AND
00000520: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000535: AND
00000536: PUSH4 0x98d5fdca
0000053b: PUSH1 0x00
0000053d: PUSH1 0x40
0000053f: MLOAD
00000540: PUSH1 0x20
00000542: ADD
00000543: MSTORE
00000544: PUSH1 0x40
00000546: MLOAD
00000547: DUP2
00000548: PUSH4 0xffffffff
0000054d: AND
0000054e: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000056c: MUL
0000056d: DUP2
0000056e: MSTORE
0000056f: PUSH1 0x04
00000571: ADD
00000572: PUSH1 0x20
00000574: PUSH1 0x40
00000576: MLOAD
00000577: DUP1
00000578: DUP4
00000579: SUB
0000057a: DUP2
0000057b: PUSH1 0x00
0000057d: DUP8
0000057e: DUP1
0000057f: EXTCODESIZE
00000580: ISZERO
00000581: ISZERO
00000582: PUSH2 0x058a
00000585: JUMPI
00000586: PUSH1 0x00
00000588: DUP1
00000589: REVERT
0000058a: JUMPDEST
0000058b: PUSH2 0x02c6
0000058e: GAS
0000058f: SUB
00000590: CALL
00000591: ISZERO
00000592: ISZERO
00000593: PUSH2 0x059b
00000596: JUMPI
00000597: PUSH1 0x00
00000599: DUP1
0000059a: REVERT
0000059b: JUMPDEST
0000059c: POP
0000059d: POP
0000059e: POP
0000059f: PUSH1 0x40
000005a1: MLOAD
000005a2: DUP1
000005a3: MLOAD
000005a4: SWAP1
000005a5: POP
000005a6: DUP2
000005a7: ISZERO
000005a8: ISZERO
000005a9: PUSH2 0x05ae
000005ac: JUMPI
000005ad: INVALID
000005ae: JUMPDEST
000005af: DIV
000005b0: SWAP3
000005b1: POP
000005b2: PUSH1 0x06
000005b4: SLOAD
000005b5: PUSH2 0x05be
000005b8: CALLVALUE
000005b9: DUP6
000005ba: PUSH2 0x0ec1
000005bd: JUMP
000005be: JUMPDEST
000005bf: DUP2
000005c0: ISZERO
000005c1: ISZERO
000005c2: PUSH2 0x05c7
000005c5: JUMPI
000005c6: INVALID
000005c7: JUMPDEST
000005c8: DIV
000005c9: SWAP2
000005ca: POP
000005cb: PUSH1 0x07
000005cd: SLOAD
000005ce: PUSH1 0x08
000005d0: PUSH1 0x01
000005d2: SWAP1
000005d3: SLOAD
000005d4: SWAP1
000005d5: PUSH2 0x0100
000005d8: EXP
000005d9: SWAP1
000005da: DIV
000005db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005f0: AND
000005f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000606: AND
00000607: PUSH4 0xc4e41b22
0000060c: PUSH1 0x00
0000060e: PUSH1 0x40
00000610: MLOAD
00000611: PUSH1 0x20
00000613: ADD
00000614: MSTORE
00000615: PUSH1 0x40
00000617: MLOAD
00000618: DUP2
00000619: PUSH4 0xffffffff
0000061e: AND
0000061f: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000063d: MUL
0000063e: DUP2
0000063f: MSTORE
00000640: PUSH1 0x04
00000642: ADD
00000643: PUSH1 0x20
00000645: PUSH1 0x40
00000647: MLOAD
00000648: DUP1
00000649: DUP4
0000064a: SUB
0000064b: DUP2
0000064c: PUSH1 0x00
0000064e: DUP8
0000064f: DUP1
00000650: EXTCODESIZE
00000651: ISZERO
00000652: ISZERO
00000653: PUSH2 0x065b
00000656: JUMPI
00000657: PUSH1 0x00
00000659: DUP1
0000065a: REVERT
0000065b: JUMPDEST
0000065c: PUSH2 0x02c6
0000065f: GAS
00000660: SUB
00000661: CALL
00000662: ISZERO
00000663: ISZERO
00000664: PUSH2 0x066c
00000667: JUMPI
00000668: PUSH1 0x00
0000066a: DUP1
0000066b: REVERT
0000066c: JUMPDEST
0000066d: POP
0000066e: POP
0000066f: POP
00000670: PUSH1 0x40
00000672: MLOAD
00000673: DUP1
00000674: MLOAD
00000675: SWAP1
00000676: POP
00000677: DUP4
00000678: ADD
00000679: GT
0000067a: ISZERO
0000067b: PUSH2 0x0683
0000067e: JUMPI
0000067f: PUSH1 0x00
00000681: DUP1
00000682: REVERT
00000683: JUMPDEST
00000684: PUSH1 0x08
00000686: PUSH1 0x01
00000688: SWAP1
00000689: SLOAD
0000068a: SWAP1
0000068b: PUSH2 0x0100
0000068e: EXP
0000068f: SWAP1
00000690: DIV
00000691: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006a6: AND
000006a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006bc: AND
000006bd: PUSH4 0x66e7ea0f
000006c2: CALLER
000006c3: DUP5
000006c4: PUSH1 0x00
000006c6: PUSH1 0x40
000006c8: MLOAD
000006c9: PUSH1 0x20
000006cb: ADD
000006cc: MSTORE
000006cd: PUSH1 0x40
000006cf: MLOAD
000006d0: DUP4
000006d1: PUSH4 0xffffffff
000006d6: AND
000006d7: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
000006f5: MUL
000006f6: DUP2
000006f7: MSTORE
000006f8: PUSH1 0x04
000006fa: ADD
000006fb: DUP1
000006fc: DUP4
000006fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000712: AND
00000713: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000728: AND
00000729: DUP2
0000072a: MSTORE
0000072b: PUSH1 0x20
0000072d: ADD
0000072e: DUP3
0000072f: DUP2
00000730: MSTORE
00000731: PUSH1 0x20
00000733: ADD
00000734: SWAP3
00000735: POP
00000736: POP
00000737: POP
00000738: PUSH1 0x20
0000073a: PUSH1 0x40
0000073c: MLOAD
0000073d: DUP1
0000073e: DUP4
0000073f: SUB
00000740: DUP2
00000741: PUSH1 0x00
00000743: DUP8
00000744: DUP1
00000745: EXTCODESIZE
00000746: ISZERO
00000747: ISZERO
00000748: PUSH2 0x0750
0000074b: JUMPI
0000074c: PUSH1 0x00
0000074e: DUP1
0000074f: REVERT
00000750: JUMPDEST
00000751: PUSH2 0x02c6
00000754: GAS
00000755: SUB
00000756: CALL
00000757: ISZERO
00000758: ISZERO
00000759: PUSH2 0x0761
0000075c: JUMPI
0000075d: PUSH1 0x00
0000075f: DUP1
00000760: REVERT
00000761: JUMPDEST
00000762: POP
00000763: POP
00000764: POP
00000765: PUSH1 0x40
00000767: MLOAD
00000768: DUP1
00000769: MLOAD
0000076a: SWAP1
0000076b: POP
0000076c: POP
0000076d: PUSH1 0x08
0000076f: PUSH1 0x01
00000771: SWAP1
00000772: SLOAD
00000773: SWAP1
00000774: PUSH2 0x0100
00000777: EXP
00000778: SWAP1
00000779: DIV
0000077a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000078f: AND
00000790: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007a5: AND
000007a6: PUSH4 0xecfc5964
000007ab: DUP4
000007ac: PUSH1 0x00
000007ae: PUSH1 0x40
000007b0: MLOAD
000007b1: PUSH1 0x20
000007b3: ADD
000007b4: MSTORE
000007b5: PUSH1 0x40
000007b7: MLOAD
000007b8: DUP3
000007b9: PUSH4 0xffffffff
000007be: AND
000007bf: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
000007dd: MUL
000007de: DUP2
000007df: MSTORE
000007e0: PUSH1 0x04
000007e2: ADD
000007e3: DUP1
000007e4: DUP3
000007e5: DUP2
000007e6: MSTORE
000007e7: PUSH1 0x20
000007e9: ADD
000007ea: SWAP2
000007eb: POP
000007ec: POP
000007ed: PUSH1 0x20
000007ef: PUSH1 0x40
000007f1: MLOAD
000007f2: DUP1
000007f3: DUP4
000007f4: SUB
000007f5: DUP2
000007f6: PUSH1 0x00
000007f8: DUP8
000007f9: DUP1
000007fa: EXTCODESIZE
000007fb: ISZERO
000007fc: ISZERO
000007fd: PUSH2 0x0805
00000800: JUMPI
00000801: PUSH1 0x00
00000803: DUP1
00000804: REVERT
00000805: JUMPDEST
00000806: PUSH2 0x02c6
00000809: GAS
0000080a: SUB
0000080b: CALL
0000080c: ISZERO
0000080d: ISZERO
0000080e: PUSH2 0x0816
00000811: JUMPI
00000812: PUSH1 0x00
00000814: DUP1
00000815: REVERT
00000816: JUMPDEST
00000817: POP
00000818: POP
00000819: POP
0000081a: PUSH1 0x40
0000081c: MLOAD
0000081d: DUP1
0000081e: MLOAD
0000081f: SWAP1
00000820: POP
00000821: POP
00000822: DUP2
00000823: PUSH1 0x03
00000825: SLOAD
00000826: PUSH2 0x082f
00000829: CALLVALUE
0000082a: DUP7
0000082b: PUSH2 0x0ec1
0000082e: JUMP
0000082f: JUMPDEST
00000830: DUP2
00000831: ISZERO
00000832: ISZERO
00000833: PUSH2 0x0838
00000836: JUMPI
00000837: INVALID
00000838: JUMPDEST
00000839: DIV
0000083a: SUB
0000083b: SWAP1
0000083c: POP
0000083d: PUSH1 0x08
0000083f: PUSH1 0x01
00000841: SWAP1
00000842: SLOAD
00000843: SWAP1
00000844: PUSH2 0x0100
00000847: EXP
00000848: SWAP1
00000849: DIV
0000084a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000085f: AND
00000860: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000875: AND
00000876: PUSH4 0x66e7ea0f
0000087b: PUSH1 0x02
0000087d: PUSH1 0x00
0000087f: SWAP1
00000880: SLOAD
00000881: SWAP1
00000882: PUSH2 0x0100
00000885: EXP
00000886: SWAP1
00000887: DIV
00000888: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000089d: AND
0000089e: DUP4
0000089f: PUSH1 0x00
000008a1: PUSH1 0x40
000008a3: MLOAD
000008a4: PUSH1 0x20
000008a6: ADD
000008a7: MSTORE
000008a8: PUSH1 0x40
000008aa: MLOAD
000008ab: DUP4
000008ac: PUSH4 0xffffffff
000008b1: AND
000008b2: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
000008d0: MUL
000008d1: DUP2
000008d2: MSTORE
000008d3: PUSH1 0x04
000008d5: ADD
000008d6: DUP1
000008d7: DUP4
000008d8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008ed: AND
000008ee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000903: AND
00000904: DUP2
00000905: MSTORE
00000906: PUSH1 0x20
00000908: ADD
00000909: DUP3
0000090a: DUP2
0000090b: MSTORE
0000090c: PUSH1 0x20
0000090e: ADD
0000090f: SWAP3
00000910: POP
00000911: POP
00000912: POP
00000913: PUSH1 0x20
00000915: PUSH1 0x40
00000917: MLOAD
00000918: DUP1
00000919: DUP4
0000091a: SUB
0000091b: DUP2
0000091c: PUSH1 0x00
0000091e: DUP8
0000091f: DUP1
00000920: EXTCODESIZE
00000921: ISZERO
00000922: ISZERO
00000923: PUSH2 0x092b
00000926: JUMPI
00000927: PUSH1 0x00
00000929: DUP1
0000092a: REVERT
0000092b: JUMPDEST
0000092c: PUSH2 0x02c6
0000092f: GAS
00000930: SUB
00000931: CALL
00000932: ISZERO
00000933: ISZERO
00000934: PUSH2 0x093c
00000937: JUMPI
00000938: PUSH1 0x00
0000093a: DUP1
0000093b: REVERT
0000093c: JUMPDEST
0000093d: POP
0000093e: POP
0000093f: POP
00000940: PUSH1 0x40
00000942: MLOAD
00000943: DUP1
00000944: MLOAD
00000945: SWAP1
00000946: POP
00000947: POP
00000948: PUSH1 0x08
0000094a: PUSH1 0x01
0000094c: SWAP1
0000094d: SLOAD
0000094e: SWAP1
0000094f: PUSH2 0x0100
00000952: EXP
00000953: SWAP1
00000954: DIV
00000955: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000096a: AND
0000096b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000980: AND
00000981: PUSH4 0xecfc5964
00000986: DUP3
00000987: PUSH1 0x00
00000989: PUSH1 0x40
0000098b: MLOAD
0000098c: PUSH1 0x20
0000098e: ADD
0000098f: MSTORE
00000990: PUSH1 0x40
00000992: MLOAD
00000993: DUP3
00000994: PUSH4 0xffffffff
00000999: AND
0000099a: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
000009b8: MUL
000009b9: DUP2
000009ba: MSTORE
000009bb: PUSH1 0x04
000009bd: ADD
000009be: DUP1
000009bf: DUP3
000009c0: DUP2
000009c1: MSTORE
000009c2: PUSH1 0x20
000009c4: ADD
000009c5: SWAP2
000009c6: POP
000009c7: POP
000009c8: PUSH1 0x20
000009ca: PUSH1 0x40
000009cc: MLOAD
000009cd: DUP1
000009ce: DUP4
000009cf: SUB
000009d0: DUP2
000009d1: PUSH1 0x00
000009d3: DUP8
000009d4: DUP1
000009d5: EXTCODESIZE
000009d6: ISZERO
000009d7: ISZERO
000009d8: PUSH2 0x09e0
000009db: JUMPI
000009dc: PUSH1 0x00
000009de: DUP1
000009df: REVERT
000009e0: JUMPDEST
000009e1: PUSH2 0x02c6
000009e4: GAS
000009e5: SUB
000009e6: CALL
000009e7: ISZERO
000009e8: ISZERO
000009e9: PUSH2 0x09f1
000009ec: JUMPI
000009ed: PUSH1 0x00
000009ef: DUP1
000009f0: REVERT
000009f1: JUMPDEST
000009f2: POP
000009f3: POP
000009f4: POP
000009f5: PUSH1 0x40
000009f7: MLOAD
000009f8: DUP1
000009f9: MLOAD
000009fa: SWAP1
000009fb: POP
000009fc: POP
000009fd: CALLER
000009fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a13: AND
00000a14: PUSH32 0x0c4b201a5eb8ab63e539f373c349eafada81e6c7bc25c071fe334c289f17ed7d
00000a35: DUP4
00000a36: DUP6
00000a37: PUSH1 0x40
00000a39: MLOAD
00000a3a: DUP1
00000a3b: DUP1
00000a3c: PUSH1 0x20
00000a3e: ADD
00000a3f: DUP5
00000a40: DUP2
00000a41: MSTORE
00000a42: PUSH1 0x20
00000a44: ADD
00000a45: DUP4
00000a46: DUP2
00000a47: MSTORE
00000a48: PUSH1 0x20
00000a4a: ADD
00000a4b: DUP3
00000a4c: DUP2
00000a4d: SUB
00000a4e: DUP3
00000a4f: MSTORE
00000a50: PUSH1 0x16
00000a52: DUP2
00000a53: MSTORE
00000a54: PUSH1 0x20
00000a56: ADD
00000a57: DUP1
00000a58: PUSH32 0x616666696c696174652d636f6e747269627574696f6e00000000000000000000
00000a79: DUP2
00000a7a: MSTORE
00000a7b: POP
00000a7c: PUSH1 0x20
00000a7e: ADD
00000a7f: SWAP4
00000a80: POP
00000a81: POP
00000a82: POP
00000a83: POP
00000a84: PUSH1 0x40
00000a86: MLOAD
00000a87: DUP1
00000a88: SWAP2
00000a89: SUB
00000a8a: SWAP1
00000a8b: LOG2
00000a8c: PUSH1 0x01
00000a8e: SWAP4
00000a8f: POP
00000a90: POP
00000a91: POP
00000a92: POP
00000a93: SWAP1
00000a94: JUMP
00000a95: JUMPDEST
00000a96: PUSH1 0x06
00000a98: SLOAD
00000a99: DUP2
00000a9a: JUMP
00000a9b: JUMPDEST
00000a9c: PUSH1 0x05
00000a9e: SLOAD
00000a9f: DUP2
00000aa0: JUMP
00000aa1: JUMPDEST
00000aa2: CALLER
00000aa3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ab8: AND
00000ab9: PUSH1 0x00
00000abb: DUP1
00000abc: SWAP1
00000abd: SLOAD
00000abe: SWAP1
00000abf: PUSH2 0x0100
00000ac2: EXP
00000ac3: SWAP1
00000ac4: DIV
00000ac5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ada: AND
00000adb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000af0: AND
00000af1: EQ
00000af2: ISZERO
00000af3: PUSH2 0x0b31
00000af6: JUMPI
00000af7: PUSH1 0x01
00000af9: PUSH1 0x00
00000afb: SWAP1
00000afc: SLOAD
00000afd: SWAP1
00000afe: PUSH2 0x0100
00000b01: EXP
00000b02: SWAP1
00000b03: DIV
00000b04: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b19: AND
00000b1a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b2f: AND
00000b30: SELFDESTRUCT
00000b31: JUMPDEST
00000b32: PUSH1 0x00
00000b34: DUP1
00000b35: REVERT
00000b36: JUMPDEST
00000b37: PUSH1 0x0a
00000b39: PUSH1 0x20
00000b3b: MSTORE
00000b3c: DUP1
00000b3d: PUSH1 0x00
00000b3f: MSTORE
00000b40: PUSH1 0x40
00000b42: PUSH1 0x00
00000b44: KECCAK256
00000b45: PUSH1 0x00
00000b47: SWAP2
00000b48: POP
00000b49: SLOAD
00000b4a: SWAP1
00000b4b: PUSH2 0x0100
00000b4e: EXP
00000b4f: SWAP1
00000b50: DIV
00000b51: PUSH1 0xff
00000b53: AND
00000b54: DUP2
00000b55: JUMP
00000b56: JUMPDEST
00000b57: CALLER
00000b58: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b6d: AND
00000b6e: PUSH1 0x00
00000b70: DUP1
00000b71: SWAP1
00000b72: SLOAD
00000b73: SWAP1
00000b74: PUSH2 0x0100
00000b77: EXP
00000b78: SWAP1
00000b79: DIV
00000b7a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b8f: AND
00000b90: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ba5: AND
00000ba6: EQ
00000ba7: ISZERO
00000ba8: PUSH2 0x0c29
00000bab: JUMPI
00000bac: PUSH1 0x01
00000bae: PUSH1 0x00
00000bb0: SWAP1
00000bb1: SLOAD
00000bb2: SWAP1
00000bb3: PUSH2 0x0100
00000bb6: EXP
00000bb7: SWAP1
00000bb8: DIV
00000bb9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bce: AND
00000bcf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000be4: AND
00000be5: PUSH2 0x08fc
00000be8: ADDRESS
00000be9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bfe: AND
00000bff: BALANCE
00000c00: SWAP1
00000c01: DUP2
00000c02: ISZERO
00000c03: MUL
00000c04: SWAP1
00000c05: PUSH1 0x40
00000c07: MLOAD
00000c08: PUSH1 0x00
00000c0a: PUSH1 0x40
00000c0c: MLOAD
00000c0d: DUP1
00000c0e: DUP4
00000c0f: SUB
00000c10: DUP2
00000c11: DUP6
00000c12: DUP9
00000c13: DUP9
00000c14: CALL
00000c15: SWAP4
00000c16: POP
00000c17: POP
00000c18: POP
00000c19: POP
00000c1a: ISZERO
00000c1b: ISZERO
00000c1c: PUSH2 0x0c24
00000c1f: JUMPI
00000c20: PUSH1 0x00
00000c22: DUP1
00000c23: REVERT
00000c24: JUMPDEST
00000c25: PUSH2 0x0c2e
00000c28: JUMP
00000c29: JUMPDEST
00000c2a: PUSH1 0x00
00000c2c: DUP1
00000c2d: REVERT
00000c2e: JUMPDEST
00000c2f: POP
00000c30: JUMP
00000c31: JUMPDEST
00000c32: PUSH1 0x00
00000c34: CALLER
00000c35: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c4a: AND
00000c4b: PUSH1 0x00
00000c4d: DUP1
00000c4e: SWAP1
00000c4f: SLOAD
00000c50: SWAP1
00000c51: PUSH2 0x0100
00000c54: EXP
00000c55: SWAP1
00000c56: DIV
00000c57: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c6c: AND
00000c6d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c82: AND
00000c83: EQ
00000c84: ISZERO
00000c85: PUSH2 0x0d35
00000c88: JUMPI
00000c89: PUSH1 0x05
00000c8b: SLOAD
00000c8c: TIMESTAMP
00000c8d: GT
00000c8e: ISZERO
00000c8f: ISZERO
00000c90: PUSH2 0x0c98
00000c93: JUMPI
00000c94: PUSH1 0x00
00000c96: DUP1
00000c97: REVERT
00000c98: JUMPDEST
00000c99: PUSH1 0x01
00000c9b: PUSH1 0x08
00000c9d: PUSH1 0x00
00000c9f: PUSH2 0x0100
00000ca2: EXP
00000ca3: DUP2
00000ca4: SLOAD
00000ca5: DUP2
00000ca6: PUSH1 0xff
00000ca8: MUL
00000ca9: NOT
00000caa: AND
00000cab: SWAP1
00000cac: DUP4
00000cad: ISZERO
00000cae: ISZERO
00000caf: MUL
00000cb0: OR
00000cb1: SWAP1
00000cb2: SSTORE
00000cb3: POP
00000cb4: PUSH1 0x01
00000cb6: PUSH1 0x00
00000cb8: SWAP1
00000cb9: SLOAD
00000cba: SWAP1
00000cbb: PUSH2 0x0100
00000cbe: EXP
00000cbf: SWAP1
00000cc0: DIV
00000cc1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cd6: AND
00000cd7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cec: AND
00000ced: PUSH2 0x08fc
00000cf0: ADDRESS
00000cf1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d06: AND
00000d07: BALANCE
00000d08: SWAP1
00000d09: DUP2
00000d0a: ISZERO
00000d0b: MUL
00000d0c: SWAP1
00000d0d: PUSH1 0x40
00000d0f: MLOAD
00000d10: PUSH1 0x00
00000d12: PUSH1 0x40
00000d14: MLOAD
00000d15: DUP1
00000d16: DUP4
00000d17: SUB
00000d18: DUP2
00000d19: DUP6
00000d1a: DUP9
00000d1b: DUP9
00000d1c: CALL
00000d1d: SWAP4
00000d1e: POP
00000d1f: POP
00000d20: POP
00000d21: POP
00000d22: ISZERO
00000d23: ISZERO
00000d24: PUSH2 0x0d2c
00000d27: JUMPI
00000d28: PUSH1 0x00
00000d2a: DUP1
00000d2b: REVERT
00000d2c: JUMPDEST
00000d2d: PUSH1 0x01
00000d2f: SWAP1
00000d30: POP
00000d31: PUSH2 0x0d3a
00000d34: JUMP
00000d35: JUMPDEST
00000d36: PUSH1 0x00
00000d38: DUP1
00000d39: REVERT
00000d3a: JUMPDEST
00000d3b: SWAP1
00000d3c: JUMP
00000d3d: JUMPDEST
00000d3e: PUSH1 0x01
00000d40: PUSH1 0x00
00000d42: SWAP1
00000d43: SLOAD
00000d44: SWAP1
00000d45: PUSH2 0x0100
00000d48: EXP
00000d49: SWAP1
00000d4a: DIV
00000d4b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d60: AND
00000d61: DUP2
00000d62: JUMP
00000d63: JUMPDEST
00000d64: PUSH1 0x04
00000d66: SLOAD
00000d67: DUP2
00000d68: JUMP
00000d69: JUMPDEST
00000d6a: PUSH1 0x08
00000d6c: PUSH1 0x01
00000d6e: SWAP1
00000d6f: SLOAD
00000d70: SWAP1
00000d71: PUSH2 0x0100
00000d74: EXP
00000d75: SWAP1
00000d76: DIV
00000d77: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d8c: AND
00000d8d: DUP2
00000d8e: JUMP
00000d8f: JUMPDEST
00000d90: PUSH1 0x08
00000d92: PUSH1 0x00
00000d94: SWAP1
00000d95: SLOAD
00000d96: SWAP1
00000d97: PUSH2 0x0100
00000d9a: EXP
00000d9b: SWAP1
00000d9c: DIV
00000d9d: PUSH1 0xff
00000d9f: AND
00000da0: DUP2
00000da1: JUMP
00000da2: JUMPDEST
00000da3: PUSH1 0x07
00000da5: SLOAD
00000da6: DUP2
00000da7: JUMP
00000da8: JUMPDEST
00000da9: CALLER
00000daa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dbf: AND
00000dc0: PUSH1 0x00
00000dc2: DUP1
00000dc3: SWAP1
00000dc4: SLOAD
00000dc5: SWAP1
00000dc6: PUSH2 0x0100
00000dc9: EXP
00000dca: SWAP1
00000dcb: DIV
00000dcc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000de1: AND
00000de2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000df7: AND
00000df8: EQ
00000df9: ISZERO
00000dfa: PUSH2 0x0e42
00000dfd: JUMPI
00000dfe: DUP1
00000dff: PUSH1 0x00
00000e01: DUP1
00000e02: PUSH2 0x0100
00000e05: EXP
00000e06: DUP2
00000e07: SLOAD
00000e08: DUP2
00000e09: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e1e: MUL
00000e1f: NOT
00000e20: AND
00000e21: SWAP1
00000e22: DUP4
00000e23: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e38: AND
00000e39: MUL
00000e3a: OR
00000e3b: SWAP1
00000e3c: SSTORE
00000e3d: POP
00000e3e: PUSH2 0x0e47
00000e41: JUMP
00000e42: JUMPDEST
00000e43: PUSH1 0x00
00000e45: DUP1
00000e46: REVERT
00000e47: JUMPDEST
00000e48: POP
00000e49: JUMP
00000e4a: JUMPDEST
00000e4b: PUSH1 0x09
00000e4d: PUSH1 0x00
00000e4f: SWAP1
00000e50: SLOAD
00000e51: SWAP1
00000e52: PUSH2 0x0100
00000e55: EXP
00000e56: SWAP1
00000e57: DIV
00000e58: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e6d: AND
00000e6e: DUP2
00000e6f: JUMP
00000e70: JUMPDEST
00000e71: PUSH1 0x00
00000e73: DUP1
00000e74: SWAP1
00000e75: SLOAD
00000e76: SWAP1
00000e77: PUSH2 0x0100
00000e7a: EXP
00000e7b: SWAP1
00000e7c: DIV
00000e7d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e92: AND
00000e93: DUP2
00000e94: JUMP
00000e95: JUMPDEST
00000e96: PUSH1 0x03
00000e98: SLOAD
00000e99: DUP2
00000e9a: JUMP
00000e9b: JUMPDEST
00000e9c: PUSH1 0x02
00000e9e: PUSH1 0x00
00000ea0: SWAP1
00000ea1: SLOAD
00000ea2: SWAP1
00000ea3: PUSH2 0x0100
00000ea6: EXP
00000ea7: SWAP1
00000ea8: DIV
00000ea9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ebe: AND
00000ebf: DUP2
00000ec0: JUMP
00000ec1: JUMPDEST
00000ec2: PUSH1 0x00
00000ec4: DUP1
00000ec5: DUP3
00000ec6: DUP5
00000ec7: MUL
00000ec8: SWAP1
00000ec9: POP
00000eca: PUSH2 0x0eea
00000ecd: PUSH1 0x00
00000ecf: DUP6
00000ed0: EQ
00000ed1: DUP1
00000ed2: PUSH2 0x0ee5
00000ed5: JUMPI
00000ed6: POP
00000ed7: DUP4
00000ed8: DUP6
00000ed9: DUP4
00000eda: DUP2
00000edb: ISZERO
00000edc: ISZERO
00000edd: PUSH2 0x0ee2
00000ee0: JUMPI
00000ee1: INVALID
00000ee2: JUMPDEST
00000ee3: DIV
00000ee4: EQ
00000ee5: JUMPDEST
00000ee6: PUSH2 0x0ef4
00000ee9: JUMP
00000eea: JUMPDEST
00000eeb: DUP1
00000eec: SWAP2
00000eed: POP
00000eee: POP
00000eef: SWAP3
00000ef0: SWAP2
00000ef1: POP
00000ef2: POP
00000ef3: JUMP
00000ef4: JUMPDEST
00000ef5: DUP1
00000ef6: ISZERO
00000ef7: ISZERO
00000ef8: PUSH2 0x0f00
00000efb: JUMPI
00000efc: PUSH1 0x00
00000efe: DUP1
00000eff: REVERT
00000f00: JUMPDEST
00000f01: POP
00000f02: JUMP
00000f03: STOP
00000f04: LOG1
00000f05: PUSH6 0x627a7a723058
00000f0c: KECCAK256
00000f0d: UNKNOWN(0xB1)
00000f0e: UNKNOWN(0xAE)
00000f0f: UNKNOWN(0xC5)
00000f10: LOG0
00000f11: UNKNOWN(0xFC)
00000f12: UNKNOWN(0xE4)
00000f13: PUSH7 0x796c9e79dd5dd8
00000f1b: UNKNOWN(0xEC)
00000f1c: TLOAD
00000f1d: SHR
00000f1e: PUSH26
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: 0xd7dc126a8b6b88e67a15781ba3b3b6cc29304a63d0290f69c368a16a695d75c9
call_targets: 0x43907ed071d821228562aac8aa5ec119dca77759
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xd7dc126a8b6b88e67a15781ba3b3b6cc29304a63d0290f69c368a16a695d75c9",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x43907ed071d821228562aac8aa5ec119dca77759"
    ],
    "matched_probe": null,
    "target_varies": false,
    "classification": "constant_target"
}
witness_json 
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xffffffff",
            "selector": "0xffffffff",
            "calldata_variants": [
                "0xffffffff",
                "0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x13faede6",
            "selector": "0x13faede6",
            "calldata_variants": [
                "0x13faede6",
                "0x13faede60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3197cbb6",
            "selector": "0x3197cbb6",
            "calldata_variants": [
                "0x3197cbb6",
                "0x3197cbb60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x41c0e1b5",
            "selector": "0x41c0e1b5",
            "calldata_variants": [
                "0x41c0e1b5",
                "0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x429b62e5",
            "selector": "0x429b62e5",
            "calldata_variants": [
                "0x429b62e5",
                "0x429b62e50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x486581ea",
            "selector": "0x486581ea",
            "calldata_variants": [
                "0x486581ea",
                "0x486581ea0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4bb278f3",
            "selector": "0x4bb278f3",
            "calldata_variants": [
                "0x4bb278f3",
                "0x4bb278f30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x63bd1d4a",
            "selector": "0x63bd1d4a",
            "calldata_variants": [
                "0x63bd1d4a",
                "0x63bd1d4a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 1424,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1633,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1878,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 8,
    "guards_detected": [],
    "untrusted_call_count": 8
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0xd7dc126a8b6b88e67a15781ba3b3b6cc29304a63d0290f69c368a16a695d75c9
call_targets: 0x43907ed071d821228562aac8aa5ec119dca77759
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xd7dc126a8b6b88e67a15781ba3b3b6cc29304a63d0290f69c368a16a695d75c9",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x43907ed071d821228562aac8aa5ec119dca77759"
    ],
    "matched_probe": null,
    "target_varies": false,
    "classification": "constant_target"
}
witness_json 
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xffffffff",
            "selector": "0xffffffff",
            "calldata_variants": [
                "0xffffffff",
                "0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x13faede6",
            "selector": "0x13faede6",
            "calldata_variants": [
                "0x13faede6",
                "0x13faede60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3197cbb6",
            "selector": "0x3197cbb6",
            "calldata_variants": [
                "0x3197cbb6",
                "0x3197cbb60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x41c0e1b5",
            "selector": "0x41c0e1b5",
            "calldata_variants": [
                "0x41c0e1b5",
                "0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x429b62e5",
            "selector": "0x429b62e5",
            "calldata_variants": [
                "0x429b62e5",
                "0x429b62e50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x486581ea",
            "selector": "0x486581ea",
            "calldata_variants": [
                "0x486581ea",
                "0x486581ea0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4bb278f3",
            "selector": "0x4bb278f3",
            "calldata_variants": [
                "0x4bb278f3",
                "0x4bb278f30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x63bd1d4a",
            "selector": "0x63bd1d4a",
            "calldata_variants": [
                "0x63bd1d4a",
                "0x63bd1d4a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 1424,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1633,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1878,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 8,
    "guards_detected": []
}
high other detector SELFDESTRUCT reachable 65 no no
view
trace_id: 0x809592025e124e83bc0a463d140376904039db87e9eb3672d09e104fcab1aae8
validation_json 
{
    "sink": "SELFDESTRUCT",
    "errors": 0,
    "status": "unknown",
    "attempts": 32,
    "trace_id": "0x809592025e124e83bc0a463d140376904039db87e9eb3672d09e104fcab1aae8",
    "confirmed": false,
    "trace_mode": "structLogs",
    "call_targets": null,
    "matched_probe": null,
    "target_varies": null,
    "classification": "no_sink"
}
witness_json 
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xffffffff",
            "selector": "0xffffffff",
            "calldata_variants": [
                "0xffffffff",
                "0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x13faede6",
            "selector": "0x13faede6",
            "calldata_variants": [
                "0x13faede6",
                "0x13faede60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3197cbb6",
            "selector": "0x3197cbb6",
            "calldata_variants": [
                "0x3197cbb6",
                "0x3197cbb60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x41c0e1b5",
            "selector": "0x41c0e1b5",
            "calldata_variants": [
                "0x41c0e1b5",
                "0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x429b62e5",
            "selector": "0x429b62e5",
            "calldata_variants": [
                "0x429b62e5",
                "0x429b62e50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x486581ea",
            "selector": "0x486581ea",
            "calldata_variants": [
                "0x486581ea",
                "0x486581ea0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4bb278f3",
            "selector": "0x4bb278f3",
            "calldata_variants": [
                "0x4bb278f3",
                "0x4bb278f30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x63bd1d4a",
            "selector": "0x63bd1d4a",
            "calldata_variants": [
                "0x63bd1d4a",
                "0x63bd1d4a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "guards_detected": [],
    "selfdestruct_count": 1
}