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

Analysis Run

019b477e-daae-7347-9057-14ba9f5b67e2

complete
Chain ID
1
Address
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?

Confirmed
0
Validated
0
Source
Bytecode only
Review Backing
Not yet
Best current signal
Untrusted DELEGATECALL target 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
29511 artifact.fetch complete 1 / 3 3 months ago
29512 tool.cast_disasm complete 1 / 3 3 months ago
108625 analysis.bundle complete 1 / 3 1 week ago
108626 capability.graph complete 1 / 3 1 week ago
108627 detector.run complete 1 / 3 1 week ago
108628 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
1
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
4
EXT*/BALANCE
1
Total opcodes
2145
Flags
delegatecall_present create_opcodes_present
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: ISZERO
0000000a: PUSH2 0x001a
0000000d: JUMPI
0000000e: JUMPDEST
0000000f: CALLDATASIZE
00000010: ISZERO
00000011: PUSH2 0x0018
00000014: JUMPI
00000015: PUSH0
00000016: DUP1
00000017: REVERT
00000018: JUMPDEST
00000019: STOP
0000001a: JUMPDEST
0000001b: PUSH0
0000001c: CALLDATALOAD
0000001d: PUSH1 0xe0
0000001f: SHR
00000020: DUP1
00000021: PUSH4 0x15ff3569
00000026: EQ
00000027: PUSH2 0x04bf
0000002a: JUMPI
0000002b: DUP1
0000002c: PUSH4 0x243669ad
00000031: EQ
00000032: PUSH2 0x04a2
00000035: JUMPI
00000036: DUP1
00000037: PUSH4 0x2f54bf6e
0000003c: EQ
0000003d: PUSH2 0x0465
00000040: JUMPI
00000041: DUP1
00000042: PUSH4 0x42cde4e8
00000047: EQ
00000048: PUSH2 0x0448
0000004b: JUMPI
0000004c: DUP1
0000004d: PUSH4 0x57a46f4d
00000052: EQ
00000053: PUSH2 0x03d9
00000056: JUMPI
00000057: DUP1
00000058: PUSH4 0x714ea735
0000005d: EQ
0000005e: PUSH2 0x024a
00000061: JUMPI
00000062: DUP1
00000063: PUSH4 0x7d1eb67b
00000068: EQ
00000069: PUSH2 0x01cc
0000006c: JUMPI
0000006d: DUP1
0000006e: PUSH4 0x84b0196e
00000073: EQ
00000074: PUSH2 0x00d4
00000077: JUMPI
00000078: DUP1
00000079: PUSH4 0x93aaa146
0000007e: EQ
0000007f: PUSH2 0x00ad
00000082: JUMPI
00000083: PUSH4 0xaffed0e0
00000088: SUB
00000089: PUSH2 0x000e
0000008c: JUMPI
0000008d: CALLVALUE
0000008e: PUSH2 0x00a9
00000091: JUMPI
00000092: PUSH0
00000093: CALLDATASIZE
00000094: PUSH1 0x03
00000096: NOT
00000097: ADD
00000098: SLT
00000099: PUSH2 0x00a9
0000009c: JUMPI
0000009d: PUSH1 0x20
0000009f: PUSH1 0x05
000000a1: SLOAD
000000a2: PUSH1 0x40
000000a4: MLOAD
000000a5: SWAP1
000000a6: DUP2
000000a7: MSTORE
000000a8: RETURN
000000a9: JUMPDEST
000000aa: PUSH0
000000ab: DUP1
000000ac: REVERT
000000ad: JUMPDEST
000000ae: CALLVALUE
000000af: PUSH2 0x00a9
000000b2: JUMPI
000000b3: PUSH0
000000b4: CALLDATASIZE
000000b5: PUSH1 0x03
000000b7: NOT
000000b8: ADD
000000b9: SLT
000000ba: PUSH2 0x00a9
000000bd: JUMPI
000000be: PUSH1 0x20
000000c0: PUSH1 0x40
000000c2: MLOAD
000000c3: PUSH0
000000c4: MLOAD
000000c5: PUSH1 0x20
000000c7: PUSH2 0x0cca
000000ca: PUSH0
000000cb: CODECOPY
000000cc: PUSH0
000000cd: MLOAD
000000ce: SWAP1
000000cf: PUSH0
000000d0: MSTORE
000000d1: DUP2
000000d2: MSTORE
000000d3: RETURN
000000d4: JUMPDEST
000000d5: CALLVALUE
000000d6: PUSH2 0x00a9
000000d9: JUMPI
000000da: PUSH0
000000db: CALLDATASIZE
000000dc: PUSH1 0x03
000000de: NOT
000000df: ADD
000000e0: SLT
000000e1: PUSH2 0x00a9
000000e4: JUMPI
000000e5: PUSH2 0x0170
000000e8: PUSH2 0x0110
000000eb: PUSH32 0x52656e616e4d756c74736967000000000000000000000000000000000000000c
0000010c: PUSH2 0x09bd
0000010f: JUMP
00000110: JUMPDEST
00000111: PUSH2 0x0139
00000114: PUSH32 0x3200000000000000000000000000000000000000000000000000000000000001
00000135: PUSH2 0x0ae3
00000138: JUMP
00000139: JUMPDEST
0000013a: PUSH1 0x20
0000013c: PUSH2 0x017e
0000013f: PUSH1 0x40
00000141: MLOAD
00000142: SWAP3
00000143: PUSH2 0x014c
00000146: DUP4
00000147: DUP6
00000148: PUSH2 0x0660
0000014b: JUMP
0000014c: JUMPDEST
0000014d: PUSH0
0000014e: DUP5
0000014f: MSTORE
00000150: PUSH0
00000151: CALLDATASIZE
00000152: DUP2
00000153: CALLDATACOPY
00000154: PUSH1 0x40
00000156: MLOAD
00000157: SWAP6
00000158: DUP7
00000159: SWAP6
0000015a: PUSH1 0x0f
0000015c: PUSH1 0xf8
0000015e: SHL
0000015f: DUP8
00000160: MSTORE
00000161: PUSH1 0xe0
00000163: DUP6
00000164: DUP9
00000165: ADD
00000166: MSTORE
00000167: PUSH1 0xe0
00000169: DUP8
0000016a: ADD
0000016b: SWAP1
0000016c: PUSH2 0x063c
0000016f: JUMP
00000170: JUMPDEST
00000171: SWAP1
00000172: DUP6
00000173: DUP3
00000174: SUB
00000175: PUSH1 0x40
00000177: DUP8
00000178: ADD
00000179: MSTORE
0000017a: PUSH2 0x063c
0000017d: JUMP
0000017e: JUMPDEST
0000017f: CHAINID
00000180: PUSH1 0x60
00000182: DUP6
00000183: ADD
00000184: MSTORE
00000185: ADDRESS
00000186: PUSH1 0x80
00000188: DUP6
00000189: ADD
0000018a: MSTORE
0000018b: PUSH0
0000018c: PUSH1 0xa0
0000018e: DUP6
0000018f: ADD
00000190: MSTORE
00000191: DUP4
00000192: DUP2
00000193: SUB
00000194: PUSH1 0xc0
00000196: DUP6
00000197: ADD
00000198: MSTORE
00000199: DUP2
0000019a: DUP1
0000019b: DUP5
0000019c: MLOAD
0000019d: SWAP3
0000019e: DUP4
0000019f: DUP2
000001a0: MSTORE
000001a1: ADD
000001a2: SWAP4
000001a3: ADD
000001a4: SWAP2
000001a5: PUSH0
000001a6: JUMPDEST
000001a7: DUP3
000001a8: DUP2
000001a9: LT
000001aa: PUSH2 0x01b5
000001ad: JUMPI
000001ae: POP
000001af: POP
000001b0: POP
000001b1: POP
000001b2: SUB
000001b3: SWAP1
000001b4: RETURN
000001b5: JUMPDEST
000001b6: DUP4
000001b7: MLOAD
000001b8: DUP6
000001b9: MSTORE
000001ba: DUP7
000001bb: SWAP6
000001bc: POP
000001bd: SWAP4
000001be: DUP2
000001bf: ADD
000001c0: SWAP4
000001c1: SWAP3
000001c2: DUP2
000001c3: ADD
000001c4: SWAP3
000001c5: PUSH1 0x01
000001c7: ADD
000001c8: PUSH2 0x01a6
000001cb: JUMP
000001cc: JUMPDEST
000001cd: CALLVALUE
000001ce: PUSH2 0x00a9
000001d1: JUMPI
000001d2: PUSH1 0x80
000001d4: CALLDATASIZE
000001d5: PUSH1 0x03
000001d7: NOT
000001d8: ADD
000001d9: SLT
000001da: PUSH2 0x00a9
000001dd: JUMPI
000001de: PUSH1 0x24
000001e0: CALLDATALOAD
000001e1: PUSH1 0x01
000001e3: PUSH1 0x01
000001e5: PUSH1 0x40
000001e7: SHL
000001e8: SUB
000001e9: DUP2
000001ea: GT
000001eb: PUSH2 0x00a9
000001ee: JUMPI
000001ef: PUSH2 0x01fc
000001f2: SWAP1
000001f3: CALLDATASIZE
000001f4: SWAP1
000001f5: PUSH1 0x04
000001f7: ADD
000001f8: PUSH2 0x060c
000001fb: JUMP
000001fc: JUMPDEST
000001fd: PUSH1 0x44
000001ff: CALLDATALOAD
00000200: PUSH1 0x01
00000202: PUSH1 0x01
00000204: PUSH1 0x40
00000206: SHL
00000207: SUB
00000208: DUP2
00000209: GT
0000020a: PUSH2 0x00a9
0000020d: JUMPI
0000020e: PUSH2 0x021b
00000211: SWAP1
00000212: CALLDATASIZE
00000213: SWAP1
00000214: PUSH1 0x04
00000216: ADD
00000217: PUSH2 0x060c
0000021a: JUMP
0000021b: JUMPDEST
0000021c: PUSH1 0x64
0000021e: CALLDATALOAD
0000021f: SWAP4
00000220: SWAP2
00000221: PUSH1 0x01
00000223: PUSH1 0x01
00000225: PUSH1 0x40
00000227: SHL
00000228: SUB
00000229: DUP6
0000022a: GT
0000022b: PUSH2 0x00a9
0000022e: JUMPI
0000022f: PUSH2 0x023f
00000232: PUSH2 0x0018
00000235: SWAP6
00000236: CALLDATASIZE
00000237: SWAP1
00000238: PUSH1 0x04
0000023a: ADD
0000023b: PUSH2 0x060c
0000023e: JUMP
0000023f: JUMPDEST
00000240: SWAP5
00000241: SWAP1
00000242: SWAP4
00000243: PUSH1 0x04
00000245: CALLDATALOAD
00000246: PUSH2 0x07b9
00000249: JUMP
0000024a: JUMPDEST
0000024b: PUSH1 0xe0
0000024d: CALLDATASIZE
0000024e: PUSH1 0x03
00000250: NOT
00000251: ADD
00000252: SLT
00000253: PUSH2 0x00a9
00000256: JUMPI
00000257: PUSH2 0x025e
0000025a: PUSH2 0x05c9
0000025d: JUMP
0000025e: JUMPDEST
0000025f: PUSH1 0x24
00000261: CALLDATALOAD
00000262: PUSH1 0x44
00000264: CALLDATALOAD
00000265: PUSH1 0x01
00000267: PUSH1 0x01
00000269: PUSH1 0x40
0000026b: SHL
0000026c: SUB
0000026d: DUP2
0000026e: GT
0000026f: PUSH2 0x00a9
00000272: JUMPI
00000273: PUSH2 0x0280
00000276: SWAP1
00000277: CALLDATASIZE
00000278: SWAP1
00000279: PUSH1 0x04
0000027b: ADD
0000027c: PUSH2 0x05df
0000027f: JUMP
00000280: JUMPDEST
00000281: SWAP1
00000282: SWAP3
00000283: PUSH1 0x64
00000285: CALLDATALOAD
00000286: SWAP3
00000287: SWAP1
00000288: SWAP2
00000289: SWAP1
0000028a: PUSH1 0x84
0000028c: CALLDATALOAD
0000028d: PUSH1 0x01
0000028f: PUSH1 0x01
00000291: PUSH1 0x40
00000293: SHL
00000294: SUB
00000295: DUP2
00000296: GT
00000297: PUSH2 0x00a9
0000029a: JUMPI
0000029b: PUSH2 0x02a8
0000029e: SWAP1
0000029f: CALLDATASIZE
000002a0: SWAP1
000002a1: PUSH1 0x04
000002a3: ADD
000002a4: PUSH2 0x060c
000002a7: JUMP
000002a8: JUMPDEST
000002a9: SWAP6
000002aa: SWAP1
000002ab: SWAP5
000002ac: PUSH1 0xa4
000002ae: CALLDATALOAD
000002af: PUSH1 0x01
000002b1: PUSH1 0x01
000002b3: PUSH1 0x40
000002b5: SHL
000002b6: SUB
000002b7: DUP2
000002b8: GT
000002b9: PUSH2 0x00a9
000002bc: JUMPI
000002bd: PUSH2 0x02ca
000002c0: SWAP1
000002c1: CALLDATASIZE
000002c2: SWAP1
000002c3: PUSH1 0x04
000002c5: ADD
000002c6: PUSH2 0x060c
000002c9: JUMP
000002ca: JUMPDEST
000002cb: SWAP1
000002cc: PUSH1 0xc4
000002ce: CALLDATALOAD
000002cf: PUSH1 0x01
000002d1: PUSH1 0x01
000002d3: PUSH1 0x40
000002d5: SHL
000002d6: SUB
000002d7: DUP2
000002d8: GT
000002d9: PUSH2 0x00a9
000002dc: JUMPI
000002dd: PUSH2 0x02ea
000002e0: SWAP1
000002e1: CALLDATASIZE
000002e2: SWAP1
000002e3: PUSH1 0x04
000002e5: ADD
000002e6: PUSH2 0x060c
000002e9: JUMP
000002ea: JUMPDEST
000002eb: SWAP3
000002ec: SWAP1
000002ed: SWAP2
000002ee: DUP5
000002ef: ISZERO
000002f0: ISZERO
000002f1: DUP1
000002f2: PUSH2 0x03cf
000002f5: JUMPI
000002f6: JUMPDEST
000002f7: PUSH2 0x03b8
000002fa: JUMPI
000002fb: SELFBALANCE
000002fc: DUP8
000002fd: GT
000002fe: PUSH2 0x03a0
00000301: JUMPI
00000302: PUSH1 0x05
00000304: SLOAD
00000305: SWAP11
00000306: PUSH1 0x01
00000308: DUP13
00000309: ADD
0000030a: SWAP11
0000030b: DUP12
0000030c: DUP14
0000030d: GT
0000030e: PUSH2 0x038c
00000311: JUMPI
00000312: SWAP5
00000313: DUP10
00000314: SWAP5
00000315: DUP10
00000316: SWAP5
00000317: DUP10
00000318: SWAP5
00000319: DUP16
0000031a: SWAP5
0000031b: DUP16
0000031c: SWAP10
0000031d: DUP16
0000031e: SWAP11
0000031f: PUSH2 0x033d
00000322: PUSH0
00000323: SWAP15
00000324: SWAP14
00000325: DUP16
00000326: SWAP15
00000327: DUP16
00000328: SWAP1
00000329: DUP16
0000032a: DUP16
0000032b: SWAP3
0000032c: SWAP1
0000032d: DUP16
0000032e: SWAP2
0000032f: PUSH2 0x0362
00000332: SWAP15
00000333: PUSH1 0x42
00000335: SWAP9
00000336: PUSH1 0x05
00000338: SSTORE
00000339: PUSH2 0x06e1
0000033c: JUMP
0000033d: JUMPDEST
0000033e: PUSH2 0x0345
00000341: PUSH2 0x0bb3
00000344: JUMP
00000345: JUMPDEST
00000346: SWAP1
00000347: PUSH1 0x40
00000349: MLOAD
0000034a: SWAP2
0000034b: PUSH2 0x1901
0000034e: PUSH1 0xf0
00000350: SHL
00000351: DUP4
00000352: MSTORE
00000353: PUSH1 0x02
00000355: DUP4
00000356: ADD
00000357: MSTORE
00000358: PUSH1 0x22
0000035a: DUP3
0000035b: ADD
0000035c: MSTORE
0000035d: KECCAK256
0000035e: PUSH2 0x07b9
00000361: JUMP
00000362: JUMPDEST
00000363: DUP3
00000364: PUSH1 0x40
00000366: MLOAD
00000367: SWAP4
00000368: DUP5
00000369: SWAP3
0000036a: DUP4
0000036b: CALLDATACOPY
0000036c: DUP2
0000036d: ADD
0000036e: DUP6
0000036f: DUP2
00000370: MSTORE
00000371: SUB
00000372: SWAP3
00000373: GAS
00000374: CALL
00000375: PUSH2 0x037c
00000378: PUSH2 0x06b2
0000037b: JUMP
0000037c: JUMPDEST
0000037d: POP
0000037e: ISZERO
0000037f: PUSH2 0x0384
00000382: JUMPI
00000383: STOP
00000384: JUMPDEST
00000385: RETURNDATASIZE
00000386: PUSH0
00000387: DUP1
00000388: RETURNDATACOPY
00000389: RETURNDATASIZE
0000038a: PUSH0
0000038b: REVERT
0000038c: JUMPDEST
0000038d: PUSH4 0x4e487b71
00000392: PUSH1 0xe0
00000394: SHL
00000395: PUSH0
00000396: MSTORE
00000397: PUSH1 0x11
00000399: PUSH1 0x04
0000039b: MSTORE
0000039c: PUSH1 0x24
0000039e: PUSH0
0000039f: REVERT
000003a0: JUMPDEST
000003a1: DUP7
000003a2: SELFBALANCE
000003a3: SWAP1
000003a4: PUSH4 0x2ef4b3e5
000003a9: PUSH1 0xe2
000003ab: SHL
000003ac: PUSH0
000003ad: MSTORE
000003ae: PUSH1 0x04
000003b0: MSTORE
000003b1: PUSH1 0x24
000003b3: MSTORE
000003b4: PUSH1 0x44
000003b6: PUSH0
000003b7: REVERT
000003b8: JUMPDEST
000003b9: DUP5
000003ba: PUSH4 0x0b952f2d
000003bf: PUSH1 0xe0
000003c1: SHL
000003c2: PUSH0
000003c3: MSTORE
000003c4: TIMESTAMP
000003c5: PUSH1 0x04
000003c7: MSTORE
000003c8: PUSH1 0x24
000003ca: MSTORE
000003cb: PUSH1 0x44
000003cd: PUSH0
000003ce: REVERT
000003cf: JUMPDEST
000003d0: POP
000003d1: DUP5
000003d2: TIMESTAMP
000003d3: LT
000003d4: ISZERO
000003d5: PUSH2 0x02f6
000003d8: JUMP
000003d9: JUMPDEST
000003da: CALLVALUE
000003db: PUSH2 0x00a9
000003de: JUMPI
000003df: PUSH1 0xc0
000003e1: CALLDATASIZE
000003e2: PUSH1 0x03
000003e4: NOT
000003e5: ADD
000003e6: SLT
000003e7: PUSH2 0x00a9
000003ea: JUMPI
000003eb: PUSH1 0x24
000003ed: CALLDATALOAD
000003ee: PUSH1 0x02
000003f0: DUP2
000003f1: LT
000003f2: ISZERO
000003f3: PUSH2 0x00a9
000003f6: JUMPI
000003f7: PUSH1 0x44
000003f9: CALLDATALOAD
000003fa: PUSH1 0x01
000003fc: PUSH1 0x01
000003fe: PUSH1 0xa0
00000400: SHL
00000401: SUB
00000402: DUP2
00000403: AND
00000404: DUP2
00000405: SUB
00000406: PUSH2 0x00a9
00000409: JUMPI
0000040a: PUSH1 0x84
0000040c: CALLDATALOAD
0000040d: SWAP1
0000040e: PUSH1 0x01
00000410: PUSH1 0x01
00000412: PUSH1 0x40
00000414: SHL
00000415: SUB
00000416: DUP3
00000417: GT
00000418: PUSH2 0x00a9
0000041b: JUMPI
0000041c: PUSH1 0x20
0000041e: SWAP3
0000041f: PUSH2 0x042f
00000422: PUSH2 0x0440
00000425: SWAP4
00000426: CALLDATASIZE
00000427: SWAP1
00000428: PUSH1 0x04
0000042a: ADD
0000042b: PUSH2 0x05df
0000042e: JUMP
0000042f: JUMPDEST
00000430: SWAP2
00000431: PUSH1 0xa4
00000433: CALLDATALOAD
00000434: SWAP4
00000435: PUSH1 0x64
00000437: CALLDATALOAD
00000438: SWAP2
00000439: PUSH1 0x04
0000043b: CALLDATALOAD
0000043c: PUSH2 0x06e1
0000043f: JUMP
00000440: JUMPDEST
00000441: PUSH1 0x40
00000443: MLOAD
00000444: SWAP1
00000445: DUP2
00000446: MSTORE
00000447: RETURN
00000448: JUMPDEST
00000449: CALLVALUE
0000044a: PUSH2 0x00a9
0000044d: JUMPI
0000044e: PUSH0
0000044f: CALLDATASIZE
00000450: PUSH1 0x03
00000452: NOT
00000453: ADD
00000454: SLT
00000455: PUSH2 0x00a9
00000458: JUMPI
00000459: PUSH1 0x20
0000045b: PUSH1 0x02
0000045d: SLOAD
0000045e: PUSH1 0x40
00000460: MLOAD
00000461: SWAP1
00000462: DUP2
00000463: MSTORE
00000464: RETURN
00000465: JUMPDEST
00000466: CALLVALUE
00000467: PUSH2 0x00a9
0000046a: JUMPI
0000046b: PUSH1 0x20
0000046d: CALLDATASIZE
0000046e: PUSH1 0x03
00000470: NOT
00000471: ADD
00000472: SLT
00000473: PUSH2 0x00a9
00000476: JUMPI
00000477: PUSH1 0x01
00000479: PUSH1 0x01
0000047b: PUSH1 0xa0
0000047d: SHL
0000047e: SUB
0000047f: PUSH2 0x0486
00000482: PUSH2 0x05c9
00000485: JUMP
00000486: JUMPDEST
00000487: AND
00000488: PUSH0
00000489: MSTORE
0000048a: PUSH1 0x04
0000048c: PUSH1 0x20
0000048e: MSTORE
0000048f: PUSH1 0x20
00000491: PUSH1 0xff
00000493: PUSH1 0x40
00000495: PUSH0
00000496: KECCAK256
00000497: SLOAD
00000498: AND
00000499: PUSH1 0x40
0000049b: MLOAD
0000049c: SWAP1
0000049d: ISZERO
0000049e: ISZERO
0000049f: DUP2
000004a0: MSTORE
000004a1: RETURN
000004a2: JUMPDEST
000004a3: CALLVALUE
000004a4: PUSH2 0x00a9
000004a7: JUMPI
000004a8: PUSH0
000004a9: CALLDATASIZE
000004aa: PUSH1 0x03
000004ac: NOT
000004ad: ADD
000004ae: SLT
000004af: PUSH2 0x00a9
000004b2: JUMPI
000004b3: PUSH1 0x20
000004b5: PUSH1 0x03
000004b7: SLOAD
000004b8: PUSH1 0x40
000004ba: MLOAD
000004bb: SWAP1
000004bc: DUP2
000004bd: MSTORE
000004be: RETURN
000004bf: JUMPDEST
000004c0: CALLVALUE
000004c1: PUSH2 0x00a9
000004c4: JUMPI
000004c5: PUSH1 0xc0
000004c7: CALLDATASIZE
000004c8: PUSH1 0x03
000004ca: NOT
000004cb: ADD
000004cc: SLT
000004cd: PUSH2 0x00a9
000004d0: JUMPI
000004d1: PUSH2 0x04d8
000004d4: PUSH2 0x05c9
000004d7: JUMP
000004d8: JUMPDEST
000004d9: PUSH1 0x24
000004db: CALLDATALOAD
000004dc: PUSH1 0x01
000004de: PUSH1 0x01
000004e0: PUSH1 0x40
000004e2: SHL
000004e3: SUB
000004e4: DUP2
000004e5: GT
000004e6: PUSH2 0x00a9
000004e9: JUMPI
000004ea: PUSH2 0x04f7
000004ed: SWAP1
000004ee: CALLDATASIZE
000004ef: SWAP1
000004f0: PUSH1 0x04
000004f2: ADD
000004f3: PUSH2 0x05df
000004f6: JUMP
000004f7: JUMPDEST
000004f8: SWAP1
000004f9: SWAP2
000004fa: PUSH1 0x44
000004fc: CALLDATALOAD
000004fd: SWAP2
000004fe: PUSH1 0x64
00000500: CALLDATALOAD
00000501: PUSH1 0x01
00000503: PUSH1 0x01
00000505: PUSH1 0x40
00000507: SHL
00000508: SUB
00000509: DUP2
0000050a: GT
0000050b: PUSH2 0x00a9
0000050e: JUMPI
0000050f: PUSH2 0x051c
00000512: SWAP1
00000513: CALLDATASIZE
00000514: SWAP1
00000515: PUSH1 0x04
00000517: ADD
00000518: PUSH2 0x060c
0000051b: JUMP
0000051c: JUMPDEST
0000051d: SWAP5
0000051e: SWAP1
0000051f: SWAP4
00000520: PUSH1 0x84
00000522: CALLDATALOAD
00000523: PUSH1 0x01
00000525: PUSH1 0x01
00000527: PUSH1 0x40
00000529: SHL
0000052a: SUB
0000052b: DUP2
0000052c: GT
0000052d: PUSH2 0x00a9
00000530: JUMPI
00000531: PUSH2 0x053e
00000534: SWAP1
00000535: CALLDATASIZE
00000536: SWAP1
00000537: PUSH1 0x04
00000539: ADD
0000053a: PUSH2 0x060c
0000053d: JUMP
0000053e: JUMPDEST
0000053f: SWAP1
00000540: PUSH1 0xa4
00000542: CALLDATALOAD
00000543: PUSH1 0x01
00000545: PUSH1 0x01
00000547: PUSH1 0x40
00000549: SHL
0000054a: SUB
0000054b: DUP2
0000054c: GT
0000054d: PUSH2 0x00a9
00000550: JUMPI
00000551: PUSH2 0x055e
00000554: SWAP1
00000555: CALLDATASIZE
00000556: SWAP1
00000557: PUSH1 0x04
00000559: ADD
0000055a: PUSH2 0x060c
0000055d: JUMP
0000055e: JUMPDEST
0000055f: SWAP3
00000560: SWAP1
00000561: SWAP2
00000562: DUP5
00000563: ISZERO
00000564: ISZERO
00000565: DUP1
00000566: PUSH2 0x05bf
00000569: JUMPI
0000056a: JUMPDEST
0000056b: PUSH2 0x03b8
0000056e: JUMPI
0000056f: PUSH1 0x05
00000571: SLOAD
00000572: SWAP10
00000573: PUSH1 0x01
00000575: DUP12
00000576: ADD
00000577: SWAP10
00000578: DUP11
00000579: DUP13
0000057a: GT
0000057b: PUSH2 0x038c
0000057e: JUMPI
0000057f: SWAP4
00000580: DUP8
00000581: SWAP4
00000582: PUSH2 0x05a5
00000585: SWAP4
00000586: DUP12
00000587: SWAP8
00000588: SWAP4
00000589: DUP12
0000058a: SWAP8
0000058b: DUP16
0000058c: DUP16
0000058d: PUSH0
0000058e: SWAP14
0000058f: SWAP13
00000590: DUP12
00000591: DUP16
00000592: SWAP15
00000593: DUP16
00000594: DUP16
00000595: PUSH1 0x01
00000597: PUSH1 0x42
00000599: SWAP8
0000059a: PUSH2 0x033d
0000059d: SWAP8
0000059e: PUSH1 0x05
000005a0: SSTORE
000005a1: PUSH2 0x06e1
000005a4: JUMP
000005a5: JUMPDEST
000005a6: DUP2
000005a7: PUSH1 0x40
000005a9: MLOAD
000005aa: SWAP3
000005ab: DUP4
000005ac: SWAP3
000005ad: DUP4
000005ae: CALLDATACOPY
000005af: DUP2
000005b0: ADD
000005b1: DUP5
000005b2: DUP2
000005b3: MSTORE
000005b4: SUB
000005b5: SWAP2
000005b6: GAS
000005b7: DELEGATECALL
000005b8: PUSH2 0x037c
000005bb: PUSH2 0x06b2
000005be: JUMP
000005bf: JUMPDEST
000005c0: POP
000005c1: DUP5
000005c2: TIMESTAMP
000005c3: LT
000005c4: ISZERO
000005c5: PUSH2 0x056a
000005c8: JUMP
000005c9: JUMPDEST
000005ca: PUSH1 0x04
000005cc: CALLDATALOAD
000005cd: SWAP1
000005ce: PUSH1 0x01
000005d0: PUSH1 0x01
000005d2: PUSH1 0xa0
000005d4: SHL
000005d5: SUB
000005d6: DUP3
000005d7: AND
000005d8: DUP3
000005d9: SUB
000005da: PUSH2 0x00a9
000005dd: JUMPI
000005de: JUMP
000005df: JUMPDEST
000005e0: SWAP2
000005e1: DUP2
000005e2: PUSH1 0x1f
000005e4: DUP5
000005e5: ADD
000005e6: SLT
000005e7: ISZERO
000005e8: PUSH2 0x00a9
000005eb: JUMPI
000005ec: DUP3
000005ed: CALLDATALOAD
000005ee: SWAP2
000005ef: PUSH1 0x01
000005f1: PUSH1 0x01
000005f3: PUSH1 0x40
000005f5: SHL
000005f6: SUB
000005f7: DUP4
000005f8: GT
000005f9: PUSH2 0x00a9
000005fc: JUMPI
000005fd: PUSH1 0x20
000005ff: DUP4
00000600: DUP2
00000601: DUP7
00000602: ADD
00000603: SWAP6
00000604: ADD
00000605: ADD
00000606: GT
00000607: PUSH2 0x00a9
0000060a: JUMPI
0000060b: JUMP
0000060c: JUMPDEST
0000060d: SWAP2
0000060e: DUP2
0000060f: PUSH1 0x1f
00000611: DUP5
00000612: ADD
00000613: SLT
00000614: ISZERO
00000615: PUSH2 0x00a9
00000618: JUMPI
00000619: DUP3
0000061a: CALLDATALOAD
0000061b: SWAP2
0000061c: PUSH1 0x01
0000061e: PUSH1 0x01
00000620: PUSH1 0x40
00000622: SHL
00000623: SUB
00000624: DUP4
00000625: GT
00000626: PUSH2 0x00a9
00000629: JUMPI
0000062a: PUSH1 0x20
0000062c: DUP1
0000062d: DUP6
0000062e: ADD
0000062f: SWAP5
00000630: DUP5
00000631: PUSH1 0x05
00000633: SHL
00000634: ADD
00000635: ADD
00000636: GT
00000637: PUSH2 0x00a9
0000063a: JUMPI
0000063b: JUMP
0000063c: JUMPDEST
0000063d: DUP1
0000063e: MLOAD
0000063f: DUP1
00000640: DUP4
00000641: MSTORE
00000642: PUSH1 0x20
00000644: SWAP3
00000645: SWAP2
00000646: DUP2
00000647: SWAP1
00000648: DUP5
00000649: ADD
0000064a: DUP5
0000064b: DUP5
0000064c: ADD
0000064d: MCOPY
0000064e: PUSH0
0000064f: DUP3
00000650: DUP3
00000651: ADD
00000652: DUP5
00000653: ADD
00000654: MSTORE
00000655: PUSH1 0x1f
00000657: ADD
00000658: PUSH1 0x1f
0000065a: NOT
0000065b: AND
0000065c: ADD
0000065d: ADD
0000065e: SWAP1
0000065f: JUMP
00000660: JUMPDEST
00000661: PUSH1 0x1f
00000663: SWAP1
00000664: SWAP2
00000665: ADD
00000666: PUSH1 0x1f
00000668: NOT
00000669: AND
0000066a: DUP2
0000066b: ADD
0000066c: SWAP1
0000066d: PUSH1 0x01
0000066f: PUSH1 0x01
00000671: PUSH1 0x40
00000673: SHL
00000674: SUB
00000675: DUP3
00000676: GT
00000677: SWAP1
00000678: DUP3
00000679: LT
0000067a: OR
0000067b: PUSH2 0x0683
0000067e: JUMPI
0000067f: PUSH1 0x40
00000681: MSTORE
00000682: JUMP
00000683: JUMPDEST
00000684: PUSH4 0x4e487b71
00000689: PUSH1 0xe0
0000068b: SHL
0000068c: PUSH0
0000068d: MSTORE
0000068e: PUSH1 0x41
00000690: PUSH1 0x04
00000692: MSTORE
00000693: PUSH1 0x24
00000695: PUSH0
00000696: REVERT
00000697: JUMPDEST
00000698: PUSH1 0x01
0000069a: PUSH1 0x01
0000069c: PUSH1 0x40
0000069e: SHL
0000069f: SUB
000006a0: DUP2
000006a1: GT
000006a2: PUSH2 0x0683
000006a5: JUMPI
000006a6: PUSH1 0x1f
000006a8: ADD
000006a9: PUSH1 0x1f
000006ab: NOT
000006ac: AND
000006ad: PUSH1 0x20
000006af: ADD
000006b0: SWAP1
000006b1: JUMP
000006b2: JUMPDEST
000006b3: RETURNDATASIZE
000006b4: ISZERO
000006b5: PUSH2 0x06dc
000006b8: JUMPI
000006b9: RETURNDATASIZE
000006ba: SWAP1
000006bb: PUSH2 0x06c3
000006be: DUP3
000006bf: PUSH2 0x0697
000006c2: JUMP
000006c3: JUMPDEST
000006c4: SWAP2
000006c5: PUSH2 0x06d1
000006c8: PUSH1 0x40
000006ca: MLOAD
000006cb: SWAP4
000006cc: DUP5
000006cd: PUSH2 0x0660
000006d0: JUMP
000006d1: JUMPDEST
000006d2: DUP3
000006d3: MSTORE
000006d4: RETURNDATASIZE
000006d5: PUSH0
000006d6: PUSH1 0x20
000006d8: DUP5
000006d9: ADD
000006da: RETURNDATACOPY
000006db: JUMP
000006dc: JUMPDEST
000006dd: PUSH1 0x60
000006df: SWAP1
000006e0: JUMP
000006e1: JUMPDEST
000006e2: SWAP6
000006e3: SWAP4
000006e4: SWAP1
000006e5: SWAP5
000006e6: SWAP3
000006e7: SWAP2
000006e8: SWAP3
000006e9: PUSH2 0x06f1
000006ec: DUP2
000006ed: PUSH2 0x0697
000006f0: JUMP
000006f1: JUMPDEST
000006f2: SWAP1
000006f3: PUSH2 0x06ff
000006f6: PUSH1 0x40
000006f8: MLOAD
000006f9: SWAP3
000006fa: DUP4
000006fb: PUSH2 0x0660
000006fe: JUMP
000006ff: JUMPDEST
00000700: DUP1
00000701: DUP3
00000702: MSTORE
00000703: PUSH1 0x20
00000705: DUP3
00000706: ADD
00000707: SWAP3
00000708: CALLDATASIZE
00000709: DUP3
0000070a: DUP3
0000070b: ADD
0000070c: GT
0000070d: PUSH2 0x00a9
00000710: JUMPI
00000711: DUP2
00000712: PUSH0
00000713: SWAP3
00000714: PUSH1 0x20
00000716: SWAP3
00000717: DUP7
00000718: CALLDATACOPY
00000719: DUP4
0000071a: ADD
0000071b: ADD
0000071c: MSTORE
0000071d: MLOAD
0000071e: SWAP1
0000071f: KECCAK256
00000720: SWAP2
00000721: PUSH1 0x40
00000723: MLOAD
00000724: SWAP5
00000725: PUSH1 0x20
00000727: DUP7
00000728: ADD
00000729: SWAP7
0000072a: PUSH0
0000072b: MLOAD
0000072c: PUSH1 0x20
0000072e: PUSH2 0x0cca
00000731: PUSH0
00000732: CODECOPY
00000733: PUSH0
00000734: MLOAD
00000735: SWAP1
00000736: PUSH0
00000737: MSTORE
00000738: DUP9
00000739: MSTORE
0000073a: PUSH1 0x40
0000073c: DUP8
0000073d: ADD
0000073e: MSTORE
0000073f: PUSH1 0x02
00000741: DUP2
00000742: LT
00000743: ISZERO
00000744: PUSH2 0x0781
00000747: JUMPI
00000748: PUSH1 0x60
0000074a: DUP7
0000074b: ADD
0000074c: MSTORE
0000074d: PUSH1 0x01
0000074f: PUSH1 0x01
00000751: PUSH1 0xa0
00000753: SHL
00000754: SUB
00000755: AND
00000756: PUSH1 0x80
00000758: DUP6
00000759: ADD
0000075a: MSTORE
0000075b: PUSH1 0xa0
0000075d: DUP5
0000075e: ADD
0000075f: MSTORE
00000760: PUSH1 0xc0
00000762: DUP4
00000763: ADD
00000764: MSTORE
00000765: PUSH1 0xe0
00000767: DUP1
00000768: DUP4
00000769: ADD
0000076a: SWAP2
0000076b: SWAP1
0000076c: SWAP2
0000076d: MSTORE
0000076e: DUP2
0000076f: MSTORE
00000770: PUSH2 0x077b
00000773: PUSH2 0x0100
00000776: DUP3
00000777: PUSH2 0x0660
0000077a: JUMP
0000077b: JUMPDEST
0000077c: MLOAD
0000077d: SWAP1
0000077e: KECCAK256
0000077f: SWAP1
00000780: JUMP
00000781: JUMPDEST
00000782: PUSH4 0x4e487b71
00000787: PUSH1 0xe0
00000789: SHL
0000078a: PUSH0
0000078b: MSTORE
0000078c: PUSH1 0x21
0000078e: PUSH1 0x04
00000790: MSTORE
00000791: PUSH1 0x24
00000793: PUSH0
00000794: REVERT
00000795: JUMPDEST
00000796: SWAP2
00000797: SWAP1
00000798: DUP2
00000799: LT
0000079a: ISZERO
0000079b: PUSH2 0x07a5
0000079e: JUMPI
0000079f: PUSH1 0x05
000007a1: SHL
000007a2: ADD
000007a3: SWAP1
000007a4: JUMP
000007a5: JUMPDEST
000007a6: PUSH4 0x4e487b71
000007ab: PUSH1 0xe0
000007ad: SHL
000007ae: PUSH0
000007af: MSTORE
000007b0: PUSH1 0x32
000007b2: PUSH1 0x04
000007b4: MSTORE
000007b5: PUSH1 0x24
000007b7: PUSH0
000007b8: REVERT
000007b9: JUMPDEST
000007ba: SWAP2
000007bb: SWAP6
000007bc: SWAP3
000007bd: SWAP4
000007be: SWAP5
000007bf: SWAP1
000007c0: SWAP5
000007c1: DUP7
000007c2: DUP2
000007c3: EQ
000007c4: DUP1
000007c5: ISZERO
000007c6: SWAP1
000007c7: PUSH2 0x08d0
000007ca: JUMPI
000007cb: JUMPDEST
000007cc: PUSH2 0x08b5
000007cf: JUMPI
000007d0: PUSH1 0x02
000007d2: SLOAD
000007d3: DUP1
000007d4: DUP9
000007d5: LT
000007d6: PUSH2 0x089f
000007d9: JUMPI
000007da: POP
000007db: PUSH0
000007dc: SWAP7
000007dd: DUP8
000007de: JUMPDEST
000007df: DUP2
000007e0: DUP10
000007e1: LT
000007e2: PUSH2 0x07f0
000007e5: JUMPI
000007e6: POP
000007e7: POP
000007e8: POP
000007e9: POP
000007ea: POP
000007eb: POP
000007ec: POP
000007ed: POP
000007ee: POP
000007ef: JUMP
000007f0: JUMPDEST
000007f1: PUSH2 0x07fb
000007f4: DUP10
000007f5: DUP4
000007f6: DUP11
000007f7: PUSH2 0x0795
000007fa: JUMP
000007fb: JUMPDEST
000007fc: CALLDATALOAD
000007fd: SWAP1
000007fe: PUSH1 0xff
00000800: DUP3
00000801: AND
00000802: DUP3
00000803: SUB
00000804: PUSH2 0x00a9
00000807: JUMPI
00000808: PUSH2 0x082d
0000080b: PUSH2 0x0836
0000080e: SWAP3
0000080f: PUSH2 0x0819
00000812: DUP13
00000813: DUP8
00000814: DUP13
00000815: PUSH2 0x0795
00000818: JUMP
00000819: JUMPDEST
0000081a: CALLDATALOAD
0000081b: PUSH2 0x0825
0000081e: DUP14
0000081f: DUP12
00000820: DUP11
00000821: PUSH2 0x0795
00000824: JUMP
00000825: JUMPDEST
00000826: CALLDATALOAD
00000827: SWAP2
00000828: DUP10
00000829: PUSH2 0x08da
0000082c: JUMP
0000082d: JUMPDEST
0000082e: SWAP1
0000082f: SWAP4
00000830: SWAP2
00000831: SWAP4
00000832: PUSH2 0x095d
00000835: JUMP
00000836: JUMPDEST
00000837: PUSH1 0x01
00000839: PUSH1 0x01
0000083b: PUSH1 0xa0
0000083d: SHL
0000083e: SUB
0000083f: DUP3
00000840: AND
00000841: PUSH0
00000842: DUP2
00000843: DUP2
00000844: MSTORE
00000845: PUSH1 0x04
00000847: PUSH1 0x20
00000849: MSTORE
0000084a: PUSH1 0x40
0000084c: SWAP1
0000084d: KECCAK256
0000084e: SLOAD
0000084f: SWAP1
00000850: SWAP2
00000851: SWAP1
00000852: PUSH1 0xff
00000854: AND
00000855: ISZERO
00000856: PUSH2 0x088c
00000859: JUMPI
0000085a: PUSH1 0x01
0000085c: PUSH1 0x01
0000085e: PUSH1 0xa0
00000860: SHL
00000861: SUB
00000862: AND
00000863: DUP1
00000864: DUP3
00000865: GT
00000866: ISZERO
00000867: PUSH2 0x0877
0000086a: JUMPI
0000086b: POP
0000086c: POP
0000086d: PUSH1 0x01
0000086f: SWAP1
00000870: SWAP9
00000871: ADD
00000872: SWAP8
00000873: PUSH2 0x07de
00000876: JUMP
00000877: JUMPDEST
00000878: PUSH4 0xef41fc97
0000087d: PUSH1 0xe0
0000087f: SHL
00000880: PUSH0
00000881: MSTORE
00000882: PUSH1 0x04
00000884: MSTORE
00000885: PUSH1 0x24
00000887: MSTORE
00000888: PUSH1 0x44
0000088a: PUSH0
0000088b: REVERT
0000088c: JUMPDEST
0000088d: POP
0000088e: PUSH4 0x506489d3
00000893: PUSH1 0xe1
00000895: SHL
00000896: PUSH0
00000897: MSTORE
00000898: PUSH1 0x04
0000089a: MSTORE
0000089b: PUSH1 0x24
0000089d: PUSH0
0000089e: REVERT
0000089f: JUMPDEST
000008a0: DUP8
000008a1: PUSH4 0x175a1e3f
000008a6: PUSH1 0xe0
000008a8: SHL
000008a9: PUSH0
000008aa: MSTORE
000008ab: PUSH1 0x04
000008ad: MSTORE
000008ae: PUSH1 0x24
000008b0: MSTORE
000008b1: PUSH1 0x44
000008b3: PUSH0
000008b4: REVERT
000008b5: JUMPDEST
000008b6: DUP4
000008b7: SWAP1
000008b8: DUP8
000008b9: PUSH4 0x01581b2b
000008be: PUSH1 0xe3
000008c0: SHL
000008c1: PUSH0
000008c2: MSTORE
000008c3: PUSH1 0x04
000008c5: MSTORE
000008c6: PUSH1 0x24
000008c8: MSTORE
000008c9: PUSH1 0x44
000008cb: MSTORE
000008cc: PUSH1 0x64
000008ce: PUSH0
000008cf: REVERT
000008d0: JUMPDEST
000008d1: POP
000008d2: DUP7
000008d3: DUP5
000008d4: EQ
000008d5: ISZERO
000008d6: PUSH2 0x07cb
000008d9: JUMP
000008da: JUMPDEST
000008db: SWAP2
000008dc: SWAP1
000008dd: PUSH16 0xa2a8918ca85bafe22016d0b997e4df60
000008ee: PUSH1 0x01
000008f0: PUSH1 0xff
000008f2: SHL
000008f3: SUB
000008f4: DUP5
000008f5: GT
000008f6: PUSH2 0x0952
000008f9: JUMPI
000008fa: SWAP2
000008fb: PUSH1 0x20
000008fd: SWAP4
000008fe: PUSH1 0x80
00000900: SWAP3
00000901: PUSH1 0xff
00000903: PUSH0
00000904: SWAP6
00000905: PUSH1 0x40
00000907: MLOAD
00000908: SWAP5
00000909: DUP6
0000090a: MSTORE
0000090b: AND
0000090c: DUP7
0000090d: DUP5
0000090e: ADD
0000090f: MSTORE
00000910: PUSH1 0x40
00000912: DUP4
00000913: ADD
00000914: MSTORE
00000915: PUSH1 0x60
00000917: DUP3
00000918: ADD
00000919: MSTORE
0000091a: DUP3
0000091b: DUP1
0000091c: MSTORE
0000091d: PUSH1 0x01
0000091f: GAS
00000920: STATICCALL
00000921: ISZERO
00000922: PUSH2 0x0947
00000925: JUMPI
00000926: PUSH0
00000927: MLOAD
00000928: PUSH1 0x01
0000092a: PUSH1 0x01
0000092c: PUSH1 0xa0
0000092e: SHL
0000092f: SUB
00000930: DUP2
00000931: AND
00000932: ISZERO
00000933: PUSH2 0x093d
00000936: JUMPI
00000937: SWAP1
00000938: PUSH0
00000939: SWAP1
0000093a: PUSH0
0000093b: SWAP1
0000093c: JUMP
0000093d: JUMPDEST
0000093e: POP
0000093f: PUSH0
00000940: SWAP1
00000941: PUSH1 0x01
00000943: SWAP1
00000944: PUSH0
00000945: SWAP1
00000946: JUMP
00000947: JUMPDEST
00000948: PUSH1 0x40
0000094a: MLOAD
0000094b: RETURNDATASIZE
0000094c: PUSH0
0000094d: DUP3
0000094e: RETURNDATACOPY
0000094f: RETURNDATASIZE
00000950: SWAP1
00000951: REVERT
00000952: JUMPDEST
00000953: POP
00000954: POP
00000955: POP
00000956: PUSH0
00000957: SWAP2
00000958: PUSH1 0x03
0000095a: SWAP2
0000095b: SWAP1
0000095c: JUMP
0000095d: JUMPDEST
0000095e: PUSH1 0x04
00000960: DUP2
00000961: LT
00000962: ISZERO
00000963: PUSH2 0x0781
00000966: JUMPI
00000967: DUP1
00000968: PUSH2 0x096f
0000096b: JUMPI
0000096c: POP
0000096d: POP
0000096e: JUMP
0000096f: JUMPDEST
00000970: PUSH1 0x01
00000972: DUP2
00000973: SUB
00000974: PUSH2 0x0986
00000977: JUMPI
00000978: PUSH4 0xf645eedf
0000097d: PUSH1 0xe0
0000097f: SHL
00000980: PUSH0
00000981: MSTORE
00000982: PUSH1 0x04
00000984: PUSH0
00000985: REVERT
00000986: JUMPDEST
00000987: PUSH1 0x02
00000989: DUP2
0000098a: SUB
0000098b: PUSH2 0x09a1
0000098e: JUMPI
0000098f: POP
00000990: PUSH4 0xfce698f7
00000995: PUSH1 0xe0
00000997: SHL
00000998: PUSH0
00000999: MSTORE
0000099a: PUSH1 0x04
0000099c: MSTORE
0000099d: PUSH1 0x24
0000099f: PUSH0
000009a0: REVERT
000009a1: JUMPDEST
000009a2: PUSH1 0x03
000009a4: EQ
000009a5: PUSH2 0x09ab
000009a8: JUMPI
000009a9: POP
000009aa: JUMP
000009ab: JUMPDEST
000009ac: PUSH4 0x35e2f383
000009b1: PUSH1 0xe2
000009b3: SHL
000009b4: PUSH0
000009b5: MSTORE
000009b6: PUSH1 0x04
000009b8: MSTORE
000009b9: PUSH1 0x24
000009bb: PUSH0
000009bc: REVERT
000009bd: JUMPDEST
000009be: PUSH1 0xff
000009c0: DUP2
000009c1: EQ
000009c2: PUSH2 0x0a03
000009c5: JUMPI
000009c6: PUSH1 0xff
000009c8: DUP2
000009c9: AND
000009ca: SWAP1
000009cb: PUSH1 0x1f
000009cd: DUP3
000009ce: GT
000009cf: PUSH2 0x09f4
000009d2: JUMPI
000009d3: PUSH1 0x40
000009d5: MLOAD
000009d6: SWAP2
000009d7: PUSH2 0x09e1
000009da: PUSH1 0x40
000009dc: DUP5
000009dd: PUSH2 0x0660
000009e0: JUMP
000009e1: JUMPDEST
000009e2: PUSH1 0x20
000009e4: DUP1
000009e5: DUP5
000009e6: MSTORE
000009e7: DUP4
000009e8: DUP2
000009e9: ADD
000009ea: SWAP2
000009eb: SWAP1
000009ec: CALLDATASIZE
000009ed: DUP4
000009ee: CALLDATACOPY
000009ef: DUP4
000009f0: MSTORE
000009f1: MSTORE
000009f2: SWAP1
000009f3: JUMP
000009f4: JUMPDEST
000009f5: PUSH4 0x2cd44ac3
000009fa: PUSH1 0xe2
000009fc: SHL
000009fd: PUSH0
000009fe: MSTORE
000009ff: PUSH1 0x04
00000a01: PUSH0
00000a02: REVERT
00000a03: JUMPDEST
00000a04: POP
00000a05: PUSH1 0x40
00000a07: MLOAD
00000a08: PUSH0
00000a09: PUSH0
00000a0a: SLOAD
00000a0b: DUP1
00000a0c: PUSH1 0x01
00000a0e: SHR
00000a0f: SWAP2
00000a10: PUSH1 0x01
00000a12: DUP3
00000a13: AND
00000a14: SWAP2
00000a15: DUP3
00000a16: ISZERO
00000a17: PUSH2 0x0ad9
00000a1a: JUMPI
00000a1b: JUMPDEST
00000a1c: PUSH1 0x20
00000a1e: DUP5
00000a1f: LT
00000a20: DUP4
00000a21: EQ
00000a22: PUSH2 0x0ac5
00000a25: JUMPI
00000a26: DUP4
00000a27: DUP6
00000a28: MSTORE
00000a29: DUP5
00000a2a: SWAP3
00000a2b: SWAP1
00000a2c: DUP2
00000a2d: ISZERO
00000a2e: PUSH2 0x0aa6
00000a31: JUMPI
00000a32: POP
00000a33: PUSH1 0x01
00000a35: EQ
00000a36: PUSH2 0x0a49
00000a39: JUMPI
00000a3a: JUMPDEST
00000a3b: PUSH2 0x0a46
00000a3e: SWAP3
00000a3f: POP
00000a40: SUB
00000a41: DUP3
00000a42: PUSH2 0x0660
00000a45: JUMP
00000a46: JUMPDEST
00000a47: SWAP1
00000a48: JUMP
00000a49: JUMPDEST
00000a4a: POP
00000a4b: PUSH0
00000a4c: DUP1
00000a4d: DUP1
00000a4e: MSTORE
00000a4f: SWAP1
00000a50: SWAP2
00000a51: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e563
00000a72: JUMPDEST
00000a73: DUP2
00000a74: DUP4
00000a75: LT
00000a76: PUSH2 0x0a8a
00000a79: JUMPI
00000a7a: POP
00000a7b: POP
00000a7c: SWAP1
00000a7d: PUSH1 0x20
00000a7f: PUSH2 0x0a46
00000a82: SWAP3
00000a83: DUP3
00000a84: ADD
00000a85: ADD
00000a86: PUSH2 0x0a3a
00000a89: JUMP
00000a8a: JUMPDEST
00000a8b: PUSH1 0x20
00000a8d: SWAP2
00000a8e: SWAP4
00000a8f: POP
00000a90: DUP1
00000a91: PUSH1 0x01
00000a93: SWAP2
00000a94: SLOAD
00000a95: DUP4
00000a96: DUP6
00000a97: DUP9
00000a98: ADD
00000a99: ADD
00000a9a: MSTORE
00000a9b: ADD
00000a9c: SWAP2
00000a9d: ADD
00000a9e: SWAP1
00000a9f: SWAP2
00000aa0: DUP4
00000aa1: SWAP3
00000aa2: PUSH2 0x0a72
00000aa5: JUMP
00000aa6: JUMPDEST
00000aa7: PUSH1 0x20
00000aa9: SWAP3
00000aaa: POP
00000aab: PUSH2 0x0a46
00000aae: SWAP5
00000aaf: SWAP2
00000ab0: POP
00000ab1: PUSH1 0xff
00000ab3: NOT
00000ab4: AND
00000ab5: DUP3
00000ab6: DUP5
00000ab7: ADD
00000ab8: MSTORE
00000ab9: ISZERO
00000aba: ISZERO
00000abb: PUSH1 0x05
00000abd: SHL
00000abe: DUP3
00000abf: ADD
00000ac0: ADD
00000ac1: PUSH2 0x0a3a
00000ac4: JUMP
00000ac5: JUMPDEST
00000ac6: PUSH4 0x4e487b71
00000acb: PUSH1 0xe0
00000acd: SHL
00000ace: PUSH0
00000acf: MSTORE
00000ad0: PUSH1 0x22
00000ad2: PUSH1 0x04
00000ad4: MSTORE
00000ad5: PUSH1 0x24
00000ad7: PUSH0
00000ad8: REVERT
00000ad9: JUMPDEST
00000ada: SWAP3
00000adb: PUSH1 0x7f
00000add: AND
00000ade: SWAP3
00000adf: PUSH2 0x0a1b
00000ae2: JUMP
00000ae3: JUMPDEST
00000ae4: PUSH1 0xff
00000ae6: DUP2
00000ae7: EQ
00000ae8: PUSH2 0x0b07
00000aeb: JUMPI
00000aec: PUSH1 0xff
00000aee: DUP2
00000aef: AND
00000af0: SWAP1
00000af1: PUSH1 0x1f
00000af3: DUP3
00000af4: GT
00000af5: PUSH2 0x09f4
00000af8: JUMPI
00000af9: PUSH1 0x40
00000afb: MLOAD
00000afc: SWAP2
00000afd: PUSH2 0x09e1
00000b00: PUSH1 0x40
00000b02: DUP5
00000b03: PUSH2 0x0660
00000b06: JUMP
00000b07: JUMPDEST
00000b08: POP
00000b09: PUSH1 0x40
00000b0b: MLOAD
00000b0c: PUSH0
00000b0d: PUSH1 0x01
00000b0f: SLOAD
00000b10: DUP1
00000b11: PUSH1 0x01
00000b13: SHR
00000b14: SWAP2
00000b15: PUSH1 0x01
00000b17: DUP3
00000b18: AND
00000b19: SWAP2
00000b1a: DUP3
00000b1b: ISZERO
00000b1c: PUSH2 0x0ba9
00000b1f: JUMPI
00000b20: JUMPDEST
00000b21: PUSH1 0x20
00000b23: DUP5
00000b24: LT
00000b25: DUP4
00000b26: EQ
00000b27: PUSH2 0x0ac5
00000b2a: JUMPI
00000b2b: DUP4
00000b2c: DUP6
00000b2d: MSTORE
00000b2e: DUP5
00000b2f: SWAP3
00000b30: SWAP1
00000b31: DUP2
00000b32: ISZERO
00000b33: PUSH2 0x0aa6
00000b36: JUMPI
00000b37: POP
00000b38: PUSH1 0x01
00000b3a: EQ
00000b3b: PUSH2 0x0b4a
00000b3e: JUMPI
00000b3f: PUSH2 0x0a46
00000b42: SWAP3
00000b43: POP
00000b44: SUB
00000b45: DUP3
00000b46: PUSH2 0x0660
00000b49: JUMP
00000b4a: JUMPDEST
00000b4b: POP
00000b4c: PUSH1 0x01
00000b4e: PUSH0
00000b4f: SWAP1
00000b50: DUP2
00000b51: MSTORE
00000b52: SWAP1
00000b53: SWAP2
00000b54: PUSH32 0xb10e2d527612073b26eecdfd717e6a320cf44b4afac2b0732d9fcbe2b7fa0cf6
00000b75: JUMPDEST
00000b76: DUP2
00000b77: DUP4
00000b78: LT
00000b79: PUSH2 0x0b8d
00000b7c: JUMPI
00000b7d: POP
00000b7e: POP
00000b7f: SWAP1
00000b80: PUSH1 0x20
00000b82: PUSH2 0x0a46
00000b85: SWAP3
00000b86: DUP3
00000b87: ADD
00000b88: ADD
00000b89: PUSH2 0x0a3a
00000b8c: JUMP
00000b8d: JUMPDEST
00000b8e: PUSH1 0x20
00000b90: SWAP2
00000b91: SWAP4
00000b92: POP
00000b93: DUP1
00000b94: PUSH1 0x01
00000b96: SWAP2
00000b97: SLOAD
00000b98: DUP4
00000b99: DUP6
00000b9a: DUP9
00000b9b: ADD
00000b9c: ADD
00000b9d: MSTORE
00000b9e: ADD
00000b9f: SWAP2
00000ba0: ADD
00000ba1: SWAP1
00000ba2: SWAP2
00000ba3: DUP4
00000ba4: SWAP3
00000ba5: PUSH2 0x0b75
00000ba8: JUMP
00000ba9: JUMPDEST
00000baa: SWAP3
00000bab: PUSH1 0x7f
00000bad: AND
00000bae: SWAP3
00000baf: PUSH2 0x0b20
00000bb2: JUMP
00000bb3: JUMPDEST
00000bb4: ADDRESS
00000bb5: PUSH32 0x0000000000000000000000000e8d0720716a7e43508c22cdd48642cd7882b387
00000bd6: PUSH1 0x01
00000bd8: PUSH1 0x01
00000bda: PUSH1 0xa0
00000bdc: SHL
00000bdd: SUB
00000bde: AND
00000bdf: EQ
00000be0: DUP1
00000be1: PUSH2 0x0ca0
00000be4: JUMPI
00000be5: JUMPDEST
00000be6: ISZERO
00000be7: PUSH2 0x0c0e
00000bea: JUMPI
00000beb: PUSH32 0x941f1457a0b7c144428ef4a09ac398e9364b00ed3cc3702488857d371016cf6a
00000c0c: SWAP1
00000c0d: JUMP
00000c0e: JUMPDEST
00000c0f: PUSH1 0x40
00000c11: MLOAD
00000c12: PUSH1 0x20
00000c14: DUP2
00000c15: ADD
00000c16: SWAP1
00000c17: PUSH32 0x8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f
00000c38: DUP3
00000c39: MSTORE
00000c3a: PUSH32 0xd2a5e9da4e519aa8bc89870a2cdd9b1442c4b140d60cec7898f6b59e36c0b49a
00000c5b: PUSH1 0x40
00000c5d: DUP3
00000c5e: ADD
00000c5f: MSTORE
00000c60: PUSH32 0xad7c5bef027816a800da1736444fb58a807ef4c9603b7848673f7e3a68eb14a5
00000c81: PUSH1 0x60
00000c83: DUP3
00000c84: ADD
00000c85: MSTORE
00000c86: CHAINID
00000c87: PUSH1 0x80
00000c89: DUP3
00000c8a: ADD
00000c8b: MSTORE
00000c8c: ADDRESS
00000c8d: PUSH1 0xa0
00000c8f: DUP3
00000c90: ADD
00000c91: MSTORE
00000c92: PUSH1 0xa0
00000c94: DUP2
00000c95: MSTORE
00000c96: PUSH2 0x077b
00000c99: PUSH1 0xc0
00000c9b: DUP3
00000c9c: PUSH2 0x0660
00000c9f: JUMP
00000ca0: JUMPDEST
00000ca1: POP
00000ca2: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000001
00000cc3: CHAINID
00000cc4: EQ
00000cc5: PUSH2 0x0be5
00000cc8: JUMP
00000cc9: INVALID
00000cca: SWAP1
00000ccb: LOG0
00000ccc: EXP
00000ccd: DUP15
00000cce: PUSH15 0x3a9d3025706fdc9ff1a4b33b640b32
00000cde: DUP16
00000cdf: UNKNOWN(0x4F)
00000ce0: STATICCALL
00000ce1: UNKNOWN(0xF7)
00000ce2: PUSH4 0x9e57540e
00000ce7: UNKNOWN(0xF8)
00000ce8: UNKNOWN(0xD1)
00000ce9: SWAP12
00000cea: LOG2
00000ceb: PUSH5 0x6970667358
00000cf1: UNKNOWN(0x22)
00000cf2: SLT
00000cf3: KECCAK256
00000cf4: CODECOPY
00000cf5: CALL
00000cf6: PUSH15 0x9c5ab4ee57ead574ff67713374267d
00000d06: UNKNOWN(0xA8)
00000d07: EXP
00000d08: SSTORE
00000d09: KECCAK256
00000d0a: CODESIZE
00000d0b: CREATE
00000d0c: UNKNOWN(0xF6)
00000d0d: ADDRESS
00000d0e: EXTCODESIZE
00000d0f: SLOAD
00000d10: UNKNOWN(0xDE)
00000d11: UNKNOWN(0xC4)
00000d12: JUMPI
00000d13: SLOAD
00000d14: PUSH5 0x736f6c6343
00000d1a: STOP
00000d1b: ADDMOD
00000d1c: SAR
00000d1d: STOP
00000d1e: CALLER

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
critical upgradeability detector Untrusted DELEGATECALL target reachable 70 no no
view
trace_id: 0xe91b2ed833ca5560f9710e1f6e046fdc63d0bfe7aad287f5a3fca9f28ae35742
validation_json
{
    "sink": "DELEGATECALL",
    "errors": 0,
    "status": "unknown",
    "attempts": 108,
    "trace_id": "0xe91b2ed833ca5560f9710e1f6e046fdc63d0bfe7aad287f5a3fca9f28ae35742",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": null,
    "matched_probe": null,
    "target_varies": null,
    "classification": "no_sink"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0x15ff3569",
            "selector": "0x15ff3569",
            "calldata_variants": [
                "0x15ff3569",
                "0x15ff35690000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x243669ad",
            "selector": "0x243669ad",
            "calldata_variants": [
                "0x243669ad",
                "0x243669ad0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2f54bf6e",
            "selector": "0x2f54bf6e",
            "calldata_variants": [
                "0x2f54bf6e",
                "0x2f54bf6e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x42cde4e8",
            "selector": "0x42cde4e8",
            "calldata_variants": [
                "0x42cde4e8",
                "0x42cde4e80000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x57a46f4d",
            "selector": "0x57a46f4d",
            "calldata_variants": [
                "0x57a46f4d",
                "0x57a46f4d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x714ea735",
            "selector": "0x714ea735",
            "calldata_variants": [
                "0x714ea735",
                "0x714ea7350000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7d1eb67b",
            "selector": "0x7d1eb67b",
            "calldata_variants": [
                "0x7d1eb67b",
                "0x7d1eb67b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x84b0196e",
            "selector": "0x84b0196e",
            "calldata_variants": [
                "0x84b0196e",
                "0x84b0196e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 1463,
            "opcode": "DELEGATECALL",
            "returndata_checked": null,
            "value_expression_category": "n/a",
            "target_expression_category": "computed"
        }
    ],
    "guards_detected": [],
    "delegatecall_count": 1,
    "untrusted_delegatecall_count": 1
}
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0x1fc9ba8e9456be8010a54412393660adf1503351f837a68f9864837d7ba4842e
call_targets: 0x0e8d0720716a7e43508c22cdd48642cd7882b387
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x1fc9ba8e9456be8010a54412393660adf1503351f837a68f9864837d7ba4842e",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x0e8d0720716a7e43508c22cdd48642cd7882b387"
    ],
    "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": "0x15ff3569",
            "selector": "0x15ff3569",
            "calldata_variants": [
                "0x15ff3569",
                "0x15ff35690000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x243669ad",
            "selector": "0x243669ad",
            "calldata_variants": [
                "0x243669ad",
                "0x243669ad0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2f54bf6e",
            "selector": "0x2f54bf6e",
            "calldata_variants": [
                "0x2f54bf6e",
                "0x2f54bf6e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x42cde4e8",
            "selector": "0x42cde4e8",
            "calldata_variants": [
                "0x42cde4e8",
                "0x42cde4e80000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x57a46f4d",
            "selector": "0x57a46f4d",
            "calldata_variants": [
                "0x57a46f4d",
                "0x57a46f4d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x714ea735",
            "selector": "0x714ea735",
            "calldata_variants": [
                "0x714ea735",
                "0x714ea7350000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7d1eb67b",
            "selector": "0x7d1eb67b",
            "calldata_variants": [
                "0x7d1eb67b",
                "0x7d1eb67b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x84b0196e",
            "selector": "0x84b0196e",
            "calldata_variants": [
                "0x84b0196e",
                "0x84b0196e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 884,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3317,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 2,
    "guards_detected": [],
    "untrusted_call_count": 2
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0x1fc9ba8e9456be8010a54412393660adf1503351f837a68f9864837d7ba4842e
call_targets: 0x0e8d0720716a7e43508c22cdd48642cd7882b387
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x1fc9ba8e9456be8010a54412393660adf1503351f837a68f9864837d7ba4842e",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x0e8d0720716a7e43508c22cdd48642cd7882b387"
    ],
    "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": "0x15ff3569",
            "selector": "0x15ff3569",
            "calldata_variants": [
                "0x15ff3569",
                "0x15ff35690000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x243669ad",
            "selector": "0x243669ad",
            "calldata_variants": [
                "0x243669ad",
                "0x243669ad0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2f54bf6e",
            "selector": "0x2f54bf6e",
            "calldata_variants": [
                "0x2f54bf6e",
                "0x2f54bf6e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x42cde4e8",
            "selector": "0x42cde4e8",
            "calldata_variants": [
                "0x42cde4e8",
                "0x42cde4e80000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x57a46f4d",
            "selector": "0x57a46f4d",
            "calldata_variants": [
                "0x57a46f4d",
                "0x57a46f4d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x714ea735",
            "selector": "0x714ea735",
            "calldata_variants": [
                "0x714ea735",
                "0x714ea7350000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7d1eb67b",
            "selector": "0x7d1eb67b",
            "calldata_variants": [
                "0x7d1eb67b",
                "0x7d1eb67b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x84b0196e",
            "selector": "0x84b0196e",
            "calldata_variants": [
                "0x84b0196e",
                "0x84b0196e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 884,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3317,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 2,
    "guards_detected": []
}
medium other detector CREATE/CREATE2 reachable 45 no no
view
trace_id: 0x295a1ba44125c71e2f0e9c472eb03ae3ede85748623f4b284aa7da36109063c1
validation_json
{
    "sink": "CREATE",
    "errors": 0,
    "status": "unknown",
    "attempts": 18,
    "trace_id": "0x295a1ba44125c71e2f0e9c472eb03ae3ede85748623f4b284aa7da36109063c1",
    "confirmed": false,
    "trace_mode": "structLogs",
    "call_targets": null,
    "matched_probe": null,
    "target_varies": null,
    "classification": "no_sink"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0x15ff3569",
            "selector": "0x15ff3569",
            "calldata_variants": [
                "0x15ff3569",
                "0x15ff35690000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x243669ad",
            "selector": "0x243669ad",
            "calldata_variants": [
                "0x243669ad",
                "0x243669ad0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2f54bf6e",
            "selector": "0x2f54bf6e",
            "calldata_variants": [
                "0x2f54bf6e",
                "0x2f54bf6e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x42cde4e8",
            "selector": "0x42cde4e8",
            "calldata_variants": [
                "0x42cde4e8",
                "0x42cde4e80000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x57a46f4d",
            "selector": "0x57a46f4d",
            "calldata_variants": [
                "0x57a46f4d",
                "0x57a46f4d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x714ea735",
            "selector": "0x714ea735",
            "calldata_variants": [
                "0x714ea735",
                "0x714ea7350000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x7d1eb67b",
            "selector": "0x7d1eb67b",
            "calldata_variants": [
                "0x7d1eb67b",
                "0x7d1eb67b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x84b0196e",
            "selector": "0x84b0196e",
            "calldata_variants": [
                "0x84b0196e",
                "0x84b0196e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "create_count": 1,
    "create2_count": 0
}