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

Analysis Run

019b477e-aa96-72d4-9571-bbf96982eac8

complete
Chain ID
1
Address
0x22e5f62d0fa19974749faa194e3d3ef6d89c08d7
Block Number
—
Created
Mon, Dec 22, 2025 7:17 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
Verified
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
20857 artifact.fetch complete 1 / 3 3 months ago
20858 tool.cast_disasm complete 1 / 3 3 months ago
64202 analysis.bundle complete 1 / 3 2 weeks ago
64203 capability.graph complete 1 / 3 2 weeks ago
64204 detector.run complete 1 / 3 2 weeks ago
64205 validation.fork complete 1 / 3 2 weeks ago

Artifact

Runtime bytecode: available
Creation TX: —
Deployer: —
Proxy: no
Implementation:
—
Verified Source: yes

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
3
EXT*/BALANCE
1
Total opcodes
2359
Flags
No heuristic flags raised.
View cast disassembly output 
00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x00c3
0000000a: JUMPI
0000000b: PUSH1 0x00
0000000d: CALLDATALOAD
0000000e: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000002c: SWAP1
0000002d: DIV
0000002e: PUSH4 0xffffffff
00000033: AND
00000034: DUP1
00000035: PUSH4 0x06fdde03
0000003a: EQ
0000003b: PUSH2 0x030f
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0x095ea7b3
00000045: EQ
00000046: PUSH2 0x039d
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0x18160ddd
00000050: EQ
00000051: PUSH2 0x03f7
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0x23b872dd
0000005b: EQ
0000005c: PUSH2 0x0426
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0x313ce567
00000066: EQ
00000067: PUSH2 0x049f
0000006a: JUMPI
0000006b: DUP1
0000006c: PUSH4 0x54fd4d50
00000071: EQ
00000072: PUSH2 0x04ce
00000075: JUMPI
00000076: DUP1
00000077: PUSH4 0x70a08231
0000007c: EQ
0000007d: PUSH2 0x055c
00000080: JUMPI
00000081: DUP1
00000082: PUSH4 0x8535490f
00000087: EQ
00000088: PUSH2 0x05a9
0000008b: JUMPI
0000008c: DUP1
0000008d: PUSH4 0x95d89b41
00000092: EQ
00000093: PUSH2 0x05cc
00000096: JUMPI
00000097: DUP1
00000098: PUSH4 0xa9059cbb
0000009d: EQ
0000009e: PUSH2 0x065a
000000a1: JUMPI
000000a2: DUP1
000000a3: PUSH4 0xc0c602d9
000000a8: EQ
000000a9: PUSH2 0x06b4
000000ac: JUMPI
000000ad: DUP1
000000ae: PUSH4 0xcae9ca51
000000b3: EQ
000000b4: PUSH2 0x06dd
000000b7: JUMPI
000000b8: DUP1
000000b9: PUSH4 0xdd62ed3e
000000be: EQ
000000bf: PUSH2 0x077a
000000c2: JUMPI
000000c3: JUMPDEST
000000c4: PUSH1 0x00
000000c6: DUP1
000000c7: PUSH1 0x64
000000c9: PUSH1 0xff
000000cb: AND
000000cc: PUSH1 0x03
000000ce: SLOAD
000000cf: LT
000000d0: DUP1
000000d1: ISZERO
000000d2: PUSH2 0x00e3
000000d5: JUMPI
000000d6: POP
000000d7: PUSH8 0x06f05b59d3b20000
000000e0: CALLVALUE
000000e1: LT
000000e2: ISZERO
000000e3: JUMPDEST
000000e4: ISZERO
000000e5: ISZERO
000000e6: PUSH2 0x00ee
000000e9: JUMPI
000000ea: PUSH1 0x00
000000ec: DUP1
000000ed: REVERT
000000ee: JUMPDEST
000000ef: PUSH8 0x06f05b59d3b20000
000000f8: CALLVALUE
000000f9: DUP2
000000fa: ISZERO
000000fb: ISZERO
000000fc: PUSH2 0x0101
000000ff: JUMPI
00000100: INVALID
00000101: JUMPDEST
00000102: DIV
00000103: SWAP2
00000104: POP
00000105: PUSH1 0x00
00000107: SWAP1
00000108: POP
00000109: PUSH1 0x64
0000010b: PUSH1 0xff
0000010d: AND
0000010e: PUSH2 0x0119
00000111: PUSH1 0x03
00000113: SLOAD
00000114: DUP5
00000115: PUSH2 0x07e6
00000118: JUMP
00000119: JUMPDEST
0000011a: GT
0000011b: ISZERO
0000011c: PUSH2 0x013e
0000011f: JUMPI
00000120: PUSH1 0x03
00000122: SLOAD
00000123: PUSH1 0x64
00000125: PUSH1 0xff
00000127: AND
00000128: SUB
00000129: SWAP2
0000012a: POP
0000012b: PUSH8 0x06f05b59d3b20000
00000134: DUP3
00000135: MUL
00000136: CALLVALUE
00000137: SUB
00000138: SWAP1
00000139: POP
0000013a: PUSH2 0x0155
0000013d: JUMP
0000013e: JUMPDEST
0000013f: PUSH8 0x06f05b59d3b20000
00000148: CALLVALUE
00000149: DUP2
0000014a: ISZERO
0000014b: ISZERO
0000014c: PUSH2 0x0151
0000014f: JUMPI
00000150: INVALID
00000151: JUMPDEST
00000152: MOD
00000153: SWAP1
00000154: POP
00000155: JUMPDEST
00000156: PUSH1 0x64
00000158: PUSH1 0xff
0000015a: AND
0000015b: PUSH2 0x0166
0000015e: PUSH1 0x03
00000160: SLOAD
00000161: DUP5
00000162: PUSH2 0x07e6
00000165: JUMP
00000166: JUMPDEST
00000167: GT
00000168: ISZERO
00000169: ISZERO
0000016a: ISZERO
0000016b: PUSH2 0x0173
0000016e: JUMPI
0000016f: PUSH1 0x00
00000171: DUP1
00000172: REVERT
00000173: JUMPDEST
00000174: PUSH2 0x01bc
00000177: PUSH1 0x01
00000179: PUSH1 0x00
0000017b: CALLER
0000017c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000191: AND
00000192: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001a7: AND
000001a8: DUP2
000001a9: MSTORE
000001aa: PUSH1 0x20
000001ac: ADD
000001ad: SWAP1
000001ae: DUP2
000001af: MSTORE
000001b0: PUSH1 0x20
000001b2: ADD
000001b3: PUSH1 0x00
000001b5: KECCAK256
000001b6: SLOAD
000001b7: DUP4
000001b8: PUSH2 0x07e6
000001bb: JUMP
000001bc: JUMPDEST
000001bd: PUSH1 0x01
000001bf: PUSH1 0x00
000001c1: CALLER
000001c2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001d7: AND
000001d8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001ed: AND
000001ee: DUP2
000001ef: MSTORE
000001f0: PUSH1 0x20
000001f2: ADD
000001f3: SWAP1
000001f4: DUP2
000001f5: MSTORE
000001f6: PUSH1 0x20
000001f8: ADD
000001f9: PUSH1 0x00
000001fb: KECCAK256
000001fc: DUP2
000001fd: SWAP1
000001fe: SSTORE
000001ff: POP
00000200: PUSH2 0x020b
00000203: PUSH1 0x03
00000205: SLOAD
00000206: DUP4
00000207: PUSH2 0x07e6
0000020a: JUMP
0000020b: JUMPDEST
0000020c: PUSH1 0x03
0000020e: DUP2
0000020f: SWAP1
00000210: SSTORE
00000211: POP
00000212: PUSH1 0x64
00000214: PUSH1 0xff
00000216: AND
00000217: PUSH1 0x01
00000219: PUSH1 0x00
0000021b: CALLER
0000021c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000231: AND
00000232: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000247: AND
00000248: DUP2
00000249: MSTORE
0000024a: PUSH1 0x20
0000024c: ADD
0000024d: SWAP1
0000024e: DUP2
0000024f: MSTORE
00000250: PUSH1 0x20
00000252: ADD
00000253: PUSH1 0x00
00000255: KECCAK256
00000256: SLOAD
00000257: GT
00000258: ISZERO
00000259: ISZERO
0000025a: ISZERO
0000025b: PUSH2 0x0260
0000025e: JUMPI
0000025f: INVALID
00000260: JUMPDEST
00000261: CALLER
00000262: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000277: AND
00000278: PUSH2 0x08fc
0000027b: DUP3
0000027c: SWAP1
0000027d: DUP2
0000027e: ISZERO
0000027f: MUL
00000280: SWAP1
00000281: PUSH1 0x40
00000283: MLOAD
00000284: PUSH1 0x00
00000286: PUSH1 0x40
00000288: MLOAD
00000289: DUP1
0000028a: DUP4
0000028b: SUB
0000028c: DUP2
0000028d: DUP6
0000028e: DUP9
0000028f: DUP9
00000290: CALL
00000291: SWAP4
00000292: POP
00000293: POP
00000294: POP
00000295: POP
00000296: ISZERO
00000297: ISZERO
00000298: PUSH2 0x02a0
0000029b: JUMPI
0000029c: PUSH1 0x00
0000029e: DUP1
0000029f: REVERT
000002a0: JUMPDEST
000002a1: PUSH32 0xe086141d52d6173271d7007850f9796f2766ddf6dda2696667cbe0d5579f7526
000002c2: CALLER
000002c3: DUP4
000002c4: PUSH1 0x40
000002c6: MLOAD
000002c7: DUP1
000002c8: DUP4
000002c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002de: AND
000002df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002f4: AND
000002f5: DUP2
000002f6: MSTORE
000002f7: PUSH1 0x20
000002f9: ADD
000002fa: DUP3
000002fb: DUP2
000002fc: MSTORE
000002fd: PUSH1 0x20
000002ff: ADD
00000300: SWAP3
00000301: POP
00000302: POP
00000303: POP
00000304: PUSH1 0x40
00000306: MLOAD
00000307: DUP1
00000308: SWAP2
00000309: SUB
0000030a: SWAP1
0000030b: LOG1
0000030c: POP
0000030d: POP
0000030e: STOP
0000030f: JUMPDEST
00000310: CALLVALUE
00000311: ISZERO
00000312: PUSH2 0x031a
00000315: JUMPI
00000316: PUSH1 0x00
00000318: DUP1
00000319: REVERT
0000031a: JUMPDEST
0000031b: PUSH2 0x0322
0000031e: PUSH2 0x0804
00000321: JUMP
00000322: JUMPDEST
00000323: PUSH1 0x40
00000325: MLOAD
00000326: DUP1
00000327: DUP1
00000328: PUSH1 0x20
0000032a: ADD
0000032b: DUP3
0000032c: DUP2
0000032d: SUB
0000032e: DUP3
0000032f: MSTORE
00000330: DUP4
00000331: DUP2
00000332: DUP2
00000333: MLOAD
00000334: DUP2
00000335: MSTORE
00000336: PUSH1 0x20
00000338: ADD
00000339: SWAP2
0000033a: POP
0000033b: DUP1
0000033c: MLOAD
0000033d: SWAP1
0000033e: PUSH1 0x20
00000340: ADD
00000341: SWAP1
00000342: DUP1
00000343: DUP4
00000344: DUP4
00000345: PUSH1 0x00
00000347: JUMPDEST
00000348: DUP4
00000349: DUP2
0000034a: LT
0000034b: ISZERO
0000034c: PUSH2 0x0362
0000034f: JUMPI
00000350: DUP1
00000351: DUP3
00000352: ADD
00000353: MLOAD
00000354: DUP2
00000355: DUP5
00000356: ADD
00000357: MSTORE
00000358: PUSH1 0x20
0000035a: DUP2
0000035b: ADD
0000035c: SWAP1
0000035d: POP
0000035e: PUSH2 0x0347
00000361: JUMP
00000362: JUMPDEST
00000363: POP
00000364: POP
00000365: POP
00000366: POP
00000367: SWAP1
00000368: POP
00000369: SWAP1
0000036a: DUP2
0000036b: ADD
0000036c: SWAP1
0000036d: PUSH1 0x1f
0000036f: AND
00000370: DUP1
00000371: ISZERO
00000372: PUSH2 0x038f
00000375: JUMPI
00000376: DUP1
00000377: DUP3
00000378: SUB
00000379: DUP1
0000037a: MLOAD
0000037b: PUSH1 0x01
0000037d: DUP4
0000037e: PUSH1 0x20
00000380: SUB
00000381: PUSH2 0x0100
00000384: EXP
00000385: SUB
00000386: NOT
00000387: AND
00000388: DUP2
00000389: MSTORE
0000038a: PUSH1 0x20
0000038c: ADD
0000038d: SWAP2
0000038e: POP
0000038f: JUMPDEST
00000390: POP
00000391: SWAP3
00000392: POP
00000393: POP
00000394: POP
00000395: PUSH1 0x40
00000397: MLOAD
00000398: DUP1
00000399: SWAP2
0000039a: SUB
0000039b: SWAP1
0000039c: RETURN
0000039d: JUMPDEST
0000039e: CALLVALUE
0000039f: ISZERO
000003a0: PUSH2 0x03a8
000003a3: JUMPI
000003a4: PUSH1 0x00
000003a6: DUP1
000003a7: REVERT
000003a8: JUMPDEST
000003a9: PUSH2 0x03dd
000003ac: PUSH1 0x04
000003ae: DUP1
000003af: DUP1
000003b0: CALLDATALOAD
000003b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003c6: AND
000003c7: SWAP1
000003c8: PUSH1 0x20
000003ca: ADD
000003cb: SWAP1
000003cc: SWAP2
000003cd: SWAP1
000003ce: DUP1
000003cf: CALLDATALOAD
000003d0: SWAP1
000003d1: PUSH1 0x20
000003d3: ADD
000003d4: SWAP1
000003d5: SWAP2
000003d6: SWAP1
000003d7: POP
000003d8: POP
000003d9: PUSH2 0x083d
000003dc: JUMP
000003dd: JUMPDEST
000003de: PUSH1 0x40
000003e0: MLOAD
000003e1: DUP1
000003e2: DUP3
000003e3: ISZERO
000003e4: ISZERO
000003e5: ISZERO
000003e6: ISZERO
000003e7: DUP2
000003e8: MSTORE
000003e9: PUSH1 0x20
000003eb: ADD
000003ec: SWAP2
000003ed: POP
000003ee: POP
000003ef: PUSH1 0x40
000003f1: MLOAD
000003f2: DUP1
000003f3: SWAP2
000003f4: SUB
000003f5: SWAP1
000003f6: RETURN
000003f7: JUMPDEST
000003f8: CALLVALUE
000003f9: ISZERO
000003fa: PUSH2 0x0402
000003fd: JUMPI
000003fe: PUSH1 0x00
00000400: DUP1
00000401: REVERT
00000402: JUMPDEST
00000403: PUSH2 0x040a
00000406: PUSH2 0x092f
00000409: JUMP
0000040a: JUMPDEST
0000040b: PUSH1 0x40
0000040d: MLOAD
0000040e: DUP1
0000040f: DUP3
00000410: PUSH1 0xff
00000412: AND
00000413: PUSH1 0xff
00000415: AND
00000416: DUP2
00000417: MSTORE
00000418: PUSH1 0x20
0000041a: ADD
0000041b: SWAP2
0000041c: POP
0000041d: POP
0000041e: PUSH1 0x40
00000420: MLOAD
00000421: DUP1
00000422: SWAP2
00000423: SUB
00000424: SWAP1
00000425: RETURN
00000426: JUMPDEST
00000427: CALLVALUE
00000428: ISZERO
00000429: PUSH2 0x0431
0000042c: JUMPI
0000042d: PUSH1 0x00
0000042f: DUP1
00000430: REVERT
00000431: JUMPDEST
00000432: PUSH2 0x0485
00000435: PUSH1 0x04
00000437: DUP1
00000438: DUP1
00000439: CALLDATALOAD
0000043a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000044f: AND
00000450: SWAP1
00000451: PUSH1 0x20
00000453: ADD
00000454: SWAP1
00000455: SWAP2
00000456: SWAP1
00000457: DUP1
00000458: CALLDATALOAD
00000459: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000046e: AND
0000046f: SWAP1
00000470: PUSH1 0x20
00000472: ADD
00000473: SWAP1
00000474: SWAP2
00000475: SWAP1
00000476: DUP1
00000477: CALLDATALOAD
00000478: SWAP1
00000479: PUSH1 0x20
0000047b: ADD
0000047c: SWAP1
0000047d: SWAP2
0000047e: SWAP1
0000047f: POP
00000480: POP
00000481: PUSH2 0x0934
00000484: JUMP
00000485: JUMPDEST
00000486: PUSH1 0x40
00000488: MLOAD
00000489: DUP1
0000048a: DUP3
0000048b: ISZERO
0000048c: ISZERO
0000048d: ISZERO
0000048e: ISZERO
0000048f: DUP2
00000490: MSTORE
00000491: PUSH1 0x20
00000493: ADD
00000494: SWAP2
00000495: POP
00000496: POP
00000497: PUSH1 0x40
00000499: MLOAD
0000049a: DUP1
0000049b: SWAP2
0000049c: SUB
0000049d: SWAP1
0000049e: RETURN
0000049f: JUMPDEST
000004a0: CALLVALUE
000004a1: ISZERO
000004a2: PUSH2 0x04aa
000004a5: JUMPI
000004a6: PUSH1 0x00
000004a8: DUP1
000004a9: REVERT
000004aa: JUMPDEST
000004ab: PUSH2 0x04b2
000004ae: PUSH2 0x0d36
000004b1: JUMP
000004b2: JUMPDEST
000004b3: PUSH1 0x40
000004b5: MLOAD
000004b6: DUP1
000004b7: DUP3
000004b8: PUSH1 0xff
000004ba: AND
000004bb: PUSH1 0xff
000004bd: AND
000004be: DUP2
000004bf: MSTORE
000004c0: PUSH1 0x20
000004c2: ADD
000004c3: SWAP2
000004c4: POP
000004c5: POP
000004c6: PUSH1 0x40
000004c8: MLOAD
000004c9: DUP1
000004ca: SWAP2
000004cb: SUB
000004cc: SWAP1
000004cd: RETURN
000004ce: JUMPDEST
000004cf: CALLVALUE
000004d0: ISZERO
000004d1: PUSH2 0x04d9
000004d4: JUMPI
000004d5: PUSH1 0x00
000004d7: DUP1
000004d8: REVERT
000004d9: JUMPDEST
000004da: PUSH2 0x04e1
000004dd: PUSH2 0x0d3b
000004e0: JUMP
000004e1: JUMPDEST
000004e2: PUSH1 0x40
000004e4: MLOAD
000004e5: DUP1
000004e6: DUP1
000004e7: PUSH1 0x20
000004e9: ADD
000004ea: DUP3
000004eb: DUP2
000004ec: SUB
000004ed: DUP3
000004ee: MSTORE
000004ef: DUP4
000004f0: DUP2
000004f1: DUP2
000004f2: MLOAD
000004f3: DUP2
000004f4: MSTORE
000004f5: PUSH1 0x20
000004f7: ADD
000004f8: SWAP2
000004f9: POP
000004fa: DUP1
000004fb: MLOAD
000004fc: SWAP1
000004fd: PUSH1 0x20
000004ff: ADD
00000500: SWAP1
00000501: DUP1
00000502: DUP4
00000503: DUP4
00000504: PUSH1 0x00
00000506: JUMPDEST
00000507: DUP4
00000508: DUP2
00000509: LT
0000050a: ISZERO
0000050b: PUSH2 0x0521
0000050e: JUMPI
0000050f: DUP1
00000510: DUP3
00000511: ADD
00000512: MLOAD
00000513: DUP2
00000514: DUP5
00000515: ADD
00000516: MSTORE
00000517: PUSH1 0x20
00000519: DUP2
0000051a: ADD
0000051b: SWAP1
0000051c: POP
0000051d: PUSH2 0x0506
00000520: JUMP
00000521: JUMPDEST
00000522: POP
00000523: POP
00000524: POP
00000525: POP
00000526: SWAP1
00000527: POP
00000528: SWAP1
00000529: DUP2
0000052a: ADD
0000052b: SWAP1
0000052c: PUSH1 0x1f
0000052e: AND
0000052f: DUP1
00000530: ISZERO
00000531: PUSH2 0x054e
00000534: JUMPI
00000535: DUP1
00000536: DUP3
00000537: SUB
00000538: DUP1
00000539: MLOAD
0000053a: PUSH1 0x01
0000053c: DUP4
0000053d: PUSH1 0x20
0000053f: SUB
00000540: PUSH2 0x0100
00000543: EXP
00000544: SUB
00000545: NOT
00000546: AND
00000547: DUP2
00000548: MSTORE
00000549: PUSH1 0x20
0000054b: ADD
0000054c: SWAP2
0000054d: POP
0000054e: JUMPDEST
0000054f: POP
00000550: SWAP3
00000551: POP
00000552: POP
00000553: POP
00000554: PUSH1 0x40
00000556: MLOAD
00000557: DUP1
00000558: SWAP2
00000559: SUB
0000055a: SWAP1
0000055b: RETURN
0000055c: JUMPDEST
0000055d: CALLVALUE
0000055e: ISZERO
0000055f: PUSH2 0x0567
00000562: JUMPI
00000563: PUSH1 0x00
00000565: DUP1
00000566: REVERT
00000567: JUMPDEST
00000568: PUSH2 0x0593
0000056b: PUSH1 0x04
0000056d: DUP1
0000056e: DUP1
0000056f: CALLDATALOAD
00000570: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000585: AND
00000586: SWAP1
00000587: PUSH1 0x20
00000589: ADD
0000058a: SWAP1
0000058b: SWAP2
0000058c: SWAP1
0000058d: POP
0000058e: POP
0000058f: PUSH2 0x0d74
00000592: JUMP
00000593: JUMPDEST
00000594: PUSH1 0x40
00000596: MLOAD
00000597: DUP1
00000598: DUP3
00000599: DUP2
0000059a: MSTORE
0000059b: PUSH1 0x20
0000059d: ADD
0000059e: SWAP2
0000059f: POP
000005a0: POP
000005a1: PUSH1 0x40
000005a3: MLOAD
000005a4: DUP1
000005a5: SWAP2
000005a6: SUB
000005a7: SWAP1
000005a8: RETURN
000005a9: JUMPDEST
000005aa: CALLVALUE
000005ab: ISZERO
000005ac: PUSH2 0x05b4
000005af: JUMPI
000005b0: PUSH1 0x00
000005b2: DUP1
000005b3: REVERT
000005b4: JUMPDEST
000005b5: PUSH2 0x05ca
000005b8: PUSH1 0x04
000005ba: DUP1
000005bb: DUP1
000005bc: CALLDATALOAD
000005bd: SWAP1
000005be: PUSH1 0x20
000005c0: ADD
000005c1: SWAP1
000005c2: SWAP2
000005c3: SWAP1
000005c4: POP
000005c5: POP
000005c6: PUSH2 0x0dbd
000005c9: JUMP
000005ca: JUMPDEST
000005cb: STOP
000005cc: JUMPDEST
000005cd: CALLVALUE
000005ce: ISZERO
000005cf: PUSH2 0x05d7
000005d2: JUMPI
000005d3: PUSH1 0x00
000005d5: DUP1
000005d6: REVERT
000005d7: JUMPDEST
000005d8: PUSH2 0x05df
000005db: PUSH2 0x0e7c
000005de: JUMP
000005df: JUMPDEST
000005e0: PUSH1 0x40
000005e2: MLOAD
000005e3: DUP1
000005e4: DUP1
000005e5: PUSH1 0x20
000005e7: ADD
000005e8: DUP3
000005e9: DUP2
000005ea: SUB
000005eb: DUP3
000005ec: MSTORE
000005ed: DUP4
000005ee: DUP2
000005ef: DUP2
000005f0: MLOAD
000005f1: DUP2
000005f2: MSTORE
000005f3: PUSH1 0x20
000005f5: ADD
000005f6: SWAP2
000005f7: POP
000005f8: DUP1
000005f9: MLOAD
000005fa: SWAP1
000005fb: PUSH1 0x20
000005fd: ADD
000005fe: SWAP1
000005ff: DUP1
00000600: DUP4
00000601: DUP4
00000602: PUSH1 0x00
00000604: JUMPDEST
00000605: DUP4
00000606: DUP2
00000607: LT
00000608: ISZERO
00000609: PUSH2 0x061f
0000060c: JUMPI
0000060d: DUP1
0000060e: DUP3
0000060f: ADD
00000610: MLOAD
00000611: DUP2
00000612: DUP5
00000613: ADD
00000614: MSTORE
00000615: PUSH1 0x20
00000617: DUP2
00000618: ADD
00000619: SWAP1
0000061a: POP
0000061b: PUSH2 0x0604
0000061e: JUMP
0000061f: JUMPDEST
00000620: POP
00000621: POP
00000622: POP
00000623: POP
00000624: SWAP1
00000625: POP
00000626: SWAP1
00000627: DUP2
00000628: ADD
00000629: SWAP1
0000062a: PUSH1 0x1f
0000062c: AND
0000062d: DUP1
0000062e: ISZERO
0000062f: PUSH2 0x064c
00000632: JUMPI
00000633: DUP1
00000634: DUP3
00000635: SUB
00000636: DUP1
00000637: MLOAD
00000638: PUSH1 0x01
0000063a: DUP4
0000063b: PUSH1 0x20
0000063d: SUB
0000063e: PUSH2 0x0100
00000641: EXP
00000642: SUB
00000643: NOT
00000644: AND
00000645: DUP2
00000646: MSTORE
00000647: PUSH1 0x20
00000649: ADD
0000064a: SWAP2
0000064b: POP
0000064c: JUMPDEST
0000064d: POP
0000064e: SWAP3
0000064f: POP
00000650: POP
00000651: POP
00000652: PUSH1 0x40
00000654: MLOAD
00000655: DUP1
00000656: SWAP2
00000657: SUB
00000658: SWAP1
00000659: RETURN
0000065a: JUMPDEST
0000065b: CALLVALUE
0000065c: ISZERO
0000065d: PUSH2 0x0665
00000660: JUMPI
00000661: PUSH1 0x00
00000663: DUP1
00000664: REVERT
00000665: JUMPDEST
00000666: PUSH2 0x069a
00000669: PUSH1 0x04
0000066b: DUP1
0000066c: DUP1
0000066d: CALLDATALOAD
0000066e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000683: AND
00000684: SWAP1
00000685: PUSH1 0x20
00000687: ADD
00000688: SWAP1
00000689: SWAP2
0000068a: SWAP1
0000068b: DUP1
0000068c: CALLDATALOAD
0000068d: SWAP1
0000068e: PUSH1 0x20
00000690: ADD
00000691: SWAP1
00000692: SWAP2
00000693: SWAP1
00000694: POP
00000695: POP
00000696: PUSH2 0x0eb5
00000699: JUMP
0000069a: JUMPDEST
0000069b: PUSH1 0x40
0000069d: MLOAD
0000069e: DUP1
0000069f: DUP3
000006a0: ISZERO
000006a1: ISZERO
000006a2: ISZERO
000006a3: ISZERO
000006a4: DUP2
000006a5: MSTORE
000006a6: PUSH1 0x20
000006a8: ADD
000006a9: SWAP2
000006aa: POP
000006ab: POP
000006ac: PUSH1 0x40
000006ae: MLOAD
000006af: DUP1
000006b0: SWAP2
000006b1: SUB
000006b2: SWAP1
000006b3: RETURN
000006b4: JUMPDEST
000006b5: CALLVALUE
000006b6: ISZERO
000006b7: PUSH2 0x06bf
000006ba: JUMPI
000006bb: PUSH1 0x00
000006bd: DUP1
000006be: REVERT
000006bf: JUMPDEST
000006c0: PUSH2 0x06c7
000006c3: PUSH2 0x112a
000006c6: JUMP
000006c7: JUMPDEST
000006c8: PUSH1 0x40
000006ca: MLOAD
000006cb: DUP1
000006cc: DUP3
000006cd: DUP2
000006ce: MSTORE
000006cf: PUSH1 0x20
000006d1: ADD
000006d2: SWAP2
000006d3: POP
000006d4: POP
000006d5: PUSH1 0x40
000006d7: MLOAD
000006d8: DUP1
000006d9: SWAP2
000006da: SUB
000006db: SWAP1
000006dc: RETURN
000006dd: JUMPDEST
000006de: CALLVALUE
000006df: ISZERO
000006e0: PUSH2 0x06e8
000006e3: JUMPI
000006e4: PUSH1 0x00
000006e6: DUP1
000006e7: REVERT
000006e8: JUMPDEST
000006e9: PUSH2 0x0760
000006ec: PUSH1 0x04
000006ee: DUP1
000006ef: DUP1
000006f0: CALLDATALOAD
000006f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000706: AND
00000707: SWAP1
00000708: PUSH1 0x20
0000070a: ADD
0000070b: SWAP1
0000070c: SWAP2
0000070d: SWAP1
0000070e: DUP1
0000070f: CALLDATALOAD
00000710: SWAP1
00000711: PUSH1 0x20
00000713: ADD
00000714: SWAP1
00000715: SWAP2
00000716: SWAP1
00000717: DUP1
00000718: CALLDATALOAD
00000719: SWAP1
0000071a: PUSH1 0x20
0000071c: ADD
0000071d: SWAP1
0000071e: DUP3
0000071f: ADD
00000720: DUP1
00000721: CALLDATALOAD
00000722: SWAP1
00000723: PUSH1 0x20
00000725: ADD
00000726: SWAP1
00000727: DUP1
00000728: DUP1
00000729: PUSH1 0x1f
0000072b: ADD
0000072c: PUSH1 0x20
0000072e: DUP1
0000072f: SWAP2
00000730: DIV
00000731: MUL
00000732: PUSH1 0x20
00000734: ADD
00000735: PUSH1 0x40
00000737: MLOAD
00000738: SWAP1
00000739: DUP2
0000073a: ADD
0000073b: PUSH1 0x40
0000073d: MSTORE
0000073e: DUP1
0000073f: SWAP4
00000740: SWAP3
00000741: SWAP2
00000742: SWAP1
00000743: DUP2
00000744: DUP2
00000745: MSTORE
00000746: PUSH1 0x20
00000748: ADD
00000749: DUP4
0000074a: DUP4
0000074b: DUP1
0000074c: DUP3
0000074d: DUP5
0000074e: CALLDATACOPY
0000074f: DUP3
00000750: ADD
00000751: SWAP2
00000752: POP
00000753: POP
00000754: POP
00000755: POP
00000756: POP
00000757: POP
00000758: SWAP2
00000759: SWAP1
0000075a: POP
0000075b: POP
0000075c: PUSH2 0x1130
0000075f: JUMP
00000760: JUMPDEST
00000761: PUSH1 0x40
00000763: MLOAD
00000764: DUP1
00000765: DUP3
00000766: ISZERO
00000767: ISZERO
00000768: ISZERO
00000769: ISZERO
0000076a: DUP2
0000076b: MSTORE
0000076c: PUSH1 0x20
0000076e: ADD
0000076f: SWAP2
00000770: POP
00000771: POP
00000772: PUSH1 0x40
00000774: MLOAD
00000775: DUP1
00000776: SWAP2
00000777: SUB
00000778: SWAP1
00000779: RETURN
0000077a: JUMPDEST
0000077b: CALLVALUE
0000077c: ISZERO
0000077d: PUSH2 0x0785
00000780: JUMPI
00000781: PUSH1 0x00
00000783: DUP1
00000784: REVERT
00000785: JUMPDEST
00000786: PUSH2 0x07d0
00000789: PUSH1 0x04
0000078b: DUP1
0000078c: DUP1
0000078d: CALLDATALOAD
0000078e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007a3: AND
000007a4: SWAP1
000007a5: PUSH1 0x20
000007a7: ADD
000007a8: SWAP1
000007a9: SWAP2
000007aa: SWAP1
000007ab: DUP1
000007ac: CALLDATALOAD
000007ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007c2: AND
000007c3: SWAP1
000007c4: PUSH1 0x20
000007c6: ADD
000007c7: SWAP1
000007c8: SWAP2
000007c9: SWAP1
000007ca: POP
000007cb: POP
000007cc: PUSH2 0x12ae
000007cf: JUMP
000007d0: JUMPDEST
000007d1: PUSH1 0x40
000007d3: MLOAD
000007d4: DUP1
000007d5: DUP3
000007d6: DUP2
000007d7: MSTORE
000007d8: PUSH1 0x20
000007da: ADD
000007db: SWAP2
000007dc: POP
000007dd: POP
000007de: PUSH1 0x40
000007e0: MLOAD
000007e1: DUP1
000007e2: SWAP2
000007e3: SUB
000007e4: SWAP1
000007e5: RETURN
000007e6: JUMPDEST
000007e7: PUSH1 0x00
000007e9: DUP1
000007ea: DUP3
000007eb: DUP5
000007ec: ADD
000007ed: SWAP1
000007ee: POP
000007ef: DUP4
000007f0: DUP2
000007f1: LT
000007f2: ISZERO
000007f3: ISZERO
000007f4: ISZERO
000007f5: PUSH2 0x07fa
000007f8: JUMPI
000007f9: INVALID
000007fa: JUMPDEST
000007fb: DUP1
000007fc: SWAP2
000007fd: POP
000007fe: POP
000007ff: SWAP3
00000800: SWAP2
00000801: POP
00000802: POP
00000803: JUMP
00000804: JUMPDEST
00000805: PUSH1 0x40
00000807: DUP1
00000808: MLOAD
00000809: SWAP1
0000080a: DUP2
0000080b: ADD
0000080c: PUSH1 0x40
0000080e: MSTORE
0000080f: DUP1
00000810: PUSH1 0x08
00000812: DUP2
00000813: MSTORE
00000814: PUSH1 0x20
00000816: ADD
00000817: PUSH32 0x496d6d6f7274616c000000000000000000000000000000000000000000000000
00000838: DUP2
00000839: MSTORE
0000083a: POP
0000083b: DUP2
0000083c: JUMP
0000083d: JUMPDEST
0000083e: PUSH1 0x00
00000840: DUP2
00000841: PUSH1 0x02
00000843: PUSH1 0x00
00000845: CALLER
00000846: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000085b: AND
0000085c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000871: AND
00000872: DUP2
00000873: MSTORE
00000874: PUSH1 0x20
00000876: ADD
00000877: SWAP1
00000878: DUP2
00000879: MSTORE
0000087a: PUSH1 0x20
0000087c: ADD
0000087d: PUSH1 0x00
0000087f: KECCAK256
00000880: PUSH1 0x00
00000882: DUP6
00000883: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000898: AND
00000899: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008ae: AND
000008af: DUP2
000008b0: MSTORE
000008b1: PUSH1 0x20
000008b3: ADD
000008b4: SWAP1
000008b5: DUP2
000008b6: MSTORE
000008b7: PUSH1 0x20
000008b9: ADD
000008ba: PUSH1 0x00
000008bc: KECCAK256
000008bd: DUP2
000008be: SWAP1
000008bf: SSTORE
000008c0: POP
000008c1: DUP3
000008c2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008d7: AND
000008d8: CALLER
000008d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008ee: AND
000008ef: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00000910: DUP5
00000911: PUSH1 0x40
00000913: MLOAD
00000914: DUP1
00000915: DUP3
00000916: DUP2
00000917: MSTORE
00000918: PUSH1 0x20
0000091a: ADD
0000091b: SWAP2
0000091c: POP
0000091d: POP
0000091e: PUSH1 0x40
00000920: MLOAD
00000921: DUP1
00000922: SWAP2
00000923: SUB
00000924: SWAP1
00000925: LOG3
00000926: PUSH1 0x01
00000928: SWAP1
00000929: POP
0000092a: SWAP3
0000092b: SWAP2
0000092c: POP
0000092d: POP
0000092e: JUMP
0000092f: JUMPDEST
00000930: PUSH1 0x64
00000932: DUP2
00000933: JUMP
00000934: JUMPDEST
00000935: PUSH1 0x00
00000937: DUP2
00000938: PUSH1 0x01
0000093a: PUSH1 0x00
0000093c: DUP7
0000093d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000952: AND
00000953: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000968: AND
00000969: DUP2
0000096a: MSTORE
0000096b: PUSH1 0x20
0000096d: ADD
0000096e: SWAP1
0000096f: DUP2
00000970: MSTORE
00000971: PUSH1 0x20
00000973: ADD
00000974: PUSH1 0x00
00000976: KECCAK256
00000977: SLOAD
00000978: LT
00000979: DUP1
0000097a: PUSH2 0x09fe
0000097d: JUMPI
0000097e: POP
0000097f: DUP2
00000980: PUSH1 0x02
00000982: PUSH1 0x00
00000984: DUP7
00000985: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000099a: AND
0000099b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009b0: AND
000009b1: DUP2
000009b2: MSTORE
000009b3: PUSH1 0x20
000009b5: ADD
000009b6: SWAP1
000009b7: DUP2
000009b8: MSTORE
000009b9: PUSH1 0x20
000009bb: ADD
000009bc: PUSH1 0x00
000009be: KECCAK256
000009bf: PUSH1 0x00
000009c1: CALLER
000009c2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009d7: AND
000009d8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009ed: AND
000009ee: DUP2
000009ef: MSTORE
000009f0: PUSH1 0x20
000009f2: ADD
000009f3: SWAP1
000009f4: DUP2
000009f5: MSTORE
000009f6: PUSH1 0x20
000009f8: ADD
000009f9: PUSH1 0x00
000009fb: KECCAK256
000009fc: SLOAD
000009fd: LT
000009fe: JUMPDEST
000009ff: ISZERO
00000a00: PUSH2 0x0a0c
00000a03: JUMPI
00000a04: PUSH1 0x00
00000a06: SWAP1
00000a07: POP
00000a08: PUSH2 0x0d2f
00000a0b: JUMP
00000a0c: JUMPDEST
00000a0d: PUSH2 0x0a55
00000a10: PUSH1 0x01
00000a12: PUSH1 0x00
00000a14: DUP7
00000a15: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a2a: AND
00000a2b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a40: AND
00000a41: DUP2
00000a42: MSTORE
00000a43: PUSH1 0x20
00000a45: ADD
00000a46: SWAP1
00000a47: DUP2
00000a48: MSTORE
00000a49: PUSH1 0x20
00000a4b: ADD
00000a4c: PUSH1 0x00
00000a4e: KECCAK256
00000a4f: SLOAD
00000a50: DUP4
00000a51: PUSH2 0x1335
00000a54: JUMP
00000a55: JUMPDEST
00000a56: PUSH1 0x01
00000a58: PUSH1 0x00
00000a5a: DUP7
00000a5b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a70: AND
00000a71: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a86: AND
00000a87: DUP2
00000a88: MSTORE
00000a89: PUSH1 0x20
00000a8b: ADD
00000a8c: SWAP1
00000a8d: DUP2
00000a8e: MSTORE
00000a8f: PUSH1 0x20
00000a91: ADD
00000a92: PUSH1 0x00
00000a94: KECCAK256
00000a95: DUP2
00000a96: SWAP1
00000a97: SSTORE
00000a98: POP
00000a99: PUSH1 0x00
00000a9b: PUSH1 0x01
00000a9d: PUSH1 0x00
00000a9f: DUP7
00000aa0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ab5: AND
00000ab6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000acb: AND
00000acc: DUP2
00000acd: MSTORE
00000ace: PUSH1 0x20
00000ad0: ADD
00000ad1: SWAP1
00000ad2: DUP2
00000ad3: MSTORE
00000ad4: PUSH1 0x20
00000ad6: ADD
00000ad7: PUSH1 0x00
00000ad9: KECCAK256
00000ada: SLOAD
00000adb: LT
00000adc: ISZERO
00000add: ISZERO
00000ade: ISZERO
00000adf: PUSH2 0x0ae4
00000ae2: JUMPI
00000ae3: INVALID
00000ae4: JUMPDEST
00000ae5: PUSH2 0x0b6a
00000ae8: PUSH1 0x02
00000aea: PUSH1 0x00
00000aec: DUP7
00000aed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b02: AND
00000b03: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b18: AND
00000b19: DUP2
00000b1a: MSTORE
00000b1b: PUSH1 0x20
00000b1d: ADD
00000b1e: SWAP1
00000b1f: DUP2
00000b20: MSTORE
00000b21: PUSH1 0x20
00000b23: ADD
00000b24: PUSH1 0x00
00000b26: KECCAK256
00000b27: PUSH1 0x00
00000b29: CALLER
00000b2a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b3f: AND
00000b40: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b55: AND
00000b56: DUP2
00000b57: MSTORE
00000b58: PUSH1 0x20
00000b5a: ADD
00000b5b: SWAP1
00000b5c: DUP2
00000b5d: MSTORE
00000b5e: PUSH1 0x20
00000b60: ADD
00000b61: PUSH1 0x00
00000b63: KECCAK256
00000b64: SLOAD
00000b65: DUP4
00000b66: PUSH2 0x1335
00000b69: JUMP
00000b6a: JUMPDEST
00000b6b: PUSH1 0x02
00000b6d: PUSH1 0x00
00000b6f: DUP7
00000b70: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b85: AND
00000b86: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b9b: AND
00000b9c: DUP2
00000b9d: MSTORE
00000b9e: PUSH1 0x20
00000ba0: ADD
00000ba1: SWAP1
00000ba2: DUP2
00000ba3: MSTORE
00000ba4: PUSH1 0x20
00000ba6: ADD
00000ba7: PUSH1 0x00
00000ba9: KECCAK256
00000baa: PUSH1 0x00
00000bac: CALLER
00000bad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bc2: AND
00000bc3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bd8: AND
00000bd9: DUP2
00000bda: MSTORE
00000bdb: PUSH1 0x20
00000bdd: ADD
00000bde: SWAP1
00000bdf: DUP2
00000be0: MSTORE
00000be1: PUSH1 0x20
00000be3: ADD
00000be4: PUSH1 0x00
00000be6: KECCAK256
00000be7: DUP2
00000be8: SWAP1
00000be9: SSTORE
00000bea: POP
00000beb: PUSH2 0x0c33
00000bee: PUSH1 0x01
00000bf0: PUSH1 0x00
00000bf2: DUP6
00000bf3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c08: AND
00000c09: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c1e: AND
00000c1f: DUP2
00000c20: MSTORE
00000c21: PUSH1 0x20
00000c23: ADD
00000c24: SWAP1
00000c25: DUP2
00000c26: MSTORE
00000c27: PUSH1 0x20
00000c29: ADD
00000c2a: PUSH1 0x00
00000c2c: KECCAK256
00000c2d: SLOAD
00000c2e: DUP4
00000c2f: PUSH2 0x07e6
00000c32: JUMP
00000c33: JUMPDEST
00000c34: PUSH1 0x01
00000c36: PUSH1 0x00
00000c38: DUP6
00000c39: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c4e: AND
00000c4f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c64: AND
00000c65: DUP2
00000c66: MSTORE
00000c67: PUSH1 0x20
00000c69: ADD
00000c6a: SWAP1
00000c6b: DUP2
00000c6c: MSTORE
00000c6d: PUSH1 0x20
00000c6f: ADD
00000c70: PUSH1 0x00
00000c72: KECCAK256
00000c73: DUP2
00000c74: SWAP1
00000c75: SSTORE
00000c76: POP
00000c77: PUSH1 0x64
00000c79: PUSH1 0xff
00000c7b: AND
00000c7c: PUSH1 0x01
00000c7e: PUSH1 0x00
00000c80: DUP6
00000c81: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c96: AND
00000c97: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cac: AND
00000cad: DUP2
00000cae: MSTORE
00000caf: PUSH1 0x20
00000cb1: ADD
00000cb2: SWAP1
00000cb3: DUP2
00000cb4: MSTORE
00000cb5: PUSH1 0x20
00000cb7: ADD
00000cb8: PUSH1 0x00
00000cba: KECCAK256
00000cbb: SLOAD
00000cbc: GT
00000cbd: ISZERO
00000cbe: ISZERO
00000cbf: ISZERO
00000cc0: PUSH2 0x0cc5
00000cc3: JUMPI
00000cc4: INVALID
00000cc5: JUMPDEST
00000cc6: DUP3
00000cc7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cdc: AND
00000cdd: DUP5
00000cde: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cf3: AND
00000cf4: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00000d15: DUP5
00000d16: PUSH1 0x40
00000d18: MLOAD
00000d19: DUP1
00000d1a: DUP3
00000d1b: DUP2
00000d1c: MSTORE
00000d1d: PUSH1 0x20
00000d1f: ADD
00000d20: SWAP2
00000d21: POP
00000d22: POP
00000d23: PUSH1 0x40
00000d25: MLOAD
00000d26: DUP1
00000d27: SWAP2
00000d28: SUB
00000d29: SWAP1
00000d2a: LOG3
00000d2b: PUSH1 0x01
00000d2d: SWAP1
00000d2e: POP
00000d2f: JUMPDEST
00000d30: SWAP4
00000d31: SWAP3
00000d32: POP
00000d33: POP
00000d34: POP
00000d35: JUMP
00000d36: JUMPDEST
00000d37: PUSH1 0x00
00000d39: DUP2
00000d3a: JUMP
00000d3b: JUMPDEST
00000d3c: PUSH1 0x40
00000d3e: DUP1
00000d3f: MLOAD
00000d40: SWAP1
00000d41: DUP2
00000d42: ADD
00000d43: PUSH1 0x40
00000d45: MSTORE
00000d46: DUP1
00000d47: PUSH1 0x05
00000d49: DUP2
00000d4a: MSTORE
00000d4b: PUSH1 0x20
00000d4d: ADD
00000d4e: PUSH32 0x312e302e31000000000000000000000000000000000000000000000000000000
00000d6f: DUP2
00000d70: MSTORE
00000d71: POP
00000d72: DUP2
00000d73: JUMP
00000d74: JUMPDEST
00000d75: PUSH1 0x00
00000d77: PUSH1 0x01
00000d79: PUSH1 0x00
00000d7b: DUP4
00000d7c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d91: AND
00000d92: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000da7: AND
00000da8: DUP2
00000da9: MSTORE
00000daa: PUSH1 0x20
00000dac: ADD
00000dad: SWAP1
00000dae: DUP2
00000daf: MSTORE
00000db0: PUSH1 0x20
00000db2: ADD
00000db3: PUSH1 0x00
00000db5: KECCAK256
00000db6: SLOAD
00000db7: SWAP1
00000db8: POP
00000db9: SWAP2
00000dba: SWAP1
00000dbb: POP
00000dbc: JUMP
00000dbd: JUMPDEST
00000dbe: PUSH1 0x00
00000dc0: DUP1
00000dc1: SWAP1
00000dc2: SLOAD
00000dc3: SWAP1
00000dc4: PUSH2 0x0100
00000dc7: EXP
00000dc8: SWAP1
00000dc9: DIV
00000dca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ddf: AND
00000de0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000df5: AND
00000df6: CALLER
00000df7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e0c: AND
00000e0d: EQ
00000e0e: ISZERO
00000e0f: ISZERO
00000e10: PUSH2 0x0e18
00000e13: JUMPI
00000e14: PUSH1 0x00
00000e16: DUP1
00000e17: REVERT
00000e18: JUMPDEST
00000e19: PUSH1 0x00
00000e1b: DUP1
00000e1c: SWAP1
00000e1d: SLOAD
00000e1e: SWAP1
00000e1f: PUSH2 0x0100
00000e22: EXP
00000e23: SWAP1
00000e24: DIV
00000e25: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e3a: AND
00000e3b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e50: AND
00000e51: PUSH2 0x08fc
00000e54: DUP3
00000e55: SWAP1
00000e56: DUP2
00000e57: ISZERO
00000e58: MUL
00000e59: SWAP1
00000e5a: PUSH1 0x40
00000e5c: MLOAD
00000e5d: PUSH1 0x00
00000e5f: PUSH1 0x40
00000e61: MLOAD
00000e62: DUP1
00000e63: DUP4
00000e64: SUB
00000e65: DUP2
00000e66: DUP6
00000e67: DUP9
00000e68: DUP9
00000e69: CALL
00000e6a: SWAP4
00000e6b: POP
00000e6c: POP
00000e6d: POP
00000e6e: POP
00000e6f: ISZERO
00000e70: ISZERO
00000e71: PUSH2 0x0e79
00000e74: JUMPI
00000e75: PUSH1 0x00
00000e77: DUP1
00000e78: REVERT
00000e79: JUMPDEST
00000e7a: POP
00000e7b: JUMP
00000e7c: JUMPDEST
00000e7d: PUSH1 0x40
00000e7f: DUP1
00000e80: MLOAD
00000e81: SWAP1
00000e82: DUP2
00000e83: ADD
00000e84: PUSH1 0x40
00000e86: MSTORE
00000e87: DUP1
00000e88: PUSH1 0x03
00000e8a: DUP2
00000e8b: MSTORE
00000e8c: PUSH1 0x20
00000e8e: ADD
00000e8f: PUSH32 0x494d540000000000000000000000000000000000000000000000000000000000
00000eb0: DUP2
00000eb1: MSTORE
00000eb2: POP
00000eb3: DUP2
00000eb4: JUMP
00000eb5: JUMPDEST
00000eb6: PUSH1 0x00
00000eb8: DUP2
00000eb9: PUSH1 0x01
00000ebb: PUSH1 0x00
00000ebd: CALLER
00000ebe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ed3: AND
00000ed4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ee9: AND
00000eea: DUP2
00000eeb: MSTORE
00000eec: PUSH1 0x20
00000eee: ADD
00000eef: SWAP1
00000ef0: DUP2
00000ef1: MSTORE
00000ef2: PUSH1 0x20
00000ef4: ADD
00000ef5: PUSH1 0x00
00000ef7: KECCAK256
00000ef8: SLOAD
00000ef9: LT
00000efa: ISZERO
00000efb: PUSH2 0x0f07
00000efe: JUMPI
00000eff: PUSH1 0x00
00000f01: SWAP1
00000f02: POP
00000f03: PUSH2 0x1124
00000f06: JUMP
00000f07: JUMPDEST
00000f08: PUSH2 0x0f50
00000f0b: PUSH1 0x01
00000f0d: PUSH1 0x00
00000f0f: CALLER
00000f10: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f25: AND
00000f26: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f3b: AND
00000f3c: DUP2
00000f3d: MSTORE
00000f3e: PUSH1 0x20
00000f40: ADD
00000f41: SWAP1
00000f42: DUP2
00000f43: MSTORE
00000f44: PUSH1 0x20
00000f46: ADD
00000f47: PUSH1 0x00
00000f49: KECCAK256
00000f4a: SLOAD
00000f4b: DUP4
00000f4c: PUSH2 0x1335
00000f4f: JUMP
00000f50: JUMPDEST
00000f51: PUSH1 0x01
00000f53: PUSH1 0x00
00000f55: CALLER
00000f56: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f6b: AND
00000f6c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f81: AND
00000f82: DUP2
00000f83: MSTORE
00000f84: PUSH1 0x20
00000f86: ADD
00000f87: SWAP1
00000f88: DUP2
00000f89: MSTORE
00000f8a: PUSH1 0x20
00000f8c: ADD
00000f8d: PUSH1 0x00
00000f8f: KECCAK256
00000f90: DUP2
00000f91: SWAP1
00000f92: SSTORE
00000f93: POP
00000f94: PUSH1 0x00
00000f96: PUSH1 0x01
00000f98: PUSH1 0x00
00000f9a: CALLER
00000f9b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fb0: AND
00000fb1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fc6: AND
00000fc7: DUP2
00000fc8: MSTORE
00000fc9: PUSH1 0x20
00000fcb: ADD
00000fcc: SWAP1
00000fcd: DUP2
00000fce: MSTORE
00000fcf: PUSH1 0x20
00000fd1: ADD
00000fd2: PUSH1 0x00
00000fd4: KECCAK256
00000fd5: SLOAD
00000fd6: LT
00000fd7: ISZERO
00000fd8: ISZERO
00000fd9: ISZERO
00000fda: PUSH2 0x0fdf
00000fdd: JUMPI
00000fde: INVALID
00000fdf: JUMPDEST
00000fe0: PUSH2 0x1028
00000fe3: PUSH1 0x01
00000fe5: PUSH1 0x00
00000fe7: DUP6
00000fe8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ffd: AND
00000ffe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001013: AND
00001014: DUP2
00001015: MSTORE
00001016: PUSH1 0x20
00001018: ADD
00001019: SWAP1
0000101a: DUP2
0000101b: MSTORE
0000101c: PUSH1 0x20
0000101e: ADD
0000101f: PUSH1 0x00
00001021: KECCAK256
00001022: SLOAD
00001023: DUP4
00001024: PUSH2 0x07e6
00001027: JUMP
00001028: JUMPDEST
00001029: PUSH1 0x01
0000102b: PUSH1 0x00
0000102d: DUP6
0000102e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001043: AND
00001044: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001059: AND
0000105a: DUP2
0000105b: MSTORE
0000105c: PUSH1 0x20
0000105e: ADD
0000105f: SWAP1
00001060: DUP2
00001061: MSTORE
00001062: PUSH1 0x20
00001064: ADD
00001065: PUSH1 0x00
00001067: KECCAK256
00001068: DUP2
00001069: SWAP1
0000106a: SSTORE
0000106b: POP
0000106c: PUSH1 0x64
0000106e: PUSH1 0xff
00001070: AND
00001071: PUSH1 0x01
00001073: PUSH1 0x00
00001075: DUP6
00001076: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000108b: AND
0000108c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010a1: AND
000010a2: DUP2
000010a3: MSTORE
000010a4: PUSH1 0x20
000010a6: ADD
000010a7: SWAP1
000010a8: DUP2
000010a9: MSTORE
000010aa: PUSH1 0x20
000010ac: ADD
000010ad: PUSH1 0x00
000010af: KECCAK256
000010b0: SLOAD
000010b1: GT
000010b2: ISZERO
000010b3: ISZERO
000010b4: ISZERO
000010b5: PUSH2 0x10ba
000010b8: JUMPI
000010b9: INVALID
000010ba: JUMPDEST
000010bb: DUP3
000010bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010d1: AND
000010d2: CALLER
000010d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010e8: AND
000010e9: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
0000110a: DUP5
0000110b: PUSH1 0x40
0000110d: MLOAD
0000110e: DUP1
0000110f: DUP3
00001110: DUP2
00001111: MSTORE
00001112: PUSH1 0x20
00001114: ADD
00001115: SWAP2
00001116: POP
00001117: POP
00001118: PUSH1 0x40
0000111a: MLOAD
0000111b: DUP1
0000111c: SWAP2
0000111d: SUB
0000111e: SWAP1
0000111f: LOG3
00001120: PUSH1 0x01
00001122: SWAP1
00001123: POP
00001124: JUMPDEST
00001125: SWAP3
00001126: SWAP2
00001127: POP
00001128: POP
00001129: JUMP
0000112a: JUMPDEST
0000112b: PUSH1 0x03
0000112d: SLOAD
0000112e: DUP2
0000112f: JUMP
00001130: JUMPDEST
00001131: PUSH1 0x00
00001133: PUSH2 0x113c
00001136: DUP5
00001137: DUP5
00001138: PUSH2 0x083d
0000113b: JUMP
0000113c: JUMPDEST
0000113d: ISZERO
0000113e: ISZERO
0000113f: PUSH2 0x114b
00001142: JUMPI
00001143: PUSH1 0x00
00001145: SWAP1
00001146: POP
00001147: PUSH2 0x12a7
0000114a: JUMP
0000114b: JUMPDEST
0000114c: DUP4
0000114d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001162: AND
00001163: PUSH4 0x8f4ffcb1
00001168: CALLER
00001169: DUP6
0000116a: ADDRESS
0000116b: DUP7
0000116c: PUSH1 0x40
0000116e: MLOAD
0000116f: DUP6
00001170: PUSH4 0xffffffff
00001175: AND
00001176: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00001194: MUL
00001195: DUP2
00001196: MSTORE
00001197: PUSH1 0x04
00001199: ADD
0000119a: DUP1
0000119b: DUP6
0000119c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011b1: AND
000011b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011c7: AND
000011c8: DUP2
000011c9: MSTORE
000011ca: PUSH1 0x20
000011cc: ADD
000011cd: DUP5
000011ce: DUP2
000011cf: MSTORE
000011d0: PUSH1 0x20
000011d2: ADD
000011d3: DUP4
000011d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011e9: AND
000011ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011ff: AND
00001200: DUP2
00001201: MSTORE
00001202: PUSH1 0x20
00001204: ADD
00001205: DUP1
00001206: PUSH1 0x20
00001208: ADD
00001209: DUP3
0000120a: DUP2
0000120b: SUB
0000120c: DUP3
0000120d: MSTORE
0000120e: DUP4
0000120f: DUP2
00001210: DUP2
00001211: MLOAD
00001212: DUP2
00001213: MSTORE
00001214: PUSH1 0x20
00001216: ADD
00001217: SWAP2
00001218: POP
00001219: DUP1
0000121a: MLOAD
0000121b: SWAP1
0000121c: PUSH1 0x20
0000121e: ADD
0000121f: SWAP1
00001220: DUP1
00001221: DUP4
00001222: DUP4
00001223: PUSH1 0x00
00001225: JUMPDEST
00001226: DUP4
00001227: DUP2
00001228: LT
00001229: ISZERO
0000122a: PUSH2 0x1240
0000122d: JUMPI
0000122e: DUP1
0000122f: DUP3
00001230: ADD
00001231: MLOAD
00001232: DUP2
00001233: DUP5
00001234: ADD
00001235: MSTORE
00001236: PUSH1 0x20
00001238: DUP2
00001239: ADD
0000123a: SWAP1
0000123b: POP
0000123c: PUSH2 0x1225
0000123f: JUMP
00001240: JUMPDEST
00001241: POP
00001242: POP
00001243: POP
00001244: POP
00001245: SWAP1
00001246: POP
00001247: SWAP1
00001248: DUP2
00001249: ADD
0000124a: SWAP1
0000124b: PUSH1 0x1f
0000124d: AND
0000124e: DUP1
0000124f: ISZERO
00001250: PUSH2 0x126d
00001253: JUMPI
00001254: DUP1
00001255: DUP3
00001256: SUB
00001257: DUP1
00001258: MLOAD
00001259: PUSH1 0x01
0000125b: DUP4
0000125c: PUSH1 0x20
0000125e: SUB
0000125f: PUSH2 0x0100
00001262: EXP
00001263: SUB
00001264: NOT
00001265: AND
00001266: DUP2
00001267: MSTORE
00001268: PUSH1 0x20
0000126a: ADD
0000126b: SWAP2
0000126c: POP
0000126d: JUMPDEST
0000126e: POP
0000126f: SWAP6
00001270: POP
00001271: POP
00001272: POP
00001273: POP
00001274: POP
00001275: POP
00001276: PUSH1 0x00
00001278: PUSH1 0x40
0000127a: MLOAD
0000127b: DUP1
0000127c: DUP4
0000127d: SUB
0000127e: DUP2
0000127f: PUSH1 0x00
00001281: DUP8
00001282: DUP1
00001283: EXTCODESIZE
00001284: ISZERO
00001285: ISZERO
00001286: PUSH2 0x128e
00001289: JUMPI
0000128a: PUSH1 0x00
0000128c: DUP1
0000128d: REVERT
0000128e: JUMPDEST
0000128f: PUSH2 0x02c6
00001292: GAS
00001293: SUB
00001294: CALL
00001295: ISZERO
00001296: ISZERO
00001297: PUSH2 0x129f
0000129a: JUMPI
0000129b: PUSH1 0x00
0000129d: DUP1
0000129e: REVERT
0000129f: JUMPDEST
000012a0: POP
000012a1: POP
000012a2: POP
000012a3: PUSH1 0x01
000012a5: SWAP1
000012a6: POP
000012a7: JUMPDEST
000012a8: SWAP4
000012a9: SWAP3
000012aa: POP
000012ab: POP
000012ac: POP
000012ad: JUMP
000012ae: JUMPDEST
000012af: PUSH1 0x00
000012b1: PUSH1 0x02
000012b3: PUSH1 0x00
000012b5: DUP5
000012b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012cb: AND
000012cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012e1: AND
000012e2: DUP2
000012e3: MSTORE
000012e4: PUSH1 0x20
000012e6: ADD
000012e7: SWAP1
000012e8: DUP2
000012e9: MSTORE
000012ea: PUSH1 0x20
000012ec: ADD
000012ed: PUSH1 0x00
000012ef: KECCAK256
000012f0: PUSH1 0x00
000012f2: DUP4
000012f3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001308: AND
00001309: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000131e: AND
0000131f: DUP2
00001320: MSTORE
00001321: PUSH1 0x20
00001323: ADD
00001324: SWAP1
00001325: DUP2
00001326: MSTORE
00001327: PUSH1 0x20
00001329: ADD
0000132a: PUSH1 0x00
0000132c: KECCAK256
0000132d: SLOAD
0000132e: SWAP1
0000132f: POP
00001330: SWAP3
00001331: SWAP2
00001332: POP
00001333: POP
00001334: JUMP
00001335: JUMPDEST
00001336: PUSH1 0x00
00001338: DUP3
00001339: DUP3
0000133a: GT
0000133b: ISZERO
0000133c: ISZERO
0000133d: ISZERO
0000133e: PUSH2 0x1343
00001341: JUMPI
00001342: INVALID
00001343: JUMPDEST
00001344: DUP2
00001345: DUP4
00001346: SUB
00001347: SWAP1
00001348: POP
00001349: SWAP3
0000134a: SWAP2
0000134b: POP
0000134c: POP
0000134d: JUMP
0000134e: STOP
0000134f: LOG1
00001350: PUSH6 0x627a7a723058
00001357: KECCAK256
00001358: ISZERO
00001359: SHR
0000135a: UNKNOWN(0xC5)
0000135b: SWAP11
0000135c: CALLDATASIZE
0000135d: CALLDATASIZE
0000135e: SUB
0000135f: DUP9
00001360: SLOAD
00001361: UNKNOWN(0xDD)
00001362: UNKNOWN(0x29)
00001363: UNKNOWN(0xEC)
00001364: SWAP3
00001365: LOG4
00001366: OR
00001367: UNKNOWN(0xAE)
00001368: UNKNOWN(0xC8)
00001369: UNKNOWN(0xD1)
0000136a: SLOAD
0000136b: UNKNOWN(0xFB)
0000136c: UNKNOWN(0xD4)
0000136d: SWAP3
0000136e: PUSH1 0xf4
00001370: UNKNOWN(0xBD)
00001371: SWAP8
00001372: UNKNOWN(0xBC)
00001373: DUP4
00001374: RETURNDATACOPY
00001375: LT
00001376: UNKNOWN(0xCE)
00001377: GASPRICE
00001378: STOP
00001379: UNKNOWN(0x29)

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: 0x741f7594d1db7768128a7dcb091dc4469eb76ca3e0e24bcd4e92fd9b6f37e65e
call_targets: 0x22e5f62d0fa19974749faa194e3d3ef6d89c08d7
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x741f7594d1db7768128a7dcb091dc4469eb76ca3e0e24bcd4e92fd9b6f37e65e",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x22e5f62d0fa19974749faa194e3d3ef6d89c08d7"
    ],
    "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": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x095ea7b3",
            "selector": "0x095ea7b3",
            "calldata_variants": [
                "0x095ea7b3",
                "0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x18160ddd",
            "selector": "0x18160ddd",
            "calldata_variants": [
                "0x18160ddd",
                "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x23b872dd",
            "selector": "0x23b872dd",
            "calldata_variants": [
                "0x23b872dd",
                "0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x313ce567",
            "selector": "0x313ce567",
            "calldata_variants": [
                "0x313ce567",
                "0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x54fd4d50",
            "selector": "0x54fd4d50",
            "calldata_variants": [
                "0x54fd4d50",
                "0x54fd4d500000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x70a08231",
            "selector": "0x70a08231",
            "calldata_variants": [
                "0x70a08231",
                "0x70a082310000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 656,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3689,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 4756,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 3,
    "guards_detected": [
        {
            "pc": 3574,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ],
    "untrusted_call_count": 3
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0x741f7594d1db7768128a7dcb091dc4469eb76ca3e0e24bcd4e92fd9b6f37e65e
call_targets: 0x22e5f62d0fa19974749faa194e3d3ef6d89c08d7
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x741f7594d1db7768128a7dcb091dc4469eb76ca3e0e24bcd4e92fd9b6f37e65e",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x22e5f62d0fa19974749faa194e3d3ef6d89c08d7"
    ],
    "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": "0x06fdde03",
            "selector": "0x06fdde03",
            "calldata_variants": [
                "0x06fdde03",
                "0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x095ea7b3",
            "selector": "0x095ea7b3",
            "calldata_variants": [
                "0x095ea7b3",
                "0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x18160ddd",
            "selector": "0x18160ddd",
            "calldata_variants": [
                "0x18160ddd",
                "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x23b872dd",
            "selector": "0x23b872dd",
            "calldata_variants": [
                "0x23b872dd",
                "0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x313ce567",
            "selector": "0x313ce567",
            "calldata_variants": [
                "0x313ce567",
                "0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x54fd4d50",
            "selector": "0x54fd4d50",
            "calldata_variants": [
                "0x54fd4d50",
                "0x54fd4d500000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x70a08231",
            "selector": "0x70a08231",
            "calldata_variants": [
                "0x70a08231",
                "0x70a082310000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 656,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3689,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 4756,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 3,
    "guards_detected": [
        {
            "pc": 3574,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ]
}