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

Analysis Run

019b3836-2dd3-7153-9722-428ce4314ce7

complete
Chain ID
1
Address
0xfca60f7ac94e26e40274da31b4f6438e95d59fa6
Block Number
—
Created
Fri, Dec 19, 2025 8:03 PM
Review Summary

What survived the funnel

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

back to vulns open contract
Confirmed
0
Validated
0
Source
Bytecode only
Review Backing
Not yet
Best current signal
Untrusted CALL target/value reachable
crit 0 high 0 direct contract
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
2163 artifact.fetch complete 1 / 3 4 months ago
2164 tool.cast_disasm complete 1 / 3 4 months ago
96438 analysis.bundle complete 1 / 3 2 weeks ago
96439 capability.graph complete 1 / 3 2 weeks ago
96440 detector.run complete 1 / 3 2 weeks ago
96441 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)
4
EXT*/BALANCE
2
Total opcodes
2414
Flags
No heuristic flags raised.
View cast disassembly output 
00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x00c1
0000000a: JUMPI
0000000b: PUSH1 0x00
0000000d: CALLDATALOAD
0000000e: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000002c: SWAP1
0000002d: DIV
0000002e: DUP1
0000002f: PUSH4 0x4001a81f
00000034: EQ
00000035: PUSH2 0x0195
00000038: JUMPI
00000039: DUP1
0000003a: PUSH4 0x4049700f
0000003f: EQ
00000040: PUSH2 0x01bf
00000043: JUMPI
00000044: DUP1
00000045: PUSH4 0x41c0e1b5
0000004a: EQ
0000004b: PUSH2 0x01e2
0000004e: JUMPI
0000004f: DUP1
00000050: PUSH4 0x8da5cb5b
00000055: EQ
00000056: PUSH2 0x01f1
00000059: JUMPI
0000005a: DUP1
0000005b: PUSH4 0x99baa10c
00000060: EQ
00000061: PUSH2 0x022a
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0xa3934658
0000006b: EQ
0000006c: PUSH2 0x024d
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xa6f9dae1
00000076: EQ
00000077: PUSH2 0x025c
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xab377daa
00000081: EQ
00000082: PUSH2 0x0274
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xb3364a26
0000008c: EQ
0000008d: PUSH2 0x02cb
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0xbf76c0ef
00000097: EQ
00000098: PUSH2 0x02ee
0000009b: JUMPI
0000009c: DUP1
0000009d: PUSH4 0xd59933d5
000000a2: EQ
000000a3: PUSH2 0x0306
000000a6: JUMPI
000000a7: DUP1
000000a8: PUSH4 0xdb29fe12
000000ad: EQ
000000ae: PUSH2 0x0315
000000b1: JUMPI
000000b2: DUP1
000000b3: PUSH4 0xde88a342
000000b8: EQ
000000b9: PUSH2 0x032d
000000bc: JUMPI
000000bd: PUSH2 0x00c1
000000c0: JUMP
000000c1: JUMPDEST
000000c2: PUSH2 0x0193
000000c5: JUMPDEST
000000c6: PUSH1 0x00
000000c8: PUSH1 0x00
000000ca: NUMBER
000000cb: PUSH32 0x5d6ac9b7defd8fbb29ef2ab0f08c3744192b3777466dd98d1fd7daed5064b6db
000000ec: CALLER
000000ed: CALLVALUE
000000ee: TIMESTAMP
000000ef: PUSH1 0x40
000000f1: MLOAD
000000f2: DUP1
000000f3: DUP5
000000f4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000109: AND
0000010a: DUP2
0000010b: MSTORE
0000010c: PUSH1 0x20
0000010e: ADD
0000010f: DUP4
00000110: DUP2
00000111: MSTORE
00000112: PUSH1 0x20
00000114: ADD
00000115: DUP3
00000116: DUP2
00000117: MSTORE
00000118: PUSH1 0x20
0000011a: ADD
0000011b: SWAP4
0000011c: POP
0000011d: POP
0000011e: POP
0000011f: POP
00000120: PUSH1 0x40
00000122: MLOAD
00000123: DUP1
00000124: SWAP2
00000125: SUB
00000126: SWAP1
00000127: LOG2
00000128: PUSH1 0x01
0000012a: PUSH1 0x00
0000012c: POP
0000012d: DUP1
0000012e: SLOAD
0000012f: SWAP1
00000130: POP
00000131: PUSH1 0x00
00000133: CALLVALUE
00000134: MUL
00000135: DIV
00000136: SWAP2
00000137: POP
00000138: PUSH1 0x00
0000013a: SWAP1
0000013b: POP
0000013c: JUMPDEST
0000013d: PUSH1 0x01
0000013f: PUSH1 0x00
00000141: POP
00000142: DUP1
00000143: SLOAD
00000144: SWAP1
00000145: POP
00000146: DUP2
00000147: LT
00000148: ISZERO
00000149: PUSH2 0x018e
0000014c: JUMPI
0000014d: DUP2
0000014e: PUSH1 0x01
00000150: PUSH1 0x00
00000152: POP
00000153: DUP3
00000154: DUP2
00000155: SLOAD
00000156: DUP2
00000157: LT
00000158: ISZERO
00000159: PUSH2 0x0002
0000015c: JUMPI
0000015d: SWAP1
0000015e: PUSH1 0x00
00000160: MSTORE
00000161: PUSH1 0x20
00000163: PUSH1 0x00
00000165: KECCAK256
00000166: SWAP1
00000167: PUSH1 0x04
00000169: MUL
0000016a: ADD
0000016b: PUSH1 0x00
0000016d: JUMPDEST
0000016e: POP
0000016f: PUSH1 0x01
00000171: ADD
00000172: PUSH1 0x00
00000174: DUP3
00000175: DUP3
00000176: DUP3
00000177: POP
00000178: SLOAD
00000179: ADD
0000017a: SWAP3
0000017b: POP
0000017c: POP
0000017d: DUP2
0000017e: SWAP1
0000017f: SSTORE
00000180: POP
00000181: JUMPDEST
00000182: DUP1
00000183: DUP1
00000184: PUSH1 0x01
00000186: ADD
00000187: SWAP2
00000188: POP
00000189: POP
0000018a: PUSH2 0x013c
0000018d: JUMP
0000018e: JUMPDEST
0000018f: JUMPDEST
00000190: POP
00000191: POP
00000192: JUMP
00000193: JUMPDEST
00000194: STOP
00000195: JUMPDEST
00000196: PUSH2 0x01bd
00000199: PUSH1 0x04
0000019b: DUP1
0000019c: DUP1
0000019d: CALLDATALOAD
0000019e: SWAP1
0000019f: PUSH1 0x20
000001a1: ADD
000001a2: SWAP1
000001a3: SWAP2
000001a4: SWAP1
000001a5: DUP1
000001a6: CALLDATALOAD
000001a7: SWAP1
000001a8: PUSH1 0x20
000001aa: ADD
000001ab: SWAP1
000001ac: SWAP2
000001ad: SWAP1
000001ae: DUP1
000001af: CALLDATALOAD
000001b0: SWAP1
000001b1: PUSH1 0x20
000001b3: ADD
000001b4: SWAP1
000001b5: SWAP2
000001b6: SWAP1
000001b7: POP
000001b8: POP
000001b9: PUSH2 0x0585
000001bc: JUMP
000001bd: JUMPDEST
000001be: STOP
000001bf: JUMPDEST
000001c0: PUSH2 0x01cc
000001c3: PUSH1 0x04
000001c5: DUP1
000001c6: POP
000001c7: POP
000001c8: PUSH2 0x08a4
000001cb: JUMP
000001cc: JUMPDEST
000001cd: PUSH1 0x40
000001cf: MLOAD
000001d0: DUP1
000001d1: DUP3
000001d2: DUP2
000001d3: MSTORE
000001d4: PUSH1 0x20
000001d6: ADD
000001d7: SWAP2
000001d8: POP
000001d9: POP
000001da: PUSH1 0x40
000001dc: MLOAD
000001dd: DUP1
000001de: SWAP2
000001df: SUB
000001e0: SWAP1
000001e1: RETURN
000001e2: JUMPDEST
000001e3: PUSH2 0x01ef
000001e6: PUSH1 0x04
000001e8: DUP1
000001e9: POP
000001ea: POP
000001eb: PUSH2 0x09dc
000001ee: JUMP
000001ef: JUMPDEST
000001f0: STOP
000001f1: JUMPDEST
000001f2: PUSH2 0x01fe
000001f5: PUSH1 0x04
000001f7: DUP1
000001f8: POP
000001f9: POP
000001fa: PUSH2 0x08b4
000001fd: JUMP
000001fe: JUMPDEST
000001ff: PUSH1 0x40
00000201: MLOAD
00000202: DUP1
00000203: DUP3
00000204: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000219: AND
0000021a: DUP2
0000021b: MSTORE
0000021c: PUSH1 0x20
0000021e: ADD
0000021f: SWAP2
00000220: POP
00000221: POP
00000222: PUSH1 0x40
00000224: MLOAD
00000225: DUP1
00000226: SWAP2
00000227: SUB
00000228: SWAP1
00000229: RETURN
0000022a: JUMPDEST
0000022b: PUSH2 0x0237
0000022e: PUSH1 0x04
00000230: DUP1
00000231: POP
00000232: POP
00000233: PUSH2 0x08da
00000236: JUMP
00000237: JUMPDEST
00000238: PUSH1 0x40
0000023a: MLOAD
0000023b: DUP1
0000023c: DUP3
0000023d: DUP2
0000023e: MSTORE
0000023f: PUSH1 0x20
00000241: ADD
00000242: SWAP2
00000243: POP
00000244: POP
00000245: PUSH1 0x40
00000247: MLOAD
00000248: DUP1
00000249: SWAP2
0000024a: SUB
0000024b: SWAP1
0000024c: RETURN
0000024d: JUMPDEST
0000024e: PUSH2 0x025a
00000251: PUSH1 0x04
00000253: DUP1
00000254: POP
00000255: POP
00000256: PUSH2 0x065b
00000259: JUMP
0000025a: JUMPDEST
0000025b: STOP
0000025c: JUMPDEST
0000025d: PUSH2 0x0272
00000260: PUSH1 0x04
00000262: DUP1
00000263: DUP1
00000264: CALLDATALOAD
00000265: SWAP1
00000266: PUSH1 0x20
00000268: ADD
00000269: SWAP1
0000026a: SWAP2
0000026b: SWAP1
0000026c: POP
0000026d: POP
0000026e: PUSH2 0x0956
00000271: JUMP
00000272: JUMPDEST
00000273: STOP
00000274: JUMPDEST
00000275: PUSH2 0x028a
00000278: PUSH1 0x04
0000027a: DUP1
0000027b: DUP1
0000027c: CALLDATALOAD
0000027d: SWAP1
0000027e: PUSH1 0x20
00000280: ADD
00000281: SWAP1
00000282: SWAP2
00000283: SWAP1
00000284: POP
00000285: POP
00000286: PUSH2 0x08ed
00000289: JUMP
0000028a: JUMPDEST
0000028b: PUSH1 0x40
0000028d: MLOAD
0000028e: DUP1
0000028f: DUP6
00000290: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002a5: AND
000002a6: DUP2
000002a7: MSTORE
000002a8: PUSH1 0x20
000002aa: ADD
000002ab: DUP5
000002ac: DUP2
000002ad: MSTORE
000002ae: PUSH1 0x20
000002b0: ADD
000002b1: DUP4
000002b2: DUP2
000002b3: MSTORE
000002b4: PUSH1 0x20
000002b6: ADD
000002b7: DUP3
000002b8: DUP2
000002b9: MSTORE
000002ba: PUSH1 0x20
000002bc: ADD
000002bd: SWAP5
000002be: POP
000002bf: POP
000002c0: POP
000002c1: POP
000002c2: POP
000002c3: PUSH1 0x40
000002c5: MLOAD
000002c6: DUP1
000002c7: SWAP2
000002c8: SUB
000002c9: SWAP1
000002ca: RETURN
000002cb: JUMPDEST
000002cc: PUSH2 0x02d8
000002cf: PUSH1 0x04
000002d1: DUP1
000002d2: POP
000002d3: POP
000002d4: PUSH2 0x0d49
000002d7: JUMP
000002d8: JUMPDEST
000002d9: PUSH1 0x40
000002db: MLOAD
000002dc: DUP1
000002dd: DUP3
000002de: DUP2
000002df: MSTORE
000002e0: PUSH1 0x20
000002e2: ADD
000002e3: SWAP2
000002e4: POP
000002e5: POP
000002e6: PUSH1 0x40
000002e8: MLOAD
000002e9: DUP1
000002ea: SWAP2
000002eb: SUB
000002ec: SWAP1
000002ed: RETURN
000002ee: JUMPDEST
000002ef: PUSH2 0x0304
000002f2: PUSH1 0x04
000002f4: DUP1
000002f5: DUP1
000002f6: CALLDATALOAD
000002f7: SWAP1
000002f8: PUSH1 0x20
000002fa: ADD
000002fb: SWAP1
000002fc: SWAP2
000002fd: SWAP1
000002fe: POP
000002ff: POP
00000300: PUSH2 0x0e27
00000303: JUMP
00000304: JUMPDEST
00000305: STOP
00000306: JUMPDEST
00000307: PUSH2 0x0313
0000030a: PUSH1 0x04
0000030c: DUP1
0000030d: POP
0000030e: POP
0000030f: PUSH2 0x0d59
00000312: JUMP
00000313: JUMPDEST
00000314: STOP
00000315: JUMPDEST
00000316: PUSH2 0x032b
00000319: PUSH1 0x04
0000031b: DUP1
0000031c: DUP1
0000031d: CALLDATALOAD
0000031e: SWAP1
0000031f: PUSH1 0x20
00000321: ADD
00000322: SWAP1
00000323: SWAP2
00000324: SWAP1
00000325: POP
00000326: POP
00000327: PUSH2 0x0f71
0000032a: JUMP
0000032b: JUMPDEST
0000032c: STOP
0000032d: JUMPDEST
0000032e: PUSH2 0x033a
00000331: PUSH1 0x04
00000333: DUP1
00000334: POP
00000335: POP
00000336: PUSH2 0x033c
00000339: JUMP
0000033a: JUMPDEST
0000033b: STOP
0000033c: JUMPDEST
0000033d: PUSH1 0x00
0000033f: PUSH1 0x00
00000341: PUSH1 0x00
00000343: SWAP1
00000344: SLOAD
00000345: SWAP1
00000346: PUSH2 0x0100
00000349: EXP
0000034a: SWAP1
0000034b: DIV
0000034c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000361: AND
00000362: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000377: AND
00000378: CALLER
00000379: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000038e: AND
0000038f: EQ
00000390: ISZERO
00000391: PUSH2 0x0581
00000394: JUMPI
00000395: PUSH1 0x00
00000397: SWAP1
00000398: POP
00000399: JUMPDEST
0000039a: PUSH1 0x01
0000039c: PUSH1 0x00
0000039e: POP
0000039f: DUP1
000003a0: SLOAD
000003a1: SWAP1
000003a2: POP
000003a3: DUP2
000003a4: LT
000003a5: ISZERO
000003a6: PUSH2 0x0580
000003a9: JUMPI
000003aa: NUMBER
000003ab: PUSH32 0x5ab8dc610f1c5d672561a1c397fb11717ad7b220565f7916904984963a1f43ef
000003cc: PUSH1 0x01
000003ce: PUSH1 0x00
000003d0: POP
000003d1: DUP4
000003d2: DUP2
000003d3: SLOAD
000003d4: DUP2
000003d5: LT
000003d6: ISZERO
000003d7: PUSH2 0x0002
000003da: JUMPI
000003db: SWAP1
000003dc: PUSH1 0x00
000003de: MSTORE
000003df: PUSH1 0x20
000003e1: PUSH1 0x00
000003e3: KECCAK256
000003e4: SWAP1
000003e5: PUSH1 0x04
000003e7: MUL
000003e8: ADD
000003e9: PUSH1 0x00
000003eb: JUMPDEST
000003ec: POP
000003ed: PUSH1 0x00
000003ef: ADD
000003f0: PUSH1 0x00
000003f2: SWAP1
000003f3: SLOAD
000003f4: SWAP1
000003f5: PUSH2 0x0100
000003f8: EXP
000003f9: SWAP1
000003fa: DIV
000003fb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000410: AND
00000411: PUSH1 0x01
00000413: PUSH1 0x00
00000415: POP
00000416: DUP5
00000417: DUP2
00000418: SLOAD
00000419: DUP2
0000041a: LT
0000041b: ISZERO
0000041c: PUSH2 0x0002
0000041f: JUMPI
00000420: SWAP1
00000421: PUSH1 0x00
00000423: MSTORE
00000424: PUSH1 0x20
00000426: PUSH1 0x00
00000428: KECCAK256
00000429: SWAP1
0000042a: PUSH1 0x04
0000042c: MUL
0000042d: ADD
0000042e: PUSH1 0x00
00000430: JUMPDEST
00000431: POP
00000432: PUSH1 0x01
00000434: ADD
00000435: PUSH1 0x00
00000437: POP
00000438: SLOAD
00000439: TIMESTAMP
0000043a: PUSH1 0x40
0000043c: MLOAD
0000043d: DUP1
0000043e: DUP5
0000043f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000454: AND
00000455: DUP2
00000456: MSTORE
00000457: PUSH1 0x20
00000459: ADD
0000045a: DUP4
0000045b: DUP2
0000045c: MSTORE
0000045d: PUSH1 0x20
0000045f: ADD
00000460: DUP3
00000461: DUP2
00000462: MSTORE
00000463: PUSH1 0x20
00000465: ADD
00000466: SWAP4
00000467: POP
00000468: POP
00000469: POP
0000046a: POP
0000046b: PUSH1 0x40
0000046d: MLOAD
0000046e: DUP1
0000046f: SWAP2
00000470: SUB
00000471: SWAP1
00000472: LOG2
00000473: PUSH1 0x01
00000475: PUSH1 0x00
00000477: POP
00000478: DUP2
00000479: DUP2
0000047a: SLOAD
0000047b: DUP2
0000047c: LT
0000047d: ISZERO
0000047e: PUSH2 0x0002
00000481: JUMPI
00000482: SWAP1
00000483: PUSH1 0x00
00000485: MSTORE
00000486: PUSH1 0x20
00000488: PUSH1 0x00
0000048a: KECCAK256
0000048b: SWAP1
0000048c: PUSH1 0x04
0000048e: MUL
0000048f: ADD
00000490: PUSH1 0x00
00000492: JUMPDEST
00000493: POP
00000494: PUSH1 0x00
00000496: ADD
00000497: PUSH1 0x00
00000499: SWAP1
0000049a: SLOAD
0000049b: SWAP1
0000049c: PUSH2 0x0100
0000049f: EXP
000004a0: SWAP1
000004a1: DIV
000004a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004b7: AND
000004b8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004cd: AND
000004ce: PUSH1 0x00
000004d0: PUSH1 0x01
000004d2: PUSH1 0x00
000004d4: POP
000004d5: DUP4
000004d6: DUP2
000004d7: SLOAD
000004d8: DUP2
000004d9: LT
000004da: ISZERO
000004db: PUSH2 0x0002
000004de: JUMPI
000004df: SWAP1
000004e0: PUSH1 0x00
000004e2: MSTORE
000004e3: PUSH1 0x20
000004e5: PUSH1 0x00
000004e7: KECCAK256
000004e8: SWAP1
000004e9: PUSH1 0x04
000004eb: MUL
000004ec: ADD
000004ed: PUSH1 0x00
000004ef: JUMPDEST
000004f0: POP
000004f1: PUSH1 0x01
000004f3: ADD
000004f4: PUSH1 0x00
000004f6: POP
000004f7: SLOAD
000004f8: PUSH1 0x40
000004fa: MLOAD
000004fb: DUP1
000004fc: SWAP1
000004fd: POP
000004fe: PUSH1 0x00
00000500: PUSH1 0x40
00000502: MLOAD
00000503: DUP1
00000504: DUP4
00000505: SUB
00000506: DUP2
00000507: DUP6
00000508: DUP9
00000509: DUP9
0000050a: CALL
0000050b: SWAP4
0000050c: POP
0000050d: POP
0000050e: POP
0000050f: POP
00000510: POP
00000511: PUSH1 0x00
00000513: PUSH1 0x01
00000515: PUSH1 0x00
00000517: POP
00000518: DUP3
00000519: DUP2
0000051a: SLOAD
0000051b: DUP2
0000051c: LT
0000051d: ISZERO
0000051e: PUSH2 0x0002
00000521: JUMPI
00000522: SWAP1
00000523: PUSH1 0x00
00000525: MSTORE
00000526: PUSH1 0x20
00000528: PUSH1 0x00
0000052a: KECCAK256
0000052b: SWAP1
0000052c: PUSH1 0x04
0000052e: MUL
0000052f: ADD
00000530: PUSH1 0x00
00000532: JUMPDEST
00000533: POP
00000534: PUSH1 0x01
00000536: ADD
00000537: PUSH1 0x00
00000539: POP
0000053a: DUP2
0000053b: SWAP1
0000053c: SSTORE
0000053d: POP
0000053e: PUSH1 0x01
00000540: PUSH1 0x01
00000542: PUSH1 0x00
00000544: POP
00000545: DUP3
00000546: DUP2
00000547: SLOAD
00000548: DUP2
00000549: LT
0000054a: ISZERO
0000054b: PUSH2 0x0002
0000054e: JUMPI
0000054f: SWAP1
00000550: PUSH1 0x00
00000552: MSTORE
00000553: PUSH1 0x20
00000555: PUSH1 0x00
00000557: KECCAK256
00000558: SWAP1
00000559: PUSH1 0x04
0000055b: MUL
0000055c: ADD
0000055d: PUSH1 0x00
0000055f: JUMPDEST
00000560: POP
00000561: PUSH1 0x02
00000563: ADD
00000564: PUSH1 0x00
00000566: DUP3
00000567: DUP3
00000568: DUP3
00000569: POP
0000056a: SLOAD
0000056b: ADD
0000056c: SWAP3
0000056d: POP
0000056e: POP
0000056f: DUP2
00000570: SWAP1
00000571: SSTORE
00000572: POP
00000573: JUMPDEST
00000574: DUP1
00000575: DUP1
00000576: PUSH1 0x01
00000578: ADD
00000579: SWAP2
0000057a: POP
0000057b: POP
0000057c: PUSH2 0x0399
0000057f: JUMP
00000580: JUMPDEST
00000581: JUMPDEST
00000582: JUMPDEST
00000583: POP
00000584: JUMP
00000585: JUMPDEST
00000586: PUSH1 0x00
00000588: PUSH1 0x00
0000058a: SWAP1
0000058b: SLOAD
0000058c: SWAP1
0000058d: PUSH2 0x0100
00000590: EXP
00000591: SWAP1
00000592: DIV
00000593: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005a8: AND
000005a9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005be: AND
000005bf: CALLER
000005c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005d5: AND
000005d6: EQ
000005d7: ISZERO
000005d8: PUSH2 0x0655
000005db: JUMPI
000005dc: DUP1
000005dd: PUSH1 0x02
000005df: PUSH1 0x00
000005e1: POP
000005e2: DUP5
000005e3: DUP2
000005e4: SLOAD
000005e5: DUP2
000005e6: LT
000005e7: ISZERO
000005e8: PUSH2 0x0002
000005eb: JUMPI
000005ec: SWAP1
000005ed: PUSH1 0x00
000005ef: MSTORE
000005f0: PUSH1 0x20
000005f2: PUSH1 0x00
000005f4: KECCAK256
000005f5: SWAP1
000005f6: PUSH1 0x04
000005f8: MUL
000005f9: ADD
000005fa: PUSH1 0x00
000005fc: JUMPDEST
000005fd: POP
000005fe: PUSH1 0x01
00000600: ADD
00000601: PUSH1 0x00
00000603: POP
00000604: DUP2
00000605: SWAP1
00000606: SSTORE
00000607: POP
00000608: DUP2
00000609: PUSH1 0x02
0000060b: PUSH1 0x00
0000060d: POP
0000060e: DUP5
0000060f: DUP2
00000610: SLOAD
00000611: DUP2
00000612: LT
00000613: ISZERO
00000614: PUSH2 0x0002
00000617: JUMPI
00000618: SWAP1
00000619: PUSH1 0x00
0000061b: MSTORE
0000061c: PUSH1 0x20
0000061e: PUSH1 0x00
00000620: KECCAK256
00000621: SWAP1
00000622: PUSH1 0x04
00000624: MUL
00000625: ADD
00000626: PUSH1 0x00
00000628: JUMPDEST
00000629: POP
0000062a: PUSH1 0x00
0000062c: ADD
0000062d: PUSH1 0x00
0000062f: PUSH2 0x0100
00000632: EXP
00000633: DUP2
00000634: SLOAD
00000635: DUP2
00000636: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000064b: MUL
0000064c: NOT
0000064d: AND
0000064e: SWAP1
0000064f: DUP4
00000650: MUL
00000651: OR
00000652: SWAP1
00000653: SSTORE
00000654: POP
00000655: JUMPDEST
00000656: JUMPDEST
00000657: POP
00000658: POP
00000659: POP
0000065a: JUMP
0000065b: JUMPDEST
0000065c: PUSH1 0x00
0000065e: PUSH1 0x00
00000660: PUSH1 0x00
00000662: SWAP1
00000663: SLOAD
00000664: SWAP1
00000665: PUSH2 0x0100
00000668: EXP
00000669: SWAP1
0000066a: DIV
0000066b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000680: AND
00000681: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000696: AND
00000697: CALLER
00000698: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006ad: AND
000006ae: EQ
000006af: ISZERO
000006b0: PUSH2 0x08a0
000006b3: JUMPI
000006b4: PUSH1 0x00
000006b6: SWAP1
000006b7: POP
000006b8: JUMPDEST
000006b9: PUSH1 0x02
000006bb: PUSH1 0x00
000006bd: POP
000006be: DUP1
000006bf: SLOAD
000006c0: SWAP1
000006c1: POP
000006c2: DUP2
000006c3: LT
000006c4: ISZERO
000006c5: PUSH2 0x089f
000006c8: JUMPI
000006c9: NUMBER
000006ca: PUSH32 0x5ab8dc610f1c5d672561a1c397fb11717ad7b220565f7916904984963a1f43ef
000006eb: PUSH1 0x02
000006ed: PUSH1 0x00
000006ef: POP
000006f0: DUP4
000006f1: DUP2
000006f2: SLOAD
000006f3: DUP2
000006f4: LT
000006f5: ISZERO
000006f6: PUSH2 0x0002
000006f9: JUMPI
000006fa: SWAP1
000006fb: PUSH1 0x00
000006fd: MSTORE
000006fe: PUSH1 0x20
00000700: PUSH1 0x00
00000702: KECCAK256
00000703: SWAP1
00000704: PUSH1 0x04
00000706: MUL
00000707: ADD
00000708: PUSH1 0x00
0000070a: JUMPDEST
0000070b: POP
0000070c: PUSH1 0x00
0000070e: ADD
0000070f: PUSH1 0x00
00000711: SWAP1
00000712: SLOAD
00000713: SWAP1
00000714: PUSH2 0x0100
00000717: EXP
00000718: SWAP1
00000719: DIV
0000071a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000072f: AND
00000730: PUSH1 0x02
00000732: PUSH1 0x00
00000734: POP
00000735: DUP5
00000736: DUP2
00000737: SLOAD
00000738: DUP2
00000739: LT
0000073a: ISZERO
0000073b: PUSH2 0x0002
0000073e: JUMPI
0000073f: SWAP1
00000740: PUSH1 0x00
00000742: MSTORE
00000743: PUSH1 0x20
00000745: PUSH1 0x00
00000747: KECCAK256
00000748: SWAP1
00000749: PUSH1 0x04
0000074b: MUL
0000074c: ADD
0000074d: PUSH1 0x00
0000074f: JUMPDEST
00000750: POP
00000751: PUSH1 0x01
00000753: ADD
00000754: PUSH1 0x00
00000756: POP
00000757: SLOAD
00000758: TIMESTAMP
00000759: PUSH1 0x40
0000075b: MLOAD
0000075c: DUP1
0000075d: DUP5
0000075e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000773: AND
00000774: DUP2
00000775: MSTORE
00000776: PUSH1 0x20
00000778: ADD
00000779: DUP4
0000077a: DUP2
0000077b: MSTORE
0000077c: PUSH1 0x20
0000077e: ADD
0000077f: DUP3
00000780: DUP2
00000781: MSTORE
00000782: PUSH1 0x20
00000784: ADD
00000785: SWAP4
00000786: POP
00000787: POP
00000788: POP
00000789: POP
0000078a: PUSH1 0x40
0000078c: MLOAD
0000078d: DUP1
0000078e: SWAP2
0000078f: SUB
00000790: SWAP1
00000791: LOG2
00000792: PUSH1 0x02
00000794: PUSH1 0x00
00000796: POP
00000797: DUP2
00000798: DUP2
00000799: SLOAD
0000079a: DUP2
0000079b: LT
0000079c: ISZERO
0000079d: PUSH2 0x0002
000007a0: JUMPI
000007a1: SWAP1
000007a2: PUSH1 0x00
000007a4: MSTORE
000007a5: PUSH1 0x20
000007a7: PUSH1 0x00
000007a9: KECCAK256
000007aa: SWAP1
000007ab: PUSH1 0x04
000007ad: MUL
000007ae: ADD
000007af: PUSH1 0x00
000007b1: JUMPDEST
000007b2: POP
000007b3: PUSH1 0x00
000007b5: ADD
000007b6: PUSH1 0x00
000007b8: SWAP1
000007b9: SLOAD
000007ba: SWAP1
000007bb: PUSH2 0x0100
000007be: EXP
000007bf: SWAP1
000007c0: DIV
000007c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007d6: AND
000007d7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007ec: AND
000007ed: PUSH1 0x00
000007ef: PUSH1 0x02
000007f1: PUSH1 0x00
000007f3: POP
000007f4: DUP4
000007f5: DUP2
000007f6: SLOAD
000007f7: DUP2
000007f8: LT
000007f9: ISZERO
000007fa: PUSH2 0x0002
000007fd: JUMPI
000007fe: SWAP1
000007ff: PUSH1 0x00
00000801: MSTORE
00000802: PUSH1 0x20
00000804: PUSH1 0x00
00000806: KECCAK256
00000807: SWAP1
00000808: PUSH1 0x04
0000080a: MUL
0000080b: ADD
0000080c: PUSH1 0x00
0000080e: JUMPDEST
0000080f: POP
00000810: PUSH1 0x01
00000812: ADD
00000813: PUSH1 0x00
00000815: POP
00000816: SLOAD
00000817: PUSH1 0x40
00000819: MLOAD
0000081a: DUP1
0000081b: SWAP1
0000081c: POP
0000081d: PUSH1 0x00
0000081f: PUSH1 0x40
00000821: MLOAD
00000822: DUP1
00000823: DUP4
00000824: SUB
00000825: DUP2
00000826: DUP6
00000827: DUP9
00000828: DUP9
00000829: CALL
0000082a: SWAP4
0000082b: POP
0000082c: POP
0000082d: POP
0000082e: POP
0000082f: POP
00000830: PUSH1 0x00
00000832: PUSH1 0x02
00000834: PUSH1 0x00
00000836: POP
00000837: DUP3
00000838: DUP2
00000839: SLOAD
0000083a: DUP2
0000083b: LT
0000083c: ISZERO
0000083d: PUSH2 0x0002
00000840: JUMPI
00000841: SWAP1
00000842: PUSH1 0x00
00000844: MSTORE
00000845: PUSH1 0x20
00000847: PUSH1 0x00
00000849: KECCAK256
0000084a: SWAP1
0000084b: PUSH1 0x04
0000084d: MUL
0000084e: ADD
0000084f: PUSH1 0x00
00000851: JUMPDEST
00000852: POP
00000853: PUSH1 0x01
00000855: ADD
00000856: PUSH1 0x00
00000858: POP
00000859: DUP2
0000085a: SWAP1
0000085b: SSTORE
0000085c: POP
0000085d: PUSH1 0x01
0000085f: PUSH1 0x02
00000861: PUSH1 0x00
00000863: POP
00000864: DUP3
00000865: DUP2
00000866: SLOAD
00000867: DUP2
00000868: LT
00000869: ISZERO
0000086a: PUSH2 0x0002
0000086d: JUMPI
0000086e: SWAP1
0000086f: PUSH1 0x00
00000871: MSTORE
00000872: PUSH1 0x20
00000874: PUSH1 0x00
00000876: KECCAK256
00000877: SWAP1
00000878: PUSH1 0x04
0000087a: MUL
0000087b: ADD
0000087c: PUSH1 0x00
0000087e: JUMPDEST
0000087f: POP
00000880: PUSH1 0x02
00000882: ADD
00000883: PUSH1 0x00
00000885: DUP3
00000886: DUP3
00000887: DUP3
00000888: POP
00000889: SLOAD
0000088a: ADD
0000088b: SWAP3
0000088c: POP
0000088d: POP
0000088e: DUP2
0000088f: SWAP1
00000890: SSTORE
00000891: POP
00000892: JUMPDEST
00000893: DUP1
00000894: DUP1
00000895: PUSH1 0x01
00000897: ADD
00000898: SWAP2
00000899: POP
0000089a: POP
0000089b: PUSH2 0x06b8
0000089e: JUMP
0000089f: JUMPDEST
000008a0: JUMPDEST
000008a1: JUMPDEST
000008a2: POP
000008a3: JUMP
000008a4: JUMPDEST
000008a5: PUSH1 0x00
000008a7: PUSH1 0x03
000008a9: PUSH1 0x00
000008ab: POP
000008ac: SLOAD
000008ad: SWAP1
000008ae: POP
000008af: DUP1
000008b0: POP
000008b1: JUMPDEST
000008b2: SWAP1
000008b3: JUMP
000008b4: JUMPDEST
000008b5: PUSH1 0x00
000008b7: PUSH1 0x00
000008b9: SWAP1
000008ba: SLOAD
000008bb: SWAP1
000008bc: PUSH2 0x0100
000008bf: EXP
000008c0: SWAP1
000008c1: DIV
000008c2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008d7: AND
000008d8: DUP2
000008d9: JUMP
000008da: JUMPDEST
000008db: PUSH1 0x00
000008dd: PUSH1 0x14
000008df: SWAP1
000008e0: SLOAD
000008e1: SWAP1
000008e2: PUSH2 0x0100
000008e5: EXP
000008e6: SWAP1
000008e7: DIV
000008e8: PUSH1 0xff
000008ea: AND
000008eb: DUP2
000008ec: JUMP
000008ed: JUMPDEST
000008ee: PUSH1 0x01
000008f0: PUSH1 0x00
000008f2: POP
000008f3: DUP2
000008f4: DUP2
000008f5: SLOAD
000008f6: DUP2
000008f7: LT
000008f8: ISZERO
000008f9: PUSH2 0x0002
000008fc: JUMPI
000008fd: SWAP1
000008fe: PUSH1 0x00
00000900: MSTORE
00000901: PUSH1 0x20
00000903: PUSH1 0x00
00000905: KECCAK256
00000906: SWAP1
00000907: PUSH1 0x04
00000909: MUL
0000090a: ADD
0000090b: PUSH1 0x00
0000090d: JUMPDEST
0000090e: SWAP2
0000090f: POP
00000910: SWAP1
00000911: POP
00000912: DUP1
00000913: PUSH1 0x00
00000915: ADD
00000916: PUSH1 0x00
00000918: SWAP1
00000919: SLOAD
0000091a: SWAP1
0000091b: PUSH2 0x0100
0000091e: EXP
0000091f: SWAP1
00000920: DIV
00000921: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000936: AND
00000937: SWAP1
00000938: DUP1
00000939: PUSH1 0x01
0000093b: ADD
0000093c: PUSH1 0x00
0000093e: POP
0000093f: SLOAD
00000940: SWAP1
00000941: DUP1
00000942: PUSH1 0x02
00000944: ADD
00000945: PUSH1 0x00
00000947: POP
00000948: SLOAD
00000949: SWAP1
0000094a: DUP1
0000094b: PUSH1 0x03
0000094d: ADD
0000094e: PUSH1 0x00
00000950: POP
00000951: SLOAD
00000952: SWAP1
00000953: POP
00000954: DUP5
00000955: JUMP
00000956: JUMPDEST
00000957: PUSH1 0x00
00000959: PUSH1 0x00
0000095b: SWAP1
0000095c: SLOAD
0000095d: SWAP1
0000095e: PUSH2 0x0100
00000961: EXP
00000962: SWAP1
00000963: DIV
00000964: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000979: AND
0000097a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000098f: AND
00000990: CALLER
00000991: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009a6: AND
000009a7: EQ
000009a8: ISZERO
000009a9: PUSH2 0x09d8
000009ac: JUMPI
000009ad: DUP1
000009ae: PUSH1 0x00
000009b0: PUSH1 0x00
000009b2: PUSH2 0x0100
000009b5: EXP
000009b6: DUP2
000009b7: SLOAD
000009b8: DUP2
000009b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009ce: MUL
000009cf: NOT
000009d0: AND
000009d1: SWAP1
000009d2: DUP4
000009d3: MUL
000009d4: OR
000009d5: SWAP1
000009d6: SSTORE
000009d7: POP
000009d8: JUMPDEST
000009d9: JUMPDEST
000009da: POP
000009db: JUMP
000009dc: JUMPDEST
000009dd: PUSH1 0x00
000009df: PUSH1 0x00
000009e1: PUSH1 0x00
000009e3: SWAP1
000009e4: SLOAD
000009e5: SWAP1
000009e6: PUSH2 0x0100
000009e9: EXP
000009ea: SWAP1
000009eb: DIV
000009ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a01: AND
00000a02: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a17: AND
00000a18: CALLER
00000a19: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a2e: AND
00000a2f: EQ
00000a30: ISZERO
00000a31: PUSH2 0x0d45
00000a34: JUMPI
00000a35: PUSH1 0x00
00000a37: SWAP1
00000a38: POP
00000a39: JUMPDEST
00000a3a: PUSH1 0x01
00000a3c: PUSH1 0x00
00000a3e: POP
00000a3f: DUP1
00000a40: SLOAD
00000a41: SWAP1
00000a42: POP
00000a43: DUP2
00000a44: LT
00000a45: ISZERO
00000a46: PUSH2 0x0c28
00000a49: JUMPI
00000a4a: NUMBER
00000a4b: PUSH32 0x5ab8dc610f1c5d672561a1c397fb11717ad7b220565f7916904984963a1f43ef
00000a6c: PUSH1 0x01
00000a6e: PUSH1 0x00
00000a70: POP
00000a71: DUP4
00000a72: DUP2
00000a73: SLOAD
00000a74: DUP2
00000a75: LT
00000a76: ISZERO
00000a77: PUSH2 0x0002
00000a7a: JUMPI
00000a7b: SWAP1
00000a7c: PUSH1 0x00
00000a7e: MSTORE
00000a7f: PUSH1 0x20
00000a81: PUSH1 0x00
00000a83: KECCAK256
00000a84: SWAP1
00000a85: PUSH1 0x04
00000a87: MUL
00000a88: ADD
00000a89: PUSH1 0x00
00000a8b: JUMPDEST
00000a8c: POP
00000a8d: PUSH1 0x00
00000a8f: ADD
00000a90: PUSH1 0x00
00000a92: SWAP1
00000a93: SLOAD
00000a94: SWAP1
00000a95: PUSH2 0x0100
00000a98: EXP
00000a99: SWAP1
00000a9a: DIV
00000a9b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ab0: AND
00000ab1: PUSH1 0x01
00000ab3: PUSH1 0x00
00000ab5: POP
00000ab6: DUP5
00000ab7: DUP2
00000ab8: SLOAD
00000ab9: DUP2
00000aba: LT
00000abb: ISZERO
00000abc: PUSH2 0x0002
00000abf: JUMPI
00000ac0: SWAP1
00000ac1: PUSH1 0x00
00000ac3: MSTORE
00000ac4: PUSH1 0x20
00000ac6: PUSH1 0x00
00000ac8: KECCAK256
00000ac9: SWAP1
00000aca: PUSH1 0x04
00000acc: MUL
00000acd: ADD
00000ace: PUSH1 0x00
00000ad0: JUMPDEST
00000ad1: POP
00000ad2: PUSH1 0x01
00000ad4: ADD
00000ad5: PUSH1 0x00
00000ad7: POP
00000ad8: SLOAD
00000ad9: TIMESTAMP
00000ada: PUSH1 0x40
00000adc: MLOAD
00000add: DUP1
00000ade: DUP5
00000adf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000af4: AND
00000af5: DUP2
00000af6: MSTORE
00000af7: PUSH1 0x20
00000af9: ADD
00000afa: DUP4
00000afb: DUP2
00000afc: MSTORE
00000afd: PUSH1 0x20
00000aff: ADD
00000b00: DUP3
00000b01: DUP2
00000b02: MSTORE
00000b03: PUSH1 0x20
00000b05: ADD
00000b06: SWAP4
00000b07: POP
00000b08: POP
00000b09: POP
00000b0a: POP
00000b0b: PUSH1 0x40
00000b0d: MLOAD
00000b0e: DUP1
00000b0f: SWAP2
00000b10: SUB
00000b11: SWAP1
00000b12: LOG2
00000b13: PUSH1 0x01
00000b15: PUSH1 0x00
00000b17: POP
00000b18: DUP2
00000b19: DUP2
00000b1a: SLOAD
00000b1b: DUP2
00000b1c: LT
00000b1d: ISZERO
00000b1e: PUSH2 0x0002
00000b21: JUMPI
00000b22: SWAP1
00000b23: PUSH1 0x00
00000b25: MSTORE
00000b26: PUSH1 0x20
00000b28: PUSH1 0x00
00000b2a: KECCAK256
00000b2b: SWAP1
00000b2c: PUSH1 0x04
00000b2e: MUL
00000b2f: ADD
00000b30: PUSH1 0x00
00000b32: JUMPDEST
00000b33: POP
00000b34: PUSH1 0x00
00000b36: ADD
00000b37: PUSH1 0x00
00000b39: SWAP1
00000b3a: SLOAD
00000b3b: SWAP1
00000b3c: PUSH2 0x0100
00000b3f: EXP
00000b40: SWAP1
00000b41: DIV
00000b42: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b57: AND
00000b58: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b6d: AND
00000b6e: PUSH1 0x00
00000b70: PUSH1 0x01
00000b72: PUSH1 0x00
00000b74: POP
00000b75: DUP4
00000b76: DUP2
00000b77: SLOAD
00000b78: DUP2
00000b79: LT
00000b7a: ISZERO
00000b7b: PUSH2 0x0002
00000b7e: JUMPI
00000b7f: SWAP1
00000b80: PUSH1 0x00
00000b82: MSTORE
00000b83: PUSH1 0x20
00000b85: PUSH1 0x00
00000b87: KECCAK256
00000b88: SWAP1
00000b89: PUSH1 0x04
00000b8b: MUL
00000b8c: ADD
00000b8d: PUSH1 0x00
00000b8f: JUMPDEST
00000b90: POP
00000b91: PUSH1 0x01
00000b93: ADD
00000b94: PUSH1 0x00
00000b96: POP
00000b97: SLOAD
00000b98: PUSH1 0x40
00000b9a: MLOAD
00000b9b: DUP1
00000b9c: SWAP1
00000b9d: POP
00000b9e: PUSH1 0x00
00000ba0: PUSH1 0x40
00000ba2: MLOAD
00000ba3: DUP1
00000ba4: DUP4
00000ba5: SUB
00000ba6: DUP2
00000ba7: DUP6
00000ba8: DUP9
00000ba9: DUP9
00000baa: CALL
00000bab: SWAP4
00000bac: POP
00000bad: POP
00000bae: POP
00000baf: POP
00000bb0: POP
00000bb1: PUSH1 0x00
00000bb3: PUSH1 0x01
00000bb5: PUSH1 0x00
00000bb7: POP
00000bb8: DUP3
00000bb9: DUP2
00000bba: SLOAD
00000bbb: DUP2
00000bbc: LT
00000bbd: ISZERO
00000bbe: PUSH2 0x0002
00000bc1: JUMPI
00000bc2: SWAP1
00000bc3: PUSH1 0x00
00000bc5: MSTORE
00000bc6: PUSH1 0x20
00000bc8: PUSH1 0x00
00000bca: KECCAK256
00000bcb: SWAP1
00000bcc: PUSH1 0x04
00000bce: MUL
00000bcf: ADD
00000bd0: PUSH1 0x00
00000bd2: JUMPDEST
00000bd3: POP
00000bd4: PUSH1 0x01
00000bd6: ADD
00000bd7: PUSH1 0x00
00000bd9: DUP3
00000bda: DUP3
00000bdb: DUP3
00000bdc: POP
00000bdd: SLOAD
00000bde: ADD
00000bdf: SWAP3
00000be0: POP
00000be1: POP
00000be2: DUP2
00000be3: SWAP1
00000be4: SSTORE
00000be5: POP
00000be6: PUSH1 0x01
00000be8: PUSH1 0x01
00000bea: PUSH1 0x00
00000bec: POP
00000bed: DUP3
00000bee: DUP2
00000bef: SLOAD
00000bf0: DUP2
00000bf1: LT
00000bf2: ISZERO
00000bf3: PUSH2 0x0002
00000bf6: JUMPI
00000bf7: SWAP1
00000bf8: PUSH1 0x00
00000bfa: MSTORE
00000bfb: PUSH1 0x20
00000bfd: PUSH1 0x00
00000bff: KECCAK256
00000c00: SWAP1
00000c01: PUSH1 0x04
00000c03: MUL
00000c04: ADD
00000c05: PUSH1 0x00
00000c07: JUMPDEST
00000c08: POP
00000c09: PUSH1 0x02
00000c0b: ADD
00000c0c: PUSH1 0x00
00000c0e: DUP3
00000c0f: DUP3
00000c10: DUP3
00000c11: POP
00000c12: SLOAD
00000c13: ADD
00000c14: SWAP3
00000c15: POP
00000c16: POP
00000c17: DUP2
00000c18: SWAP1
00000c19: SSTORE
00000c1a: POP
00000c1b: JUMPDEST
00000c1c: DUP1
00000c1d: DUP1
00000c1e: PUSH1 0x01
00000c20: ADD
00000c21: SWAP2
00000c22: POP
00000c23: POP
00000c24: PUSH2 0x0a39
00000c27: JUMP
00000c28: JUMPDEST
00000c29: NUMBER
00000c2a: PUSH32 0x5ab8dc610f1c5d672561a1c397fb11717ad7b220565f7916904984963a1f43ef
00000c4b: PUSH1 0x00
00000c4d: PUSH1 0x00
00000c4f: SWAP1
00000c50: SLOAD
00000c51: SWAP1
00000c52: PUSH2 0x0100
00000c55: EXP
00000c56: SWAP1
00000c57: DIV
00000c58: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c6d: AND
00000c6e: ADDRESS
00000c6f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c84: AND
00000c85: BALANCE
00000c86: TIMESTAMP
00000c87: PUSH1 0x40
00000c89: MLOAD
00000c8a: DUP1
00000c8b: DUP5
00000c8c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ca1: AND
00000ca2: DUP2
00000ca3: MSTORE
00000ca4: PUSH1 0x20
00000ca6: ADD
00000ca7: DUP4
00000ca8: DUP2
00000ca9: MSTORE
00000caa: PUSH1 0x20
00000cac: ADD
00000cad: DUP3
00000cae: DUP2
00000caf: MSTORE
00000cb0: PUSH1 0x20
00000cb2: ADD
00000cb3: SWAP4
00000cb4: POP
00000cb5: POP
00000cb6: POP
00000cb7: POP
00000cb8: PUSH1 0x40
00000cba: MLOAD
00000cbb: DUP1
00000cbc: SWAP2
00000cbd: SUB
00000cbe: SWAP1
00000cbf: LOG2
00000cc0: PUSH1 0x00
00000cc2: PUSH1 0x00
00000cc4: SWAP1
00000cc5: SLOAD
00000cc6: SWAP1
00000cc7: PUSH2 0x0100
00000cca: EXP
00000ccb: SWAP1
00000ccc: DIV
00000ccd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ce2: AND
00000ce3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cf8: AND
00000cf9: PUSH1 0x00
00000cfb: ADDRESS
00000cfc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d11: AND
00000d12: BALANCE
00000d13: PUSH1 0x40
00000d15: MLOAD
00000d16: DUP1
00000d17: SWAP1
00000d18: POP
00000d19: PUSH1 0x00
00000d1b: PUSH1 0x40
00000d1d: MLOAD
00000d1e: DUP1
00000d1f: DUP4
00000d20: SUB
00000d21: DUP2
00000d22: DUP6
00000d23: DUP9
00000d24: DUP9
00000d25: CALL
00000d26: SWAP4
00000d27: POP
00000d28: POP
00000d29: POP
00000d2a: POP
00000d2b: POP
00000d2c: PUSH1 0x01
00000d2e: PUSH1 0x00
00000d30: PUSH1 0x14
00000d32: PUSH2 0x0100
00000d35: EXP
00000d36: DUP2
00000d37: SLOAD
00000d38: DUP2
00000d39: PUSH1 0xff
00000d3b: MUL
00000d3c: NOT
00000d3d: AND
00000d3e: SWAP1
00000d3f: DUP4
00000d40: MUL
00000d41: OR
00000d42: SWAP1
00000d43: SSTORE
00000d44: POP
00000d45: JUMPDEST
00000d46: JUMPDEST
00000d47: POP
00000d48: JUMP
00000d49: JUMPDEST
00000d4a: PUSH1 0x00
00000d4c: PUSH1 0x04
00000d4e: PUSH1 0x00
00000d50: POP
00000d51: SLOAD
00000d52: SWAP1
00000d53: POP
00000d54: DUP1
00000d55: POP
00000d56: JUMPDEST
00000d57: SWAP1
00000d58: JUMP
00000d59: JUMPDEST
00000d5a: PUSH1 0x00
00000d5c: PUSH1 0x00
00000d5e: NUMBER
00000d5f: PUSH32 0x5d6ac9b7defd8fbb29ef2ab0f08c3744192b3777466dd98d1fd7daed5064b6db
00000d80: CALLER
00000d81: CALLVALUE
00000d82: TIMESTAMP
00000d83: PUSH1 0x40
00000d85: MLOAD
00000d86: DUP1
00000d87: DUP5
00000d88: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d9d: AND
00000d9e: DUP2
00000d9f: MSTORE
00000da0: PUSH1 0x20
00000da2: ADD
00000da3: DUP4
00000da4: DUP2
00000da5: MSTORE
00000da6: PUSH1 0x20
00000da8: ADD
00000da9: DUP3
00000daa: DUP2
00000dab: MSTORE
00000dac: PUSH1 0x20
00000dae: ADD
00000daf: SWAP4
00000db0: POP
00000db1: POP
00000db2: POP
00000db3: POP
00000db4: PUSH1 0x40
00000db6: MLOAD
00000db7: DUP1
00000db8: SWAP2
00000db9: SUB
00000dba: SWAP1
00000dbb: LOG2
00000dbc: PUSH1 0x01
00000dbe: PUSH1 0x00
00000dc0: POP
00000dc1: DUP1
00000dc2: SLOAD
00000dc3: SWAP1
00000dc4: POP
00000dc5: PUSH1 0x00
00000dc7: CALLVALUE
00000dc8: MUL
00000dc9: DIV
00000dca: SWAP2
00000dcb: POP
00000dcc: PUSH1 0x00
00000dce: SWAP1
00000dcf: POP
00000dd0: JUMPDEST
00000dd1: PUSH1 0x01
00000dd3: PUSH1 0x00
00000dd5: POP
00000dd6: DUP1
00000dd7: SLOAD
00000dd8: SWAP1
00000dd9: POP
00000dda: DUP2
00000ddb: LT
00000ddc: ISZERO
00000ddd: PUSH2 0x0e22
00000de0: JUMPI
00000de1: DUP2
00000de2: PUSH1 0x01
00000de4: PUSH1 0x00
00000de6: POP
00000de7: DUP3
00000de8: DUP2
00000de9: SLOAD
00000dea: DUP2
00000deb: LT
00000dec: ISZERO
00000ded: PUSH2 0x0002
00000df0: JUMPI
00000df1: SWAP1
00000df2: PUSH1 0x00
00000df4: MSTORE
00000df5: PUSH1 0x20
00000df7: PUSH1 0x00
00000df9: KECCAK256
00000dfa: SWAP1
00000dfb: PUSH1 0x04
00000dfd: MUL
00000dfe: ADD
00000dff: PUSH1 0x00
00000e01: JUMPDEST
00000e02: POP
00000e03: PUSH1 0x01
00000e05: ADD
00000e06: PUSH1 0x00
00000e08: DUP3
00000e09: DUP3
00000e0a: DUP3
00000e0b: POP
00000e0c: SLOAD
00000e0d: ADD
00000e0e: SWAP3
00000e0f: POP
00000e10: POP
00000e11: DUP2
00000e12: SWAP1
00000e13: SSTORE
00000e14: POP
00000e15: JUMPDEST
00000e16: DUP1
00000e17: DUP1
00000e18: PUSH1 0x01
00000e1a: ADD
00000e1b: SWAP2
00000e1c: POP
00000e1d: POP
00000e1e: PUSH2 0x0dd0
00000e21: JUMP
00000e22: JUMPDEST
00000e23: JUMPDEST
00000e24: POP
00000e25: POP
00000e26: JUMP
00000e27: JUMPDEST
00000e28: PUSH1 0x02
00000e2a: PUSH1 0x00
00000e2c: POP
00000e2d: DUP1
00000e2e: SLOAD
00000e2f: DUP1
00000e30: PUSH1 0x01
00000e32: ADD
00000e33: DUP3
00000e34: DUP2
00000e35: DUP2
00000e36: SLOAD
00000e37: DUP2
00000e38: DUP4
00000e39: SSTORE
00000e3a: DUP2
00000e3b: DUP2
00000e3c: ISZERO
00000e3d: GT
00000e3e: PUSH2 0x0ec0
00000e41: JUMPI
00000e42: PUSH1 0x04
00000e44: MUL
00000e45: DUP2
00000e46: PUSH1 0x04
00000e48: MUL
00000e49: DUP4
00000e4a: PUSH1 0x00
00000e4c: MSTORE
00000e4d: PUSH1 0x20
00000e4f: PUSH1 0x00
00000e51: KECCAK256
00000e52: SWAP2
00000e53: DUP3
00000e54: ADD
00000e55: SWAP2
00000e56: ADD
00000e57: PUSH2 0x0ebf
00000e5a: SWAP2
00000e5b: SWAP1
00000e5c: PUSH2 0x0e60
00000e5f: JUMP
00000e60: JUMPDEST
00000e61: DUP1
00000e62: DUP3
00000e63: GT
00000e64: ISZERO
00000e65: PUSH2 0x0ebb
00000e68: JUMPI
00000e69: PUSH1 0x00
00000e6b: PUSH1 0x00
00000e6d: DUP3
00000e6e: ADD
00000e6f: PUSH1 0x00
00000e71: PUSH2 0x0100
00000e74: EXP
00000e75: DUP2
00000e76: SLOAD
00000e77: SWAP1
00000e78: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e8d: MUL
00000e8e: NOT
00000e8f: AND
00000e90: SWAP1
00000e91: SSTORE
00000e92: PUSH1 0x01
00000e94: DUP3
00000e95: ADD
00000e96: PUSH1 0x00
00000e98: POP
00000e99: PUSH1 0x00
00000e9b: SWAP1
00000e9c: SSTORE
00000e9d: PUSH1 0x02
00000e9f: DUP3
00000ea0: ADD
00000ea1: PUSH1 0x00
00000ea3: POP
00000ea4: PUSH1 0x00
00000ea6: SWAP1
00000ea7: SSTORE
00000ea8: PUSH1 0x03
00000eaa: DUP3
00000eab: ADD
00000eac: PUSH1 0x00
00000eae: POP
00000eaf: PUSH1 0x00
00000eb1: SWAP1
00000eb2: SSTORE
00000eb3: POP
00000eb4: PUSH1 0x01
00000eb6: ADD
00000eb7: PUSH2 0x0e60
00000eba: JUMP
00000ebb: JUMPDEST
00000ebc: POP
00000ebd: SWAP1
00000ebe: JUMP
00000ebf: JUMPDEST
00000ec0: JUMPDEST
00000ec1: POP
00000ec2: POP
00000ec3: POP
00000ec4: SWAP2
00000ec5: SWAP1
00000ec6: SWAP1
00000ec7: PUSH1 0x00
00000ec9: MSTORE
00000eca: PUSH1 0x20
00000ecc: PUSH1 0x00
00000ece: KECCAK256
00000ecf: SWAP1
00000ed0: PUSH1 0x04
00000ed2: MUL
00000ed3: ADD
00000ed4: PUSH1 0x00
00000ed6: JUMPDEST
00000ed7: PUSH1 0x80
00000ed9: PUSH1 0x40
00000edb: MLOAD
00000edc: SWAP1
00000edd: DUP2
00000ede: ADD
00000edf: PUSH1 0x40
00000ee1: MSTORE
00000ee2: DUP1
00000ee3: DUP6
00000ee4: DUP2
00000ee5: MSTORE
00000ee6: PUSH1 0x20
00000ee8: ADD
00000ee9: PUSH1 0x00
00000eeb: DUP2
00000eec: MSTORE
00000eed: PUSH1 0x20
00000eef: ADD
00000ef0: PUSH1 0x00
00000ef2: DUP2
00000ef3: MSTORE
00000ef4: PUSH1 0x20
00000ef6: ADD
00000ef7: PUSH1 0x03
00000ef9: PUSH1 0x00
00000efb: DUP2
00000efc: DUP2
00000efd: POP
00000efe: SLOAD
00000eff: PUSH1 0x01
00000f01: ADD
00000f02: SWAP2
00000f03: SWAP1
00000f04: POP
00000f05: DUP2
00000f06: SWAP1
00000f07: SSTORE
00000f08: DUP2
00000f09: MSTORE
00000f0a: PUSH1 0x20
00000f0c: ADD
00000f0d: POP
00000f0e: SWAP1
00000f0f: SWAP2
00000f10: SWAP1
00000f11: SWAP2
00000f12: POP
00000f13: PUSH1 0x00
00000f15: DUP3
00000f16: ADD
00000f17: MLOAD
00000f18: DUP2
00000f19: PUSH1 0x00
00000f1b: ADD
00000f1c: PUSH1 0x00
00000f1e: PUSH2 0x0100
00000f21: EXP
00000f22: DUP2
00000f23: SLOAD
00000f24: DUP2
00000f25: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f3a: MUL
00000f3b: NOT
00000f3c: AND
00000f3d: SWAP1
00000f3e: DUP4
00000f3f: MUL
00000f40: OR
00000f41: SWAP1
00000f42: SSTORE
00000f43: POP
00000f44: PUSH1 0x20
00000f46: DUP3
00000f47: ADD
00000f48: MLOAD
00000f49: DUP2
00000f4a: PUSH1 0x01
00000f4c: ADD
00000f4d: PUSH1 0x00
00000f4f: POP
00000f50: SSTORE
00000f51: PUSH1 0x40
00000f53: DUP3
00000f54: ADD
00000f55: MLOAD
00000f56: DUP2
00000f57: PUSH1 0x02
00000f59: ADD
00000f5a: PUSH1 0x00
00000f5c: POP
00000f5d: SSTORE
00000f5e: PUSH1 0x60
00000f60: DUP3
00000f61: ADD
00000f62: MLOAD
00000f63: DUP2
00000f64: PUSH1 0x03
00000f66: ADD
00000f67: PUSH1 0x00
00000f69: POP
00000f6a: SSTORE
00000f6b: POP
00000f6c: POP
00000f6d: POP
00000f6e: JUMPDEST
00000f6f: POP
00000f70: JUMP
00000f71: JUMPDEST
00000f72: PUSH1 0x01
00000f74: PUSH1 0x00
00000f76: POP
00000f77: DUP1
00000f78: SLOAD
00000f79: DUP1
00000f7a: PUSH1 0x01
00000f7c: ADD
00000f7d: DUP3
00000f7e: DUP2
00000f7f: DUP2
00000f80: SLOAD
00000f81: DUP2
00000f82: DUP4
00000f83: SSTORE
00000f84: DUP2
00000f85: DUP2
00000f86: ISZERO
00000f87: GT
00000f88: PUSH2 0x100a
00000f8b: JUMPI
00000f8c: PUSH1 0x04
00000f8e: MUL
00000f8f: DUP2
00000f90: PUSH1 0x04
00000f92: MUL
00000f93: DUP4
00000f94: PUSH1 0x00
00000f96: MSTORE
00000f97: PUSH1 0x20
00000f99: PUSH1 0x00
00000f9b: KECCAK256
00000f9c: SWAP2
00000f9d: DUP3
00000f9e: ADD
00000f9f: SWAP2
00000fa0: ADD
00000fa1: PUSH2 0x1009
00000fa4: SWAP2
00000fa5: SWAP1
00000fa6: PUSH2 0x0faa
00000fa9: JUMP
00000faa: JUMPDEST
00000fab: DUP1
00000fac: DUP3
00000fad: GT
00000fae: ISZERO
00000faf: PUSH2 0x1005
00000fb2: JUMPI
00000fb3: PUSH1 0x00
00000fb5: PUSH1 0x00
00000fb7: DUP3
00000fb8: ADD
00000fb9: PUSH1 0x00
00000fbb: PUSH2 0x0100
00000fbe: EXP
00000fbf: DUP2
00000fc0: SLOAD
00000fc1: SWAP1
00000fc2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fd7: MUL
00000fd8: NOT
00000fd9: AND
00000fda: SWAP1
00000fdb: SSTORE
00000fdc: PUSH1 0x01
00000fde: DUP3
00000fdf: ADD
00000fe0: PUSH1 0x00
00000fe2: POP
00000fe3: PUSH1 0x00
00000fe5: SWAP1
00000fe6: SSTORE
00000fe7: PUSH1 0x02
00000fe9: DUP3
00000fea: ADD
00000feb: PUSH1 0x00
00000fed: POP
00000fee: PUSH1 0x00
00000ff0: SWAP1
00000ff1: SSTORE
00000ff2: PUSH1 0x03
00000ff4: DUP3
00000ff5: ADD
00000ff6: PUSH1 0x00
00000ff8: POP
00000ff9: PUSH1 0x00
00000ffb: SWAP1
00000ffc: SSTORE
00000ffd: POP
00000ffe: PUSH1 0x01
00001000: ADD
00001001: PUSH2 0x0faa
00001004: JUMP
00001005: JUMPDEST
00001006: POP
00001007: SWAP1
00001008: JUMP
00001009: JUMPDEST
0000100a: JUMPDEST
0000100b: POP
0000100c: POP
0000100d: POP
0000100e: SWAP2
0000100f: SWAP1
00001010: SWAP1
00001011: PUSH1 0x00
00001013: MSTORE
00001014: PUSH1 0x20
00001016: PUSH1 0x00
00001018: KECCAK256
00001019: SWAP1
0000101a: PUSH1 0x04
0000101c: MUL
0000101d: ADD
0000101e: PUSH1 0x00
00001020: JUMPDEST
00001021: PUSH1 0x80
00001023: PUSH1 0x40
00001025: MLOAD
00001026: SWAP1
00001027: DUP2
00001028: ADD
00001029: PUSH1 0x40
0000102b: MSTORE
0000102c: DUP1
0000102d: DUP6
0000102e: DUP2
0000102f: MSTORE
00001030: PUSH1 0x20
00001032: ADD
00001033: PUSH1 0x00
00001035: DUP2
00001036: MSTORE
00001037: PUSH1 0x20
00001039: ADD
0000103a: PUSH1 0x00
0000103c: DUP2
0000103d: MSTORE
0000103e: PUSH1 0x20
00001040: ADD
00001041: PUSH1 0x04
00001043: PUSH1 0x00
00001045: DUP2
00001046: DUP2
00001047: POP
00001048: SLOAD
00001049: PUSH1 0x01
0000104b: ADD
0000104c: SWAP2
0000104d: SWAP1
0000104e: POP
0000104f: DUP2
00001050: SWAP1
00001051: SSTORE
00001052: DUP2
00001053: MSTORE
00001054: PUSH1 0x20
00001056: ADD
00001057: POP
00001058: SWAP1
00001059: SWAP2
0000105a: SWAP1
0000105b: SWAP2
0000105c: POP
0000105d: PUSH1 0x00
0000105f: DUP3
00001060: ADD
00001061: MLOAD
00001062: DUP2
00001063: PUSH1 0x00
00001065: ADD
00001066: PUSH1 0x00
00001068: PUSH2 0x0100
0000106b: EXP
0000106c: DUP2
0000106d: SLOAD
0000106e: DUP2
0000106f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001084: MUL
00001085: NOT
00001086: AND
00001087: SWAP1
00001088: DUP4
00001089: MUL
0000108a: OR
0000108b: SWAP1
0000108c: SSTORE
0000108d: POP
0000108e: PUSH1 0x20
00001090: DUP3
00001091: ADD
00001092: MLOAD
00001093: DUP2
00001094: PUSH1 0x01
00001096: ADD
00001097: PUSH1 0x00
00001099: POP
0000109a: SSTORE
0000109b: PUSH1 0x40
0000109d: DUP3
0000109e: ADD
0000109f: MLOAD
000010a0: DUP2
000010a1: PUSH1 0x02
000010a3: ADD
000010a4: PUSH1 0x00
000010a6: POP
000010a7: SSTORE
000010a8: PUSH1 0x60
000010aa: DUP3
000010ab: ADD
000010ac: MLOAD
000010ad: DUP2
000010ae: PUSH1 0x03
000010b0: ADD
000010b1: PUSH1 0x00
000010b3: POP
000010b4: SSTORE
000010b5: POP
000010b6: POP
000010b7: POP
000010b8: JUMPDEST
000010b9: POP
000010ba: 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: 0xa8d99bc1db9d5462113a88065d4d7de45aaa903538dd278544d2d26deb1313bb
call_targets: 0xfca60f7ac94e26e40274da31b4f6438e95d59fa6
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xa8d99bc1db9d5462113a88065d4d7de45aaa903538dd278544d2d26deb1313bb",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xfca60f7ac94e26e40274da31b4f6438e95d59fa6"
    ],
    "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": "0x4001a81f",
            "selector": "0x4001a81f",
            "calldata_variants": [
                "0x4001a81f",
                "0x4001a81f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4049700f",
            "selector": "0x4049700f",
            "calldata_variants": [
                "0x4049700f",
                "0x4049700f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x41c0e1b5",
            "selector": "0x41c0e1b5",
            "calldata_variants": [
                "0x41c0e1b5",
                "0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x99baa10c",
            "selector": "0x99baa10c",
            "calldata_variants": [
                "0x99baa10c",
                "0x99baa10c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa3934658",
            "selector": "0xa3934658",
            "calldata_variants": [
                "0xa3934658",
                "0xa39346580000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa6f9dae1",
            "selector": "0xa6f9dae1",
            "calldata_variants": [
                "0xa6f9dae1",
                "0xa6f9dae10000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xab377daa",
            "selector": "0xab377daa",
            "calldata_variants": [
                "0xab377daa",
                "0xab377daa0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 1290,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2089,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2986,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 4,
    "guards_detected": [
        {
            "pc": 888,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 1471,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 1687,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 2448,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 2584,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ],
    "untrusted_call_count": 4
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0xa8d99bc1db9d5462113a88065d4d7de45aaa903538dd278544d2d26deb1313bb
call_targets: 0xfca60f7ac94e26e40274da31b4f6438e95d59fa6
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xa8d99bc1db9d5462113a88065d4d7de45aaa903538dd278544d2d26deb1313bb",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xfca60f7ac94e26e40274da31b4f6438e95d59fa6"
    ],
    "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": "0x4001a81f",
            "selector": "0x4001a81f",
            "calldata_variants": [
                "0x4001a81f",
                "0x4001a81f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4049700f",
            "selector": "0x4049700f",
            "calldata_variants": [
                "0x4049700f",
                "0x4049700f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x41c0e1b5",
            "selector": "0x41c0e1b5",
            "calldata_variants": [
                "0x41c0e1b5",
                "0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x99baa10c",
            "selector": "0x99baa10c",
            "calldata_variants": [
                "0x99baa10c",
                "0x99baa10c0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa3934658",
            "selector": "0xa3934658",
            "calldata_variants": [
                "0xa3934658",
                "0xa39346580000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa6f9dae1",
            "selector": "0xa6f9dae1",
            "calldata_variants": [
                "0xa6f9dae1",
                "0xa6f9dae10000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xab377daa",
            "selector": "0xab377daa",
            "calldata_variants": [
                "0xab377daa",
                "0xab377daa0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 1290,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2089,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2986,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 4,
    "guards_detected": [
        {
            "pc": 888,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 1471,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 1687,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 2448,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 2584,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ]
}