Analysis Run

019b477e-d61a-702c-b6b8-12faedf01916

complete

Chain ID

1

Address

0xf3d1910364da02db32dac343250cadca1c1576be

Block Number

—

Created

Mon, Dec 22, 2025 7:17 PM

Review Summary

What survived the funnel

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

back to vulns open contract

Confirmed

0

Validated

0

Source

Verified

Review Backing

Not yet

Best current signal

CREATE/CREATE2 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
28651	artifact.fetch	complete	1 / 3	3 months ago
28652	tool.cast_disasm	complete	1 / 3	3 months ago
92865	analysis.bundle	complete	1 / 3	2 weeks ago
92866	capability.graph	complete	1 / 3	2 weeks ago
92867	detector.run	complete	1 / 3	2 weeks ago
92868	validation.fork	complete	1 / 3	2 weeks ago

Artifact

Runtime bytecode: available

Creation TX: —

Deployer: —

Proxy: no

Implementation:

—

Verified Source: yes

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm

Delegatecall

0

Selfdestruct

0

CREATE2

1

CALL-family (heavy)

5

EXT*/BALANCE

2

Total opcodes

1804

Flags

create_opcodes_present

View cast disassembly output

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0196
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x4a4ee7b1
00000019: GT
0000001a: PUSH2 0x00e1
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0x90107afe
00000024: GT
00000025: PUSH2 0x008a
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xf04e283e
0000002f: GT
00000030: PUSH2 0x0064
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xf04e283e
0000003a: EQ
0000003b: PUSH2 0x048c
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xf2fde38b
00000045: EQ
00000046: PUSH2 0x049f
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf8004d31
00000050: EQ
00000051: PUSH2 0x04b2
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xfee81cf4
0000005b: EQ
0000005c: PUSH2 0x04d2
0000005f: JUMPI
00000060: PUSH1 0x00
00000062: DUP1
00000063: REVERT
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0x90107afe
0000006b: EQ
0000006c: PUSH2 0x0443
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xc0c3b517
00000076: EQ
00000077: PUSH2 0x0463
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xd5abeb01
00000081: EQ
00000082: PUSH2 0x0476
00000085: JUMPI
00000086: PUSH1 0x00
00000088: DUP1
00000089: REVERT
0000008a: JUMPDEST
0000008b: DUP1
0000008c: PUSH4 0x715018a6
00000091: GT
00000092: PUSH2 0x00bb
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0x715018a6
0000009c: EQ
0000009d: PUSH2 0x03c2
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0x88ad31a0
000000a7: EQ
000000a8: PUSH2 0x03ca
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x8da5cb5b
000000b2: EQ
000000b3: PUSH2 0x040f
000000b6: JUMPI
000000b7: PUSH1 0x00
000000b9: DUP1
000000ba: REVERT
000000bb: JUMPDEST
000000bc: DUP1
000000bd: PUSH4 0x4a4ee7b1
000000c2: EQ
000000c3: PUSH2 0x0370
000000c6: JUMPI
000000c7: DUP1
000000c8: PUSH4 0x514e62fc
000000cd: EQ
000000ce: PUSH2 0x0383
000000d1: JUMPI
000000d2: DUP1
000000d3: PUSH4 0x54d1f13d
000000d8: EQ
000000d9: PUSH2 0x03ba
000000dc: JUMPI
000000dd: PUSH1 0x00
000000df: DUP1
000000e0: REVERT
000000e1: JUMPDEST
000000e2: DUP1
000000e3: PUSH4 0x2352a864
000000e8: GT
000000e9: PUSH2 0x0143
000000ec: JUMPI
000000ed: DUP1
000000ee: PUSH4 0x2de94807
000000f3: GT
000000f4: PUSH2 0x011d
000000f7: JUMPI
000000f8: DUP1
000000f9: PUSH4 0x2de94807
000000fe: EQ
000000ff: PUSH2 0x0308
00000102: JUMPI
00000103: DUP1
00000104: PUSH4 0x3ab1a494
00000109: EQ
0000010a: PUSH2 0x033b
0000010d: JUMPI
0000010e: DUP1
0000010f: PUSH4 0x3ccfd60b
00000114: EQ
00000115: PUSH2 0x035b
00000118: JUMPI
00000119: PUSH1 0x00
0000011b: DUP1
0000011c: REVERT
0000011d: JUMPDEST
0000011e: DUP1
0000011f: PUSH4 0x2352a864
00000124: EQ
00000125: PUSH2 0x02a1
00000128: JUMPI
00000129: DUP1
0000012a: PUSH4 0x24bbd049
0000012f: EQ
00000130: PUSH2 0x02ce
00000133: JUMPI
00000134: DUP1
00000135: PUSH4 0x25692962
0000013a: EQ
0000013b: PUSH2 0x0300
0000013e: JUMPI
0000013f: PUSH1 0x00
00000141: DUP1
00000142: REVERT
00000143: JUMPDEST
00000144: DUP1
00000145: PUSH4 0x183a4f6e
0000014a: GT
0000014b: PUSH2 0x0174
0000014e: JUMPI
0000014f: DUP1
00000150: PUSH4 0x183a4f6e
00000155: EQ
00000156: PUSH2 0x0249
00000159: JUMPI
0000015a: DUP1
0000015b: PUSH4 0x1c10893f
00000160: EQ
00000161: PUSH2 0x025e
00000164: JUMPI
00000165: DUP1
00000166: PUSH4 0x1cd64df4
0000016b: EQ
0000016c: PUSH2 0x0271
0000016f: JUMPI
00000170: PUSH1 0x00
00000172: DUP1
00000173: REVERT
00000174: JUMPDEST
00000175: DUP1
00000176: PUSH4 0x05142002
0000017b: EQ
0000017c: PUSH2 0x019b
0000017f: JUMPI
00000180: DUP1
00000181: PUSH4 0x13966db5
00000186: EQ
00000187: PUSH2 0x01f2
0000018a: JUMPI
0000018b: DUP1
0000018c: PUSH4 0x1581b600
00000191: EQ
00000192: PUSH2 0x021c
00000195: JUMPI
00000196: JUMPDEST
00000197: PUSH1 0x00
00000199: DUP1
0000019a: REVERT
0000019b: JUMPDEST
0000019c: CALLVALUE
0000019d: DUP1
0000019e: ISZERO
0000019f: PUSH2 0x01a7
000001a2: JUMPI
000001a3: PUSH1 0x00
000001a5: DUP1
000001a6: REVERT
000001a7: JUMPDEST
000001a8: POP
000001a9: PUSH1 0x01
000001ab: SLOAD
000001ac: PUSH2 0x01c8
000001af: SWAP1
000001b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001c5: AND
000001c6: DUP2
000001c7: JUMP
000001c8: JUMPDEST
000001c9: PUSH1 0x40
000001cb: MLOAD
000001cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001e1: SWAP1
000001e2: SWAP2
000001e3: AND
000001e4: DUP2
000001e5: MSTORE
000001e6: PUSH1 0x20
000001e8: ADD
000001e9: JUMPDEST
000001ea: PUSH1 0x40
000001ec: MLOAD
000001ed: DUP1
000001ee: SWAP2
000001ef: SUB
000001f0: SWAP1
000001f1: RETURN
000001f2: JUMPDEST
000001f3: CALLVALUE
000001f4: DUP1
000001f5: ISZERO
000001f6: PUSH2 0x01fe
000001f9: JUMPI
000001fa: PUSH1 0x00
000001fc: DUP1
000001fd: REVERT
000001fe: JUMPDEST
000001ff: POP
00000200: PUSH2 0x020e
00000203: PUSH8 0x0226abadc42f8000
0000020c: DUP2
0000020d: JUMP
0000020e: JUMPDEST
0000020f: PUSH1 0x40
00000211: MLOAD
00000212: SWAP1
00000213: DUP2
00000214: MSTORE
00000215: PUSH1 0x20
00000217: ADD
00000218: PUSH2 0x01e9
0000021b: JUMP
0000021c: JUMPDEST
0000021d: CALLVALUE
0000021e: DUP1
0000021f: ISZERO
00000220: PUSH2 0x0228
00000223: JUMPI
00000224: PUSH1 0x00
00000226: DUP1
00000227: REVERT
00000228: JUMPDEST
00000229: POP
0000022a: PUSH1 0x03
0000022c: SLOAD
0000022d: PUSH2 0x01c8
00000230: SWAP1
00000231: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000246: AND
00000247: DUP2
00000248: JUMP
00000249: JUMPDEST
0000024a: PUSH2 0x025c
0000024d: PUSH2 0x0257
00000250: CALLDATASIZE
00000251: PUSH1 0x04
00000253: PUSH2 0x0db4
00000256: JUMP
00000257: JUMPDEST
00000258: PUSH2 0x0505
0000025b: JUMP
0000025c: JUMPDEST
0000025d: STOP
0000025e: JUMPDEST
0000025f: PUSH2 0x025c
00000262: PUSH2 0x026c
00000265: CALLDATASIZE
00000266: PUSH1 0x04
00000268: PUSH2 0x0df6
0000026b: JUMP
0000026c: JUMPDEST
0000026d: PUSH2 0x0512
00000270: JUMP
00000271: JUMPDEST
00000272: CALLVALUE
00000273: DUP1
00000274: ISZERO
00000275: PUSH2 0x027d
00000278: JUMPI
00000279: PUSH1 0x00
0000027b: DUP1
0000027c: REVERT
0000027d: JUMPDEST
0000027e: POP
0000027f: PUSH2 0x0291
00000282: PUSH2 0x028c
00000285: CALLDATASIZE
00000286: PUSH1 0x04
00000288: PUSH2 0x0df6
0000028b: JUMP
0000028c: JUMPDEST
0000028d: PUSH2 0x0528
00000290: JUMP
00000291: JUMPDEST
00000292: PUSH1 0x40
00000294: MLOAD
00000295: SWAP1
00000296: ISZERO
00000297: ISZERO
00000298: DUP2
00000299: MSTORE
0000029a: PUSH1 0x20
0000029c: ADD
0000029d: PUSH2 0x01e9
000002a0: JUMP
000002a1: JUMPDEST
000002a2: CALLVALUE
000002a3: DUP1
000002a4: ISZERO
000002a5: PUSH2 0x02ad
000002a8: JUMPI
000002a9: PUSH1 0x00
000002ab: DUP1
000002ac: REVERT
000002ad: JUMPDEST
000002ae: POP
000002af: PUSH1 0x00
000002b1: SLOAD
000002b2: PUSH2 0x01c8
000002b5: SWAP1
000002b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002cb: AND
000002cc: DUP2
000002cd: JUMP
000002ce: JUMPDEST
000002cf: CALLVALUE
000002d0: DUP1
000002d1: ISZERO
000002d2: PUSH2 0x02da
000002d5: JUMPI
000002d6: PUSH1 0x00
000002d8: DUP1
000002d9: REVERT
000002da: JUMPDEST
000002db: POP
000002dc: PUSH1 0x01
000002de: SLOAD
000002df: PUSH2 0x0291
000002e2: SWAP1
000002e3: PUSH21 0x010000000000000000000000000000000000000000
000002f9: SWAP1
000002fa: DIV
000002fb: PUSH1 0xff
000002fd: AND
000002fe: DUP2
000002ff: JUMP
00000300: JUMPDEST
00000301: PUSH2 0x025c
00000304: PUSH2 0x0547
00000307: JUMP
00000308: JUMPDEST
00000309: CALLVALUE
0000030a: DUP1
0000030b: ISZERO
0000030c: PUSH2 0x0314
0000030f: JUMPI
00000310: PUSH1 0x00
00000312: DUP1
00000313: REVERT
00000314: JUMPDEST
00000315: POP
00000316: PUSH2 0x020e
00000319: PUSH2 0x0323
0000031c: CALLDATASIZE
0000031d: PUSH1 0x04
0000031f: PUSH2 0x0e20
00000322: JUMP
00000323: JUMPDEST
00000324: PUSH4 0x8b78c6d8
00000329: PUSH1 0x0c
0000032b: SWAP1
0000032c: DUP2
0000032d: MSTORE
0000032e: PUSH1 0x00
00000330: SWAP2
00000331: SWAP1
00000332: SWAP2
00000333: MSTORE
00000334: PUSH1 0x20
00000336: SWAP1
00000337: KECCAK256
00000338: SLOAD
00000339: SWAP1
0000033a: JUMP
0000033b: JUMPDEST
0000033c: CALLVALUE
0000033d: DUP1
0000033e: ISZERO
0000033f: PUSH2 0x0347
00000342: JUMPI
00000343: PUSH1 0x00
00000345: DUP1
00000346: REVERT
00000347: JUMPDEST
00000348: POP
00000349: PUSH2 0x025c
0000034c: PUSH2 0x0356
0000034f: CALLDATASIZE
00000350: PUSH1 0x04
00000352: PUSH2 0x0e20
00000355: JUMP
00000356: JUMPDEST
00000357: PUSH2 0x0597
0000035a: JUMP
0000035b: JUMPDEST
0000035c: CALLVALUE
0000035d: DUP1
0000035e: ISZERO
0000035f: PUSH2 0x0367
00000362: JUMPI
00000363: PUSH1 0x00
00000365: DUP1
00000366: REVERT
00000367: JUMPDEST
00000368: POP
00000369: PUSH2 0x025c
0000036c: PUSH2 0x05e6
0000036f: JUMP
00000370: JUMPDEST
00000371: PUSH2 0x025c
00000374: PUSH2 0x037e
00000377: CALLDATASIZE
00000378: PUSH1 0x04
0000037a: PUSH2 0x0df6
0000037d: JUMP
0000037e: JUMPDEST
0000037f: PUSH2 0x06bd
00000382: JUMP
00000383: JUMPDEST
00000384: CALLVALUE
00000385: DUP1
00000386: ISZERO
00000387: PUSH2 0x038f
0000038a: JUMPI
0000038b: PUSH1 0x00
0000038d: DUP1
0000038e: REVERT
0000038f: JUMPDEST
00000390: POP
00000391: PUSH2 0x0291
00000394: PUSH2 0x039e
00000397: CALLDATASIZE
00000398: PUSH1 0x04
0000039a: PUSH2 0x0df6
0000039d: JUMP
0000039e: JUMPDEST
0000039f: PUSH4 0x8b78c6d8
000003a4: PUSH1 0x0c
000003a6: SWAP1
000003a7: DUP2
000003a8: MSTORE
000003a9: PUSH1 0x00
000003ab: SWAP3
000003ac: SWAP1
000003ad: SWAP3
000003ae: MSTORE
000003af: PUSH1 0x20
000003b1: SWAP1
000003b2: SWAP2
000003b3: KECCAK256
000003b4: SLOAD
000003b5: AND
000003b6: ISZERO
000003b7: ISZERO
000003b8: SWAP1
000003b9: JUMP
000003ba: JUMPDEST
000003bb: PUSH2 0x025c
000003be: PUSH2 0x06cf
000003c1: JUMP
000003c2: JUMPDEST
000003c3: PUSH2 0x025c
000003c6: PUSH2 0x070b
000003c9: JUMP
000003ca: JUMPDEST
000003cb: CALLVALUE
000003cc: DUP1
000003cd: ISZERO
000003ce: PUSH2 0x03d6
000003d1: JUMPI
000003d2: PUSH1 0x00
000003d4: DUP1
000003d5: REVERT
000003d6: JUMPDEST
000003d7: POP
000003d8: PUSH1 0x01
000003da: SLOAD
000003db: PUSH2 0x03fd
000003de: SWAP1
000003df: PUSH22 0x01000000000000000000000000000000000000000000
000003f6: SWAP1
000003f7: DIV
000003f8: PUSH1 0xff
000003fa: AND
000003fb: DUP2
000003fc: JUMP
000003fd: JUMPDEST
000003fe: PUSH1 0x40
00000400: MLOAD
00000401: PUSH1 0xff
00000403: SWAP1
00000404: SWAP2
00000405: AND
00000406: DUP2
00000407: MSTORE
00000408: PUSH1 0x20
0000040a: ADD
0000040b: PUSH2 0x01e9
0000040e: JUMP
0000040f: JUMPDEST
00000410: CALLVALUE
00000411: DUP1
00000412: ISZERO
00000413: PUSH2 0x041b
00000416: JUMPI
00000417: PUSH1 0x00
00000419: DUP1
0000041a: REVERT
0000041b: JUMPDEST
0000041c: POP
0000041d: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff74873927
0000043e: SLOAD
0000043f: PUSH2 0x01c8
00000442: JUMP
00000443: JUMPDEST
00000444: CALLVALUE
00000445: DUP1
00000446: ISZERO
00000447: PUSH2 0x044f
0000044a: JUMPI
0000044b: PUSH1 0x00
0000044d: DUP1
0000044e: REVERT
0000044f: JUMPDEST
00000450: POP
00000451: PUSH2 0x025c
00000454: PUSH2 0x045e
00000457: CALLDATASIZE
00000458: PUSH1 0x04
0000045a: PUSH2 0x0e42
0000045d: JUMP
0000045e: JUMPDEST
0000045f: PUSH2 0x071f
00000462: JUMP
00000463: JUMPDEST
00000464: PUSH2 0x025c
00000467: PUSH2 0x0471
0000046a: CALLDATASIZE
0000046b: PUSH1 0x04
0000046d: PUSH2 0x0db4
00000470: JUMP
00000471: JUMPDEST
00000472: PUSH2 0x077e
00000475: JUMP
00000476: JUMPDEST
00000477: CALLVALUE
00000478: DUP1
00000479: ISZERO
0000047a: PUSH2 0x0482
0000047d: JUMPI
0000047e: PUSH1 0x00
00000480: DUP1
00000481: REVERT
00000482: JUMPDEST
00000483: POP
00000484: PUSH2 0x020e
00000487: PUSH1 0x02
00000489: SLOAD
0000048a: DUP2
0000048b: JUMP
0000048c: JUMPDEST
0000048d: PUSH2 0x025c
00000490: PUSH2 0x049a
00000493: CALLDATASIZE
00000494: PUSH1 0x04
00000496: PUSH2 0x0e20
00000499: JUMP
0000049a: JUMPDEST
0000049b: PUSH2 0x0bc7
0000049e: JUMP
0000049f: JUMPDEST
000004a0: PUSH2 0x025c
000004a3: PUSH2 0x04ad
000004a6: CALLDATASIZE
000004a7: PUSH1 0x04
000004a9: PUSH2 0x0e20
000004ac: JUMP
000004ad: JUMPDEST
000004ae: PUSH2 0x0c04
000004b1: JUMP
000004b2: JUMPDEST
000004b3: CALLVALUE
000004b4: DUP1
000004b5: ISZERO
000004b6: PUSH2 0x04be
000004b9: JUMPI
000004ba: PUSH1 0x00
000004bc: DUP1
000004bd: REVERT
000004be: JUMPDEST
000004bf: POP
000004c0: PUSH2 0x025c
000004c3: PUSH2 0x04cd
000004c6: CALLDATASIZE
000004c7: PUSH1 0x04
000004c9: PUSH2 0x0e75
000004cc: JUMP
000004cd: JUMPDEST
000004ce: PUSH2 0x0c2b
000004d1: JUMP
000004d2: JUMPDEST
000004d3: CALLVALUE
000004d4: DUP1
000004d5: ISZERO
000004d6: PUSH2 0x04de
000004d9: JUMPI
000004da: PUSH1 0x00
000004dc: DUP1
000004dd: REVERT
000004de: JUMPDEST
000004df: POP
000004e0: PUSH2 0x020e
000004e3: PUSH2 0x04ed
000004e6: CALLDATASIZE
000004e7: PUSH1 0x04
000004e9: PUSH2 0x0e20
000004ec: JUMP
000004ed: JUMPDEST
000004ee: PUSH4 0x389a75e1
000004f3: PUSH1 0x0c
000004f5: SWAP1
000004f6: DUP2
000004f7: MSTORE
000004f8: PUSH1 0x00
000004fa: SWAP2
000004fb: SWAP1
000004fc: SWAP2
000004fd: MSTORE
000004fe: PUSH1 0x20
00000500: SWAP1
00000501: KECCAK256
00000502: SLOAD
00000503: SWAP1
00000504: JUMP
00000505: JUMPDEST
00000506: PUSH2 0x050f
00000509: CALLER
0000050a: DUP3
0000050b: PUSH2 0x0c81
0000050e: JUMP
0000050f: JUMPDEST
00000510: POP
00000511: JUMP
00000512: JUMPDEST
00000513: PUSH2 0x051a
00000516: PUSH2 0x0c8d
00000519: JUMP
0000051a: JUMPDEST
0000051b: PUSH2 0x0524
0000051e: DUP3
0000051f: DUP3
00000520: PUSH2 0x0cc3
00000523: JUMP
00000524: JUMPDEST
00000525: POP
00000526: POP
00000527: JUMP
00000528: JUMPDEST
00000529: PUSH4 0x8b78c6d8
0000052e: PUSH1 0x0c
00000530: SWAP1
00000531: DUP2
00000532: MSTORE
00000533: PUSH1 0x00
00000535: DUP4
00000536: SWAP1
00000537: MSTORE
00000538: PUSH1 0x20
0000053a: SWAP1
0000053b: KECCAK256
0000053c: SLOAD
0000053d: DUP2
0000053e: AND
0000053f: DUP2
00000540: EQ
00000541: JUMPDEST
00000542: SWAP3
00000543: SWAP2
00000544: POP
00000545: POP
00000546: JUMP
00000547: JUMPDEST
00000548: PUSH1 0x00
0000054a: PUSH3 0x02a300
0000054e: PUSH8 0xffffffffffffffff
00000557: AND
00000558: TIMESTAMP
00000559: ADD
0000055a: SWAP1
0000055b: POP
0000055c: PUSH4 0x389a75e1
00000561: PUSH1 0x0c
00000563: MSTORE
00000564: CALLER
00000565: PUSH1 0x00
00000567: MSTORE
00000568: DUP1
00000569: PUSH1 0x20
0000056b: PUSH1 0x0c
0000056d: KECCAK256
0000056e: SSTORE
0000056f: CALLER
00000570: PUSH32 0xdbf36a107da19e49527a7176a1babf963b4b0ff8cde35ee35d6cd8f1f9ac7e1d
00000591: PUSH1 0x00
00000593: DUP1
00000594: LOG2
00000595: POP
00000596: JUMP
00000597: JUMPDEST
00000598: PUSH2 0x059f
0000059b: PUSH2 0x0c8d
0000059e: JUMP
0000059f: JUMPDEST
000005a0: PUSH1 0x03
000005a2: DUP1
000005a3: SLOAD
000005a4: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
000005c5: AND
000005c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005db: SWAP3
000005dc: SWAP1
000005dd: SWAP3
000005de: AND
000005df: SWAP2
000005e0: SWAP1
000005e1: SWAP2
000005e2: OR
000005e3: SWAP1
000005e4: SSTORE
000005e5: JUMP
000005e6: JUMPDEST
000005e7: PUSH2 0x05ee
000005ea: PUSH2 0x0c8d
000005ed: JUMP
000005ee: JUMPDEST
000005ef: PUSH1 0x03
000005f1: SLOAD
000005f2: PUSH1 0x40
000005f4: MLOAD
000005f5: PUSH1 0x00
000005f7: SWAP2
000005f8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000060d: AND
0000060e: SWAP1
0000060f: SELFBALANCE
00000610: SWAP1
00000611: DUP4
00000612: DUP2
00000613: DUP2
00000614: DUP2
00000615: DUP6
00000616: DUP8
00000617: GAS
00000618: CALL
00000619: SWAP3
0000061a: POP
0000061b: POP
0000061c: POP
0000061d: RETURNDATASIZE
0000061e: DUP1
0000061f: PUSH1 0x00
00000621: DUP2
00000622: EQ
00000623: PUSH2 0x0648
00000626: JUMPI
00000627: PUSH1 0x40
00000629: MLOAD
0000062a: SWAP2
0000062b: POP
0000062c: PUSH1 0x1f
0000062e: NOT
0000062f: PUSH1 0x3f
00000631: RETURNDATASIZE
00000632: ADD
00000633: AND
00000634: DUP3
00000635: ADD
00000636: PUSH1 0x40
00000638: MSTORE
00000639: RETURNDATASIZE
0000063a: DUP3
0000063b: MSTORE
0000063c: RETURNDATASIZE
0000063d: PUSH1 0x00
0000063f: PUSH1 0x20
00000641: DUP5
00000642: ADD
00000643: RETURNDATACOPY
00000644: PUSH2 0x064d
00000647: JUMP
00000648: JUMPDEST
00000649: PUSH1 0x60
0000064b: SWAP2
0000064c: POP
0000064d: JUMPDEST
0000064e: POP
0000064f: POP
00000650: SWAP1
00000651: POP
00000652: DUP1
00000653: PUSH2 0x050f
00000656: JUMPI
00000657: PUSH1 0x40
00000659: MLOAD
0000065a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000067b: DUP2
0000067c: MSTORE
0000067d: PUSH1 0x20
0000067f: PUSH1 0x04
00000681: DUP3
00000682: ADD
00000683: MSTORE
00000684: PUSH1 0x14
00000686: PUSH1 0x24
00000688: DUP3
00000689: ADD
0000068a: MSTORE
0000068b: PUSH32 0x4661696c656420746f2073656e64204574686572000000000000000000000000
000006ac: PUSH1 0x44
000006ae: DUP3
000006af: ADD
000006b0: MSTORE
000006b1: PUSH1 0x64
000006b3: ADD
000006b4: JUMPDEST
000006b5: PUSH1 0x40
000006b7: MLOAD
000006b8: DUP1
000006b9: SWAP2
000006ba: SUB
000006bb: SWAP1
000006bc: REVERT
000006bd: JUMPDEST
000006be: PUSH2 0x06c5
000006c1: PUSH2 0x0c8d
000006c4: JUMP
000006c5: JUMPDEST
000006c6: PUSH2 0x0524
000006c9: DUP3
000006ca: DUP3
000006cb: PUSH2 0x0c81
000006ce: JUMP
000006cf: JUMPDEST
000006d0: PUSH4 0x389a75e1
000006d5: PUSH1 0x0c
000006d7: MSTORE
000006d8: CALLER
000006d9: PUSH1 0x00
000006db: MSTORE
000006dc: PUSH1 0x00
000006de: PUSH1 0x20
000006e0: PUSH1 0x0c
000006e2: KECCAK256
000006e3: SSTORE
000006e4: CALLER
000006e5: PUSH32 0xfa7b8eab7da67f412cc9575ed43464468f9bfbae89d1675917346ca6d8fe3c92
00000706: PUSH1 0x00
00000708: DUP1
00000709: LOG2
0000070a: JUMP
0000070b: JUMPDEST
0000070c: PUSH2 0x0713
0000070f: PUSH2 0x0c8d
00000712: JUMP
00000713: JUMPDEST
00000714: PUSH2 0x071d
00000717: PUSH1 0x00
00000719: PUSH2 0x0ccf
0000071c: JUMP
0000071d: JUMPDEST
0000071e: JUMP
0000071f: JUMPDEST
00000720: PUSH1 0x01
00000722: PUSH2 0x072a
00000725: DUP2
00000726: PUSH2 0x0d35
00000729: JUMP
0000072a: JUMPDEST
0000072b: POP
0000072c: PUSH1 0x00
0000072e: DUP1
0000072f: SLOAD
00000730: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000745: SWAP4
00000746: DUP5
00000747: AND
00000748: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00000769: SWAP2
0000076a: DUP3
0000076b: AND
0000076c: OR
0000076d: SWAP1
0000076e: SWAP2
0000076f: SSTORE
00000770: PUSH1 0x01
00000772: DUP1
00000773: SLOAD
00000774: SWAP3
00000775: SWAP1
00000776: SWAP4
00000777: AND
00000778: SWAP2
00000779: AND
0000077a: OR
0000077b: SWAP1
0000077c: SSTORE
0000077d: JUMP
0000077e: JUMPDEST
0000077f: PUSH1 0x01
00000781: SLOAD
00000782: PUSH21 0x010000000000000000000000000000000000000000
00000798: SWAP1
00000799: DIV
0000079a: PUSH1 0xff
0000079c: AND
0000079d: PUSH2 0x0802
000007a0: JUMPI
000007a1: PUSH1 0x40
000007a3: MLOAD
000007a4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000007c5: DUP2
000007c6: MSTORE
000007c7: PUSH1 0x20
000007c9: PUSH1 0x04
000007cb: DUP3
000007cc: ADD
000007cd: MSTORE
000007ce: PUSH1 0x11
000007d0: PUSH1 0x24
000007d2: DUP3
000007d3: ADD
000007d4: MSTORE
000007d5: PUSH32 0x4d696e74696e6720697320636c6f736564000000000000000000000000000000
000007f6: PUSH1 0x44
000007f8: DUP3
000007f9: ADD
000007fa: MSTORE
000007fb: PUSH1 0x64
000007fd: ADD
000007fe: PUSH2 0x06b4
00000801: JUMP
00000802: JUMPDEST
00000803: PUSH2 0x0814
00000806: DUP2
00000807: PUSH8 0x0226abadc42f8000
00000810: PUSH2 0x0ec6
00000813: JUMP
00000814: JUMPDEST
00000815: CALLVALUE
00000816: EQ
00000817: PUSH2 0x087c
0000081a: JUMPI
0000081b: PUSH1 0x40
0000081d: MLOAD
0000081e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000083f: DUP2
00000840: MSTORE
00000841: PUSH1 0x20
00000843: PUSH1 0x04
00000845: DUP3
00000846: ADD
00000847: MSTORE
00000848: PUSH1 0x14
0000084a: PUSH1 0x24
0000084c: DUP3
0000084d: ADD
0000084e: MSTORE
0000084f: PUSH32 0x496e636f72726563742066656520616d6f756e74000000000000000000000000
00000870: PUSH1 0x44
00000872: DUP3
00000873: ADD
00000874: MSTORE
00000875: PUSH1 0x64
00000877: ADD
00000878: PUSH2 0x06b4
0000087b: JUMP
0000087c: JUMPDEST
0000087d: PUSH1 0x00
0000087f: SLOAD
00000880: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000895: AND
00000896: ISZERO
00000897: DUP1
00000898: ISZERO
00000899: SWAP1
0000089a: PUSH2 0x08ba
0000089d: JUMPI
0000089e: POP
0000089f: PUSH1 0x01
000008a1: SLOAD
000008a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008b7: AND
000008b8: ISZERO
000008b9: ISZERO
000008ba: JUMPDEST
000008bb: PUSH2 0x0920
000008be: JUMPI
000008bf: PUSH1 0x40
000008c1: MLOAD
000008c2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000008e3: DUP2
000008e4: MSTORE
000008e5: PUSH1 0x20
000008e7: PUSH1 0x04
000008e9: DUP3
000008ea: ADD
000008eb: MSTORE
000008ec: PUSH1 0x19
000008ee: PUSH1 0x24
000008f0: DUP3
000008f1: ADD
000008f2: MSTORE
000008f3: PUSH32 0x4d696e74696e6720636f6e747261637473206e6f742073657400000000000000
00000914: PUSH1 0x44
00000916: DUP3
00000917: ADD
00000918: MSTORE
00000919: PUSH1 0x64
0000091b: ADD
0000091c: PUSH2 0x06b4
0000091f: JUMP
00000920: JUMPDEST
00000921: PUSH1 0x01
00000923: SLOAD
00000924: PUSH22 0x01000000000000000000000000000000000000000000
0000093b: SWAP1
0000093c: DIV
0000093d: PUSH1 0xff
0000093f: AND
00000940: DUP2
00000941: GT
00000942: ISZERO
00000943: PUSH2 0x09a8
00000946: JUMPI
00000947: PUSH1 0x40
00000949: MLOAD
0000094a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000096b: DUP2
0000096c: MSTORE
0000096d: PUSH1 0x20
0000096f: PUSH1 0x04
00000971: DUP3
00000972: ADD
00000973: MSTORE
00000974: PUSH1 0x1a
00000976: PUSH1 0x24
00000978: DUP3
00000979: ADD
0000097a: MSTORE
0000097b: PUSH32 0x45786365656473206d6178206d696e7461626c65207061697273000000000000
0000099c: PUSH1 0x44
0000099e: DUP3
0000099f: ADD
000009a0: MSTORE
000009a1: PUSH1 0x64
000009a3: ADD
000009a4: PUSH2 0x06b4
000009a7: JUMP
000009a8: JUMPDEST
000009a9: PUSH1 0x02
000009ab: SLOAD
000009ac: PUSH1 0x00
000009ae: SLOAD
000009af: PUSH1 0x40
000009b1: DUP1
000009b2: MLOAD
000009b3: PUSH32 0x18160ddd00000000000000000000000000000000000000000000000000000000
000009d4: DUP2
000009d5: MSTORE
000009d6: SWAP1
000009d7: MLOAD
000009d8: DUP5
000009d9: SWAP3
000009da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009ef: AND
000009f0: SWAP2
000009f1: PUSH4 0x18160ddd
000009f6: SWAP2
000009f7: PUSH1 0x04
000009f9: DUP1
000009fa: DUP4
000009fb: ADD
000009fc: SWAP3
000009fd: PUSH1 0x20
000009ff: SWAP3
00000a00: SWAP2
00000a01: SWAP1
00000a02: DUP3
00000a03: SWAP1
00000a04: SUB
00000a05: ADD
00000a06: DUP2
00000a07: DUP7
00000a08: GAS
00000a09: STATICCALL
00000a0a: ISZERO
00000a0b: DUP1
00000a0c: ISZERO
00000a0d: PUSH2 0x0a1a
00000a10: JUMPI
00000a11: RETURNDATASIZE
00000a12: PUSH1 0x00
00000a14: DUP1
00000a15: RETURNDATACOPY
00000a16: RETURNDATASIZE
00000a17: PUSH1 0x00
00000a19: REVERT
00000a1a: JUMPDEST
00000a1b: POP
00000a1c: POP
00000a1d: POP
00000a1e: POP
00000a1f: PUSH1 0x40
00000a21: MLOAD
00000a22: RETURNDATASIZE
00000a23: PUSH1 0x1f
00000a25: NOT
00000a26: PUSH1 0x1f
00000a28: DUP3
00000a29: ADD
00000a2a: AND
00000a2b: DUP3
00000a2c: ADD
00000a2d: DUP1
00000a2e: PUSH1 0x40
00000a30: MSTORE
00000a31: POP
00000a32: DUP2
00000a33: ADD
00000a34: SWAP1
00000a35: PUSH2 0x0a3e
00000a38: SWAP2
00000a39: SWAP1
00000a3a: PUSH2 0x0edd
00000a3d: JUMP
00000a3e: JUMPDEST
00000a3f: PUSH2 0x0a48
00000a42: SWAP2
00000a43: SWAP1
00000a44: PUSH2 0x0ef6
00000a47: JUMP
00000a48: JUMPDEST
00000a49: GT
00000a4a: ISZERO
00000a4b: PUSH2 0x0ab0
00000a4e: JUMPI
00000a4f: PUSH1 0x40
00000a51: MLOAD
00000a52: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000a73: DUP2
00000a74: MSTORE
00000a75: PUSH1 0x20
00000a77: PUSH1 0x04
00000a79: DUP3
00000a7a: ADD
00000a7b: MSTORE
00000a7c: PUSH1 0x13
00000a7e: PUSH1 0x24
00000a80: DUP3
00000a81: ADD
00000a82: MSTORE
00000a83: PUSH32 0x4d617820737570706c7920657863656564656400000000000000000000000000
00000aa4: PUSH1 0x44
00000aa6: DUP3
00000aa7: ADD
00000aa8: MSTORE
00000aa9: PUSH1 0x64
00000aab: ADD
00000aac: PUSH2 0x06b4
00000aaf: JUMP
00000ab0: JUMPDEST
00000ab1: PUSH1 0x00
00000ab3: SLOAD
00000ab4: PUSH1 0x40
00000ab6: MLOAD
00000ab7: PUSH32 0xa144819400000000000000000000000000000000000000000000000000000000
00000ad8: DUP2
00000ad9: MSTORE
00000ada: CALLER
00000adb: PUSH1 0x04
00000add: DUP3
00000ade: ADD
00000adf: MSTORE
00000ae0: PUSH1 0x24
00000ae2: DUP2
00000ae3: ADD
00000ae4: DUP4
00000ae5: SWAP1
00000ae6: MSTORE
00000ae7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000afc: SWAP1
00000afd: SWAP2
00000afe: AND
00000aff: SWAP1
00000b00: PUSH4 0xa1448194
00000b05: SWAP1
00000b06: PUSH1 0x44
00000b08: ADD
00000b09: PUSH1 0x00
00000b0b: PUSH1 0x40
00000b0d: MLOAD
00000b0e: DUP1
00000b0f: DUP4
00000b10: SUB
00000b11: DUP2
00000b12: PUSH1 0x00
00000b14: DUP8
00000b15: DUP1
00000b16: EXTCODESIZE
00000b17: ISZERO
00000b18: DUP1
00000b19: ISZERO
00000b1a: PUSH2 0x0b22
00000b1d: JUMPI
00000b1e: PUSH1 0x00
00000b20: DUP1
00000b21: REVERT
00000b22: JUMPDEST
00000b23: POP
00000b24: GAS
00000b25: CALL
00000b26: ISZERO
00000b27: DUP1
00000b28: ISZERO
00000b29: PUSH2 0x0b36
00000b2c: JUMPI
00000b2d: RETURNDATASIZE
00000b2e: PUSH1 0x00
00000b30: DUP1
00000b31: RETURNDATACOPY
00000b32: RETURNDATASIZE
00000b33: PUSH1 0x00
00000b35: REVERT
00000b36: JUMPDEST
00000b37: POP
00000b38: POP
00000b39: PUSH1 0x01
00000b3b: SLOAD
00000b3c: PUSH1 0x40
00000b3e: MLOAD
00000b3f: PUSH32 0x79c6506800000000000000000000000000000000000000000000000000000000
00000b60: DUP2
00000b61: MSTORE
00000b62: CALLER
00000b63: PUSH1 0x04
00000b65: DUP3
00000b66: ADD
00000b67: MSTORE
00000b68: PUSH1 0x24
00000b6a: DUP2
00000b6b: ADD
00000b6c: DUP6
00000b6d: SWAP1
00000b6e: MSTORE
00000b6f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b84: SWAP1
00000b85: SWAP2
00000b86: AND
00000b87: SWAP3
00000b88: POP
00000b89: PUSH4 0x79c65068
00000b8e: SWAP2
00000b8f: POP
00000b90: PUSH1 0x44
00000b92: ADD
00000b93: PUSH1 0x00
00000b95: PUSH1 0x40
00000b97: MLOAD
00000b98: DUP1
00000b99: DUP4
00000b9a: SUB
00000b9b: DUP2
00000b9c: PUSH1 0x00
00000b9e: DUP8
00000b9f: DUP1
00000ba0: EXTCODESIZE
00000ba1: ISZERO
00000ba2: DUP1
00000ba3: ISZERO
00000ba4: PUSH2 0x0bac
00000ba7: JUMPI
00000ba8: PUSH1 0x00
00000baa: DUP1
00000bab: REVERT
00000bac: JUMPDEST
00000bad: POP
00000bae: GAS
00000baf: CALL
00000bb0: ISZERO
00000bb1: DUP1
00000bb2: ISZERO
00000bb3: PUSH2 0x0bc0
00000bb6: JUMPI
00000bb7: RETURNDATASIZE
00000bb8: PUSH1 0x00
00000bba: DUP1
00000bbb: RETURNDATACOPY
00000bbc: RETURNDATASIZE
00000bbd: PUSH1 0x00
00000bbf: REVERT
00000bc0: JUMPDEST
00000bc1: POP
00000bc2: POP
00000bc3: POP
00000bc4: POP
00000bc5: POP
00000bc6: JUMP
00000bc7: JUMPDEST
00000bc8: PUSH2 0x0bcf
00000bcb: PUSH2 0x0c8d
00000bce: JUMP
00000bcf: JUMPDEST
00000bd0: PUSH4 0x389a75e1
00000bd5: PUSH1 0x0c
00000bd7: MSTORE
00000bd8: DUP1
00000bd9: PUSH1 0x00
00000bdb: MSTORE
00000bdc: PUSH1 0x20
00000bde: PUSH1 0x0c
00000be0: KECCAK256
00000be1: DUP1
00000be2: SLOAD
00000be3: TIMESTAMP
00000be4: GT
00000be5: ISZERO
00000be6: PUSH2 0x0bf7
00000be9: JUMPI
00000bea: PUSH4 0x6f5e8818
00000bef: PUSH1 0x00
00000bf1: MSTORE
00000bf2: PUSH1 0x04
00000bf4: PUSH1 0x1c
00000bf6: REVERT
00000bf7: JUMPDEST
00000bf8: PUSH1 0x00
00000bfa: SWAP1
00000bfb: SSTORE
00000bfc: PUSH2 0x050f
00000bff: DUP2
00000c00: PUSH2 0x0ccf
00000c03: JUMP
00000c04: JUMPDEST
00000c05: PUSH2 0x0c0c
00000c08: PUSH2 0x0c8d
00000c0b: JUMP
00000c0c: JUMPDEST
00000c0d: DUP1
00000c0e: PUSH1 0x60
00000c10: SHL
00000c11: PUSH2 0x0c22
00000c14: JUMPI
00000c15: PUSH4 0x7448fbae
00000c1a: PUSH1 0x00
00000c1c: MSTORE
00000c1d: PUSH1 0x04
00000c1f: PUSH1 0x1c
00000c21: REVERT
00000c22: JUMPDEST
00000c23: PUSH2 0x050f
00000c26: DUP2
00000c27: PUSH2 0x0ccf
00000c2a: JUMP
00000c2b: JUMPDEST
00000c2c: PUSH1 0x01
00000c2e: PUSH2 0x0c36
00000c31: DUP2
00000c32: PUSH2 0x0d35
00000c35: JUMP
00000c36: JUMPDEST
00000c37: POP
00000c38: PUSH1 0x01
00000c3a: DUP1
00000c3b: SLOAD
00000c3c: SWAP2
00000c3d: ISZERO
00000c3e: ISZERO
00000c3f: PUSH21 0x010000000000000000000000000000000000000000
00000c55: MUL
00000c56: PUSH32 0xffffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffff
00000c77: SWAP1
00000c78: SWAP3
00000c79: AND
00000c7a: SWAP2
00000c7b: SWAP1
00000c7c: SWAP2
00000c7d: OR
00000c7e: SWAP1
00000c7f: SSTORE
00000c80: JUMP
00000c81: JUMPDEST
00000c82: PUSH2 0x0524
00000c85: DUP3
00000c86: DUP3
00000c87: PUSH1 0x00
00000c89: PUSH2 0x0d5b
00000c8c: JUMP
00000c8d: JUMPDEST
00000c8e: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff74873927
00000caf: SLOAD
00000cb0: CALLER
00000cb1: EQ
00000cb2: PUSH2 0x071d
00000cb5: JUMPI
00000cb6: PUSH4 0x82b42900
00000cbb: PUSH1 0x00
00000cbd: MSTORE
00000cbe: PUSH1 0x04
00000cc0: PUSH1 0x1c
00000cc2: REVERT
00000cc3: JUMPDEST
00000cc4: PUSH2 0x0524
00000cc7: DUP3
00000cc8: DUP3
00000cc9: PUSH1 0x01
00000ccb: PUSH2 0x0d5b
00000cce: JUMP
00000ccf: JUMPDEST
00000cd0: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff74873927
00000cf1: DUP1
00000cf2: SLOAD
00000cf3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d08: SWAP1
00000d09: SWAP3
00000d0a: AND
00000d0b: SWAP2
00000d0c: DUP3
00000d0d: SWAP1
00000d0e: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00000d2f: PUSH1 0x00
00000d31: DUP1
00000d32: LOG3
00000d33: SSTORE
00000d34: JUMP
00000d35: JUMPDEST
00000d36: PUSH4 0x8b78c6d8
00000d3b: PUSH1 0x0c
00000d3d: MSTORE
00000d3e: CALLER
00000d3f: PUSH1 0x00
00000d41: MSTORE
00000d42: DUP1
00000d43: PUSH1 0x20
00000d45: PUSH1 0x0c
00000d47: KECCAK256
00000d48: SLOAD
00000d49: AND
00000d4a: PUSH2 0x050f
00000d4d: JUMPI
00000d4e: PUSH4 0x82b42900
00000d53: PUSH1 0x00
00000d55: MSTORE
00000d56: PUSH1 0x04
00000d58: PUSH1 0x1c
00000d5a: REVERT
00000d5b: JUMPDEST
00000d5c: PUSH4 0x8b78c6d8
00000d61: PUSH1 0x0c
00000d63: MSTORE
00000d64: DUP3
00000d65: PUSH1 0x00
00000d67: MSTORE
00000d68: PUSH1 0x20
00000d6a: PUSH1 0x0c
00000d6c: KECCAK256
00000d6d: DUP1
00000d6e: SLOAD
00000d6f: DUP4
00000d70: DUP2
00000d71: OR
00000d72: DUP4
00000d73: PUSH2 0x0d7d
00000d76: JUMPI
00000d77: POP
00000d78: DUP1
00000d79: DUP5
00000d7a: AND
00000d7b: DUP2
00000d7c: XOR
00000d7d: JUMPDEST
00000d7e: DUP1
00000d7f: DUP4
00000d80: SSTORE
00000d81: DUP1
00000d82: PUSH1 0x0c
00000d84: MLOAD
00000d85: PUSH1 0x60
00000d87: SHR
00000d88: PUSH32 0x715ad5ce61fc9595c7b415289d59cf203f23a94fa06f04af7e489a0a76e1fe26
00000da9: PUSH1 0x00
00000dab: DUP1
00000dac: LOG3
00000dad: POP
00000dae: POP
00000daf: POP
00000db0: POP
00000db1: POP
00000db2: POP
00000db3: JUMP
00000db4: JUMPDEST
00000db5: PUSH1 0x00
00000db7: PUSH1 0x20
00000db9: DUP3
00000dba: DUP5
00000dbb: SUB
00000dbc: SLT
00000dbd: ISZERO
00000dbe: PUSH2 0x0dc6
00000dc1: JUMPI
00000dc2: PUSH1 0x00
00000dc4: DUP1
00000dc5: REVERT
00000dc6: JUMPDEST
00000dc7: POP
00000dc8: CALLDATALOAD
00000dc9: SWAP2
00000dca: SWAP1
00000dcb: POP
00000dcc: JUMP
00000dcd: JUMPDEST
00000dce: DUP1
00000dcf: CALLDATALOAD
00000dd0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000de5: DUP2
00000de6: AND
00000de7: DUP2
00000de8: EQ
00000de9: PUSH2 0x0df1
00000dec: JUMPI
00000ded: PUSH1 0x00
00000def: DUP1
00000df0: REVERT
00000df1: JUMPDEST
00000df2: SWAP2
00000df3: SWAP1
00000df4: POP
00000df5: JUMP
00000df6: JUMPDEST
00000df7: PUSH1 0x00
00000df9: DUP1
00000dfa: PUSH1 0x40
00000dfc: DUP4
00000dfd: DUP6
00000dfe: SUB
00000dff: SLT
00000e00: ISZERO
00000e01: PUSH2 0x0e09
00000e04: JUMPI
00000e05: PUSH1 0x00
00000e07: DUP1
00000e08: REVERT
00000e09: JUMPDEST
00000e0a: PUSH2 0x0e12
00000e0d: DUP4
00000e0e: PUSH2 0x0dcd
00000e11: JUMP
00000e12: JUMPDEST
00000e13: SWAP5
00000e14: PUSH1 0x20
00000e16: SWAP4
00000e17: SWAP1
00000e18: SWAP4
00000e19: ADD
00000e1a: CALLDATALOAD
00000e1b: SWAP4
00000e1c: POP
00000e1d: POP
00000e1e: POP
00000e1f: JUMP
00000e20: JUMPDEST
00000e21: PUSH1 0x00
00000e23: PUSH1 0x20
00000e25: DUP3
00000e26: DUP5
00000e27: SUB
00000e28: SLT
00000e29: ISZERO
00000e2a: PUSH2 0x0e32
00000e2d: JUMPI
00000e2e: PUSH1 0x00
00000e30: DUP1
00000e31: REVERT
00000e32: JUMPDEST
00000e33: PUSH2 0x0e3b
00000e36: DUP3
00000e37: PUSH2 0x0dcd
00000e3a: JUMP
00000e3b: JUMPDEST
00000e3c: SWAP4
00000e3d: SWAP3
00000e3e: POP
00000e3f: POP
00000e40: POP
00000e41: JUMP
00000e42: JUMPDEST
00000e43: PUSH1 0x00
00000e45: DUP1
00000e46: PUSH1 0x40
00000e48: DUP4
00000e49: DUP6
00000e4a: SUB
00000e4b: SLT
00000e4c: ISZERO
00000e4d: PUSH2 0x0e55
00000e50: JUMPI
00000e51: PUSH1 0x00
00000e53: DUP1
00000e54: REVERT
00000e55: JUMPDEST
00000e56: PUSH2 0x0e5e
00000e59: DUP4
00000e5a: PUSH2 0x0dcd
00000e5d: JUMP
00000e5e: JUMPDEST
00000e5f: SWAP2
00000e60: POP
00000e61: PUSH2 0x0e6c
00000e64: PUSH1 0x20
00000e66: DUP5
00000e67: ADD
00000e68: PUSH2 0x0dcd
00000e6b: JUMP
00000e6c: JUMPDEST
00000e6d: SWAP1
00000e6e: POP
00000e6f: SWAP3
00000e70: POP
00000e71: SWAP3
00000e72: SWAP1
00000e73: POP
00000e74: JUMP
00000e75: JUMPDEST
00000e76: PUSH1 0x00
00000e78: PUSH1 0x20
00000e7a: DUP3
00000e7b: DUP5
00000e7c: SUB
00000e7d: SLT
00000e7e: ISZERO
00000e7f: PUSH2 0x0e87
00000e82: JUMPI
00000e83: PUSH1 0x00
00000e85: DUP1
00000e86: REVERT
00000e87: JUMPDEST
00000e88: DUP2
00000e89: CALLDATALOAD
00000e8a: DUP1
00000e8b: ISZERO
00000e8c: ISZERO
00000e8d: DUP2
00000e8e: EQ
00000e8f: PUSH2 0x0e3b
00000e92: JUMPI
00000e93: PUSH1 0x00
00000e95: DUP1
00000e96: REVERT
00000e97: JUMPDEST
00000e98: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00000eb9: PUSH1 0x00
00000ebb: MSTORE
00000ebc: PUSH1 0x11
00000ebe: PUSH1 0x04
00000ec0: MSTORE
00000ec1: PUSH1 0x24
00000ec3: PUSH1 0x00
00000ec5: REVERT
00000ec6: JUMPDEST
00000ec7: DUP1
00000ec8: DUP3
00000ec9: MUL
00000eca: DUP2
00000ecb: ISZERO
00000ecc: DUP3
00000ecd: DUP3
00000ece: DIV
00000ecf: DUP5
00000ed0: EQ
00000ed1: OR
00000ed2: PUSH2 0x0541
00000ed5: JUMPI
00000ed6: PUSH2 0x0541
00000ed9: PUSH2 0x0e97
00000edc: JUMP
00000edd: JUMPDEST
00000ede: PUSH1 0x00
00000ee0: PUSH1 0x20
00000ee2: DUP3
00000ee3: DUP5
00000ee4: SUB
00000ee5: SLT
00000ee6: ISZERO
00000ee7: PUSH2 0x0eef
00000eea: JUMPI
00000eeb: PUSH1 0x00
00000eed: DUP1
00000eee: REVERT
00000eef: JUMPDEST
00000ef0: POP
00000ef1: MLOAD
00000ef2: SWAP2
00000ef3: SWAP1
00000ef4: POP
00000ef5: JUMP
00000ef6: JUMPDEST
00000ef7: DUP1
00000ef8: DUP3
00000ef9: ADD
00000efa: DUP1
00000efb: DUP3
00000efc: GT
00000efd: ISZERO
00000efe: PUSH2 0x0541
00000f01: JUMPI
00000f02: PUSH2 0x0541
00000f05: PUSH2 0x0e97
00000f08: JUMP
00000f09: INVALID
00000f0a: LOG2
00000f0b: PUSH5 0x6970667358
00000f11: UNKNOWN(0x22)
00000f12: SLT
00000f13: KECCAK256
00000f14: UNKNOWN(0xF7)
00000f15: UNKNOWN(0xBE)
00000f16: UNKNOWN(0xC4)
00000f17: UNKNOWN(0x2C)
00000f18: UNKNOWN(0xE3)
00000f19: UNKNOWN(0xAC)
00000f1a: CREATE2
00000f1b: CALLCODE
00000f1c: SDIV
00000f1d: ISZERO
00000f1e: GASLIMIT
00000f1f: UNKNOWN(0xCE)
00000f20: UNKNOWN(0x4D)
00000f21: UNKNOWN(0xB3)
00000f22: UNKNOWN(0x29)
00000f23: UNKNOWN(0xB3)
00000f24: UNKNOWN(0x2C)
00000f25: UNKNOWN(0x2C)
00000f26: REVERT
00000f27: LOG1
00000f28: UNKNOWN(0xCB)
00000f29: UNKNOWN(0x21)
00000f2a: LOG1
00000f2b: UNKNOWN(0xEA)
00000f2c: UNKNOWN(0xDC)
00000f2d: SWAP12
00000f2e: UNKNOWN(0xDE)
00000f2f: UNKNOWN(0xED)
00000f30: PUSH2 0x9735
00000f33: AND
00000f34: PUSH5 0x736f6c6343
00000f3a: STOP
00000f3b: ADDMOD
00000f3c: XOR
00000f3d: STOP
00000f3e: CALLER

Findings

validated = confirmed for call sinks; sink observed for others

Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
medium	other	detector	CREATE/CREATE2 reachable	45	no	no	view trace_id: 0x260d21ea8b1cd0b43e70fffb3b04d99ebac2b1b5f860a47ce369732a2b4aa0d3 validation_json { "sink": "CREATE", "errors": 0, "status": "unknown", "attempts": 32, "trace_id": "0x260d21ea8b1cd0b43e70fffb3b04d99ebac2b1b5f860a47ce369732a2b4aa0d3", "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": "0xf04e283e", "selector": "0xf04e283e", "calldata_variants": [ "0xf04e283e", "0xf04e283e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf8004d31", "selector": "0xf8004d31", "calldata_variants": [ "0xf8004d31", "0xf8004d310000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfee81cf4", "selector": "0xfee81cf4", "calldata_variants": [ "0xfee81cf4", "0xfee81cf40000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x90107afe", "selector": "0x90107afe", "calldata_variants": [ "0x90107afe", "0x90107afe0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc0c3b517", "selector": "0xc0c3b517", "calldata_variants": [ "0xc0c3b517", "0xc0c3b5170000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd5abeb01", "selector": "0xd5abeb01", "calldata_variants": [ "0xd5abeb01", "0xd5abeb010000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x715018a6", "selector": "0x715018a6", "calldata_variants": [ "0x715018a6", "0x715018a60000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "create_count": 0, "create2_count": 1 }
medium	other	detector	Untrusted CALL target/value reachable	45	no	no	view trace_id: 0x994c9e0d077744528450310d41cee315c97bd76a997b516ff4779fc9262188ae call_targets: 0xf3d1910364da02db32dac343250cadca1c1576be target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x994c9e0d077744528450310d41cee315c97bd76a997b516ff4779fc9262188ae", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xf3d1910364da02db32dac343250cadca1c1576be" ], "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": "0xf04e283e", "selector": "0xf04e283e", "calldata_variants": [ "0xf04e283e", "0xf04e283e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf8004d31", "selector": "0xf8004d31", "calldata_variants": [ "0xf8004d31", "0xf8004d310000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfee81cf4", "selector": "0xfee81cf4", "calldata_variants": [ "0xfee81cf4", "0xfee81cf40000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x90107afe", "selector": "0x90107afe", "calldata_variants": [ "0x90107afe", "0x90107afe0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc0c3b517", "selector": "0xc0c3b517", "calldata_variants": [ "0xc0c3b517", "0xc0c3b5170000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd5abeb01", "selector": "0xd5abeb01", "calldata_variants": [ "0xd5abeb01", "0xd5abeb010000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x715018a6", "selector": "0x715018a6", "calldata_variants": [ "0x715018a6", "0x715018a60000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 1560, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2853, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2991, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 4, "guards_detected": [ { "pc": 3249, "type": "msg_sender_eq_storage" } ], "untrusted_call_count": 4 }
medium	other	detector	ETH value transfer possible	40	no	no	view trace_id: 0x994c9e0d077744528450310d41cee315c97bd76a997b516ff4779fc9262188ae call_targets: 0xf3d1910364da02db32dac343250cadca1c1576be target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x994c9e0d077744528450310d41cee315c97bd76a997b516ff4779fc9262188ae", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xf3d1910364da02db32dac343250cadca1c1576be" ], "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": "0xf04e283e", "selector": "0xf04e283e", "calldata_variants": [ "0xf04e283e", "0xf04e283e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf8004d31", "selector": "0xf8004d31", "calldata_variants": [ "0xf8004d31", "0xf8004d310000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfee81cf4", "selector": "0xfee81cf4", "calldata_variants": [ "0xfee81cf4", "0xfee81cf40000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x90107afe", "selector": "0x90107afe", "calldata_variants": [ "0x90107afe", "0x90107afe0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc0c3b517", "selector": "0xc0c3b517", "calldata_variants": [ "0xc0c3b517", "0xc0c3b5170000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd5abeb01", "selector": "0xd5abeb01", "calldata_variants": [ "0xd5abeb01", "0xd5abeb010000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x715018a6", "selector": "0x715018a6", "calldata_variants": [ "0x715018a6", "0x715018a60000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 1560, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2853, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2991, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 4, "guards_detected": [ { "pc": 3249, "type": "msg_sender_eq_storage" } ] }

Severity

Category

Tool

Title

Confidence

Validated

Confirmed

Details

medium

other

detector

CREATE/CREATE2 reachable

45

no

view

trace_id: 0x260d21ea8b1cd0b43e70fffb3b04d99ebac2b1b5f860a47ce369732a2b4aa0d3

validation_json

{
    "sink": "CREATE",
    "errors": 0,
    "status": "unknown",
    "attempts": 32,
    "trace_id": "0x260d21ea8b1cd0b43e70fffb3b04d99ebac2b1b5f860a47ce369732a2b4aa0d3",
    "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": "0xf04e283e",
            "selector": "0xf04e283e",
            "calldata_variants": [
                "0xf04e283e",
                "0xf04e283e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf8004d31",
            "selector": "0xf8004d31",
            "calldata_variants": [
                "0xf8004d31",
                "0xf8004d310000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfee81cf4",
            "selector": "0xfee81cf4",
            "calldata_variants": [
                "0xfee81cf4",
                "0xfee81cf40000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x90107afe",
            "selector": "0x90107afe",
            "calldata_variants": [
                "0x90107afe",
                "0x90107afe0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc0c3b517",
            "selector": "0xc0c3b517",
            "calldata_variants": [
                "0xc0c3b517",
                "0xc0c3b5170000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd5abeb01",
            "selector": "0xd5abeb01",
            "calldata_variants": [
                "0xd5abeb01",
                "0xd5abeb010000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x715018a6",
            "selector": "0x715018a6",
            "calldata_variants": [
                "0x715018a6",
                "0x715018a60000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}

evidence_json

{
    "create_count": 0,
    "create2_count": 1
}

medium

other

detector

Untrusted CALL target/value reachable

45

no

view

trace_id: 0x994c9e0d077744528450310d41cee315c97bd76a997b516ff4779fc9262188ae

call_targets: 0xf3d1910364da02db32dac343250cadca1c1576be

target_varies: no

classification: constant_target

validation_json

{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x994c9e0d077744528450310d41cee315c97bd76a997b516ff4779fc9262188ae",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xf3d1910364da02db32dac343250cadca1c1576be"
    ],
    "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": "0xf04e283e",
            "selector": "0xf04e283e",
            "calldata_variants": [
                "0xf04e283e",
                "0xf04e283e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf8004d31",
            "selector": "0xf8004d31",
            "calldata_variants": [
                "0xf8004d31",
                "0xf8004d310000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfee81cf4",
            "selector": "0xfee81cf4",
            "calldata_variants": [
                "0xfee81cf4",
                "0xfee81cf40000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x90107afe",
            "selector": "0x90107afe",
            "calldata_variants": [
                "0x90107afe",
                "0x90107afe0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc0c3b517",
            "selector": "0xc0c3b517",
            "calldata_variants": [
                "0xc0c3b517",
                "0xc0c3b5170000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd5abeb01",
            "selector": "0xd5abeb01",
            "calldata_variants": [
                "0xd5abeb01",
                "0xd5abeb010000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x715018a6",
            "selector": "0x715018a6",
            "calldata_variants": [
                "0x715018a6",
                "0x715018a60000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}

evidence_json

{
    "examples": [
        {
            "pc": 1560,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2853,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2991,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 4,
    "guards_detected": [
        {
            "pc": 3249,
            "type": "msg_sender_eq_storage"
        }
    ],
    "untrusted_call_count": 4
}

medium

other

detector

ETH value transfer possible

40

no

view

trace_id: 0x994c9e0d077744528450310d41cee315c97bd76a997b516ff4779fc9262188ae

call_targets: 0xf3d1910364da02db32dac343250cadca1c1576be

target_varies: no

classification: constant_target

validation_json

{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x994c9e0d077744528450310d41cee315c97bd76a997b516ff4779fc9262188ae",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xf3d1910364da02db32dac343250cadca1c1576be"
    ],
    "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": "0xf04e283e",
            "selector": "0xf04e283e",
            "calldata_variants": [
                "0xf04e283e",
                "0xf04e283e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf8004d31",
            "selector": "0xf8004d31",
            "calldata_variants": [
                "0xf8004d31",
                "0xf8004d310000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfee81cf4",
            "selector": "0xfee81cf4",
            "calldata_variants": [
                "0xfee81cf4",
                "0xfee81cf40000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x90107afe",
            "selector": "0x90107afe",
            "calldata_variants": [
                "0x90107afe",
                "0x90107afe0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc0c3b517",
            "selector": "0xc0c3b517",
            "calldata_variants": [
                "0xc0c3b517",
                "0xc0c3b5170000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xd5abeb01",
            "selector": "0xd5abeb01",
            "calldata_variants": [
                "0xd5abeb01",
                "0xd5abeb010000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x715018a6",
            "selector": "0x715018a6",
            "calldata_variants": [
                "0x715018a6",
                "0x715018a60000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}

evidence_json

{
    "examples": [
        {
            "pc": 1560,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2853,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2991,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 4,
    "guards_detected": [
        {
            "pc": 3249,
            "type": "msg_sender_eq_storage"
        }
    ]
}