Analysis Run

019b477e-c254-71f2-905c-d77ffdbf153c

complete

Chain ID

1

Address

0x39dfba33b4388aa786232a4fd39f8f86fcd74067

Block Number

—

Created

Mon, Dec 22, 2025 7:17 PM

Review Summary

What survived the funnel

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

back to vulns open contract

Confirmed

0

Validated

0

Source

Verified

Review Backing

Not yet

Best current signal

Untrusted CALL target/value reachable

crit 0 high 0 direct contract

Review Checklist

1. Read the findings table first. Ignore raw jobs until the result looks real.

2. Confirm attacker control, not just the existence of a sink.

3. Confirm money or privilege impact.

4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts

ID	Type	Status	Attempts	Heartbeat
25017	artifact.fetch	complete	1 / 3	3 months ago
25018	tool.cast_disasm	complete	1 / 3	3 months ago
68458	analysis.bundle	complete	1 / 3	2 weeks ago
68459	capability.graph	complete	1 / 3	2 weeks ago
68460	detector.run	complete	1 / 3	2 weeks ago
68461	validation.fork	complete	1 / 3	2 weeks ago

Artifact

Runtime bytecode: available

Creation TX: —

Deployer: —

Proxy: no

Implementation:

—

Verified Source: yes

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm

Delegatecall

0

Selfdestruct

0

CREATE2

0

CALL-family (heavy)

8

EXT*/BALANCE

6

Total opcodes

2346

Flags

heavy_ext_balance_usage

View cast disassembly output

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x00f7
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x8da5cb5b
00000019: GT
0000001a: PUSH2 0x008a
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xdf42113b
00000024: GT
00000025: PUSH2 0x0059
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xdf42113b
0000002f: EQ
00000030: PUSH2 0x0375
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xf0f44260
0000003a: EQ
0000003b: PUSH2 0x0395
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xf2fde38b
00000045: EQ
00000046: PUSH2 0x03b5
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf851a440
00000050: EQ
00000051: PUSH2 0x03d5
00000054: JUMPI
00000055: PUSH1 0x00
00000057: DUP1
00000058: REVERT
00000059: JUMPDEST
0000005a: DUP1
0000005b: PUSH4 0x8da5cb5b
00000060: EQ
00000061: PUSH2 0x0318
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0x8f12e25f
0000006b: EQ
0000006c: PUSH2 0x0336
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xa1c06970
00000076: EQ
00000077: PUSH2 0x034b
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xd7a18099
00000081: EQ
00000082: PUSH2 0x0360
00000085: JUMPI
00000086: PUSH1 0x00
00000088: DUP1
00000089: REVERT
0000008a: JUMPDEST
0000008b: DUP1
0000008c: PUSH4 0x2c75cc09
00000091: GT
00000092: PUSH2 0x00c6
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0x2c75cc09
0000009c: EQ
0000009d: PUSH2 0x02b0
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0x61d027b3
000000a7: EQ
000000a8: PUSH2 0x02c5
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x704b6c02
000000b2: EQ
000000b3: PUSH2 0x02e3
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x715018a6
000000bd: EQ
000000be: PUSH2 0x0303
000000c1: JUMPI
000000c2: PUSH1 0x00
000000c4: DUP1
000000c5: REVERT
000000c6: JUMPDEST
000000c7: DUP1
000000c8: PUSH4 0x03d07340
000000cd: EQ
000000ce: PUSH2 0x020e
000000d1: JUMPI
000000d2: DUP1
000000d3: PUSH4 0x1225f64b
000000d8: EQ
000000d9: PUSH2 0x024b
000000dc: JUMPI
000000dd: DUP1
000000de: PUSH4 0x1bb6a2af
000000e3: EQ
000000e4: PUSH2 0x0260
000000e7: JUMPI
000000e8: DUP1
000000e9: PUSH4 0x1c5574be
000000ee: EQ
000000ef: PUSH2 0x029b
000000f2: JUMPI
000000f3: PUSH1 0x00
000000f5: DUP1
000000f6: REVERT
000000f7: JUMPDEST
000000f8: CALLDATASIZE
000000f9: PUSH2 0x0209
000000fc: JUMPI
000000fd: PUSH1 0x00
000000ff: CALLVALUE
00000100: GT
00000101: PUSH2 0x0146
00000104: JUMPI
00000105: PUSH1 0x40
00000107: MLOAD
00000108: PUSH3 0x461bcd
0000010c: PUSH1 0xe5
0000010e: SHL
0000010f: DUP2
00000110: MSTORE
00000111: PUSH1 0x20
00000113: PUSH1 0x04
00000115: DUP3
00000116: ADD
00000117: MSTORE
00000118: PUSH1 0x12
0000011a: PUSH1 0x24
0000011c: DUP3
0000011d: ADD
0000011e: MSTORE
0000011f: PUSH18 0x125b9cdd59999a58da595b9d08165a595b19
00000132: PUSH1 0x72
00000134: SHL
00000135: PUSH1 0x44
00000137: DUP3
00000138: ADD
00000139: MSTORE
0000013a: PUSH1 0x64
0000013c: ADD
0000013d: JUMPDEST
0000013e: PUSH1 0x40
00000140: MLOAD
00000141: DUP1
00000142: SWAP2
00000143: SUB
00000144: SWAP1
00000145: REVERT
00000146: JUMPDEST
00000147: PUSH1 0x02
00000149: SLOAD
0000014a: PUSH1 0x40
0000014c: DUP1
0000014d: MLOAD
0000014e: PUSH4 0x0480e58b
00000153: PUSH1 0xe0
00000155: SHL
00000156: DUP2
00000157: MSTORE
00000158: SWAP1
00000159: MLOAD
0000015a: PUSH1 0x00
0000015c: SWAP3
0000015d: PUSH1 0x01
0000015f: PUSH1 0x01
00000161: PUSH1 0xa0
00000163: SHL
00000164: SUB
00000165: AND
00000166: SWAP2
00000167: PUSH4 0x0480e58b
0000016c: SWAP2
0000016d: PUSH1 0x04
0000016f: DUP1
00000170: DUP4
00000171: ADD
00000172: SWAP3
00000173: PUSH1 0x20
00000175: SWAP3
00000176: SWAP2
00000177: SWAP1
00000178: DUP3
00000179: SWAP1
0000017a: SUB
0000017b: ADD
0000017c: DUP2
0000017d: DUP7
0000017e: DUP1
0000017f: EXTCODESIZE
00000180: ISZERO
00000181: DUP1
00000182: ISZERO
00000183: PUSH2 0x018b
00000186: JUMPI
00000187: PUSH1 0x00
00000189: DUP1
0000018a: REVERT
0000018b: JUMPDEST
0000018c: POP
0000018d: GAS
0000018e: STATICCALL
0000018f: ISZERO
00000190: DUP1
00000191: ISZERO
00000192: PUSH2 0x019f
00000195: JUMPI
00000196: RETURNDATASIZE
00000197: PUSH1 0x00
00000199: DUP1
0000019a: RETURNDATACOPY
0000019b: RETURNDATASIZE
0000019c: PUSH1 0x00
0000019e: REVERT
0000019f: JUMPDEST
000001a0: POP
000001a1: POP
000001a2: POP
000001a3: POP
000001a4: PUSH1 0x40
000001a6: MLOAD
000001a7: RETURNDATASIZE
000001a8: PUSH1 0x1f
000001aa: NOT
000001ab: PUSH1 0x1f
000001ad: DUP3
000001ae: ADD
000001af: AND
000001b0: DUP3
000001b1: ADD
000001b2: DUP1
000001b3: PUSH1 0x40
000001b5: MSTORE
000001b6: POP
000001b7: DUP2
000001b8: ADD
000001b9: SWAP1
000001ba: PUSH2 0x01c3
000001bd: SWAP2
000001be: SWAP1
000001bf: PUSH2 0x0e5c
000001c2: JUMP
000001c3: JUMPDEST
000001c4: SWAP1
000001c5: POP
000001c6: PUSH2 0x01cf
000001c9: DUP2
000001ca: CALLVALUE
000001cb: PUSH2 0x0ea1
000001ce: JUMP
000001cf: JUMPDEST
000001d0: PUSH1 0x05
000001d2: PUSH1 0x00
000001d4: DUP3
000001d5: DUP3
000001d6: SLOAD
000001d7: PUSH2 0x01e0
000001da: SWAP2
000001db: SWAP1
000001dc: PUSH2 0x0eb5
000001df: JUMP
000001e0: JUMPDEST
000001e1: SWAP1
000001e2: SWAP2
000001e3: SSTORE
000001e4: POP
000001e5: PUSH2 0x01f0
000001e8: SWAP1
000001e9: POP
000001ea: DUP2
000001eb: CALLVALUE
000001ec: PUSH2 0x0ecd
000001ef: JUMP
000001f0: JUMPDEST
000001f1: PUSH1 0x07
000001f3: PUSH1 0x00
000001f5: DUP3
000001f6: DUP3
000001f7: SLOAD
000001f8: PUSH2 0x0201
000001fb: SWAP2
000001fc: SWAP1
000001fd: PUSH2 0x0eb5
00000200: JUMP
00000201: JUMPDEST
00000202: SWAP1
00000203: SWAP2
00000204: SSTORE
00000205: POP
00000206: POP
00000207: POP
00000208: STOP
00000209: JUMPDEST
0000020a: PUSH1 0x00
0000020c: DUP1
0000020d: REVERT
0000020e: JUMPDEST
0000020f: CALLVALUE
00000210: DUP1
00000211: ISZERO
00000212: PUSH2 0x021a
00000215: JUMPI
00000216: PUSH1 0x00
00000218: DUP1
00000219: REVERT
0000021a: JUMPDEST
0000021b: POP
0000021c: PUSH1 0x02
0000021e: SLOAD
0000021f: PUSH2 0x022e
00000222: SWAP1
00000223: PUSH1 0x01
00000225: PUSH1 0x01
00000227: PUSH1 0xa0
00000229: SHL
0000022a: SUB
0000022b: AND
0000022c: DUP2
0000022d: JUMP
0000022e: JUMPDEST
0000022f: PUSH1 0x40
00000231: MLOAD
00000232: PUSH1 0x01
00000234: PUSH1 0x01
00000236: PUSH1 0xa0
00000238: SHL
00000239: SUB
0000023a: SWAP1
0000023b: SWAP2
0000023c: AND
0000023d: DUP2
0000023e: MSTORE
0000023f: PUSH1 0x20
00000241: ADD
00000242: JUMPDEST
00000243: PUSH1 0x40
00000245: MLOAD
00000246: DUP1
00000247: SWAP2
00000248: SUB
00000249: SWAP1
0000024a: RETURN
0000024b: JUMPDEST
0000024c: PUSH2 0x025e
0000024f: PUSH2 0x0259
00000252: CALLDATASIZE
00000253: PUSH1 0x04
00000255: PUSH2 0x0ee1
00000258: JUMP
00000259: JUMPDEST
0000025a: PUSH2 0x03f3
0000025d: JUMP
0000025e: JUMPDEST
0000025f: STOP
00000260: JUMPDEST
00000261: CALLVALUE
00000262: DUP1
00000263: ISZERO
00000264: PUSH2 0x026c
00000267: JUMPI
00000268: PUSH1 0x00
0000026a: DUP1
0000026b: REVERT
0000026c: JUMPDEST
0000026d: POP
0000026e: PUSH2 0x028d
00000271: PUSH2 0x027b
00000274: CALLDATASIZE
00000275: PUSH1 0x04
00000277: PUSH2 0x0ee1
0000027a: JUMP
0000027b: JUMPDEST
0000027c: PUSH1 0x00
0000027e: SWAP1
0000027f: DUP2
00000280: MSTORE
00000281: PUSH1 0x08
00000283: PUSH1 0x20
00000285: MSTORE
00000286: PUSH1 0x40
00000288: SWAP1
00000289: KECCAK256
0000028a: SLOAD
0000028b: SWAP1
0000028c: JUMP
0000028d: JUMPDEST
0000028e: PUSH1 0x40
00000290: MLOAD
00000291: SWAP1
00000292: DUP2
00000293: MSTORE
00000294: PUSH1 0x20
00000296: ADD
00000297: PUSH2 0x0242
0000029a: JUMP
0000029b: JUMPDEST
0000029c: CALLVALUE
0000029d: DUP1
0000029e: ISZERO
0000029f: PUSH2 0x02a7
000002a2: JUMPI
000002a3: PUSH1 0x00
000002a5: DUP1
000002a6: REVERT
000002a7: JUMPDEST
000002a8: POP
000002a9: PUSH1 0x05
000002ab: SLOAD
000002ac: PUSH2 0x028d
000002af: JUMP
000002b0: JUMPDEST
000002b1: CALLVALUE
000002b2: DUP1
000002b3: ISZERO
000002b4: PUSH2 0x02bc
000002b7: JUMPI
000002b8: PUSH1 0x00
000002ba: DUP1
000002bb: REVERT
000002bc: JUMPDEST
000002bd: POP
000002be: PUSH2 0x025e
000002c1: PUSH2 0x0569
000002c4: JUMP
000002c5: JUMPDEST
000002c6: CALLVALUE
000002c7: DUP1
000002c8: ISZERO
000002c9: PUSH2 0x02d1
000002cc: JUMPI
000002cd: PUSH1 0x00
000002cf: DUP1
000002d0: REVERT
000002d1: JUMPDEST
000002d2: POP
000002d3: PUSH1 0x03
000002d5: SLOAD
000002d6: PUSH1 0x01
000002d8: PUSH1 0x01
000002da: PUSH1 0xa0
000002dc: SHL
000002dd: SUB
000002de: AND
000002df: PUSH2 0x022e
000002e2: JUMP
000002e3: JUMPDEST
000002e4: CALLVALUE
000002e5: DUP1
000002e6: ISZERO
000002e7: PUSH2 0x02ef
000002ea: JUMPI
000002eb: PUSH1 0x00
000002ed: DUP1
000002ee: REVERT
000002ef: JUMPDEST
000002f0: POP
000002f1: PUSH2 0x025e
000002f4: PUSH2 0x02fe
000002f7: CALLDATASIZE
000002f8: PUSH1 0x04
000002fa: PUSH2 0x0efa
000002fd: JUMP
000002fe: JUMPDEST
000002ff: PUSH2 0x080e
00000302: JUMP
00000303: JUMPDEST
00000304: CALLVALUE
00000305: DUP1
00000306: ISZERO
00000307: PUSH2 0x030f
0000030a: JUMPI
0000030b: PUSH1 0x00
0000030d: DUP1
0000030e: REVERT
0000030f: JUMPDEST
00000310: POP
00000311: PUSH2 0x025e
00000314: PUSH2 0x08ed
00000317: JUMP
00000318: JUMPDEST
00000319: CALLVALUE
0000031a: DUP1
0000031b: ISZERO
0000031c: PUSH2 0x0324
0000031f: JUMPI
00000320: PUSH1 0x00
00000322: DUP1
00000323: REVERT
00000324: JUMPDEST
00000325: POP
00000326: PUSH1 0x00
00000328: SLOAD
00000329: PUSH1 0x01
0000032b: PUSH1 0x01
0000032d: PUSH1 0xa0
0000032f: SHL
00000330: SUB
00000331: AND
00000332: PUSH2 0x022e
00000335: JUMP
00000336: JUMPDEST
00000337: CALLVALUE
00000338: DUP1
00000339: ISZERO
0000033a: PUSH2 0x0342
0000033d: JUMPI
0000033e: PUSH1 0x00
00000340: DUP1
00000341: REVERT
00000342: JUMPDEST
00000343: POP
00000344: PUSH1 0x07
00000346: SLOAD
00000347: PUSH2 0x028d
0000034a: JUMP
0000034b: JUMPDEST
0000034c: CALLVALUE
0000034d: DUP1
0000034e: ISZERO
0000034f: PUSH2 0x0357
00000352: JUMPI
00000353: PUSH1 0x00
00000355: DUP1
00000356: REVERT
00000357: JUMPDEST
00000358: POP
00000359: PUSH1 0x06
0000035b: SLOAD
0000035c: PUSH2 0x028d
0000035f: JUMP
00000360: JUMPDEST
00000361: CALLVALUE
00000362: DUP1
00000363: ISZERO
00000364: PUSH2 0x036c
00000367: JUMPI
00000368: PUSH1 0x00
0000036a: DUP1
0000036b: REVERT
0000036c: JUMPDEST
0000036d: POP
0000036e: PUSH2 0x025e
00000371: PUSH2 0x0953
00000374: JUMP
00000375: JUMPDEST
00000376: CALLVALUE
00000377: DUP1
00000378: ISZERO
00000379: PUSH2 0x0381
0000037c: JUMPI
0000037d: PUSH1 0x00
0000037f: DUP1
00000380: REVERT
00000381: JUMPDEST
00000382: POP
00000383: PUSH2 0x028d
00000386: PUSH2 0x0390
00000389: CALLDATASIZE
0000038a: PUSH1 0x04
0000038c: PUSH2 0x0efa
0000038f: JUMP
00000390: JUMPDEST
00000391: PUSH2 0x0ac2
00000394: JUMP
00000395: JUMPDEST
00000396: CALLVALUE
00000397: DUP1
00000398: ISZERO
00000399: PUSH2 0x03a1
0000039c: JUMPI
0000039d: PUSH1 0x00
0000039f: DUP1
000003a0: REVERT
000003a1: JUMPDEST
000003a2: POP
000003a3: PUSH2 0x025e
000003a6: PUSH2 0x03b0
000003a9: CALLDATASIZE
000003aa: PUSH1 0x04
000003ac: PUSH2 0x0efa
000003af: JUMP
000003b0: JUMPDEST
000003b1: PUSH2 0x0c29
000003b4: JUMP
000003b5: JUMPDEST
000003b6: CALLVALUE
000003b7: DUP1
000003b8: ISZERO
000003b9: PUSH2 0x03c1
000003bc: JUMPI
000003bd: PUSH1 0x00
000003bf: DUP1
000003c0: REVERT
000003c1: JUMPDEST
000003c2: POP
000003c3: PUSH2 0x025e
000003c6: PUSH2 0x03d0
000003c9: CALLDATASIZE
000003ca: PUSH1 0x04
000003cc: PUSH2 0x0efa
000003cf: JUMP
000003d0: JUMPDEST
000003d1: PUSH2 0x0d1d
000003d4: JUMP
000003d5: JUMPDEST
000003d6: CALLVALUE
000003d7: DUP1
000003d8: ISZERO
000003d9: PUSH2 0x03e1
000003dc: JUMPI
000003dd: PUSH1 0x00
000003df: DUP1
000003e0: REVERT
000003e1: JUMPDEST
000003e2: POP
000003e3: PUSH1 0x04
000003e5: SLOAD
000003e6: PUSH1 0x01
000003e8: PUSH1 0x01
000003ea: PUSH1 0xa0
000003ec: SHL
000003ed: SUB
000003ee: AND
000003ef: PUSH2 0x022e
000003f2: JUMP
000003f3: JUMPDEST
000003f4: PUSH1 0x02
000003f6: PUSH1 0x01
000003f8: SLOAD
000003f9: EQ
000003fa: ISZERO
000003fb: PUSH2 0x0446
000003fe: JUMPI
000003ff: PUSH1 0x40
00000401: MLOAD
00000402: PUSH3 0x461bcd
00000406: PUSH1 0xe5
00000408: SHL
00000409: DUP2
0000040a: MSTORE
0000040b: PUSH1 0x20
0000040d: PUSH1 0x04
0000040f: DUP3
00000410: ADD
00000411: MSTORE
00000412: PUSH1 0x1f
00000414: PUSH1 0x24
00000416: DUP3
00000417: ADD
00000418: MSTORE
00000419: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
0000043a: PUSH1 0x44
0000043c: DUP3
0000043d: ADD
0000043e: MSTORE
0000043f: PUSH1 0x64
00000441: ADD
00000442: PUSH2 0x013d
00000445: JUMP
00000446: JUMPDEST
00000447: PUSH1 0x02
00000449: PUSH1 0x01
0000044b: SSTORE
0000044c: CALLVALUE
0000044d: PUSH2 0x048d
00000450: JUMPI
00000451: PUSH1 0x40
00000453: MLOAD
00000454: PUSH3 0x461bcd
00000458: PUSH1 0xe5
0000045a: SHL
0000045b: DUP2
0000045c: MSTORE
0000045d: PUSH1 0x20
0000045f: PUSH1 0x04
00000461: DUP3
00000462: ADD
00000463: MSTORE
00000464: PUSH1 0x12
00000466: PUSH1 0x24
00000468: DUP3
00000469: ADD
0000046a: MSTORE
0000046b: PUSH18 0x125b9cdd59999a58da595b9d08165a595b19
0000047e: PUSH1 0x72
00000480: SHL
00000481: PUSH1 0x44
00000483: DUP3
00000484: ADD
00000485: MSTORE
00000486: PUSH1 0x64
00000488: ADD
00000489: PUSH2 0x013d
0000048c: JUMP
0000048d: JUMPDEST
0000048e: PUSH1 0x02
00000490: SLOAD
00000491: PUSH1 0x40
00000493: DUP1
00000494: MLOAD
00000495: PUSH4 0x0480e58b
0000049a: PUSH1 0xe0
0000049c: SHL
0000049d: DUP2
0000049e: MSTORE
0000049f: SWAP1
000004a0: MLOAD
000004a1: PUSH1 0x00
000004a3: SWAP3
000004a4: PUSH1 0x01
000004a6: PUSH1 0x01
000004a8: PUSH1 0xa0
000004aa: SHL
000004ab: SUB
000004ac: AND
000004ad: SWAP2
000004ae: PUSH4 0x0480e58b
000004b3: SWAP2
000004b4: PUSH1 0x04
000004b6: DUP1
000004b7: DUP4
000004b8: ADD
000004b9: SWAP3
000004ba: PUSH1 0x20
000004bc: SWAP3
000004bd: SWAP2
000004be: SWAP1
000004bf: DUP3
000004c0: SWAP1
000004c1: SUB
000004c2: ADD
000004c3: DUP2
000004c4: DUP7
000004c5: DUP1
000004c6: EXTCODESIZE
000004c7: ISZERO
000004c8: DUP1
000004c9: ISZERO
000004ca: PUSH2 0x04d2
000004cd: JUMPI
000004ce: PUSH1 0x00
000004d0: DUP1
000004d1: REVERT
000004d2: JUMPDEST
000004d3: POP
000004d4: GAS
000004d5: STATICCALL
000004d6: ISZERO
000004d7: DUP1
000004d8: ISZERO
000004d9: PUSH2 0x04e6
000004dc: JUMPI
000004dd: RETURNDATASIZE
000004de: PUSH1 0x00
000004e0: DUP1
000004e1: RETURNDATACOPY
000004e2: RETURNDATASIZE
000004e3: PUSH1 0x00
000004e5: REVERT
000004e6: JUMPDEST
000004e7: POP
000004e8: POP
000004e9: POP
000004ea: POP
000004eb: PUSH1 0x40
000004ed: MLOAD
000004ee: RETURNDATASIZE
000004ef: PUSH1 0x1f
000004f1: NOT
000004f2: PUSH1 0x1f
000004f4: DUP3
000004f5: ADD
000004f6: AND
000004f7: DUP3
000004f8: ADD
000004f9: DUP1
000004fa: PUSH1 0x40
000004fc: MSTORE
000004fd: POP
000004fe: DUP2
000004ff: ADD
00000500: SWAP1
00000501: PUSH2 0x050a
00000504: SWAP2
00000505: SWAP1
00000506: PUSH2 0x0e5c
00000509: JUMP
0000050a: JUMPDEST
0000050b: SWAP1
0000050c: POP
0000050d: PUSH2 0x0516
00000510: DUP2
00000511: DUP4
00000512: PUSH2 0x0ea1
00000515: JUMP
00000516: JUMPDEST
00000517: PUSH1 0x05
00000519: PUSH1 0x00
0000051b: DUP3
0000051c: DUP3
0000051d: SLOAD
0000051e: PUSH2 0x0527
00000521: SWAP2
00000522: SWAP1
00000523: PUSH2 0x0eb5
00000526: JUMP
00000527: JUMPDEST
00000528: SWAP1
00000529: SWAP2
0000052a: SSTORE
0000052b: POP
0000052c: PUSH2 0x0537
0000052f: SWAP1
00000530: POP
00000531: DUP2
00000532: DUP4
00000533: PUSH2 0x0ecd
00000536: JUMP
00000537: JUMPDEST
00000538: PUSH2 0x0541
0000053b: DUP4
0000053c: CALLVALUE
0000053d: PUSH2 0x0f2a
00000540: JUMP
00000541: JUMPDEST
00000542: PUSH2 0x054b
00000545: SWAP2
00000546: SWAP1
00000547: PUSH2 0x0eb5
0000054a: JUMP
0000054b: JUMPDEST
0000054c: PUSH1 0x07
0000054e: PUSH1 0x00
00000550: DUP3
00000551: DUP3
00000552: SLOAD
00000553: PUSH2 0x055c
00000556: SWAP2
00000557: SWAP1
00000558: PUSH2 0x0eb5
0000055b: JUMP
0000055c: JUMPDEST
0000055d: SWAP1
0000055e: SWAP2
0000055f: SSTORE
00000560: POP
00000561: POP
00000562: PUSH1 0x01
00000564: DUP1
00000565: SSTORE
00000566: POP
00000567: POP
00000568: JUMP
00000569: JUMPDEST
0000056a: PUSH1 0x02
0000056c: PUSH1 0x01
0000056e: SLOAD
0000056f: EQ
00000570: ISZERO
00000571: PUSH2 0x05bc
00000574: JUMPI
00000575: PUSH1 0x40
00000577: MLOAD
00000578: PUSH3 0x461bcd
0000057c: PUSH1 0xe5
0000057e: SHL
0000057f: DUP2
00000580: MSTORE
00000581: PUSH1 0x20
00000583: PUSH1 0x04
00000585: DUP3
00000586: ADD
00000587: MSTORE
00000588: PUSH1 0x1f
0000058a: PUSH1 0x24
0000058c: DUP3
0000058d: ADD
0000058e: MSTORE
0000058f: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
000005b0: PUSH1 0x44
000005b2: DUP3
000005b3: ADD
000005b4: MSTORE
000005b5: PUSH1 0x64
000005b7: ADD
000005b8: PUSH2 0x013d
000005bb: JUMP
000005bc: JUMPDEST
000005bd: PUSH1 0x02
000005bf: PUSH1 0x01
000005c1: DUP2
000005c2: SWAP1
000005c3: SSTORE
000005c4: SLOAD
000005c5: PUSH1 0x40
000005c7: MLOAD
000005c8: PUSH4 0x70a08231
000005cd: PUSH1 0xe0
000005cf: SHL
000005d0: DUP2
000005d1: MSTORE
000005d2: CALLER
000005d3: PUSH1 0x04
000005d5: DUP3
000005d6: ADD
000005d7: MSTORE
000005d8: PUSH1 0x00
000005da: SWAP2
000005db: PUSH1 0x01
000005dd: PUSH1 0x01
000005df: PUSH1 0xa0
000005e1: SHL
000005e2: SUB
000005e3: AND
000005e4: SWAP1
000005e5: PUSH4 0x70a08231
000005ea: SWAP1
000005eb: PUSH1 0x24
000005ed: ADD
000005ee: PUSH1 0x20
000005f0: PUSH1 0x40
000005f2: MLOAD
000005f3: DUP1
000005f4: DUP4
000005f5: SUB
000005f6: DUP2
000005f7: DUP7
000005f8: DUP1
000005f9: EXTCODESIZE
000005fa: ISZERO
000005fb: DUP1
000005fc: ISZERO
000005fd: PUSH2 0x0605
00000600: JUMPI
00000601: PUSH1 0x00
00000603: DUP1
00000604: REVERT
00000605: JUMPDEST
00000606: POP
00000607: GAS
00000608: STATICCALL
00000609: ISZERO
0000060a: DUP1
0000060b: ISZERO
0000060c: PUSH2 0x0619
0000060f: JUMPI
00000610: RETURNDATASIZE
00000611: PUSH1 0x00
00000613: DUP1
00000614: RETURNDATACOPY
00000615: RETURNDATASIZE
00000616: PUSH1 0x00
00000618: REVERT
00000619: JUMPDEST
0000061a: POP
0000061b: POP
0000061c: POP
0000061d: POP
0000061e: PUSH1 0x40
00000620: MLOAD
00000621: RETURNDATASIZE
00000622: PUSH1 0x1f
00000624: NOT
00000625: PUSH1 0x1f
00000627: DUP3
00000628: ADD
00000629: AND
0000062a: DUP3
0000062b: ADD
0000062c: DUP1
0000062d: PUSH1 0x40
0000062f: MSTORE
00000630: POP
00000631: DUP2
00000632: ADD
00000633: SWAP1
00000634: PUSH2 0x063d
00000637: SWAP2
00000638: SWAP1
00000639: PUSH2 0x0e5c
0000063c: JUMP
0000063d: JUMPDEST
0000063e: SWAP1
0000063f: POP
00000640: PUSH1 0x00
00000642: DUP2
00000643: GT
00000644: PUSH2 0x068f
00000647: JUMPI
00000648: PUSH1 0x40
0000064a: MLOAD
0000064b: PUSH3 0x461bcd
0000064f: PUSH1 0xe5
00000651: SHL
00000652: DUP2
00000653: MSTORE
00000654: PUSH1 0x20
00000656: PUSH1 0x04
00000658: DUP3
00000659: ADD
0000065a: MSTORE
0000065b: PUSH1 0x18
0000065d: PUSH1 0x24
0000065f: DUP3
00000660: ADD
00000661: MSTORE
00000662: PUSH32 0x526573657276656420466f72204c616e64204f776e6572730000000000000000
00000683: PUSH1 0x44
00000685: DUP3
00000686: ADD
00000687: MSTORE
00000688: PUSH1 0x64
0000068a: ADD
0000068b: PUSH2 0x013d
0000068e: JUMP
0000068f: JUMPDEST
00000690: PUSH1 0x00
00000692: DUP1
00000693: JUMPDEST
00000694: DUP3
00000695: DUP2
00000696: LT
00000697: ISZERO
00000698: PUSH2 0x077b
0000069b: JUMPI
0000069c: PUSH1 0x02
0000069e: SLOAD
0000069f: PUSH1 0x40
000006a1: MLOAD
000006a2: PUSH4 0x2f745c59
000006a7: PUSH1 0xe0
000006a9: SHL
000006aa: DUP2
000006ab: MSTORE
000006ac: CALLER
000006ad: PUSH1 0x04
000006af: DUP3
000006b0: ADD
000006b1: MSTORE
000006b2: PUSH1 0x24
000006b4: DUP2
000006b5: ADD
000006b6: DUP4
000006b7: SWAP1
000006b8: MSTORE
000006b9: PUSH1 0x00
000006bb: SWAP2
000006bc: PUSH1 0x01
000006be: PUSH1 0x01
000006c0: PUSH1 0xa0
000006c2: SHL
000006c3: SUB
000006c4: AND
000006c5: SWAP1
000006c6: PUSH4 0x2f745c59
000006cb: SWAP1
000006cc: PUSH1 0x44
000006ce: ADD
000006cf: PUSH1 0x20
000006d1: PUSH1 0x40
000006d3: MLOAD
000006d4: DUP1
000006d5: DUP4
000006d6: SUB
000006d7: DUP2
000006d8: DUP7
000006d9: DUP1
000006da: EXTCODESIZE
000006db: ISZERO
000006dc: DUP1
000006dd: ISZERO
000006de: PUSH2 0x06e6
000006e1: JUMPI
000006e2: PUSH1 0x00
000006e4: DUP1
000006e5: REVERT
000006e6: JUMPDEST
000006e7: POP
000006e8: GAS
000006e9: STATICCALL
000006ea: ISZERO
000006eb: DUP1
000006ec: ISZERO
000006ed: PUSH2 0x06fa
000006f0: JUMPI
000006f1: RETURNDATASIZE
000006f2: PUSH1 0x00
000006f4: DUP1
000006f5: RETURNDATACOPY
000006f6: RETURNDATASIZE
000006f7: PUSH1 0x00
000006f9: REVERT
000006fa: JUMPDEST
000006fb: POP
000006fc: POP
000006fd: POP
000006fe: POP
000006ff: PUSH1 0x40
00000701: MLOAD
00000702: RETURNDATASIZE
00000703: PUSH1 0x1f
00000705: NOT
00000706: PUSH1 0x1f
00000708: DUP3
00000709: ADD
0000070a: AND
0000070b: DUP3
0000070c: ADD
0000070d: DUP1
0000070e: PUSH1 0x40
00000710: MSTORE
00000711: POP
00000712: DUP2
00000713: ADD
00000714: SWAP1
00000715: PUSH2 0x071e
00000718: SWAP2
00000719: SWAP1
0000071a: PUSH2 0x0e5c
0000071d: JUMP
0000071e: JUMPDEST
0000071f: PUSH1 0x00
00000721: DUP2
00000722: DUP2
00000723: MSTORE
00000724: PUSH1 0x08
00000726: PUSH1 0x20
00000728: MSTORE
00000729: PUSH1 0x40
0000072b: DUP2
0000072c: KECCAK256
0000072d: SLOAD
0000072e: PUSH1 0x05
00000730: SLOAD
00000731: SWAP3
00000732: SWAP4
00000733: POP
00000734: SWAP1
00000735: SWAP2
00000736: PUSH2 0x073f
00000739: SWAP2
0000073a: SWAP1
0000073b: PUSH2 0x0f2a
0000073e: JUMP
0000073f: JUMPDEST
00000740: SWAP1
00000741: POP
00000742: DUP1
00000743: ISZERO
00000744: PUSH2 0x0766
00000747: JUMPI
00000748: PUSH2 0x0751
0000074b: DUP2
0000074c: DUP6
0000074d: PUSH2 0x0eb5
00000750: JUMP
00000751: JUMPDEST
00000752: PUSH1 0x05
00000754: SLOAD
00000755: PUSH1 0x00
00000757: DUP5
00000758: DUP2
00000759: MSTORE
0000075a: PUSH1 0x08
0000075c: PUSH1 0x20
0000075e: MSTORE
0000075f: PUSH1 0x40
00000761: SWAP1
00000762: KECCAK256
00000763: SSTORE
00000764: SWAP4
00000765: POP
00000766: JUMPDEST
00000767: POP
00000768: POP
00000769: DUP1
0000076a: DUP1
0000076b: PUSH2 0x0773
0000076e: SWAP1
0000076f: PUSH2 0x0f41
00000772: JUMP
00000773: JUMPDEST
00000774: SWAP2
00000775: POP
00000776: POP
00000777: PUSH2 0x0693
0000077a: JUMP
0000077b: JUMPDEST
0000077c: POP
0000077d: PUSH1 0x00
0000077f: DUP2
00000780: GT
00000781: PUSH2 0x07c1
00000784: JUMPI
00000785: PUSH1 0x40
00000787: MLOAD
00000788: PUSH3 0x461bcd
0000078c: PUSH1 0xe5
0000078e: SHL
0000078f: DUP2
00000790: MSTORE
00000791: PUSH1 0x20
00000793: PUSH1 0x04
00000795: DUP3
00000796: ADD
00000797: MSTORE
00000798: PUSH1 0x12
0000079a: PUSH1 0x24
0000079c: DUP3
0000079d: ADD
0000079e: MSTORE
0000079f: PUSH18 0x125b9cdd59999a58da595b9d08165a595b19
000007b2: PUSH1 0x72
000007b4: SHL
000007b5: PUSH1 0x44
000007b7: DUP3
000007b8: ADD
000007b9: MSTORE
000007ba: PUSH1 0x64
000007bc: ADD
000007bd: PUSH2 0x013d
000007c0: JUMP
000007c1: JUMPDEST
000007c2: DUP1
000007c3: PUSH1 0x06
000007c5: PUSH1 0x00
000007c7: DUP3
000007c8: DUP3
000007c9: SLOAD
000007ca: PUSH2 0x07d3
000007cd: SWAP2
000007ce: SWAP1
000007cf: PUSH2 0x0eb5
000007d2: JUMP
000007d3: JUMPDEST
000007d4: SWAP1
000007d5: SWAP2
000007d6: SSTORE
000007d7: POP
000007d8: POP
000007d9: PUSH1 0x40
000007db: MLOAD
000007dc: CALLER
000007dd: SWAP1
000007de: DUP3
000007df: ISZERO
000007e0: PUSH2 0x08fc
000007e3: MUL
000007e4: SWAP1
000007e5: DUP4
000007e6: SWAP1
000007e7: PUSH1 0x00
000007e9: DUP2
000007ea: DUP2
000007eb: DUP2
000007ec: DUP6
000007ed: DUP9
000007ee: DUP9
000007ef: CALL
000007f0: SWAP4
000007f1: POP
000007f2: POP
000007f3: POP
000007f4: POP
000007f5: ISZERO
000007f6: DUP1
000007f7: ISZERO
000007f8: PUSH2 0x0805
000007fb: JUMPI
000007fc: RETURNDATASIZE
000007fd: PUSH1 0x00
000007ff: DUP1
00000800: RETURNDATACOPY
00000801: RETURNDATASIZE
00000802: PUSH1 0x00
00000804: REVERT
00000805: JUMPDEST
00000806: POP
00000807: POP
00000808: PUSH1 0x01
0000080a: DUP1
0000080b: SSTORE
0000080c: POP
0000080d: JUMP
0000080e: JUMPDEST
0000080f: PUSH1 0x00
00000811: SLOAD
00000812: PUSH1 0x01
00000814: PUSH1 0x01
00000816: PUSH1 0xa0
00000818: SHL
00000819: SUB
0000081a: AND
0000081b: CALLER
0000081c: EQ
0000081d: PUSH2 0x0868
00000820: JUMPI
00000821: PUSH1 0x40
00000823: MLOAD
00000824: PUSH3 0x461bcd
00000828: PUSH1 0xe5
0000082a: SHL
0000082b: DUP2
0000082c: MSTORE
0000082d: PUSH1 0x20
0000082f: PUSH1 0x04
00000831: DUP3
00000832: ADD
00000833: DUP2
00000834: SWAP1
00000835: MSTORE
00000836: PUSH1 0x24
00000838: DUP3
00000839: ADD
0000083a: MSTORE
0000083b: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
0000085c: PUSH1 0x44
0000085e: DUP3
0000085f: ADD
00000860: MSTORE
00000861: PUSH1 0x64
00000863: ADD
00000864: PUSH2 0x013d
00000867: JUMP
00000868: JUMPDEST
00000869: PUSH1 0x01
0000086b: PUSH1 0x01
0000086d: PUSH1 0xa0
0000086f: SHL
00000870: SUB
00000871: DUP2
00000872: AND
00000873: PUSH2 0x08be
00000876: JUMPI
00000877: PUSH1 0x40
00000879: MLOAD
0000087a: PUSH3 0x461bcd
0000087e: PUSH1 0xe5
00000880: SHL
00000881: DUP2
00000882: MSTORE
00000883: PUSH1 0x20
00000885: PUSH1 0x04
00000887: DUP3
00000888: ADD
00000889: MSTORE
0000088a: PUSH1 0x0f
0000088c: PUSH1 0x24
0000088e: DUP3
0000088f: ADD
00000890: MSTORE
00000891: PUSH32 0x496e76616c696420416464726573730000000000000000000000000000000000
000008b2: PUSH1 0x44
000008b4: DUP3
000008b5: ADD
000008b6: MSTORE
000008b7: PUSH1 0x64
000008b9: ADD
000008ba: PUSH2 0x013d
000008bd: JUMP
000008be: JUMPDEST
000008bf: PUSH1 0x04
000008c1: DUP1
000008c2: SLOAD
000008c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008d8: NOT
000008d9: AND
000008da: PUSH1 0x01
000008dc: PUSH1 0x01
000008de: PUSH1 0xa0
000008e0: SHL
000008e1: SUB
000008e2: SWAP3
000008e3: SWAP1
000008e4: SWAP3
000008e5: AND
000008e6: SWAP2
000008e7: SWAP1
000008e8: SWAP2
000008e9: OR
000008ea: SWAP1
000008eb: SSTORE
000008ec: JUMP
000008ed: JUMPDEST
000008ee: PUSH1 0x00
000008f0: SLOAD
000008f1: PUSH1 0x01
000008f3: PUSH1 0x01
000008f5: PUSH1 0xa0
000008f7: SHL
000008f8: SUB
000008f9: AND
000008fa: CALLER
000008fb: EQ
000008fc: PUSH2 0x0947
000008ff: JUMPI
00000900: PUSH1 0x40
00000902: MLOAD
00000903: PUSH3 0x461bcd
00000907: PUSH1 0xe5
00000909: SHL
0000090a: DUP2
0000090b: MSTORE
0000090c: PUSH1 0x20
0000090e: PUSH1 0x04
00000910: DUP3
00000911: ADD
00000912: DUP2
00000913: SWAP1
00000914: MSTORE
00000915: PUSH1 0x24
00000917: DUP3
00000918: ADD
00000919: MSTORE
0000091a: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
0000093b: PUSH1 0x44
0000093d: DUP3
0000093e: ADD
0000093f: MSTORE
00000940: PUSH1 0x64
00000942: ADD
00000943: PUSH2 0x013d
00000946: JUMP
00000947: JUMPDEST
00000948: PUSH2 0x0951
0000094b: PUSH1 0x00
0000094d: PUSH2 0x0dff
00000950: JUMP
00000951: JUMPDEST
00000952: JUMP
00000953: JUMPDEST
00000954: PUSH1 0x00
00000956: SLOAD
00000957: PUSH1 0x01
00000959: PUSH1 0x01
0000095b: PUSH1 0xa0
0000095d: SHL
0000095e: SUB
0000095f: AND
00000960: CALLER
00000961: EQ
00000962: DUP1
00000963: PUSH2 0x0976
00000966: JUMPI
00000967: POP
00000968: PUSH1 0x04
0000096a: SLOAD
0000096b: PUSH1 0x01
0000096d: PUSH1 0x01
0000096f: PUSH1 0xa0
00000971: SHL
00000972: SUB
00000973: AND
00000974: CALLER
00000975: EQ
00000976: JUMPDEST
00000977: PUSH2 0x09c2
0000097a: JUMPI
0000097b: PUSH1 0x40
0000097d: MLOAD
0000097e: PUSH3 0x461bcd
00000982: PUSH1 0xe5
00000984: SHL
00000985: DUP2
00000986: MSTORE
00000987: PUSH1 0x20
00000989: PUSH1 0x04
0000098b: DUP3
0000098c: ADD
0000098d: MSTORE
0000098e: PUSH1 0x13
00000990: PUSH1 0x24
00000992: DUP3
00000993: ADD
00000994: MSTORE
00000995: PUSH32 0x556e617574686f72697a65642041636365737300000000000000000000000000
000009b6: PUSH1 0x44
000009b8: DUP3
000009b9: ADD
000009ba: MSTORE
000009bb: PUSH1 0x64
000009bd: ADD
000009be: PUSH2 0x013d
000009c1: JUMP
000009c2: JUMPDEST
000009c3: PUSH1 0x02
000009c5: PUSH1 0x01
000009c7: SLOAD
000009c8: EQ
000009c9: ISZERO
000009ca: PUSH2 0x0a15
000009cd: JUMPI
000009ce: PUSH1 0x40
000009d0: MLOAD
000009d1: PUSH3 0x461bcd
000009d5: PUSH1 0xe5
000009d7: SHL
000009d8: DUP2
000009d9: MSTORE
000009da: PUSH1 0x20
000009dc: PUSH1 0x04
000009de: DUP3
000009df: ADD
000009e0: MSTORE
000009e1: PUSH1 0x1f
000009e3: PUSH1 0x24
000009e5: DUP3
000009e6: ADD
000009e7: MSTORE
000009e8: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
00000a09: PUSH1 0x44
00000a0b: DUP3
00000a0c: ADD
00000a0d: MSTORE
00000a0e: PUSH1 0x64
00000a10: ADD
00000a11: PUSH2 0x013d
00000a14: JUMP
00000a15: JUMPDEST
00000a16: PUSH1 0x02
00000a18: PUSH1 0x01
00000a1a: SSTORE
00000a1b: PUSH1 0x07
00000a1d: SLOAD
00000a1e: PUSH2 0x0a5e
00000a21: JUMPI
00000a22: PUSH1 0x40
00000a24: MLOAD
00000a25: PUSH3 0x461bcd
00000a29: PUSH1 0xe5
00000a2b: SHL
00000a2c: DUP2
00000a2d: MSTORE
00000a2e: PUSH1 0x20
00000a30: PUSH1 0x04
00000a32: DUP3
00000a33: ADD
00000a34: MSTORE
00000a35: PUSH1 0x12
00000a37: PUSH1 0x24
00000a39: DUP3
00000a3a: ADD
00000a3b: MSTORE
00000a3c: PUSH18 0x125b9cdd59999a58da595b9d08165a595b19
00000a4f: PUSH1 0x72
00000a51: SHL
00000a52: PUSH1 0x44
00000a54: DUP3
00000a55: ADD
00000a56: MSTORE
00000a57: PUSH1 0x64
00000a59: ADD
00000a5a: PUSH2 0x013d
00000a5d: JUMP
00000a5e: JUMPDEST
00000a5f: PUSH1 0x07
00000a61: DUP1
00000a62: SLOAD
00000a63: PUSH1 0x00
00000a65: SWAP2
00000a66: DUP3
00000a67: SWAP1
00000a68: SSTORE
00000a69: PUSH1 0x06
00000a6b: DUP1
00000a6c: SLOAD
00000a6d: SWAP2
00000a6e: SWAP3
00000a6f: DUP4
00000a70: SWAP3
00000a71: PUSH2 0x0a7b
00000a74: SWAP1
00000a75: DUP5
00000a76: SWAP1
00000a77: PUSH2 0x0eb5
00000a7a: JUMP
00000a7b: JUMPDEST
00000a7c: SWAP1
00000a7d: SWAP2
00000a7e: SSTORE
00000a7f: POP
00000a80: POP
00000a81: PUSH1 0x03
00000a83: SLOAD
00000a84: PUSH1 0x40
00000a86: MLOAD
00000a87: PUSH1 0x01
00000a89: PUSH1 0x01
00000a8b: PUSH1 0xa0
00000a8d: SHL
00000a8e: SUB
00000a8f: SWAP1
00000a90: SWAP2
00000a91: AND
00000a92: SWAP1
00000a93: DUP3
00000a94: ISZERO
00000a95: PUSH2 0x08fc
00000a98: MUL
00000a99: SWAP1
00000a9a: DUP4
00000a9b: SWAP1
00000a9c: PUSH1 0x00
00000a9e: DUP2
00000a9f: DUP2
00000aa0: DUP2
00000aa1: DUP6
00000aa2: DUP9
00000aa3: DUP9
00000aa4: CALL
00000aa5: SWAP4
00000aa6: POP
00000aa7: POP
00000aa8: POP
00000aa9: POP
00000aaa: ISZERO
00000aab: DUP1
00000aac: ISZERO
00000aad: PUSH2 0x0aba
00000ab0: JUMPI
00000ab1: RETURNDATASIZE
00000ab2: PUSH1 0x00
00000ab4: DUP1
00000ab5: RETURNDATACOPY
00000ab6: RETURNDATASIZE
00000ab7: PUSH1 0x00
00000ab9: REVERT
00000aba: JUMPDEST
00000abb: POP
00000abc: POP
00000abd: PUSH1 0x01
00000abf: DUP1
00000ac0: SSTORE
00000ac1: JUMP
00000ac2: JUMPDEST
00000ac3: PUSH1 0x02
00000ac5: SLOAD
00000ac6: PUSH1 0x40
00000ac8: MLOAD
00000ac9: PUSH4 0x70a08231
00000ace: PUSH1 0xe0
00000ad0: SHL
00000ad1: DUP2
00000ad2: MSTORE
00000ad3: PUSH1 0x01
00000ad5: PUSH1 0x01
00000ad7: PUSH1 0xa0
00000ad9: SHL
00000ada: SUB
00000adb: DUP4
00000adc: DUP2
00000add: AND
00000ade: PUSH1 0x04
00000ae0: DUP4
00000ae1: ADD
00000ae2: MSTORE
00000ae3: PUSH1 0x00
00000ae5: SWAP3
00000ae6: DUP4
00000ae7: SWAP3
00000ae8: SWAP2
00000ae9: AND
00000aea: SWAP1
00000aeb: PUSH4 0x70a08231
00000af0: SWAP1
00000af1: PUSH1 0x24
00000af3: ADD
00000af4: PUSH1 0x20
00000af6: PUSH1 0x40
00000af8: MLOAD
00000af9: DUP1
00000afa: DUP4
00000afb: SUB
00000afc: DUP2
00000afd: DUP7
00000afe: DUP1
00000aff: EXTCODESIZE
00000b00: ISZERO
00000b01: DUP1
00000b02: ISZERO
00000b03: PUSH2 0x0b0b
00000b06: JUMPI
00000b07: PUSH1 0x00
00000b09: DUP1
00000b0a: REVERT
00000b0b: JUMPDEST
00000b0c: POP
00000b0d: GAS
00000b0e: STATICCALL
00000b0f: ISZERO
00000b10: DUP1
00000b11: ISZERO
00000b12: PUSH2 0x0b1f
00000b15: JUMPI
00000b16: RETURNDATASIZE
00000b17: PUSH1 0x00
00000b19: DUP1
00000b1a: RETURNDATACOPY
00000b1b: RETURNDATASIZE
00000b1c: PUSH1 0x00
00000b1e: REVERT
00000b1f: JUMPDEST
00000b20: POP
00000b21: POP
00000b22: POP
00000b23: POP
00000b24: PUSH1 0x40
00000b26: MLOAD
00000b27: RETURNDATASIZE
00000b28: PUSH1 0x1f
00000b2a: NOT
00000b2b: PUSH1 0x1f
00000b2d: DUP3
00000b2e: ADD
00000b2f: AND
00000b30: DUP3
00000b31: ADD
00000b32: DUP1
00000b33: PUSH1 0x40
00000b35: MSTORE
00000b36: POP
00000b37: DUP2
00000b38: ADD
00000b39: SWAP1
00000b3a: PUSH2 0x0b43
00000b3d: SWAP2
00000b3e: SWAP1
00000b3f: PUSH2 0x0e5c
00000b42: JUMP
00000b43: JUMPDEST
00000b44: SWAP1
00000b45: POP
00000b46: PUSH1 0x00
00000b48: DUP1
00000b49: JUMPDEST
00000b4a: DUP3
00000b4b: DUP2
00000b4c: LT
00000b4d: ISZERO
00000b4e: PUSH2 0x0c21
00000b51: JUMPI
00000b52: PUSH1 0x02
00000b54: SLOAD
00000b55: PUSH1 0x40
00000b57: MLOAD
00000b58: PUSH4 0x2f745c59
00000b5d: PUSH1 0xe0
00000b5f: SHL
00000b60: DUP2
00000b61: MSTORE
00000b62: PUSH1 0x01
00000b64: PUSH1 0x01
00000b66: PUSH1 0xa0
00000b68: SHL
00000b69: SUB
00000b6a: DUP8
00000b6b: DUP2
00000b6c: AND
00000b6d: PUSH1 0x04
00000b6f: DUP4
00000b70: ADD
00000b71: MSTORE
00000b72: PUSH1 0x24
00000b74: DUP3
00000b75: ADD
00000b76: DUP5
00000b77: SWAP1
00000b78: MSTORE
00000b79: PUSH1 0x00
00000b7b: SWAP3
00000b7c: AND
00000b7d: SWAP1
00000b7e: PUSH4 0x2f745c59
00000b83: SWAP1
00000b84: PUSH1 0x44
00000b86: ADD
00000b87: PUSH1 0x20
00000b89: PUSH1 0x40
00000b8b: MLOAD
00000b8c: DUP1
00000b8d: DUP4
00000b8e: SUB
00000b8f: DUP2
00000b90: DUP7
00000b91: DUP1
00000b92: EXTCODESIZE
00000b93: ISZERO
00000b94: DUP1
00000b95: ISZERO
00000b96: PUSH2 0x0b9e
00000b99: JUMPI
00000b9a: PUSH1 0x00
00000b9c: DUP1
00000b9d: REVERT
00000b9e: JUMPDEST
00000b9f: POP
00000ba0: GAS
00000ba1: STATICCALL
00000ba2: ISZERO
00000ba3: DUP1
00000ba4: ISZERO
00000ba5: PUSH2 0x0bb2
00000ba8: JUMPI
00000ba9: RETURNDATASIZE
00000baa: PUSH1 0x00
00000bac: DUP1
00000bad: RETURNDATACOPY
00000bae: RETURNDATASIZE
00000baf: PUSH1 0x00
00000bb1: REVERT
00000bb2: JUMPDEST
00000bb3: POP
00000bb4: POP
00000bb5: POP
00000bb6: POP
00000bb7: PUSH1 0x40
00000bb9: MLOAD
00000bba: RETURNDATASIZE
00000bbb: PUSH1 0x1f
00000bbd: NOT
00000bbe: PUSH1 0x1f
00000bc0: DUP3
00000bc1: ADD
00000bc2: AND
00000bc3: DUP3
00000bc4: ADD
00000bc5: DUP1
00000bc6: PUSH1 0x40
00000bc8: MSTORE
00000bc9: POP
00000bca: DUP2
00000bcb: ADD
00000bcc: SWAP1
00000bcd: PUSH2 0x0bd6
00000bd0: SWAP2
00000bd1: SWAP1
00000bd2: PUSH2 0x0e5c
00000bd5: JUMP
00000bd6: JUMPDEST
00000bd7: PUSH1 0x00
00000bd9: DUP2
00000bda: DUP2
00000bdb: MSTORE
00000bdc: PUSH1 0x08
00000bde: PUSH1 0x20
00000be0: MSTORE
00000be1: PUSH1 0x40
00000be3: DUP2
00000be4: KECCAK256
00000be5: SLOAD
00000be6: PUSH1 0x05
00000be8: SLOAD
00000be9: SWAP3
00000bea: SWAP4
00000beb: POP
00000bec: SWAP1
00000bed: SWAP2
00000bee: PUSH2 0x0bf7
00000bf1: SWAP2
00000bf2: SWAP1
00000bf3: PUSH2 0x0f2a
00000bf6: JUMP
00000bf7: JUMPDEST
00000bf8: SWAP1
00000bf9: POP
00000bfa: DUP1
00000bfb: ISZERO
00000bfc: PUSH2 0x0c0c
00000bff: JUMPI
00000c00: PUSH2 0x0c09
00000c03: DUP2
00000c04: DUP6
00000c05: PUSH2 0x0eb5
00000c08: JUMP
00000c09: JUMPDEST
00000c0a: SWAP4
00000c0b: POP
00000c0c: JUMPDEST
00000c0d: POP
00000c0e: POP
00000c0f: DUP1
00000c10: DUP1
00000c11: PUSH2 0x0c19
00000c14: SWAP1
00000c15: PUSH2 0x0f41
00000c18: JUMP
00000c19: JUMPDEST
00000c1a: SWAP2
00000c1b: POP
00000c1c: POP
00000c1d: PUSH2 0x0b49
00000c20: JUMP
00000c21: JUMPDEST
00000c22: POP
00000c23: SWAP4
00000c24: SWAP3
00000c25: POP
00000c26: POP
00000c27: POP
00000c28: JUMP
00000c29: JUMPDEST
00000c2a: PUSH1 0x00
00000c2c: SLOAD
00000c2d: PUSH1 0x01
00000c2f: PUSH1 0x01
00000c31: PUSH1 0xa0
00000c33: SHL
00000c34: SUB
00000c35: AND
00000c36: CALLER
00000c37: EQ
00000c38: DUP1
00000c39: PUSH2 0x0c4c
00000c3c: JUMPI
00000c3d: POP
00000c3e: PUSH1 0x04
00000c40: SLOAD
00000c41: PUSH1 0x01
00000c43: PUSH1 0x01
00000c45: PUSH1 0xa0
00000c47: SHL
00000c48: SUB
00000c49: AND
00000c4a: CALLER
00000c4b: EQ
00000c4c: JUMPDEST
00000c4d: PUSH2 0x0c98
00000c50: JUMPI
00000c51: PUSH1 0x40
00000c53: MLOAD
00000c54: PUSH3 0x461bcd
00000c58: PUSH1 0xe5
00000c5a: SHL
00000c5b: DUP2
00000c5c: MSTORE
00000c5d: PUSH1 0x20
00000c5f: PUSH1 0x04
00000c61: DUP3
00000c62: ADD
00000c63: MSTORE
00000c64: PUSH1 0x13
00000c66: PUSH1 0x24
00000c68: DUP3
00000c69: ADD
00000c6a: MSTORE
00000c6b: PUSH32 0x556e617574686f72697a65642041636365737300000000000000000000000000
00000c8c: PUSH1 0x44
00000c8e: DUP3
00000c8f: ADD
00000c90: MSTORE
00000c91: PUSH1 0x64
00000c93: ADD
00000c94: PUSH2 0x013d
00000c97: JUMP
00000c98: JUMPDEST
00000c99: PUSH1 0x01
00000c9b: PUSH1 0x01
00000c9d: PUSH1 0xa0
00000c9f: SHL
00000ca0: SUB
00000ca1: DUP2
00000ca2: AND
00000ca3: PUSH2 0x0cee
00000ca6: JUMPI
00000ca7: PUSH1 0x40
00000ca9: MLOAD
00000caa: PUSH3 0x461bcd
00000cae: PUSH1 0xe5
00000cb0: SHL
00000cb1: DUP2
00000cb2: MSTORE
00000cb3: PUSH1 0x20
00000cb5: PUSH1 0x04
00000cb7: DUP3
00000cb8: ADD
00000cb9: MSTORE
00000cba: PUSH1 0x0f
00000cbc: PUSH1 0x24
00000cbe: DUP3
00000cbf: ADD
00000cc0: MSTORE
00000cc1: PUSH32 0x496e76616c696420416464726573730000000000000000000000000000000000
00000ce2: PUSH1 0x44
00000ce4: DUP3
00000ce5: ADD
00000ce6: MSTORE
00000ce7: PUSH1 0x64
00000ce9: ADD
00000cea: PUSH2 0x013d
00000ced: JUMP
00000cee: JUMPDEST
00000cef: PUSH1 0x03
00000cf1: DUP1
00000cf2: SLOAD
00000cf3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d08: NOT
00000d09: AND
00000d0a: PUSH1 0x01
00000d0c: PUSH1 0x01
00000d0e: PUSH1 0xa0
00000d10: SHL
00000d11: SUB
00000d12: SWAP3
00000d13: SWAP1
00000d14: SWAP3
00000d15: AND
00000d16: SWAP2
00000d17: SWAP1
00000d18: SWAP2
00000d19: OR
00000d1a: SWAP1
00000d1b: SSTORE
00000d1c: JUMP
00000d1d: JUMPDEST
00000d1e: PUSH1 0x00
00000d20: SLOAD
00000d21: PUSH1 0x01
00000d23: PUSH1 0x01
00000d25: PUSH1 0xa0
00000d27: SHL
00000d28: SUB
00000d29: AND
00000d2a: CALLER
00000d2b: EQ
00000d2c: PUSH2 0x0d77
00000d2f: JUMPI
00000d30: PUSH1 0x40
00000d32: MLOAD
00000d33: PUSH3 0x461bcd
00000d37: PUSH1 0xe5
00000d39: SHL
00000d3a: DUP2
00000d3b: MSTORE
00000d3c: PUSH1 0x20
00000d3e: PUSH1 0x04
00000d40: DUP3
00000d41: ADD
00000d42: DUP2
00000d43: SWAP1
00000d44: MSTORE
00000d45: PUSH1 0x24
00000d47: DUP3
00000d48: ADD
00000d49: MSTORE
00000d4a: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00000d6b: PUSH1 0x44
00000d6d: DUP3
00000d6e: ADD
00000d6f: MSTORE
00000d70: PUSH1 0x64
00000d72: ADD
00000d73: PUSH2 0x013d
00000d76: JUMP
00000d77: JUMPDEST
00000d78: PUSH1 0x01
00000d7a: PUSH1 0x01
00000d7c: PUSH1 0xa0
00000d7e: SHL
00000d7f: SUB
00000d80: DUP2
00000d81: AND
00000d82: PUSH2 0x0df3
00000d85: JUMPI
00000d86: PUSH1 0x40
00000d88: MLOAD
00000d89: PUSH3 0x461bcd
00000d8d: PUSH1 0xe5
00000d8f: SHL
00000d90: DUP2
00000d91: MSTORE
00000d92: PUSH1 0x20
00000d94: PUSH1 0x04
00000d96: DUP3
00000d97: ADD
00000d98: MSTORE
00000d99: PUSH1 0x26
00000d9b: PUSH1 0x24
00000d9d: DUP3
00000d9e: ADD
00000d9f: MSTORE
00000da0: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00000dc1: PUSH1 0x44
00000dc3: DUP3
00000dc4: ADD
00000dc5: MSTORE
00000dc6: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000
00000de7: PUSH1 0x64
00000de9: DUP3
00000dea: ADD
00000deb: MSTORE
00000dec: PUSH1 0x84
00000dee: ADD
00000def: PUSH2 0x013d
00000df2: JUMP
00000df3: JUMPDEST
00000df4: PUSH2 0x0dfc
00000df7: DUP2
00000df8: PUSH2 0x0dff
00000dfb: JUMP
00000dfc: JUMPDEST
00000dfd: POP
00000dfe: JUMP
00000dff: JUMPDEST
00000e00: PUSH1 0x00
00000e02: DUP1
00000e03: SLOAD
00000e04: PUSH1 0x01
00000e06: PUSH1 0x01
00000e08: PUSH1 0xa0
00000e0a: SHL
00000e0b: SUB
00000e0c: DUP4
00000e0d: DUP2
00000e0e: AND
00000e0f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e24: NOT
00000e25: DUP4
00000e26: AND
00000e27: DUP2
00000e28: OR
00000e29: DUP5
00000e2a: SSTORE
00000e2b: PUSH1 0x40
00000e2d: MLOAD
00000e2e: SWAP2
00000e2f: SWAP1
00000e30: SWAP3
00000e31: AND
00000e32: SWAP3
00000e33: DUP4
00000e34: SWAP2
00000e35: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00000e56: SWAP2
00000e57: SWAP1
00000e58: LOG3
00000e59: POP
00000e5a: POP
00000e5b: JUMP
00000e5c: JUMPDEST
00000e5d: PUSH1 0x00
00000e5f: PUSH1 0x20
00000e61: DUP3
00000e62: DUP5
00000e63: SUB
00000e64: SLT
00000e65: ISZERO
00000e66: PUSH2 0x0e6e
00000e69: JUMPI
00000e6a: PUSH1 0x00
00000e6c: DUP1
00000e6d: REVERT
00000e6e: JUMPDEST
00000e6f: POP
00000e70: MLOAD
00000e71: SWAP2
00000e72: SWAP1
00000e73: POP
00000e74: JUMP
00000e75: JUMPDEST
00000e76: PUSH4 0x4e487b71
00000e7b: PUSH1 0xe0
00000e7d: SHL
00000e7e: PUSH1 0x00
00000e80: MSTORE
00000e81: PUSH1 0x12
00000e83: PUSH1 0x04
00000e85: MSTORE
00000e86: PUSH1 0x24
00000e88: PUSH1 0x00
00000e8a: REVERT
00000e8b: JUMPDEST
00000e8c: PUSH4 0x4e487b71
00000e91: PUSH1 0xe0
00000e93: SHL
00000e94: PUSH1 0x00
00000e96: MSTORE
00000e97: PUSH1 0x11
00000e99: PUSH1 0x04
00000e9b: MSTORE
00000e9c: PUSH1 0x24
00000e9e: PUSH1 0x00
00000ea0: REVERT
00000ea1: JUMPDEST
00000ea2: PUSH1 0x00
00000ea4: DUP3
00000ea5: PUSH2 0x0eb0
00000ea8: JUMPI
00000ea9: PUSH2 0x0eb0
00000eac: PUSH2 0x0e75
00000eaf: JUMP
00000eb0: JUMPDEST
00000eb1: POP
00000eb2: DIV
00000eb3: SWAP1
00000eb4: JUMP
00000eb5: JUMPDEST
00000eb6: PUSH1 0x00
00000eb8: DUP3
00000eb9: NOT
00000eba: DUP3
00000ebb: GT
00000ebc: ISZERO
00000ebd: PUSH2 0x0ec8
00000ec0: JUMPI
00000ec1: PUSH2 0x0ec8
00000ec4: PUSH2 0x0e8b
00000ec7: JUMP
00000ec8: JUMPDEST
00000ec9: POP
00000eca: ADD
00000ecb: SWAP1
00000ecc: JUMP
00000ecd: JUMPDEST
00000ece: PUSH1 0x00
00000ed0: DUP3
00000ed1: PUSH2 0x0edc
00000ed4: JUMPI
00000ed5: PUSH2 0x0edc
00000ed8: PUSH2 0x0e75
00000edb: JUMP
00000edc: JUMPDEST
00000edd: POP
00000ede: MOD
00000edf: SWAP1
00000ee0: JUMP
00000ee1: JUMPDEST
00000ee2: PUSH1 0x00
00000ee4: PUSH1 0x20
00000ee6: DUP3
00000ee7: DUP5
00000ee8: SUB
00000ee9: SLT
00000eea: ISZERO
00000eeb: PUSH2 0x0ef3
00000eee: JUMPI
00000eef: PUSH1 0x00
00000ef1: DUP1
00000ef2: REVERT
00000ef3: JUMPDEST
00000ef4: POP
00000ef5: CALLDATALOAD
00000ef6: SWAP2
00000ef7: SWAP1
00000ef8: POP
00000ef9: JUMP
00000efa: JUMPDEST
00000efb: PUSH1 0x00
00000efd: PUSH1 0x20
00000eff: DUP3
00000f00: DUP5
00000f01: SUB
00000f02: SLT
00000f03: ISZERO
00000f04: PUSH2 0x0f0c
00000f07: JUMPI
00000f08: PUSH1 0x00
00000f0a: DUP1
00000f0b: REVERT
00000f0c: JUMPDEST
00000f0d: DUP2
00000f0e: CALLDATALOAD
00000f0f: PUSH1 0x01
00000f11: PUSH1 0x01
00000f13: PUSH1 0xa0
00000f15: SHL
00000f16: SUB
00000f17: DUP2
00000f18: AND
00000f19: DUP2
00000f1a: EQ
00000f1b: PUSH2 0x0f23
00000f1e: JUMPI
00000f1f: PUSH1 0x00
00000f21: DUP1
00000f22: REVERT
00000f23: JUMPDEST
00000f24: SWAP4
00000f25: SWAP3
00000f26: POP
00000f27: POP
00000f28: POP
00000f29: JUMP
00000f2a: JUMPDEST
00000f2b: PUSH1 0x00
00000f2d: DUP3
00000f2e: DUP3
00000f2f: LT
00000f30: ISZERO
00000f31: PUSH2 0x0f3c
00000f34: JUMPI
00000f35: PUSH2 0x0f3c
00000f38: PUSH2 0x0e8b
00000f3b: JUMP
00000f3c: JUMPDEST
00000f3d: POP
00000f3e: SUB
00000f3f: SWAP1
00000f40: JUMP
00000f41: JUMPDEST
00000f42: PUSH1 0x00
00000f44: PUSH1 0x00
00000f46: NOT
00000f47: DUP3
00000f48: EQ
00000f49: ISZERO
00000f4a: PUSH2 0x0f55
00000f4d: JUMPI
00000f4e: PUSH2 0x0f55
00000f51: PUSH2 0x0e8b
00000f54: JUMP
00000f55: JUMPDEST
00000f56: POP
00000f57: PUSH1 0x01
00000f59: ADD
00000f5a: SWAP1
00000f5b: JUMP
00000f5c: INVALID
00000f5d: LOG2
00000f5e: PUSH5 0x6970667358
00000f64: UNKNOWN(0x22)
00000f65: SLT
00000f66: KECCAK256
00000f67: PUSH18 0x122db80a44cfd6d690e6f648ded72bcffd0f
00000f7a: UNKNOWN(0xED)
00000f7b: UNKNOWN(0x27)
00000f7c: PUSH0
00000f7d: PUSH13 0xe924340b05027b396264736f6c
00000f8b: PUSH4 0x43000809
00000f90: STOP
00000f91: CALLER

Findings

validated = confirmed for call sinks; sink observed for others

Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	other	detector	Untrusted CALL target/value reachable	60	no	no	view trace_id: 0x679283d463c2e58b99f089591031906cc00f7623f233426ccc9c801108b7a2e3 call_targets: 0x39dfba33b4388aa786232a4fd39f8f86fcd74067 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x679283d463c2e58b99f089591031906cc00f7623f233426ccc9c801108b7a2e3", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x39dfba33b4388aa786232a4fd39f8f86fcd74067" ], "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": "0xdf42113b", "selector": "0xdf42113b", "calldata_variants": [ "0xdf42113b", "0xdf42113b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf0f44260", "selector": "0xf0f44260", "calldata_variants": [ "0xf0f44260", "0xf0f442600000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf851a440", "selector": "0xf851a440", "calldata_variants": [ "0xf851a440", "0xf851a4400000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8da5cb5b", "selector": "0x8da5cb5b", "calldata_variants": [ "0x8da5cb5b", "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8f12e25f", "selector": "0x8f12e25f", "calldata_variants": [ "0x8f12e25f", "0x8f12e25f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa1c06970", "selector": "0xa1c06970", "calldata_variants": [ "0xa1c06970", "0xa1c069700000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd7a18099", "selector": "0xd7a18099", "calldata_variants": [ "0xd7a18099", "0xd7a180990000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2031, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2724, "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: 0x679283d463c2e58b99f089591031906cc00f7623f233426ccc9c801108b7a2e3 call_targets: 0x39dfba33b4388aa786232a4fd39f8f86fcd74067 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x679283d463c2e58b99f089591031906cc00f7623f233426ccc9c801108b7a2e3", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x39dfba33b4388aa786232a4fd39f8f86fcd74067" ], "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": "0xdf42113b", "selector": "0xdf42113b", "calldata_variants": [ "0xdf42113b", "0xdf42113b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf0f44260", "selector": "0xf0f44260", "calldata_variants": [ "0xf0f44260", "0xf0f442600000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf851a440", "selector": "0xf851a440", "calldata_variants": [ "0xf851a440", "0xf851a4400000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8da5cb5b", "selector": "0x8da5cb5b", "calldata_variants": [ "0x8da5cb5b", "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8f12e25f", "selector": "0x8f12e25f", "calldata_variants": [ "0x8f12e25f", "0x8f12e25f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa1c06970", "selector": "0xa1c06970", "calldata_variants": [ "0xa1c06970", "0xa1c069700000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd7a18099", "selector": "0xd7a18099", "calldata_variants": [ "0xd7a18099", "0xd7a180990000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2031, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2724, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 2, "guards_detected": [] }

Severity