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

Analysis Run

019b3844-a8f2-73fc-8582-0d3f2d5499df

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

What survived the funnel

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

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

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
16805 artifact.fetch complete 1 / 3 3 months ago
16806 tool.cast_disasm complete 1 / 3 3 months ago
107009 analysis.bundle complete 1 / 3 1 week ago
107010 capability.graph complete 1 / 3 1 week ago
107011 detector.run complete 1 / 3 1 week ago
107012 validation.fork complete 1 / 3 1 week ago

Artifact

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

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
4
EXT*/BALANCE
2
Total opcodes
2392
Flags
No heuristic flags raised.
View cast disassembly output 
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0059
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x150b7a02
00000019: EQ
0000001a: PUSH2 0x0065
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0x2e025ac5
00000024: EQ
00000025: PUSH2 0x00a2
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0x8da5cb5b
0000002f: EQ
00000030: PUSH2 0x00cb
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xbe798e74
0000003a: EQ
0000003b: PUSH2 0x00f6
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xd5290296
00000045: EQ
00000046: PUSH2 0x0133
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xde6d6d96
00000050: EQ
00000051: PUSH2 0x015c
00000054: JUMPI
00000055: PUSH2 0x0060
00000058: JUMP
00000059: JUMPDEST
0000005a: CALLDATASIZE
0000005b: PUSH2 0x0060
0000005e: JUMPI
0000005f: STOP
00000060: JUMPDEST
00000061: PUSH1 0x00
00000063: DUP1
00000064: REVERT
00000065: JUMPDEST
00000066: CALLVALUE
00000067: DUP1
00000068: ISZERO
00000069: PUSH2 0x0071
0000006c: JUMPI
0000006d: PUSH1 0x00
0000006f: DUP1
00000070: REVERT
00000071: JUMPDEST
00000072: POP
00000073: PUSH2 0x008c
00000076: PUSH1 0x04
00000078: DUP1
00000079: CALLDATASIZE
0000007a: SUB
0000007b: DUP2
0000007c: ADD
0000007d: SWAP1
0000007e: PUSH2 0x0087
00000081: SWAP2
00000082: SWAP1
00000083: PUSH2 0x0929
00000086: JUMP
00000087: JUMPDEST
00000088: PUSH2 0x0185
0000008b: JUMP
0000008c: JUMPDEST
0000008d: PUSH1 0x40
0000008f: MLOAD
00000090: PUSH2 0x0099
00000093: SWAP2
00000094: SWAP1
00000095: PUSH2 0x09e7
00000098: JUMP
00000099: JUMPDEST
0000009a: PUSH1 0x40
0000009c: MLOAD
0000009d: DUP1
0000009e: SWAP2
0000009f: SUB
000000a0: SWAP1
000000a1: RETURN
000000a2: JUMPDEST
000000a3: CALLVALUE
000000a4: DUP1
000000a5: ISZERO
000000a6: PUSH2 0x00ae
000000a9: JUMPI
000000aa: PUSH1 0x00
000000ac: DUP1
000000ad: REVERT
000000ae: JUMPDEST
000000af: POP
000000b0: PUSH2 0x00c9
000000b3: PUSH1 0x04
000000b5: DUP1
000000b6: CALLDATASIZE
000000b7: SUB
000000b8: DUP2
000000b9: ADD
000000ba: SWAP1
000000bb: PUSH2 0x00c4
000000be: SWAP2
000000bf: SWAP1
000000c0: PUSH2 0x0ab8
000000c3: JUMP
000000c4: JUMPDEST
000000c5: PUSH2 0x0199
000000c8: JUMP
000000c9: JUMPDEST
000000ca: STOP
000000cb: JUMPDEST
000000cc: CALLVALUE
000000cd: DUP1
000000ce: ISZERO
000000cf: PUSH2 0x00d7
000000d2: JUMPI
000000d3: PUSH1 0x00
000000d5: DUP1
000000d6: REVERT
000000d7: JUMPDEST
000000d8: POP
000000d9: PUSH2 0x00e0
000000dc: PUSH2 0x030f
000000df: JUMP
000000e0: JUMPDEST
000000e1: PUSH1 0x40
000000e3: MLOAD
000000e4: PUSH2 0x00ed
000000e7: SWAP2
000000e8: SWAP1
000000e9: PUSH2 0x0b5c
000000ec: JUMP
000000ed: JUMPDEST
000000ee: PUSH1 0x40
000000f0: MLOAD
000000f1: DUP1
000000f2: SWAP2
000000f3: SUB
000000f4: SWAP1
000000f5: RETURN
000000f6: JUMPDEST
000000f7: CALLVALUE
000000f8: DUP1
000000f9: ISZERO
000000fa: PUSH2 0x0102
000000fd: JUMPI
000000fe: PUSH1 0x00
00000100: DUP1
00000101: REVERT
00000102: JUMPDEST
00000103: POP
00000104: PUSH2 0x011d
00000107: PUSH1 0x04
00000109: DUP1
0000010a: CALLDATASIZE
0000010b: SUB
0000010c: DUP2
0000010d: ADD
0000010e: SWAP1
0000010f: PUSH2 0x0118
00000112: SWAP2
00000113: SWAP1
00000114: PUSH2 0x0bcd
00000117: JUMP
00000118: JUMPDEST
00000119: PUSH2 0x0333
0000011c: JUMP
0000011d: JUMPDEST
0000011e: PUSH1 0x40
00000120: MLOAD
00000121: PUSH2 0x012a
00000124: SWAP2
00000125: SWAP1
00000126: PUSH2 0x0cc0
00000129: JUMP
0000012a: JUMPDEST
0000012b: PUSH1 0x40
0000012d: MLOAD
0000012e: DUP1
0000012f: SWAP2
00000130: SUB
00000131: SWAP1
00000132: RETURN
00000133: JUMPDEST
00000134: CALLVALUE
00000135: DUP1
00000136: ISZERO
00000137: PUSH2 0x013f
0000013a: JUMPI
0000013b: PUSH1 0x00
0000013d: DUP1
0000013e: REVERT
0000013f: JUMPDEST
00000140: POP
00000141: PUSH2 0x015a
00000144: PUSH1 0x04
00000146: DUP1
00000147: CALLDATASIZE
00000148: SUB
00000149: DUP2
0000014a: ADD
0000014b: SWAP1
0000014c: PUSH2 0x0155
0000014f: SWAP2
00000150: SWAP1
00000151: PUSH2 0x0ab8
00000154: JUMP
00000155: JUMPDEST
00000156: PUSH2 0x044c
00000159: JUMP
0000015a: JUMPDEST
0000015b: STOP
0000015c: JUMPDEST
0000015d: CALLVALUE
0000015e: DUP1
0000015f: ISZERO
00000160: PUSH2 0x0168
00000163: JUMPI
00000164: PUSH1 0x00
00000166: DUP1
00000167: REVERT
00000168: JUMPDEST
00000169: POP
0000016a: PUSH2 0x0183
0000016d: PUSH1 0x04
0000016f: DUP1
00000170: CALLDATASIZE
00000171: SUB
00000172: DUP2
00000173: ADD
00000174: SWAP1
00000175: PUSH2 0x017e
00000178: SWAP2
00000179: SWAP1
0000017a: PUSH2 0x0ce2
0000017d: JUMP
0000017e: JUMPDEST
0000017f: PUSH2 0x05c4
00000182: JUMP
00000183: JUMPDEST
00000184: STOP
00000185: JUMPDEST
00000186: PUSH1 0x00
00000188: PUSH4 0x150b7a02
0000018d: PUSH1 0xe0
0000018f: SHL
00000190: SWAP1
00000191: POP
00000192: SWAP5
00000193: SWAP4
00000194: POP
00000195: POP
00000196: POP
00000197: POP
00000198: JUMP
00000199: JUMPDEST
0000019a: PUSH32 0x0000000000000000000000009188db2825bd0ad76a2ba3aba21274428dc696e5
000001bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001d0: AND
000001d1: CALLER
000001d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001e7: AND
000001e8: EQ
000001e9: PUSH2 0x01f1
000001ec: JUMPI
000001ed: PUSH1 0x00
000001ef: DUP1
000001f0: REVERT
000001f1: JUMPDEST
000001f2: DUP2
000001f3: DUP2
000001f4: SWAP1
000001f5: POP
000001f6: DUP5
000001f7: DUP5
000001f8: SWAP1
000001f9: POP
000001fa: EQ
000001fb: PUSH2 0x0239
000001fe: JUMPI
000001ff: PUSH1 0x40
00000201: MLOAD
00000202: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000223: DUP2
00000224: MSTORE
00000225: PUSH1 0x04
00000227: ADD
00000228: PUSH2 0x0230
0000022b: SWAP1
0000022c: PUSH2 0x0dc0
0000022f: JUMP
00000230: JUMPDEST
00000231: PUSH1 0x40
00000233: MLOAD
00000234: DUP1
00000235: SWAP2
00000236: SUB
00000237: SWAP1
00000238: REVERT
00000239: JUMPDEST
0000023a: PUSH1 0x00
0000023c: JUMPDEST
0000023d: DUP5
0000023e: DUP5
0000023f: SWAP1
00000240: POP
00000241: DUP2
00000242: LT
00000243: ISZERO
00000244: PUSH2 0x0307
00000247: JUMPI
00000248: DUP6
00000249: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000025e: AND
0000025f: PUSH4 0xa9059cbb
00000264: DUP7
00000265: DUP7
00000266: DUP5
00000267: DUP2
00000268: DUP2
00000269: LT
0000026a: PUSH2 0x0276
0000026d: JUMPI
0000026e: PUSH2 0x0275
00000271: PUSH2 0x0de0
00000274: JUMP
00000275: JUMPDEST
00000276: JUMPDEST
00000277: SWAP1
00000278: POP
00000279: PUSH1 0x20
0000027b: MUL
0000027c: ADD
0000027d: PUSH1 0x20
0000027f: DUP2
00000280: ADD
00000281: SWAP1
00000282: PUSH2 0x028b
00000285: SWAP2
00000286: SWAP1
00000287: PUSH2 0x0e0f
0000028a: JUMP
0000028b: JUMPDEST
0000028c: DUP6
0000028d: DUP6
0000028e: DUP6
0000028f: DUP2
00000290: DUP2
00000291: LT
00000292: PUSH2 0x029e
00000295: JUMPI
00000296: PUSH2 0x029d
00000299: PUSH2 0x0de0
0000029c: JUMP
0000029d: JUMPDEST
0000029e: JUMPDEST
0000029f: SWAP1
000002a0: POP
000002a1: PUSH1 0x20
000002a3: MUL
000002a4: ADD
000002a5: CALLDATALOAD
000002a6: PUSH1 0x40
000002a8: MLOAD
000002a9: DUP4
000002aa: PUSH4 0xffffffff
000002af: AND
000002b0: PUSH1 0xe0
000002b2: SHL
000002b3: DUP2
000002b4: MSTORE
000002b5: PUSH1 0x04
000002b7: ADD
000002b8: PUSH2 0x02c2
000002bb: SWAP3
000002bc: SWAP2
000002bd: SWAP1
000002be: PUSH2 0x0e4b
000002c1: JUMP
000002c2: JUMPDEST
000002c3: PUSH1 0x00
000002c5: PUSH1 0x40
000002c7: MLOAD
000002c8: DUP1
000002c9: DUP4
000002ca: SUB
000002cb: DUP2
000002cc: PUSH1 0x00
000002ce: DUP8
000002cf: DUP1
000002d0: EXTCODESIZE
000002d1: ISZERO
000002d2: DUP1
000002d3: ISZERO
000002d4: PUSH2 0x02dc
000002d7: JUMPI
000002d8: PUSH1 0x00
000002da: DUP1
000002db: REVERT
000002dc: JUMPDEST
000002dd: POP
000002de: GAS
000002df: CALL
000002e0: ISZERO
000002e1: DUP1
000002e2: ISZERO
000002e3: PUSH2 0x02f0
000002e6: JUMPI
000002e7: RETURNDATASIZE
000002e8: PUSH1 0x00
000002ea: DUP1
000002eb: RETURNDATACOPY
000002ec: RETURNDATASIZE
000002ed: PUSH1 0x00
000002ef: REVERT
000002f0: JUMPDEST
000002f1: POP
000002f2: POP
000002f3: POP
000002f4: POP
000002f5: DUP1
000002f6: DUP1
000002f7: PUSH2 0x02ff
000002fa: SWAP1
000002fb: PUSH2 0x0ea3
000002fe: JUMP
000002ff: JUMPDEST
00000300: SWAP2
00000301: POP
00000302: POP
00000303: PUSH2 0x023c
00000306: JUMP
00000307: JUMPDEST
00000308: POP
00000309: POP
0000030a: POP
0000030b: POP
0000030c: POP
0000030d: POP
0000030e: JUMP
0000030f: JUMPDEST
00000310: PUSH32 0x0000000000000000000000009188db2825bd0ad76a2ba3aba21274428dc696e5
00000331: DUP2
00000332: JUMP
00000333: JUMPDEST
00000334: PUSH1 0x60
00000336: PUSH32 0x0000000000000000000000009188db2825bd0ad76a2ba3aba21274428dc696e5
00000357: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000036c: AND
0000036d: CALLER
0000036e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000383: AND
00000384: EQ
00000385: PUSH2 0x038d
00000388: JUMPI
00000389: PUSH1 0x00
0000038b: DUP1
0000038c: REVERT
0000038d: JUMPDEST
0000038e: PUSH1 0x00
00000390: DUP1
00000391: DUP7
00000392: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003a7: AND
000003a8: DUP7
000003a9: DUP7
000003aa: DUP7
000003ab: PUSH1 0x40
000003ad: MLOAD
000003ae: PUSH2 0x03b8
000003b1: SWAP3
000003b2: SWAP2
000003b3: SWAP1
000003b4: PUSH2 0x0f1b
000003b7: JUMP
000003b8: JUMPDEST
000003b9: PUSH1 0x00
000003bb: PUSH1 0x40
000003bd: MLOAD
000003be: DUP1
000003bf: DUP4
000003c0: SUB
000003c1: DUP2
000003c2: DUP6
000003c3: DUP8
000003c4: GAS
000003c5: CALL
000003c6: SWAP3
000003c7: POP
000003c8: POP
000003c9: POP
000003ca: RETURNDATASIZE
000003cb: DUP1
000003cc: PUSH1 0x00
000003ce: DUP2
000003cf: EQ
000003d0: PUSH2 0x03f5
000003d3: JUMPI
000003d4: PUSH1 0x40
000003d6: MLOAD
000003d7: SWAP2
000003d8: POP
000003d9: PUSH1 0x1f
000003db: NOT
000003dc: PUSH1 0x3f
000003de: RETURNDATASIZE
000003df: ADD
000003e0: AND
000003e1: DUP3
000003e2: ADD
000003e3: PUSH1 0x40
000003e5: MSTORE
000003e6: RETURNDATASIZE
000003e7: DUP3
000003e8: MSTORE
000003e9: RETURNDATASIZE
000003ea: PUSH1 0x00
000003ec: PUSH1 0x20
000003ee: DUP5
000003ef: ADD
000003f0: RETURNDATACOPY
000003f1: PUSH2 0x03fa
000003f4: JUMP
000003f5: JUMPDEST
000003f6: PUSH1 0x60
000003f8: SWAP2
000003f9: POP
000003fa: JUMPDEST
000003fb: POP
000003fc: SWAP2
000003fd: POP
000003fe: SWAP2
000003ff: POP
00000400: DUP2
00000401: PUSH2 0x043f
00000404: JUMPI
00000405: PUSH1 0x40
00000407: MLOAD
00000408: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000429: DUP2
0000042a: MSTORE
0000042b: PUSH1 0x04
0000042d: ADD
0000042e: PUSH2 0x0436
00000431: SWAP1
00000432: PUSH2 0x0f80
00000435: JUMP
00000436: JUMPDEST
00000437: PUSH1 0x40
00000439: MLOAD
0000043a: DUP1
0000043b: SWAP2
0000043c: SUB
0000043d: SWAP1
0000043e: REVERT
0000043f: JUMPDEST
00000440: DUP1
00000441: SWAP3
00000442: POP
00000443: POP
00000444: POP
00000445: SWAP5
00000446: SWAP4
00000447: POP
00000448: POP
00000449: POP
0000044a: POP
0000044b: JUMP
0000044c: JUMPDEST
0000044d: PUSH32 0x0000000000000000000000009188db2825bd0ad76a2ba3aba21274428dc696e5
0000046e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000483: AND
00000484: CALLER
00000485: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000049a: AND
0000049b: EQ
0000049c: PUSH2 0x04a4
0000049f: JUMPI
000004a0: PUSH1 0x00
000004a2: DUP1
000004a3: REVERT
000004a4: JUMPDEST
000004a5: DUP2
000004a6: DUP2
000004a7: SWAP1
000004a8: POP
000004a9: DUP5
000004aa: DUP5
000004ab: SWAP1
000004ac: POP
000004ad: EQ
000004ae: PUSH2 0x04ec
000004b1: JUMPI
000004b2: PUSH1 0x40
000004b4: MLOAD
000004b5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000004d6: DUP2
000004d7: MSTORE
000004d8: PUSH1 0x04
000004da: ADD
000004db: PUSH2 0x04e3
000004de: SWAP1
000004df: PUSH2 0x0dc0
000004e2: JUMP
000004e3: JUMPDEST
000004e4: PUSH1 0x40
000004e6: MLOAD
000004e7: DUP1
000004e8: SWAP2
000004e9: SUB
000004ea: SWAP1
000004eb: REVERT
000004ec: JUMPDEST
000004ed: PUSH1 0x00
000004ef: JUMPDEST
000004f0: DUP5
000004f1: DUP5
000004f2: SWAP1
000004f3: POP
000004f4: DUP2
000004f5: LT
000004f6: ISZERO
000004f7: PUSH2 0x05bc
000004fa: JUMPI
000004fb: DUP6
000004fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000511: AND
00000512: PUSH4 0x23b872dd
00000517: ADDRESS
00000518: DUP8
00000519: DUP8
0000051a: DUP6
0000051b: DUP2
0000051c: DUP2
0000051d: LT
0000051e: PUSH2 0x052a
00000521: JUMPI
00000522: PUSH2 0x0529
00000525: PUSH2 0x0de0
00000528: JUMP
00000529: JUMPDEST
0000052a: JUMPDEST
0000052b: SWAP1
0000052c: POP
0000052d: PUSH1 0x20
0000052f: MUL
00000530: ADD
00000531: PUSH1 0x20
00000533: DUP2
00000534: ADD
00000535: SWAP1
00000536: PUSH2 0x053f
00000539: SWAP2
0000053a: SWAP1
0000053b: PUSH2 0x0e0f
0000053e: JUMP
0000053f: JUMPDEST
00000540: DUP7
00000541: DUP7
00000542: DUP7
00000543: DUP2
00000544: DUP2
00000545: LT
00000546: PUSH2 0x0552
00000549: JUMPI
0000054a: PUSH2 0x0551
0000054d: PUSH2 0x0de0
00000550: JUMP
00000551: JUMPDEST
00000552: JUMPDEST
00000553: SWAP1
00000554: POP
00000555: PUSH1 0x20
00000557: MUL
00000558: ADD
00000559: CALLDATALOAD
0000055a: PUSH1 0x40
0000055c: MLOAD
0000055d: DUP5
0000055e: PUSH4 0xffffffff
00000563: AND
00000564: PUSH1 0xe0
00000566: SHL
00000567: DUP2
00000568: MSTORE
00000569: PUSH1 0x04
0000056b: ADD
0000056c: PUSH2 0x0577
0000056f: SWAP4
00000570: SWAP3
00000571: SWAP2
00000572: SWAP1
00000573: PUSH2 0x0fa0
00000576: JUMP
00000577: JUMPDEST
00000578: PUSH1 0x00
0000057a: PUSH1 0x40
0000057c: MLOAD
0000057d: DUP1
0000057e: DUP4
0000057f: SUB
00000580: DUP2
00000581: PUSH1 0x00
00000583: DUP8
00000584: DUP1
00000585: EXTCODESIZE
00000586: ISZERO
00000587: DUP1
00000588: ISZERO
00000589: PUSH2 0x0591
0000058c: JUMPI
0000058d: PUSH1 0x00
0000058f: DUP1
00000590: REVERT
00000591: JUMPDEST
00000592: POP
00000593: GAS
00000594: CALL
00000595: ISZERO
00000596: DUP1
00000597: ISZERO
00000598: PUSH2 0x05a5
0000059b: JUMPI
0000059c: RETURNDATASIZE
0000059d: PUSH1 0x00
0000059f: DUP1
000005a0: RETURNDATACOPY
000005a1: RETURNDATASIZE
000005a2: PUSH1 0x00
000005a4: REVERT
000005a5: JUMPDEST
000005a6: POP
000005a7: POP
000005a8: POP
000005a9: POP
000005aa: DUP1
000005ab: DUP1
000005ac: PUSH2 0x05b4
000005af: SWAP1
000005b0: PUSH2 0x0ea3
000005b3: JUMP
000005b4: JUMPDEST
000005b5: SWAP2
000005b6: POP
000005b7: POP
000005b8: PUSH2 0x04ef
000005bb: JUMP
000005bc: JUMPDEST
000005bd: POP
000005be: POP
000005bf: POP
000005c0: POP
000005c1: POP
000005c2: POP
000005c3: JUMP
000005c4: JUMPDEST
000005c5: PUSH32 0x0000000000000000000000009188db2825bd0ad76a2ba3aba21274428dc696e5
000005e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005fb: AND
000005fc: CALLER
000005fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000612: AND
00000613: EQ
00000614: PUSH2 0x061c
00000617: JUMPI
00000618: PUSH1 0x00
0000061a: DUP1
0000061b: REVERT
0000061c: JUMPDEST
0000061d: DUP2
0000061e: DUP2
0000061f: SWAP1
00000620: POP
00000621: DUP5
00000622: DUP5
00000623: SWAP1
00000624: POP
00000625: EQ
00000626: PUSH2 0x0664
00000629: JUMPI
0000062a: PUSH1 0x40
0000062c: MLOAD
0000062d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000064e: DUP2
0000064f: MSTORE
00000650: PUSH1 0x04
00000652: ADD
00000653: PUSH2 0x065b
00000656: SWAP1
00000657: PUSH2 0x0dc0
0000065a: JUMP
0000065b: JUMPDEST
0000065c: PUSH1 0x40
0000065e: MLOAD
0000065f: DUP1
00000660: SWAP2
00000661: SUB
00000662: SWAP1
00000663: REVERT
00000664: JUMPDEST
00000665: PUSH1 0x00
00000667: JUMPDEST
00000668: DUP5
00000669: DUP5
0000066a: SWAP1
0000066b: POP
0000066c: DUP2
0000066d: LT
0000066e: ISZERO
0000066f: PUSH2 0x0734
00000672: JUMPI
00000673: DUP5
00000674: DUP5
00000675: DUP3
00000676: DUP2
00000677: DUP2
00000678: LT
00000679: PUSH2 0x0685
0000067c: JUMPI
0000067d: PUSH2 0x0684
00000680: PUSH2 0x0de0
00000683: JUMP
00000684: JUMPDEST
00000685: JUMPDEST
00000686: SWAP1
00000687: POP
00000688: PUSH1 0x20
0000068a: MUL
0000068b: ADD
0000068c: PUSH1 0x20
0000068e: DUP2
0000068f: ADD
00000690: SWAP1
00000691: PUSH2 0x069a
00000694: SWAP2
00000695: SWAP1
00000696: PUSH2 0x0e0f
00000699: JUMP
0000069a: JUMPDEST
0000069b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006b0: AND
000006b1: DUP4
000006b2: DUP4
000006b3: DUP4
000006b4: DUP2
000006b5: DUP2
000006b6: LT
000006b7: PUSH2 0x06c3
000006ba: JUMPI
000006bb: PUSH2 0x06c2
000006be: PUSH2 0x0de0
000006c1: JUMP
000006c2: JUMPDEST
000006c3: JUMPDEST
000006c4: SWAP1
000006c5: POP
000006c6: PUSH1 0x20
000006c8: MUL
000006c9: ADD
000006ca: CALLDATALOAD
000006cb: PUSH3 0x0124f8
000006cf: SWAP1
000006d0: PUSH1 0x40
000006d2: MLOAD
000006d3: PUSH2 0x06db
000006d6: SWAP1
000006d7: PUSH2 0x0ffd
000006da: JUMP
000006db: JUMPDEST
000006dc: PUSH1 0x00
000006de: PUSH1 0x40
000006e0: MLOAD
000006e1: DUP1
000006e2: DUP4
000006e3: SUB
000006e4: DUP2
000006e5: DUP6
000006e6: DUP9
000006e7: DUP9
000006e8: CALL
000006e9: SWAP4
000006ea: POP
000006eb: POP
000006ec: POP
000006ed: POP
000006ee: RETURNDATASIZE
000006ef: DUP1
000006f0: PUSH1 0x00
000006f2: DUP2
000006f3: EQ
000006f4: PUSH2 0x0719
000006f7: JUMPI
000006f8: PUSH1 0x40
000006fa: MLOAD
000006fb: SWAP2
000006fc: POP
000006fd: PUSH1 0x1f
000006ff: NOT
00000700: PUSH1 0x3f
00000702: RETURNDATASIZE
00000703: ADD
00000704: AND
00000705: DUP3
00000706: ADD
00000707: PUSH1 0x40
00000709: MSTORE
0000070a: RETURNDATASIZE
0000070b: DUP3
0000070c: MSTORE
0000070d: RETURNDATASIZE
0000070e: PUSH1 0x00
00000710: PUSH1 0x20
00000712: DUP5
00000713: ADD
00000714: RETURNDATACOPY
00000715: PUSH2 0x071e
00000718: JUMP
00000719: JUMPDEST
0000071a: PUSH1 0x60
0000071c: SWAP2
0000071d: POP
0000071e: JUMPDEST
0000071f: POP
00000720: POP
00000721: POP
00000722: DUP1
00000723: DUP1
00000724: PUSH2 0x072c
00000727: SWAP1
00000728: PUSH2 0x0ea3
0000072b: JUMP
0000072c: JUMPDEST
0000072d: SWAP2
0000072e: POP
0000072f: POP
00000730: PUSH2 0x0667
00000733: JUMP
00000734: JUMPDEST
00000735: POP
00000736: POP
00000737: POP
00000738: POP
00000739: POP
0000073a: JUMP
0000073b: JUMPDEST
0000073c: PUSH1 0x00
0000073e: PUSH1 0x40
00000740: MLOAD
00000741: SWAP1
00000742: POP
00000743: SWAP1
00000744: JUMP
00000745: JUMPDEST
00000746: PUSH1 0x00
00000748: DUP1
00000749: REVERT
0000074a: JUMPDEST
0000074b: PUSH1 0x00
0000074d: DUP1
0000074e: REVERT
0000074f: JUMPDEST
00000750: PUSH1 0x00
00000752: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000767: DUP3
00000768: AND
00000769: SWAP1
0000076a: POP
0000076b: SWAP2
0000076c: SWAP1
0000076d: POP
0000076e: JUMP
0000076f: JUMPDEST
00000770: PUSH1 0x00
00000772: PUSH2 0x077a
00000775: DUP3
00000776: PUSH2 0x074f
00000779: JUMP
0000077a: JUMPDEST
0000077b: SWAP1
0000077c: POP
0000077d: SWAP2
0000077e: SWAP1
0000077f: POP
00000780: JUMP
00000781: JUMPDEST
00000782: PUSH2 0x078a
00000785: DUP2
00000786: PUSH2 0x076f
00000789: JUMP
0000078a: JUMPDEST
0000078b: DUP2
0000078c: EQ
0000078d: PUSH2 0x0795
00000790: JUMPI
00000791: PUSH1 0x00
00000793: DUP1
00000794: REVERT
00000795: JUMPDEST
00000796: POP
00000797: JUMP
00000798: JUMPDEST
00000799: PUSH1 0x00
0000079b: DUP2
0000079c: CALLDATALOAD
0000079d: SWAP1
0000079e: POP
0000079f: PUSH2 0x07a7
000007a2: DUP2
000007a3: PUSH2 0x0781
000007a6: JUMP
000007a7: JUMPDEST
000007a8: SWAP3
000007a9: SWAP2
000007aa: POP
000007ab: POP
000007ac: JUMP
000007ad: JUMPDEST
000007ae: PUSH1 0x00
000007b0: DUP2
000007b1: SWAP1
000007b2: POP
000007b3: SWAP2
000007b4: SWAP1
000007b5: POP
000007b6: JUMP
000007b7: JUMPDEST
000007b8: PUSH2 0x07c0
000007bb: DUP2
000007bc: PUSH2 0x07ad
000007bf: JUMP
000007c0: JUMPDEST
000007c1: DUP2
000007c2: EQ
000007c3: PUSH2 0x07cb
000007c6: JUMPI
000007c7: PUSH1 0x00
000007c9: DUP1
000007ca: REVERT
000007cb: JUMPDEST
000007cc: POP
000007cd: JUMP
000007ce: JUMPDEST
000007cf: PUSH1 0x00
000007d1: DUP2
000007d2: CALLDATALOAD
000007d3: SWAP1
000007d4: POP
000007d5: PUSH2 0x07dd
000007d8: DUP2
000007d9: PUSH2 0x07b7
000007dc: JUMP
000007dd: JUMPDEST
000007de: SWAP3
000007df: SWAP2
000007e0: POP
000007e1: POP
000007e2: JUMP
000007e3: JUMPDEST
000007e4: PUSH1 0x00
000007e6: DUP1
000007e7: REVERT
000007e8: JUMPDEST
000007e9: PUSH1 0x00
000007eb: DUP1
000007ec: REVERT
000007ed: JUMPDEST
000007ee: PUSH1 0x00
000007f0: PUSH1 0x1f
000007f2: NOT
000007f3: PUSH1 0x1f
000007f5: DUP4
000007f6: ADD
000007f7: AND
000007f8: SWAP1
000007f9: POP
000007fa: SWAP2
000007fb: SWAP1
000007fc: POP
000007fd: JUMP
000007fe: JUMPDEST
000007ff: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00000820: PUSH1 0x00
00000822: MSTORE
00000823: PUSH1 0x41
00000825: PUSH1 0x04
00000827: MSTORE
00000828: PUSH1 0x24
0000082a: PUSH1 0x00
0000082c: REVERT
0000082d: JUMPDEST
0000082e: PUSH2 0x0836
00000831: DUP3
00000832: PUSH2 0x07ed
00000835: JUMP
00000836: JUMPDEST
00000837: DUP2
00000838: ADD
00000839: DUP2
0000083a: DUP2
0000083b: LT
0000083c: PUSH8 0xffffffffffffffff
00000845: DUP3
00000846: GT
00000847: OR
00000848: ISZERO
00000849: PUSH2 0x0855
0000084c: JUMPI
0000084d: PUSH2 0x0854
00000850: PUSH2 0x07fe
00000853: JUMP
00000854: JUMPDEST
00000855: JUMPDEST
00000856: DUP1
00000857: PUSH1 0x40
00000859: MSTORE
0000085a: POP
0000085b: POP
0000085c: POP
0000085d: JUMP
0000085e: JUMPDEST
0000085f: PUSH1 0x00
00000861: PUSH2 0x0868
00000864: PUSH2 0x073b
00000867: JUMP
00000868: JUMPDEST
00000869: SWAP1
0000086a: POP
0000086b: PUSH2 0x0874
0000086e: DUP3
0000086f: DUP3
00000870: PUSH2 0x082d
00000873: JUMP
00000874: JUMPDEST
00000875: SWAP2
00000876: SWAP1
00000877: POP
00000878: JUMP
00000879: JUMPDEST
0000087a: PUSH1 0x00
0000087c: PUSH8 0xffffffffffffffff
00000885: DUP3
00000886: GT
00000887: ISZERO
00000888: PUSH2 0x0894
0000088b: JUMPI
0000088c: PUSH2 0x0893
0000088f: PUSH2 0x07fe
00000892: JUMP
00000893: JUMPDEST
00000894: JUMPDEST
00000895: PUSH2 0x089d
00000898: DUP3
00000899: PUSH2 0x07ed
0000089c: JUMP
0000089d: JUMPDEST
0000089e: SWAP1
0000089f: POP
000008a0: PUSH1 0x20
000008a2: DUP2
000008a3: ADD
000008a4: SWAP1
000008a5: POP
000008a6: SWAP2
000008a7: SWAP1
000008a8: POP
000008a9: JUMP
000008aa: JUMPDEST
000008ab: DUP3
000008ac: DUP2
000008ad: DUP4
000008ae: CALLDATACOPY
000008af: PUSH1 0x00
000008b1: DUP4
000008b2: DUP4
000008b3: ADD
000008b4: MSTORE
000008b5: POP
000008b6: POP
000008b7: POP
000008b8: JUMP
000008b9: JUMPDEST
000008ba: PUSH1 0x00
000008bc: PUSH2 0x08cc
000008bf: PUSH2 0x08c7
000008c2: DUP5
000008c3: PUSH2 0x0879
000008c6: JUMP
000008c7: JUMPDEST
000008c8: PUSH2 0x085e
000008cb: JUMP
000008cc: JUMPDEST
000008cd: SWAP1
000008ce: POP
000008cf: DUP3
000008d0: DUP2
000008d1: MSTORE
000008d2: PUSH1 0x20
000008d4: DUP2
000008d5: ADD
000008d6: DUP5
000008d7: DUP5
000008d8: DUP5
000008d9: ADD
000008da: GT
000008db: ISZERO
000008dc: PUSH2 0x08e8
000008df: JUMPI
000008e0: PUSH2 0x08e7
000008e3: PUSH2 0x07e8
000008e6: JUMP
000008e7: JUMPDEST
000008e8: JUMPDEST
000008e9: PUSH2 0x08f3
000008ec: DUP5
000008ed: DUP3
000008ee: DUP6
000008ef: PUSH2 0x08aa
000008f2: JUMP
000008f3: JUMPDEST
000008f4: POP
000008f5: SWAP4
000008f6: SWAP3
000008f7: POP
000008f8: POP
000008f9: POP
000008fa: JUMP
000008fb: JUMPDEST
000008fc: PUSH1 0x00
000008fe: DUP3
000008ff: PUSH1 0x1f
00000901: DUP4
00000902: ADD
00000903: SLT
00000904: PUSH2 0x0910
00000907: JUMPI
00000908: PUSH2 0x090f
0000090b: PUSH2 0x07e3
0000090e: JUMP
0000090f: JUMPDEST
00000910: JUMPDEST
00000911: DUP2
00000912: CALLDATALOAD
00000913: PUSH2 0x0920
00000916: DUP5
00000917: DUP3
00000918: PUSH1 0x20
0000091a: DUP7
0000091b: ADD
0000091c: PUSH2 0x08b9
0000091f: JUMP
00000920: JUMPDEST
00000921: SWAP2
00000922: POP
00000923: POP
00000924: SWAP3
00000925: SWAP2
00000926: POP
00000927: POP
00000928: JUMP
00000929: JUMPDEST
0000092a: PUSH1 0x00
0000092c: DUP1
0000092d: PUSH1 0x00
0000092f: DUP1
00000930: PUSH1 0x80
00000932: DUP6
00000933: DUP8
00000934: SUB
00000935: SLT
00000936: ISZERO
00000937: PUSH2 0x0943
0000093a: JUMPI
0000093b: PUSH2 0x0942
0000093e: PUSH2 0x0745
00000941: JUMP
00000942: JUMPDEST
00000943: JUMPDEST
00000944: PUSH1 0x00
00000946: PUSH2 0x0951
00000949: DUP8
0000094a: DUP3
0000094b: DUP9
0000094c: ADD
0000094d: PUSH2 0x0798
00000950: JUMP
00000951: JUMPDEST
00000952: SWAP5
00000953: POP
00000954: POP
00000955: PUSH1 0x20
00000957: PUSH2 0x0962
0000095a: DUP8
0000095b: DUP3
0000095c: DUP9
0000095d: ADD
0000095e: PUSH2 0x0798
00000961: JUMP
00000962: JUMPDEST
00000963: SWAP4
00000964: POP
00000965: POP
00000966: PUSH1 0x40
00000968: PUSH2 0x0973
0000096b: DUP8
0000096c: DUP3
0000096d: DUP9
0000096e: ADD
0000096f: PUSH2 0x07ce
00000972: JUMP
00000973: JUMPDEST
00000974: SWAP3
00000975: POP
00000976: POP
00000977: PUSH1 0x60
00000979: DUP6
0000097a: ADD
0000097b: CALLDATALOAD
0000097c: PUSH8 0xffffffffffffffff
00000985: DUP2
00000986: GT
00000987: ISZERO
00000988: PUSH2 0x0994
0000098b: JUMPI
0000098c: PUSH2 0x0993
0000098f: PUSH2 0x074a
00000992: JUMP
00000993: JUMPDEST
00000994: JUMPDEST
00000995: PUSH2 0x09a0
00000998: DUP8
00000999: DUP3
0000099a: DUP9
0000099b: ADD
0000099c: PUSH2 0x08fb
0000099f: JUMP
000009a0: JUMPDEST
000009a1: SWAP2
000009a2: POP
000009a3: POP
000009a4: SWAP3
000009a5: SWAP6
000009a6: SWAP2
000009a7: SWAP5
000009a8: POP
000009a9: SWAP3
000009aa: POP
000009ab: JUMP
000009ac: JUMPDEST
000009ad: PUSH1 0x00
000009af: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
000009d0: DUP3
000009d1: AND
000009d2: SWAP1
000009d3: POP
000009d4: SWAP2
000009d5: SWAP1
000009d6: POP
000009d7: JUMP
000009d8: JUMPDEST
000009d9: PUSH2 0x09e1
000009dc: DUP2
000009dd: PUSH2 0x09ac
000009e0: JUMP
000009e1: JUMPDEST
000009e2: DUP3
000009e3: MSTORE
000009e4: POP
000009e5: POP
000009e6: JUMP
000009e7: JUMPDEST
000009e8: PUSH1 0x00
000009ea: PUSH1 0x20
000009ec: DUP3
000009ed: ADD
000009ee: SWAP1
000009ef: POP
000009f0: PUSH2 0x09fc
000009f3: PUSH1 0x00
000009f5: DUP4
000009f6: ADD
000009f7: DUP5
000009f8: PUSH2 0x09d8
000009fb: JUMP
000009fc: JUMPDEST
000009fd: SWAP3
000009fe: SWAP2
000009ff: POP
00000a00: POP
00000a01: JUMP
00000a02: JUMPDEST
00000a03: PUSH1 0x00
00000a05: DUP1
00000a06: REVERT
00000a07: JUMPDEST
00000a08: PUSH1 0x00
00000a0a: DUP1
00000a0b: REVERT
00000a0c: JUMPDEST
00000a0d: PUSH1 0x00
00000a0f: DUP1
00000a10: DUP4
00000a11: PUSH1 0x1f
00000a13: DUP5
00000a14: ADD
00000a15: SLT
00000a16: PUSH2 0x0a22
00000a19: JUMPI
00000a1a: PUSH2 0x0a21
00000a1d: PUSH2 0x07e3
00000a20: JUMP
00000a21: JUMPDEST
00000a22: JUMPDEST
00000a23: DUP3
00000a24: CALLDATALOAD
00000a25: SWAP1
00000a26: POP
00000a27: PUSH8 0xffffffffffffffff
00000a30: DUP2
00000a31: GT
00000a32: ISZERO
00000a33: PUSH2 0x0a3f
00000a36: JUMPI
00000a37: PUSH2 0x0a3e
00000a3a: PUSH2 0x0a02
00000a3d: JUMP
00000a3e: JUMPDEST
00000a3f: JUMPDEST
00000a40: PUSH1 0x20
00000a42: DUP4
00000a43: ADD
00000a44: SWAP2
00000a45: POP
00000a46: DUP4
00000a47: PUSH1 0x20
00000a49: DUP3
00000a4a: MUL
00000a4b: DUP4
00000a4c: ADD
00000a4d: GT
00000a4e: ISZERO
00000a4f: PUSH2 0x0a5b
00000a52: JUMPI
00000a53: PUSH2 0x0a5a
00000a56: PUSH2 0x0a07
00000a59: JUMP
00000a5a: JUMPDEST
00000a5b: JUMPDEST
00000a5c: SWAP3
00000a5d: POP
00000a5e: SWAP3
00000a5f: SWAP1
00000a60: POP
00000a61: JUMP
00000a62: JUMPDEST
00000a63: PUSH1 0x00
00000a65: DUP1
00000a66: DUP4
00000a67: PUSH1 0x1f
00000a69: DUP5
00000a6a: ADD
00000a6b: SLT
00000a6c: PUSH2 0x0a78
00000a6f: JUMPI
00000a70: PUSH2 0x0a77
00000a73: PUSH2 0x07e3
00000a76: JUMP
00000a77: JUMPDEST
00000a78: JUMPDEST
00000a79: DUP3
00000a7a: CALLDATALOAD
00000a7b: SWAP1
00000a7c: POP
00000a7d: PUSH8 0xffffffffffffffff
00000a86: DUP2
00000a87: GT
00000a88: ISZERO
00000a89: PUSH2 0x0a95
00000a8c: JUMPI
00000a8d: PUSH2 0x0a94
00000a90: PUSH2 0x0a02
00000a93: JUMP
00000a94: JUMPDEST
00000a95: JUMPDEST
00000a96: PUSH1 0x20
00000a98: DUP4
00000a99: ADD
00000a9a: SWAP2
00000a9b: POP
00000a9c: DUP4
00000a9d: PUSH1 0x20
00000a9f: DUP3
00000aa0: MUL
00000aa1: DUP4
00000aa2: ADD
00000aa3: GT
00000aa4: ISZERO
00000aa5: PUSH2 0x0ab1
00000aa8: JUMPI
00000aa9: PUSH2 0x0ab0
00000aac: PUSH2 0x0a07
00000aaf: JUMP
00000ab0: JUMPDEST
00000ab1: JUMPDEST
00000ab2: SWAP3
00000ab3: POP
00000ab4: SWAP3
00000ab5: SWAP1
00000ab6: POP
00000ab7: JUMP
00000ab8: JUMPDEST
00000ab9: PUSH1 0x00
00000abb: DUP1
00000abc: PUSH1 0x00
00000abe: DUP1
00000abf: PUSH1 0x00
00000ac1: PUSH1 0x60
00000ac3: DUP7
00000ac4: DUP9
00000ac5: SUB
00000ac6: SLT
00000ac7: ISZERO
00000ac8: PUSH2 0x0ad4
00000acb: JUMPI
00000acc: PUSH2 0x0ad3
00000acf: PUSH2 0x0745
00000ad2: JUMP
00000ad3: JUMPDEST
00000ad4: JUMPDEST
00000ad5: PUSH1 0x00
00000ad7: PUSH2 0x0ae2
00000ada: DUP9
00000adb: DUP3
00000adc: DUP10
00000add: ADD
00000ade: PUSH2 0x0798
00000ae1: JUMP
00000ae2: JUMPDEST
00000ae3: SWAP6
00000ae4: POP
00000ae5: POP
00000ae6: PUSH1 0x20
00000ae8: DUP7
00000ae9: ADD
00000aea: CALLDATALOAD
00000aeb: PUSH8 0xffffffffffffffff
00000af4: DUP2
00000af5: GT
00000af6: ISZERO
00000af7: PUSH2 0x0b03
00000afa: JUMPI
00000afb: PUSH2 0x0b02
00000afe: PUSH2 0x074a
00000b01: JUMP
00000b02: JUMPDEST
00000b03: JUMPDEST
00000b04: PUSH2 0x0b0f
00000b07: DUP9
00000b08: DUP3
00000b09: DUP10
00000b0a: ADD
00000b0b: PUSH2 0x0a0c
00000b0e: JUMP
00000b0f: JUMPDEST
00000b10: SWAP5
00000b11: POP
00000b12: SWAP5
00000b13: POP
00000b14: POP
00000b15: PUSH1 0x40
00000b17: DUP7
00000b18: ADD
00000b19: CALLDATALOAD
00000b1a: PUSH8 0xffffffffffffffff
00000b23: DUP2
00000b24: GT
00000b25: ISZERO
00000b26: PUSH2 0x0b32
00000b29: JUMPI
00000b2a: PUSH2 0x0b31
00000b2d: PUSH2 0x074a
00000b30: JUMP
00000b31: JUMPDEST
00000b32: JUMPDEST
00000b33: PUSH2 0x0b3e
00000b36: DUP9
00000b37: DUP3
00000b38: DUP10
00000b39: ADD
00000b3a: PUSH2 0x0a62
00000b3d: JUMP
00000b3e: JUMPDEST
00000b3f: SWAP3
00000b40: POP
00000b41: SWAP3
00000b42: POP
00000b43: POP
00000b44: SWAP3
00000b45: SWAP6
00000b46: POP
00000b47: SWAP3
00000b48: SWAP6
00000b49: SWAP1
00000b4a: SWAP4
00000b4b: POP
00000b4c: JUMP
00000b4d: JUMPDEST
00000b4e: PUSH2 0x0b56
00000b51: DUP2
00000b52: PUSH2 0x076f
00000b55: JUMP
00000b56: JUMPDEST
00000b57: DUP3
00000b58: MSTORE
00000b59: POP
00000b5a: POP
00000b5b: JUMP
00000b5c: JUMPDEST
00000b5d: PUSH1 0x00
00000b5f: PUSH1 0x20
00000b61: DUP3
00000b62: ADD
00000b63: SWAP1
00000b64: POP
00000b65: PUSH2 0x0b71
00000b68: PUSH1 0x00
00000b6a: DUP4
00000b6b: ADD
00000b6c: DUP5
00000b6d: PUSH2 0x0b4d
00000b70: JUMP
00000b71: JUMPDEST
00000b72: SWAP3
00000b73: SWAP2
00000b74: POP
00000b75: POP
00000b76: JUMP
00000b77: JUMPDEST
00000b78: PUSH1 0x00
00000b7a: DUP1
00000b7b: DUP4
00000b7c: PUSH1 0x1f
00000b7e: DUP5
00000b7f: ADD
00000b80: SLT
00000b81: PUSH2 0x0b8d
00000b84: JUMPI
00000b85: PUSH2 0x0b8c
00000b88: PUSH2 0x07e3
00000b8b: JUMP
00000b8c: JUMPDEST
00000b8d: JUMPDEST
00000b8e: DUP3
00000b8f: CALLDATALOAD
00000b90: SWAP1
00000b91: POP
00000b92: PUSH8 0xffffffffffffffff
00000b9b: DUP2
00000b9c: GT
00000b9d: ISZERO
00000b9e: PUSH2 0x0baa
00000ba1: JUMPI
00000ba2: PUSH2 0x0ba9
00000ba5: PUSH2 0x0a02
00000ba8: JUMP
00000ba9: JUMPDEST
00000baa: JUMPDEST
00000bab: PUSH1 0x20
00000bad: DUP4
00000bae: ADD
00000baf: SWAP2
00000bb0: POP
00000bb1: DUP4
00000bb2: PUSH1 0x01
00000bb4: DUP3
00000bb5: MUL
00000bb6: DUP4
00000bb7: ADD
00000bb8: GT
00000bb9: ISZERO
00000bba: PUSH2 0x0bc6
00000bbd: JUMPI
00000bbe: PUSH2 0x0bc5
00000bc1: PUSH2 0x0a07
00000bc4: JUMP
00000bc5: JUMPDEST
00000bc6: JUMPDEST
00000bc7: SWAP3
00000bc8: POP
00000bc9: SWAP3
00000bca: SWAP1
00000bcb: POP
00000bcc: JUMP
00000bcd: JUMPDEST
00000bce: PUSH1 0x00
00000bd0: DUP1
00000bd1: PUSH1 0x00
00000bd3: DUP1
00000bd4: PUSH1 0x60
00000bd6: DUP6
00000bd7: DUP8
00000bd8: SUB
00000bd9: SLT
00000bda: ISZERO
00000bdb: PUSH2 0x0be7
00000bde: JUMPI
00000bdf: PUSH2 0x0be6
00000be2: PUSH2 0x0745
00000be5: JUMP
00000be6: JUMPDEST
00000be7: JUMPDEST
00000be8: PUSH1 0x00
00000bea: PUSH2 0x0bf5
00000bed: DUP8
00000bee: DUP3
00000bef: DUP9
00000bf0: ADD
00000bf1: PUSH2 0x0798
00000bf4: JUMP
00000bf5: JUMPDEST
00000bf6: SWAP5
00000bf7: POP
00000bf8: POP
00000bf9: PUSH1 0x20
00000bfb: PUSH2 0x0c06
00000bfe: DUP8
00000bff: DUP3
00000c00: DUP9
00000c01: ADD
00000c02: PUSH2 0x07ce
00000c05: JUMP
00000c06: JUMPDEST
00000c07: SWAP4
00000c08: POP
00000c09: POP
00000c0a: PUSH1 0x40
00000c0c: DUP6
00000c0d: ADD
00000c0e: CALLDATALOAD
00000c0f: PUSH8 0xffffffffffffffff
00000c18: DUP2
00000c19: GT
00000c1a: ISZERO
00000c1b: PUSH2 0x0c27
00000c1e: JUMPI
00000c1f: PUSH2 0x0c26
00000c22: PUSH2 0x074a
00000c25: JUMP
00000c26: JUMPDEST
00000c27: JUMPDEST
00000c28: PUSH2 0x0c33
00000c2b: DUP8
00000c2c: DUP3
00000c2d: DUP9
00000c2e: ADD
00000c2f: PUSH2 0x0b77
00000c32: JUMP
00000c33: JUMPDEST
00000c34: SWAP3
00000c35: POP
00000c36: SWAP3
00000c37: POP
00000c38: POP
00000c39: SWAP3
00000c3a: SWAP6
00000c3b: SWAP2
00000c3c: SWAP5
00000c3d: POP
00000c3e: SWAP3
00000c3f: POP
00000c40: JUMP
00000c41: JUMPDEST
00000c42: PUSH1 0x00
00000c44: DUP2
00000c45: MLOAD
00000c46: SWAP1
00000c47: POP
00000c48: SWAP2
00000c49: SWAP1
00000c4a: POP
00000c4b: JUMP
00000c4c: JUMPDEST
00000c4d: PUSH1 0x00
00000c4f: DUP3
00000c50: DUP3
00000c51: MSTORE
00000c52: PUSH1 0x20
00000c54: DUP3
00000c55: ADD
00000c56: SWAP1
00000c57: POP
00000c58: SWAP3
00000c59: SWAP2
00000c5a: POP
00000c5b: POP
00000c5c: JUMP
00000c5d: JUMPDEST
00000c5e: PUSH1 0x00
00000c60: JUMPDEST
00000c61: DUP4
00000c62: DUP2
00000c63: LT
00000c64: ISZERO
00000c65: PUSH2 0x0c7b
00000c68: JUMPI
00000c69: DUP1
00000c6a: DUP3
00000c6b: ADD
00000c6c: MLOAD
00000c6d: DUP2
00000c6e: DUP5
00000c6f: ADD
00000c70: MSTORE
00000c71: PUSH1 0x20
00000c73: DUP2
00000c74: ADD
00000c75: SWAP1
00000c76: POP
00000c77: PUSH2 0x0c60
00000c7a: JUMP
00000c7b: JUMPDEST
00000c7c: PUSH1 0x00
00000c7e: DUP5
00000c7f: DUP5
00000c80: ADD
00000c81: MSTORE
00000c82: POP
00000c83: POP
00000c84: POP
00000c85: POP
00000c86: JUMP
00000c87: JUMPDEST
00000c88: PUSH1 0x00
00000c8a: PUSH2 0x0c92
00000c8d: DUP3
00000c8e: PUSH2 0x0c41
00000c91: JUMP
00000c92: JUMPDEST
00000c93: PUSH2 0x0c9c
00000c96: DUP2
00000c97: DUP6
00000c98: PUSH2 0x0c4c
00000c9b: JUMP
00000c9c: JUMPDEST
00000c9d: SWAP4
00000c9e: POP
00000c9f: PUSH2 0x0cac
00000ca2: DUP2
00000ca3: DUP6
00000ca4: PUSH1 0x20
00000ca6: DUP7
00000ca7: ADD
00000ca8: PUSH2 0x0c5d
00000cab: JUMP
00000cac: JUMPDEST
00000cad: PUSH2 0x0cb5
00000cb0: DUP2
00000cb1: PUSH2 0x07ed
00000cb4: JUMP
00000cb5: JUMPDEST
00000cb6: DUP5
00000cb7: ADD
00000cb8: SWAP2
00000cb9: POP
00000cba: POP
00000cbb: SWAP3
00000cbc: SWAP2
00000cbd: POP
00000cbe: POP
00000cbf: JUMP
00000cc0: JUMPDEST
00000cc1: PUSH1 0x00
00000cc3: PUSH1 0x20
00000cc5: DUP3
00000cc6: ADD
00000cc7: SWAP1
00000cc8: POP
00000cc9: DUP2
00000cca: DUP2
00000ccb: SUB
00000ccc: PUSH1 0x00
00000cce: DUP4
00000ccf: ADD
00000cd0: MSTORE
00000cd1: PUSH2 0x0cda
00000cd4: DUP2
00000cd5: DUP5
00000cd6: PUSH2 0x0c87
00000cd9: JUMP
00000cda: JUMPDEST
00000cdb: SWAP1
00000cdc: POP
00000cdd: SWAP3
00000cde: SWAP2
00000cdf: POP
00000ce0: POP
00000ce1: JUMP
00000ce2: JUMPDEST
00000ce3: PUSH1 0x00
00000ce5: DUP1
00000ce6: PUSH1 0x00
00000ce8: DUP1
00000ce9: PUSH1 0x40
00000ceb: DUP6
00000cec: DUP8
00000ced: SUB
00000cee: SLT
00000cef: ISZERO
00000cf0: PUSH2 0x0cfc
00000cf3: JUMPI
00000cf4: PUSH2 0x0cfb
00000cf7: PUSH2 0x0745
00000cfa: JUMP
00000cfb: JUMPDEST
00000cfc: JUMPDEST
00000cfd: PUSH1 0x00
00000cff: DUP6
00000d00: ADD
00000d01: CALLDATALOAD
00000d02: PUSH8 0xffffffffffffffff
00000d0b: DUP2
00000d0c: GT
00000d0d: ISZERO
00000d0e: PUSH2 0x0d1a
00000d11: JUMPI
00000d12: PUSH2 0x0d19
00000d15: PUSH2 0x074a
00000d18: JUMP
00000d19: JUMPDEST
00000d1a: JUMPDEST
00000d1b: PUSH2 0x0d26
00000d1e: DUP8
00000d1f: DUP3
00000d20: DUP9
00000d21: ADD
00000d22: PUSH2 0x0a0c
00000d25: JUMP
00000d26: JUMPDEST
00000d27: SWAP5
00000d28: POP
00000d29: SWAP5
00000d2a: POP
00000d2b: POP
00000d2c: PUSH1 0x20
00000d2e: DUP6
00000d2f: ADD
00000d30: CALLDATALOAD
00000d31: PUSH8 0xffffffffffffffff
00000d3a: DUP2
00000d3b: GT
00000d3c: ISZERO
00000d3d: PUSH2 0x0d49
00000d40: JUMPI
00000d41: PUSH2 0x0d48
00000d44: PUSH2 0x074a
00000d47: JUMP
00000d48: JUMPDEST
00000d49: JUMPDEST
00000d4a: PUSH2 0x0d55
00000d4d: DUP8
00000d4e: DUP3
00000d4f: DUP9
00000d50: ADD
00000d51: PUSH2 0x0a62
00000d54: JUMP
00000d55: JUMPDEST
00000d56: SWAP3
00000d57: POP
00000d58: SWAP3
00000d59: POP
00000d5a: POP
00000d5b: SWAP3
00000d5c: SWAP6
00000d5d: SWAP2
00000d5e: SWAP5
00000d5f: POP
00000d60: SWAP3
00000d61: POP
00000d62: JUMP
00000d63: JUMPDEST
00000d64: PUSH1 0x00
00000d66: DUP3
00000d67: DUP3
00000d68: MSTORE
00000d69: PUSH1 0x20
00000d6b: DUP3
00000d6c: ADD
00000d6d: SWAP1
00000d6e: POP
00000d6f: SWAP3
00000d70: SWAP2
00000d71: POP
00000d72: POP
00000d73: JUMP
00000d74: JUMPDEST
00000d75: PUSH32 0x616d6f756e7420636f756e74206d69736d617463680000000000000000000000
00000d96: PUSH1 0x00
00000d98: DUP3
00000d99: ADD
00000d9a: MSTORE
00000d9b: POP
00000d9c: JUMP
00000d9d: JUMPDEST
00000d9e: PUSH1 0x00
00000da0: PUSH2 0x0daa
00000da3: PUSH1 0x15
00000da5: DUP4
00000da6: PUSH2 0x0d63
00000da9: JUMP
00000daa: JUMPDEST
00000dab: SWAP2
00000dac: POP
00000dad: PUSH2 0x0db5
00000db0: DUP3
00000db1: PUSH2 0x0d74
00000db4: JUMP
00000db5: JUMPDEST
00000db6: PUSH1 0x20
00000db8: DUP3
00000db9: ADD
00000dba: SWAP1
00000dbb: POP
00000dbc: SWAP2
00000dbd: SWAP1
00000dbe: POP
00000dbf: JUMP
00000dc0: JUMPDEST
00000dc1: PUSH1 0x00
00000dc3: PUSH1 0x20
00000dc5: DUP3
00000dc6: ADD
00000dc7: SWAP1
00000dc8: POP
00000dc9: DUP2
00000dca: DUP2
00000dcb: SUB
00000dcc: PUSH1 0x00
00000dce: DUP4
00000dcf: ADD
00000dd0: MSTORE
00000dd1: PUSH2 0x0dd9
00000dd4: DUP2
00000dd5: PUSH2 0x0d9d
00000dd8: JUMP
00000dd9: JUMPDEST
00000dda: SWAP1
00000ddb: POP
00000ddc: SWAP2
00000ddd: SWAP1
00000dde: POP
00000ddf: JUMP
00000de0: JUMPDEST
00000de1: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00000e02: PUSH1 0x00
00000e04: MSTORE
00000e05: PUSH1 0x32
00000e07: PUSH1 0x04
00000e09: MSTORE
00000e0a: PUSH1 0x24
00000e0c: PUSH1 0x00
00000e0e: REVERT
00000e0f: JUMPDEST
00000e10: PUSH1 0x00
00000e12: PUSH1 0x20
00000e14: DUP3
00000e15: DUP5
00000e16: SUB
00000e17: SLT
00000e18: ISZERO
00000e19: PUSH2 0x0e25
00000e1c: JUMPI
00000e1d: PUSH2 0x0e24
00000e20: PUSH2 0x0745
00000e23: JUMP
00000e24: JUMPDEST
00000e25: JUMPDEST
00000e26: PUSH1 0x00
00000e28: PUSH2 0x0e33
00000e2b: DUP5
00000e2c: DUP3
00000e2d: DUP6
00000e2e: ADD
00000e2f: PUSH2 0x0798
00000e32: JUMP
00000e33: JUMPDEST
00000e34: SWAP2
00000e35: POP
00000e36: POP
00000e37: SWAP3
00000e38: SWAP2
00000e39: POP
00000e3a: POP
00000e3b: JUMP
00000e3c: JUMPDEST
00000e3d: PUSH2 0x0e45
00000e40: DUP2
00000e41: PUSH2 0x07ad
00000e44: JUMP
00000e45: JUMPDEST
00000e46: DUP3
00000e47: MSTORE
00000e48: POP
00000e49: POP
00000e4a: JUMP
00000e4b: JUMPDEST
00000e4c: PUSH1 0x00
00000e4e: PUSH1 0x40
00000e50: DUP3
00000e51: ADD
00000e52: SWAP1
00000e53: POP
00000e54: PUSH2 0x0e60
00000e57: PUSH1 0x00
00000e59: DUP4
00000e5a: ADD
00000e5b: DUP6
00000e5c: PUSH2 0x0b4d
00000e5f: JUMP
00000e60: JUMPDEST
00000e61: PUSH2 0x0e6d
00000e64: PUSH1 0x20
00000e66: DUP4
00000e67: ADD
00000e68: DUP5
00000e69: PUSH2 0x0e3c
00000e6c: JUMP
00000e6d: JUMPDEST
00000e6e: SWAP4
00000e6f: SWAP3
00000e70: POP
00000e71: POP
00000e72: POP
00000e73: JUMP
00000e74: JUMPDEST
00000e75: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00000e96: PUSH1 0x00
00000e98: MSTORE
00000e99: PUSH1 0x11
00000e9b: PUSH1 0x04
00000e9d: MSTORE
00000e9e: PUSH1 0x24
00000ea0: PUSH1 0x00
00000ea2: REVERT
00000ea3: JUMPDEST
00000ea4: PUSH1 0x00
00000ea6: PUSH2 0x0eae
00000ea9: DUP3
00000eaa: PUSH2 0x07ad
00000ead: JUMP
00000eae: JUMPDEST
00000eaf: SWAP2
00000eb0: POP
00000eb1: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000ed2: DUP3
00000ed3: SUB
00000ed4: PUSH2 0x0ee0
00000ed7: JUMPI
00000ed8: PUSH2 0x0edf
00000edb: PUSH2 0x0e74
00000ede: JUMP
00000edf: JUMPDEST
00000ee0: JUMPDEST
00000ee1: PUSH1 0x01
00000ee3: DUP3
00000ee4: ADD
00000ee5: SWAP1
00000ee6: POP
00000ee7: SWAP2
00000ee8: SWAP1
00000ee9: POP
00000eea: JUMP
00000eeb: JUMPDEST
00000eec: PUSH1 0x00
00000eee: DUP2
00000eef: SWAP1
00000ef0: POP
00000ef1: SWAP3
00000ef2: SWAP2
00000ef3: POP
00000ef4: POP
00000ef5: JUMP
00000ef6: JUMPDEST
00000ef7: PUSH1 0x00
00000ef9: PUSH2 0x0f02
00000efc: DUP4
00000efd: DUP6
00000efe: PUSH2 0x0eeb
00000f01: JUMP
00000f02: JUMPDEST
00000f03: SWAP4
00000f04: POP
00000f05: PUSH2 0x0f0f
00000f08: DUP4
00000f09: DUP6
00000f0a: DUP5
00000f0b: PUSH2 0x08aa
00000f0e: JUMP
00000f0f: JUMPDEST
00000f10: DUP3
00000f11: DUP5
00000f12: ADD
00000f13: SWAP1
00000f14: POP
00000f15: SWAP4
00000f16: SWAP3
00000f17: POP
00000f18: POP
00000f19: POP
00000f1a: JUMP
00000f1b: JUMPDEST
00000f1c: PUSH1 0x00
00000f1e: PUSH2 0x0f28
00000f21: DUP3
00000f22: DUP5
00000f23: DUP7
00000f24: PUSH2 0x0ef6
00000f27: JUMP
00000f28: JUMPDEST
00000f29: SWAP2
00000f2a: POP
00000f2b: DUP2
00000f2c: SWAP1
00000f2d: POP
00000f2e: SWAP4
00000f2f: SWAP3
00000f30: POP
00000f31: POP
00000f32: POP
00000f33: JUMP
00000f34: JUMPDEST
00000f35: PUSH32 0x7472616e73616374696f6e206661696c65640000000000000000000000000000
00000f56: PUSH1 0x00
00000f58: DUP3
00000f59: ADD
00000f5a: MSTORE
00000f5b: POP
00000f5c: JUMP
00000f5d: JUMPDEST
00000f5e: PUSH1 0x00
00000f60: PUSH2 0x0f6a
00000f63: PUSH1 0x12
00000f65: DUP4
00000f66: PUSH2 0x0d63
00000f69: JUMP
00000f6a: JUMPDEST
00000f6b: SWAP2
00000f6c: POP
00000f6d: PUSH2 0x0f75
00000f70: DUP3
00000f71: PUSH2 0x0f34
00000f74: JUMP
00000f75: JUMPDEST
00000f76: PUSH1 0x20
00000f78: DUP3
00000f79: ADD
00000f7a: SWAP1
00000f7b: POP
00000f7c: SWAP2
00000f7d: SWAP1
00000f7e: POP
00000f7f: JUMP
00000f80: JUMPDEST
00000f81: PUSH1 0x00
00000f83: PUSH1 0x20
00000f85: DUP3
00000f86: ADD
00000f87: SWAP1
00000f88: POP
00000f89: DUP2
00000f8a: DUP2
00000f8b: SUB
00000f8c: PUSH1 0x00
00000f8e: DUP4
00000f8f: ADD
00000f90: MSTORE
00000f91: PUSH2 0x0f99
00000f94: DUP2
00000f95: PUSH2 0x0f5d
00000f98: JUMP
00000f99: JUMPDEST
00000f9a: SWAP1
00000f9b: POP
00000f9c: SWAP2
00000f9d: SWAP1
00000f9e: POP
00000f9f: JUMP
00000fa0: JUMPDEST
00000fa1: PUSH1 0x00
00000fa3: PUSH1 0x60
00000fa5: DUP3
00000fa6: ADD
00000fa7: SWAP1
00000fa8: POP
00000fa9: PUSH2 0x0fb5
00000fac: PUSH1 0x00
00000fae: DUP4
00000faf: ADD
00000fb0: DUP7
00000fb1: PUSH2 0x0b4d
00000fb4: JUMP
00000fb5: JUMPDEST
00000fb6: PUSH2 0x0fc2
00000fb9: PUSH1 0x20
00000fbb: DUP4
00000fbc: ADD
00000fbd: DUP6
00000fbe: PUSH2 0x0b4d
00000fc1: JUMP
00000fc2: JUMPDEST
00000fc3: PUSH2 0x0fcf
00000fc6: PUSH1 0x40
00000fc8: DUP4
00000fc9: ADD
00000fca: DUP5
00000fcb: PUSH2 0x0e3c
00000fce: JUMP
00000fcf: JUMPDEST
00000fd0: SWAP5
00000fd1: SWAP4
00000fd2: POP
00000fd3: POP
00000fd4: POP
00000fd5: POP
00000fd6: JUMP
00000fd7: JUMPDEST
00000fd8: POP
00000fd9: JUMP
00000fda: JUMPDEST
00000fdb: PUSH1 0x00
00000fdd: PUSH2 0x0fe7
00000fe0: PUSH1 0x00
00000fe2: DUP4
00000fe3: PUSH2 0x0eeb
00000fe6: JUMP
00000fe7: JUMPDEST
00000fe8: SWAP2
00000fe9: POP
00000fea: PUSH2 0x0ff2
00000fed: DUP3
00000fee: PUSH2 0x0fd7
00000ff1: JUMP
00000ff2: JUMPDEST
00000ff3: PUSH1 0x00
00000ff5: DUP3
00000ff6: ADD
00000ff7: SWAP1
00000ff8: POP
00000ff9: SWAP2
00000ffa: SWAP1
00000ffb: POP
00000ffc: JUMP
00000ffd: JUMPDEST
00000ffe: PUSH1 0x00
00001000: PUSH2 0x1008
00001003: DUP3
00001004: PUSH2 0x0fda
00001007: JUMP
00001008: JUMPDEST
00001009: SWAP2
0000100a: POP
0000100b: DUP2
0000100c: SWAP1
0000100d: POP
0000100e: SWAP2
0000100f: SWAP1
00001010: POP
00001011: JUMP
00001012: INVALID
00001013: LOG2
00001014: PUSH5 0x6970667358
0000101a: UNKNOWN(0x22)
0000101b: SLT
0000101c: KECCAK256
0000101d: PUSH27 0x2c7ed1ec4f8c534bc332020005c0cb99e4a003ad6fd0f96f476386
00001039: ADDRESS
0000103a: SLOAD
0000103b: UNKNOWN(0xEE)
0000103c: PUSH29
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: 0xd53e1b0dd7a3798720f214cd45ffa16e0cfe36455ebb21c7914b15062379ba0f
call_targets: 0x1ce24ad9908a0964acc91b8edbd104dd6f9ffac4
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xd53e1b0dd7a3798720f214cd45ffa16e0cfe36455ebb21c7914b15062379ba0f",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x1ce24ad9908a0964acc91b8edbd104dd6f9ffac4"
    ],
    "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": "0x150b7a02",
            "selector": "0x150b7a02",
            "calldata_variants": [
                "0x150b7a02",
                "0x150b7a020000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2e025ac5",
            "selector": "0x2e025ac5",
            "calldata_variants": [
                "0x2e025ac5",
                "0x2e025ac50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xbe798e74",
            "selector": "0xbe798e74",
            "calldata_variants": [
                "0xbe798e74",
                "0xbe798e740000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd5290296",
            "selector": "0xd5290296",
            "calldata_variants": [
                "0xd5290296",
                "0xd52902960000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xde6d6d96",
            "selector": "0xde6d6d96",
            "calldata_variants": [
                "0xde6d6d96",
                "0xde6d6d960000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 735,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 965,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1428,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 4,
    "guards_detected": [
        {
            "pc": 465,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 877,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 1156,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 1532,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ],
    "untrusted_call_count": 4
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0xd53e1b0dd7a3798720f214cd45ffa16e0cfe36455ebb21c7914b15062379ba0f
call_targets: 0x1ce24ad9908a0964acc91b8edbd104dd6f9ffac4
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xd53e1b0dd7a3798720f214cd45ffa16e0cfe36455ebb21c7914b15062379ba0f",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x1ce24ad9908a0964acc91b8edbd104dd6f9ffac4"
    ],
    "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": "0x150b7a02",
            "selector": "0x150b7a02",
            "calldata_variants": [
                "0x150b7a02",
                "0x150b7a020000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2e025ac5",
            "selector": "0x2e025ac5",
            "calldata_variants": [
                "0x2e025ac5",
                "0x2e025ac50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x8da5cb5b",
            "selector": "0x8da5cb5b",
            "calldata_variants": [
                "0x8da5cb5b",
                "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xbe798e74",
            "selector": "0xbe798e74",
            "calldata_variants": [
                "0xbe798e74",
                "0xbe798e740000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd5290296",
            "selector": "0xd5290296",
            "calldata_variants": [
                "0xd5290296",
                "0xd52902960000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xde6d6d96",
            "selector": "0xde6d6d96",
            "calldata_variants": [
                "0xde6d6d96",
                "0xde6d6d960000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 735,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 965,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1428,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 4,
    "guards_detected": [
        {
            "pc": 465,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 877,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 1156,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        },
        {
            "pc": 1532,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ]
}