Analysis Run

019b3836-24c3-7064-9063-c7ec79f1185d

complete

Chain ID

1

Address

0xf5580a99966f0ffc9a5252e51335ef2221a2184d

Block Number

—

Created

Fri, Dec 19, 2025 8:03 PM

Review Summary

What survived the funnel

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

back to vulns open contract

Confirmed

0

Validated

0

Source

Bytecode only

Review Backing

Not yet

Best current signal

Untrusted DELEGATECALL target reachable

crit 0 high 0 direct contract

Review Checklist

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

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

3. Confirm money or privilege impact.

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

Processing Jobs

Status & attempts

ID	Type	Status	Attempts	Heartbeat
677	artifact.fetch	complete	1 / 3	3 months ago
678	tool.cast_disasm	complete	1 / 3	3 months ago
44263	analysis.bundle	complete	1 / 3	1 week ago
44264	capability.graph	complete	1 / 3	1 week ago
44265	detector.run	complete	1 / 3	1 week ago
44266	validation.fork	complete	1 / 3	1 week ago

Artifact

Runtime bytecode: available

Creation TX: —

Deployer: —

Proxy: no

Implementation:

—

Verified Source: no

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm

Delegatecall

1

Selfdestruct

0

CREATE2

0

CALL-family (heavy)

11

EXT*/BALANCE

0

Total opcodes

2270

Flags

delegatecall_present

View cast disassembly output

00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x0127
0000000a: JUMPI
0000000b: PUSH1 0xe0
0000000d: PUSH1 0x02
0000000f: EXP
00000010: PUSH1 0x00
00000012: CALLDATALOAD
00000013: DIV
00000014: PUSH4 0x0539c6d6
00000019: DUP2
0000001a: EQ
0000001b: PUSH2 0x0129
0000001e: JUMPI
0000001f: DUP1
00000020: PUSH4 0x17a650cc
00000025: EQ
00000026: PUSH2 0x0133
00000029: JUMPI
0000002a: DUP1
0000002b: PUSH4 0x24eb95fe
00000030: EQ
00000031: PUSH2 0x01e0
00000034: JUMPI
00000035: DUP1
00000036: PUSH4 0x3cb260b2
0000003b: EQ
0000003c: PUSH2 0x01f8
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x45c5b8ac
00000046: EQ
00000047: PUSH2 0x026d
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x4edccd31
00000051: EQ
00000052: PUSH2 0x02b6
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x52d4bb02
0000005c: EQ
0000005d: PUSH2 0x0392
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x5b4ef70b
00000067: EQ
00000068: PUSH2 0x039b
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0x61f2de50
00000072: EQ
00000073: PUSH2 0x03c6
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0x66ab88ee
0000007d: EQ
0000007e: PUSH2 0x0492
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0x680f0eda
00000088: EQ
00000089: PUSH2 0x049e
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0x8f8930da
00000093: EQ
00000094: PUSH2 0x04c2
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0x98804938
0000009e: EQ
0000009f: PUSH2 0x04f6
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0xb070bdc6
000000a9: EQ
000000aa: PUSH2 0x0583
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0xb5a27a21
000000b4: EQ
000000b5: PUSH2 0x061c
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0xba50f965
000000bf: EQ
000000c0: PUSH2 0x06c4
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0xc3fe3e28
000000ca: EQ
000000cb: PUSH2 0x0707
000000ce: JUMPI
000000cf: DUP1
000000d0: PUSH4 0xc7df0a90
000000d5: EQ
000000d6: PUSH2 0x071e
000000d9: JUMPI
000000da: DUP1
000000db: PUSH4 0xddc63262
000000e0: EQ
000000e1: PUSH2 0x0786
000000e4: JUMPI
000000e5: DUP1
000000e6: PUSH4 0xe6f3ae3c
000000eb: EQ
000000ec: PUSH2 0x087c
000000ef: JUMPI
000000f0: DUP1
000000f1: PUSH4 0xe9333fab
000000f6: EQ
000000f7: PUSH2 0x08ae
000000fa: JUMPI
000000fb: DUP1
000000fc: PUSH4 0xeecc3be8
00000101: EQ
00000102: PUSH2 0x08e4
00000105: JUMPI
00000106: DUP1
00000107: PUSH4 0xf0a45cff
0000010c: EQ
0000010d: PUSH2 0x0954
00000110: JUMPI
00000111: DUP1
00000112: PUSH4 0xf6a5414d
00000117: EQ
00000118: PUSH2 0x09fc
0000011b: JUMPI
0000011c: DUP1
0000011d: PUSH4 0xf851a440
00000122: EQ
00000123: PUSH2 0x0a48
00000126: JUMPI
00000127: JUMPDEST
00000128: STOP
00000129: JUMPDEST
0000012a: PUSH2 0x0a5a
0000012d: PUSH1 0x02
0000012f: SLOAD
00000130: JUMPDEST
00000131: SWAP1
00000132: JUMP
00000133: JUMPDEST
00000134: PUSH2 0x0127
00000137: PUSH1 0x04
00000139: CALLDATALOAD
0000013a: PUSH1 0x06
0000013c: PUSH1 0x01
0000013e: SWAP1
0000013f: SLOAD
00000140: SWAP1
00000141: PUSH2 0x0100
00000144: EXP
00000145: SWAP1
00000146: DIV
00000147: PUSH1 0x01
00000149: PUSH1 0xa0
0000014b: PUSH1 0x02
0000014d: EXP
0000014e: SUB
0000014f: AND
00000150: PUSH1 0x01
00000152: PUSH1 0xa0
00000154: PUSH1 0x02
00000156: EXP
00000157: SUB
00000158: AND
00000159: PUSH4 0x7d9383c3
0000015e: CALLER
0000015f: PUSH1 0x40
00000161: MLOAD
00000162: DUP3
00000163: PUSH1 0xe0
00000165: PUSH1 0x02
00000167: EXP
00000168: MUL
00000169: DUP2
0000016a: MSTORE
0000016b: PUSH1 0x04
0000016d: ADD
0000016e: DUP1
0000016f: DUP3
00000170: PUSH1 0x01
00000172: PUSH1 0xa0
00000174: PUSH1 0x02
00000176: EXP
00000177: SUB
00000178: AND
00000179: DUP2
0000017a: MSTORE
0000017b: PUSH1 0x20
0000017d: ADD
0000017e: SWAP2
0000017f: POP
00000180: POP
00000181: PUSH1 0x20
00000183: PUSH1 0x40
00000185: MLOAD
00000186: DUP1
00000187: DUP4
00000188: SUB
00000189: DUP2
0000018a: PUSH1 0x00
0000018c: DUP8
0000018d: PUSH2 0x61da
00000190: GAS
00000191: SUB
00000192: CALL
00000193: ISZERO
00000194: PUSH2 0x0002
00000197: JUMPI
00000198: POP
00000199: POP
0000019a: PUSH1 0x40
0000019c: MLOAD
0000019d: MLOAD
0000019e: PUSH1 0x01
000001a0: EQ
000001a1: ISZERO
000001a2: SWAP1
000001a3: POP
000001a4: PUSH2 0x08e1
000001a7: JUMPI
000001a8: CALLER
000001a9: PUSH1 0x02
000001ab: PUSH1 0x00
000001ad: POP
000001ae: DUP3
000001af: DUP2
000001b0: SLOAD
000001b1: DUP2
000001b2: LT
000001b3: ISZERO
000001b4: PUSH2 0x0002
000001b7: JUMPI
000001b8: POP
000001b9: PUSH1 0x00
000001bb: MSTORE
000001bc: PUSH1 0x00
000001be: DUP1
000001bf: MLOAD
000001c0: PUSH1 0x20
000001c2: PUSH2 0x0c51
000001c5: DUP4
000001c6: CODECOPY
000001c7: DUP2
000001c8: MLOAD
000001c9: SWAP2
000001ca: MSTORE
000001cb: SWAP1
000001cc: SWAP2
000001cd: ADD
000001ce: DUP1
000001cf: SLOAD
000001d0: PUSH1 0x01
000001d2: PUSH1 0xa0
000001d4: PUSH1 0x02
000001d6: EXP
000001d7: SUB
000001d8: NOT
000001d9: AND
000001da: SWAP1
000001db: SWAP2
000001dc: OR
000001dd: SWAP1
000001de: SSTORE
000001df: JUMP
000001e0: JUMPDEST
000001e1: PUSH2 0x0a5a
000001e4: PUSH1 0x04
000001e6: CALLDATALOAD
000001e7: PUSH1 0x03
000001e9: DUP2
000001ea: PUSH1 0x02
000001ec: DUP2
000001ed: LT
000001ee: ISZERO
000001ef: PUSH2 0x0002
000001f2: JUMPI
000001f3: POP
000001f4: ADD
000001f5: SLOAD
000001f6: DUP2
000001f7: JUMP
000001f8: JUMPDEST
000001f9: PUSH2 0x0127
000001fc: PUSH1 0x04
000001fe: CALLDATALOAD
000001ff: PUSH1 0x24
00000201: CALLDATALOAD
00000202: PUSH1 0x07
00000204: SLOAD
00000205: PUSH1 0x01
00000207: PUSH1 0xa0
00000209: PUSH1 0x02
0000020b: EXP
0000020c: SUB
0000020d: SWAP1
0000020e: DUP2
0000020f: AND
00000210: SWAP1
00000211: CALLER
00000212: AND
00000213: DUP2
00000214: EQ
00000215: ISZERO
00000216: PUSH2 0x0b5d
00000219: JUMPI
0000021a: PUSH1 0x03
0000021c: DUP4
0000021d: SWAP1
0000021e: SSTORE
0000021f: PUSH1 0x04
00000221: DUP3
00000222: SWAP1
00000223: SSTORE
00000224: PUSH1 0x01
00000226: DUP1
00000227: SLOAD
00000228: DUP4
00000229: DUP6
0000022a: MUL
0000022b: DUP1
0000022c: DUP4
0000022d: SSTORE
0000022e: SWAP2
0000022f: SWAP1
00000230: DUP3
00000231: SWAP1
00000232: DUP1
00000233: ISZERO
00000234: DUP3
00000235: SWAP1
00000236: GT
00000237: PUSH2 0x0b62
0000023a: JUMPI
0000023b: PUSH1 0x00
0000023d: DUP4
0000023e: SWAP1
0000023f: MSTORE
00000240: PUSH2 0x0b62
00000243: SWAP1
00000244: PUSH1 0x00
00000246: DUP1
00000247: MLOAD
00000248: PUSH1 0x20
0000024a: PUSH2 0x0c71
0000024d: DUP4
0000024e: CODECOPY
0000024f: DUP2
00000250: MLOAD
00000251: SWAP2
00000252: MSTORE
00000253: SWAP1
00000254: DUP2
00000255: ADD
00000256: SWAP1
00000257: DUP4
00000258: ADD
00000259: JUMPDEST
0000025a: DUP1
0000025b: DUP3
0000025c: GT
0000025d: ISZERO
0000025e: PUSH2 0x0b9f
00000261: JUMPI
00000262: PUSH1 0x00
00000264: DUP2
00000265: SSTORE
00000266: PUSH1 0x01
00000268: ADD
00000269: PUSH2 0x0259
0000026c: JUMP
0000026d: JUMPDEST
0000026e: PUSH2 0x0127
00000271: PUSH1 0x04
00000273: CALLDATALOAD
00000274: PUSH1 0x07
00000276: SLOAD
00000277: PUSH1 0x01
00000279: PUSH1 0xa0
0000027b: PUSH1 0x02
0000027d: EXP
0000027e: SUB
0000027f: SWAP1
00000280: DUP2
00000281: AND
00000282: SWAP1
00000283: CALLER
00000284: AND
00000285: DUP2
00000286: EQ
00000287: ISZERO
00000288: PUSH2 0x08df
0000028b: JUMPI
0000028c: PUSH1 0x06
0000028e: DUP1
0000028f: SLOAD
00000290: PUSH2 0x0100
00000293: DUP5
00000294: MUL
00000295: PUSH21 0xffffffffffffffffffffffffffffffffffffffff00
000002ab: NOT
000002ac: SWAP2
000002ad: SWAP1
000002ae: SWAP2
000002af: AND
000002b0: OR
000002b1: SWAP1
000002b2: SSTORE
000002b3: POP
000002b4: POP
000002b5: JUMP
000002b6: JUMPDEST
000002b7: PUSH2 0x0127
000002ba: PUSH1 0x04
000002bc: CALLDATALOAD
000002bd: PUSH1 0x24
000002bf: CALLDATALOAD
000002c0: PUSH1 0x44
000002c2: CALLDATALOAD
000002c3: PUSH1 0x64
000002c5: CALLDATALOAD
000002c6: PUSH1 0x07
000002c8: SLOAD
000002c9: PUSH1 0x01
000002cb: PUSH1 0xa0
000002cd: PUSH1 0x02
000002cf: EXP
000002d0: SUB
000002d1: SWAP1
000002d2: DUP2
000002d3: AND
000002d4: SWAP1
000002d5: CALLER
000002d6: AND
000002d7: DUP2
000002d8: EQ
000002d9: ISZERO
000002da: PUSH2 0x038b
000002dd: JUMPI
000002de: DUP4
000002df: PUSH1 0x00
000002e1: PUSH1 0x00
000002e3: POP
000002e4: DUP7
000002e5: DUP2
000002e6: SLOAD
000002e7: DUP2
000002e8: LT
000002e9: ISZERO
000002ea: PUSH2 0x0002
000002ed: JUMPI
000002ee: SWAP1
000002ef: DUP1
000002f0: MSTORE
000002f1: PUSH1 0x20
000002f3: DUP1
000002f4: DUP3
000002f5: DIV
000002f6: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e563
00000317: ADD
00000318: SWAP2
00000319: MOD
0000031a: PUSH2 0x0100
0000031d: EXP
0000031e: DUP2
0000031f: SLOAD
00000320: DUP2
00000321: PUSH1 0xff
00000323: MUL
00000324: NOT
00000325: AND
00000326: SWAP1
00000327: DUP4
00000328: MUL
00000329: OR
0000032a: SWAP1
0000032b: SSTORE
0000032c: POP
0000032d: DUP3
0000032e: PUSH1 0x01
00000330: PUSH1 0x00
00000332: POP
00000333: DUP7
00000334: DUP2
00000335: SLOAD
00000336: DUP2
00000337: LT
00000338: ISZERO
00000339: PUSH2 0x0002
0000033c: JUMPI
0000033d: PUSH1 0x00
0000033f: SWAP2
00000340: DUP3
00000341: MSTORE
00000342: PUSH1 0x00
00000344: DUP1
00000345: MLOAD
00000346: PUSH1 0x20
00000348: PUSH2 0x0c71
0000034b: DUP4
0000034c: CODECOPY
0000034d: DUP2
0000034e: MLOAD
0000034f: SWAP2
00000350: MSTORE
00000351: ADD
00000352: SWAP1
00000353: POP
00000354: SSTORE
00000355: PUSH1 0x02
00000357: DUP1
00000358: SLOAD
00000359: DUP4
0000035a: SWAP2
0000035b: SWAP1
0000035c: DUP8
0000035d: SWAP1
0000035e: DUP2
0000035f: LT
00000360: ISZERO
00000361: PUSH2 0x0002
00000364: JUMPI
00000365: POP
00000366: PUSH1 0x00
00000368: MSTORE
00000369: POP
0000036a: PUSH1 0x00
0000036c: DUP1
0000036d: MLOAD
0000036e: PUSH1 0x20
00000370: PUSH2 0x0c51
00000373: DUP4
00000374: CODECOPY
00000375: DUP2
00000376: MLOAD
00000377: SWAP2
00000378: MSTORE
00000379: DUP6
0000037a: ADD
0000037b: DUP1
0000037c: SLOAD
0000037d: PUSH1 0x01
0000037f: PUSH1 0xa0
00000381: PUSH1 0x02
00000383: EXP
00000384: SUB
00000385: NOT
00000386: AND
00000387: DUP4
00000388: OR
00000389: SWAP1
0000038a: SSTORE
0000038b: JUMPDEST
0000038c: POP
0000038d: POP
0000038e: POP
0000038f: POP
00000390: POP
00000391: JUMP
00000392: JUMPDEST
00000393: PUSH2 0x0a5a
00000396: PUSH1 0x05
00000398: SLOAD
00000399: DUP2
0000039a: JUMP
0000039b: JUMPDEST
0000039c: PUSH2 0x0a5a
0000039f: PUSH1 0x04
000003a1: CALLDATALOAD
000003a2: PUSH1 0x01
000003a4: DUP1
000003a5: SLOAD
000003a6: DUP3
000003a7: SWAP1
000003a8: DUP2
000003a9: LT
000003aa: ISZERO
000003ab: PUSH2 0x0002
000003ae: JUMPI
000003af: POP
000003b0: PUSH1 0x00
000003b2: MSTORE
000003b3: PUSH1 0x00
000003b5: DUP1
000003b6: MLOAD
000003b7: PUSH1 0x20
000003b9: PUSH2 0x0c71
000003bc: DUP4
000003bd: CODECOPY
000003be: DUP2
000003bf: MLOAD
000003c0: SWAP2
000003c1: MSTORE
000003c2: ADD
000003c3: SLOAD
000003c4: DUP2
000003c5: JUMP
000003c6: JUMPDEST
000003c7: PUSH2 0x0127
000003ca: PUSH1 0x04
000003cc: CALLDATALOAD
000003cd: PUSH1 0x24
000003cf: CALLDATALOAD
000003d0: PUSH1 0x06
000003d2: PUSH1 0x01
000003d4: SWAP1
000003d5: SLOAD
000003d6: SWAP1
000003d7: PUSH2 0x0100
000003da: EXP
000003db: SWAP1
000003dc: DIV
000003dd: PUSH1 0x01
000003df: PUSH1 0xa0
000003e1: PUSH1 0x02
000003e3: EXP
000003e4: SUB
000003e5: AND
000003e6: PUSH1 0x01
000003e8: PUSH1 0xa0
000003ea: PUSH1 0x02
000003ec: EXP
000003ed: SUB
000003ee: AND
000003ef: PUSH4 0x7d9383c3
000003f4: CALLER
000003f5: PUSH1 0x40
000003f7: MLOAD
000003f8: DUP3
000003f9: PUSH1 0xe0
000003fb: PUSH1 0x02
000003fd: EXP
000003fe: MUL
000003ff: DUP2
00000400: MSTORE
00000401: PUSH1 0x04
00000403: ADD
00000404: DUP1
00000405: DUP3
00000406: PUSH1 0x01
00000408: PUSH1 0xa0
0000040a: PUSH1 0x02
0000040c: EXP
0000040d: SUB
0000040e: AND
0000040f: DUP2
00000410: MSTORE
00000411: PUSH1 0x20
00000413: ADD
00000414: SWAP2
00000415: POP
00000416: POP
00000417: PUSH1 0x20
00000419: PUSH1 0x40
0000041b: MLOAD
0000041c: DUP1
0000041d: DUP4
0000041e: SUB
0000041f: DUP2
00000420: PUSH1 0x00
00000422: DUP8
00000423: PUSH2 0x61da
00000426: GAS
00000427: SUB
00000428: CALL
00000429: ISZERO
0000042a: PUSH2 0x0002
0000042d: JUMPI
0000042e: POP
0000042f: POP
00000430: PUSH1 0x40
00000432: MLOAD
00000433: MLOAD
00000434: PUSH1 0x01
00000436: EQ
00000437: SWAP1
00000438: POP
00000439: DUP1
0000043a: PUSH2 0x0452
0000043d: JUMPI
0000043e: POP
0000043f: PUSH1 0x07
00000441: SLOAD
00000442: PUSH1 0x01
00000444: PUSH1 0xa0
00000446: PUSH1 0x02
00000448: EXP
00000449: SUB
0000044a: SWAP1
0000044b: DUP2
0000044c: AND
0000044d: CALLER
0000044e: SWAP1
0000044f: SWAP2
00000450: AND
00000451: EQ
00000452: JUMPDEST
00000453: ISZERO
00000454: PUSH2 0x08df
00000457: JUMPI
00000458: DUP1
00000459: PUSH1 0x02
0000045b: PUSH1 0x00
0000045d: POP
0000045e: DUP4
0000045f: DUP2
00000460: SLOAD
00000461: DUP2
00000462: LT
00000463: ISZERO
00000464: PUSH2 0x0002
00000467: JUMPI
00000468: PUSH1 0x00
0000046a: SWAP2
0000046b: SWAP1
0000046c: SWAP2
0000046d: MSTORE
0000046e: PUSH1 0x00
00000470: DUP1
00000471: MLOAD
00000472: PUSH1 0x20
00000474: PUSH2 0x0c51
00000477: DUP4
00000478: CODECOPY
00000479: DUP2
0000047a: MLOAD
0000047b: SWAP2
0000047c: MSTORE
0000047d: ADD
0000047e: DUP1
0000047f: SLOAD
00000480: PUSH1 0x01
00000482: PUSH1 0xa0
00000484: PUSH1 0x02
00000486: EXP
00000487: SUB
00000488: NOT
00000489: AND
0000048a: SWAP1
0000048b: SWAP2
0000048c: OR
0000048d: SWAP1
0000048e: SSTORE
0000048f: POP
00000490: POP
00000491: JUMP
00000492: JUMPDEST
00000493: PUSH2 0x0a5a
00000496: PUSH1 0x06
00000498: SLOAD
00000499: PUSH1 0xff
0000049b: AND
0000049c: DUP2
0000049d: JUMP
0000049e: JUMPDEST
0000049f: PUSH2 0x0127
000004a2: PUSH1 0x04
000004a4: CALLDATALOAD
000004a5: PUSH1 0x07
000004a7: SLOAD
000004a8: PUSH1 0x01
000004aa: PUSH1 0xa0
000004ac: PUSH1 0x02
000004ae: EXP
000004af: SUB
000004b0: SWAP1
000004b1: DUP2
000004b2: AND
000004b3: SWAP1
000004b4: CALLER
000004b5: AND
000004b6: DUP2
000004b7: EQ
000004b8: ISZERO
000004b9: PUSH2 0x08df
000004bc: JUMPI
000004bd: POP
000004be: PUSH1 0x05
000004c0: SSTORE
000004c1: JUMP
000004c2: JUMPDEST
000004c3: PUSH2 0x0a6c
000004c6: PUSH1 0x04
000004c8: CALLDATALOAD
000004c9: PUSH1 0x02
000004cb: DUP1
000004cc: SLOAD
000004cd: DUP3
000004ce: SWAP1
000004cf: DUP2
000004d0: LT
000004d1: ISZERO
000004d2: PUSH2 0x0002
000004d5: JUMPI
000004d6: POP
000004d7: PUSH1 0x00
000004d9: MSTORE
000004da: PUSH1 0x00
000004dc: DUP1
000004dd: MLOAD
000004de: PUSH1 0x20
000004e0: PUSH2 0x0c51
000004e3: DUP4
000004e4: CODECOPY
000004e5: DUP2
000004e6: MLOAD
000004e7: SWAP2
000004e8: MSTORE
000004e9: ADD
000004ea: SLOAD
000004eb: PUSH1 0x01
000004ed: PUSH1 0xa0
000004ef: PUSH1 0x02
000004f1: EXP
000004f2: SUB
000004f3: AND
000004f4: DUP2
000004f5: JUMP
000004f6: JUMPDEST
000004f7: PUSH2 0x0127
000004fa: PUSH1 0x04
000004fc: CALLDATALOAD
000004fd: PUSH1 0x24
000004ff: CALLDATALOAD
00000500: PUSH1 0x07
00000502: SLOAD
00000503: PUSH1 0x00
00000505: SWAP1
00000506: DUP2
00000507: SWAP1
00000508: DUP2
00000509: SWAP1
0000050a: DUP2
0000050b: SWAP1
0000050c: PUSH1 0x01
0000050e: PUSH1 0xa0
00000510: PUSH1 0x02
00000512: EXP
00000513: SUB
00000514: SWAP1
00000515: DUP2
00000516: AND
00000517: SWAP1
00000518: CALLER
00000519: AND
0000051a: DUP2
0000051b: EQ
0000051c: ISZERO
0000051d: PUSH2 0x0b58
00000520: JUMPI
00000521: NUMBER
00000522: PUSH1 0x00
00000524: NOT
00000525: ADD
00000526: BLOCKHASH
00000527: SWAP5
00000528: POP
00000529: JUMPDEST
0000052a: DUP7
0000052b: PUSH1 0xff
0000052d: AND
0000052e: DUP5
0000052f: PUSH1 0xff
00000531: AND
00000532: LT
00000533: ISZERO
00000534: PUSH2 0x0b58
00000537: JUMPI
00000538: PUSH1 0x01
0000053a: DUP1
0000053b: SLOAD
0000053c: PUSH2 0x0100
0000053f: DUP8
00000540: DIV
00000541: SWAP7
00000542: PUSH1 0xff
00000544: SWAP1
00000545: DUP2
00000546: SWAP1
00000547: MOD
00000548: SWAP6
00000549: POP
0000054a: DUP6
0000054b: DUP3
0000054c: MUL
0000054d: DIV
0000054e: SWAP4
0000054f: POP
00000550: DUP8
00000551: SWAP2
00000552: SWAP1
00000553: DUP5
00000554: SWAP1
00000555: DUP2
00000556: LT
00000557: ISZERO
00000558: PUSH2 0x0002
0000055b: JUMPI
0000055c: PUSH1 0x00
0000055e: DUP3
0000055f: SWAP1
00000560: MSTORE
00000561: PUSH1 0x00
00000563: DUP1
00000564: MLOAD
00000565: PUSH1 0x20
00000567: PUSH2 0x0c71
0000056a: DUP4
0000056b: CODECOPY
0000056c: DUP2
0000056d: MLOAD
0000056e: SWAP2
0000056f: MSTORE
00000570: ADD
00000571: DUP1
00000572: SLOAD
00000573: SWAP3
00000574: SWAP1
00000575: SWAP3
00000576: ADD
00000577: SWAP1
00000578: SWAP2
00000579: SSTORE
0000057a: SWAP4
0000057b: SWAP1
0000057c: SWAP4
0000057d: ADD
0000057e: SWAP3
0000057f: PUSH2 0x0529
00000582: JUMP
00000583: JUMPDEST
00000584: PUSH1 0x40
00000586: DUP1
00000587: MLOAD
00000588: PUSH1 0x20
0000058a: DUP2
0000058b: DUP2
0000058c: ADD
0000058d: DUP4
0000058e: MSTORE
0000058f: PUSH1 0x00
00000591: DUP1
00000592: DUP4
00000593: MSTORE
00000594: DUP4
00000595: MLOAD
00000596: DUP2
00000597: SLOAD
00000598: DUP1
00000599: DUP5
0000059a: MUL
0000059b: DUP3
0000059c: ADD
0000059d: DUP5
0000059e: ADD
0000059f: SWAP1
000005a0: SWAP6
000005a1: MSTORE
000005a2: DUP5
000005a3: DUP2
000005a4: MSTORE
000005a5: PUSH2 0x0a89
000005a8: SWAP5
000005a9: SWAP1
000005aa: SWAP3
000005ab: DUP4
000005ac: ADD
000005ad: DUP3
000005ae: DUP3
000005af: DUP1
000005b0: ISZERO
000005b1: PUSH2 0x077a
000005b4: JUMPI
000005b5: SWAP1
000005b6: DUP1
000005b7: MSTORE
000005b8: PUSH1 0x20
000005ba: MUL
000005bb: DUP2
000005bc: ADD
000005bd: SWAP1
000005be: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e563
000005df: SWAP1
000005e0: DUP5
000005e1: SWAP1
000005e2: JUMPDEST
000005e3: DUP3
000005e4: SLOAD
000005e5: PUSH2 0x0100
000005e8: DUP4
000005e9: SWAP1
000005ea: EXP
000005eb: SWAP1
000005ec: DIV
000005ed: PUSH1 0xff
000005ef: AND
000005f0: DUP2
000005f1: MSTORE
000005f2: PUSH1 0x20
000005f4: PUSH1 0x01
000005f6: SWAP3
000005f7: DUP4
000005f8: ADD
000005f9: DUP2
000005fa: DUP2
000005fb: DIV
000005fc: SWAP5
000005fd: DUP6
000005fe: ADD
000005ff: SWAP5
00000600: SWAP1
00000601: SWAP4
00000602: SUB
00000603: SWAP1
00000604: SWAP3
00000605: MUL
00000606: SWAP2
00000607: ADD
00000608: DUP1
00000609: DUP5
0000060a: GT
0000060b: PUSH2 0x05e2
0000060e: JUMPI
0000060f: SWAP1
00000610: POP
00000611: POP
00000612: POP
00000613: POP
00000614: POP
00000615: POP
00000616: SWAP1
00000617: POP
00000618: PUSH2 0x0130
0000061b: JUMP
0000061c: JUMPDEST
0000061d: PUSH2 0x0127
00000620: PUSH1 0x04
00000622: CALLDATALOAD
00000623: PUSH1 0x06
00000625: PUSH1 0x01
00000627: SWAP1
00000628: SLOAD
00000629: SWAP1
0000062a: PUSH2 0x0100
0000062d: EXP
0000062e: SWAP1
0000062f: DIV
00000630: PUSH1 0x01
00000632: PUSH1 0xa0
00000634: PUSH1 0x02
00000636: EXP
00000637: SUB
00000638: AND
00000639: PUSH1 0x01
0000063b: PUSH1 0xa0
0000063d: PUSH1 0x02
0000063f: EXP
00000640: SUB
00000641: AND
00000642: PUSH4 0x7d9383c3
00000647: CALLER
00000648: PUSH1 0x40
0000064a: MLOAD
0000064b: DUP3
0000064c: PUSH1 0xe0
0000064e: PUSH1 0x02
00000650: EXP
00000651: MUL
00000652: DUP2
00000653: MSTORE
00000654: PUSH1 0x04
00000656: ADD
00000657: DUP1
00000658: DUP3
00000659: PUSH1 0x01
0000065b: PUSH1 0xa0
0000065d: PUSH1 0x02
0000065f: EXP
00000660: SUB
00000661: AND
00000662: DUP2
00000663: MSTORE
00000664: PUSH1 0x20
00000666: ADD
00000667: SWAP2
00000668: POP
00000669: POP
0000066a: PUSH1 0x20
0000066c: PUSH1 0x40
0000066e: MLOAD
0000066f: DUP1
00000670: DUP4
00000671: SUB
00000672: DUP2
00000673: PUSH1 0x00
00000675: DUP8
00000676: PUSH2 0x61da
00000679: GAS
0000067a: SUB
0000067b: CALL
0000067c: ISZERO
0000067d: PUSH2 0x0002
00000680: JUMPI
00000681: POP
00000682: POP
00000683: PUSH1 0x40
00000685: MLOAD
00000686: MLOAD
00000687: PUSH1 0x01
00000689: EQ
0000068a: ISZERO
0000068b: SWAP1
0000068c: POP
0000068d: PUSH2 0x08e1
00000690: JUMPI
00000691: PUSH1 0x00
00000693: PUSH1 0x02
00000695: PUSH1 0x00
00000697: POP
00000698: DUP3
00000699: DUP2
0000069a: SLOAD
0000069b: DUP2
0000069c: LT
0000069d: ISZERO
0000069e: PUSH2 0x0002
000006a1: JUMPI
000006a2: POP
000006a3: SWAP1
000006a4: MSTORE
000006a5: PUSH1 0x00
000006a7: DUP1
000006a8: MLOAD
000006a9: PUSH1 0x20
000006ab: PUSH2 0x0c51
000006ae: DUP4
000006af: CODECOPY
000006b0: DUP2
000006b1: MLOAD
000006b2: SWAP2
000006b3: MSTORE
000006b4: ADD
000006b5: DUP1
000006b6: SLOAD
000006b7: PUSH1 0x01
000006b9: PUSH1 0xa0
000006bb: PUSH1 0x02
000006bd: EXP
000006be: SUB
000006bf: NOT
000006c0: AND
000006c1: SWAP1
000006c2: SSTORE
000006c3: JUMP
000006c4: JUMPDEST
000006c5: PUSH2 0x0127
000006c8: PUSH1 0x04
000006ca: CALLDATALOAD
000006cb: PUSH1 0x24
000006cd: CALLDATALOAD
000006ce: DUP1
000006cf: PUSH1 0x02
000006d1: PUSH1 0x00
000006d3: POP
000006d4: DUP4
000006d5: DUP2
000006d6: SLOAD
000006d7: DUP2
000006d8: LT
000006d9: ISZERO
000006da: PUSH2 0x0002
000006dd: JUMPI
000006de: POP
000006df: PUSH1 0x00
000006e1: MSTORE
000006e2: POP
000006e3: PUSH1 0x00
000006e5: DUP1
000006e6: MLOAD
000006e7: PUSH1 0x20
000006e9: PUSH2 0x0c51
000006ec: DUP4
000006ed: CODECOPY
000006ee: DUP2
000006ef: MLOAD
000006f0: SWAP2
000006f1: MSTORE
000006f2: SWAP1
000006f3: SWAP2
000006f4: ADD
000006f5: DUP1
000006f6: SLOAD
000006f7: PUSH1 0x01
000006f9: PUSH1 0xa0
000006fb: PUSH1 0x02
000006fd: EXP
000006fe: SUB
000006ff: NOT
00000700: AND
00000701: SWAP1
00000702: SWAP2
00000703: OR
00000704: SWAP1
00000705: SSTORE
00000706: JUMP
00000707: JUMPDEST
00000708: PUSH2 0x0a6c
0000070b: PUSH1 0x06
0000070d: SLOAD
0000070e: PUSH2 0x0100
00000711: SWAP1
00000712: DIV
00000713: PUSH1 0x01
00000715: PUSH1 0xa0
00000717: PUSH1 0x02
00000719: EXP
0000071a: SUB
0000071b: AND
0000071c: DUP2
0000071d: JUMP
0000071e: JUMPDEST
0000071f: PUSH2 0x0a89
00000722: PUSH1 0x40
00000724: DUP1
00000725: MLOAD
00000726: PUSH1 0x20
00000728: DUP2
00000729: DUP2
0000072a: ADD
0000072b: DUP4
0000072c: MSTORE
0000072d: PUSH1 0x00
0000072f: DUP3
00000730: MSTORE
00000731: DUP3
00000732: MLOAD
00000733: PUSH1 0x01
00000735: DUP1
00000736: SLOAD
00000737: DUP1
00000738: DUP5
00000739: MUL
0000073a: DUP4
0000073b: ADD
0000073c: DUP5
0000073d: ADD
0000073e: SWAP1
0000073f: SWAP6
00000740: MSTORE
00000741: DUP5
00000742: DUP3
00000743: MSTORE
00000744: SWAP3
00000745: SWAP4
00000746: SWAP1
00000747: SWAP3
00000748: SWAP2
00000749: DUP4
0000074a: ADD
0000074b: DUP3
0000074c: DUP3
0000074d: DUP1
0000074e: ISZERO
0000074f: PUSH2 0x077a
00000752: JUMPI
00000753: PUSH1 0x20
00000755: MUL
00000756: DUP3
00000757: ADD
00000758: SWAP2
00000759: SWAP1
0000075a: PUSH1 0x00
0000075c: MSTORE
0000075d: PUSH1 0x20
0000075f: PUSH1 0x00
00000761: KECCAK256
00000762: SWAP1
00000763: JUMPDEST
00000764: DUP2
00000765: PUSH1 0x00
00000767: POP
00000768: SLOAD
00000769: DUP2
0000076a: MSTORE
0000076b: PUSH1 0x20
0000076d: ADD
0000076e: SWAP1
0000076f: PUSH1 0x01
00000771: ADD
00000772: SWAP1
00000773: DUP1
00000774: DUP4
00000775: GT
00000776: PUSH2 0x0763
00000779: JUMPI
0000077a: JUMPDEST
0000077b: POP
0000077c: POP
0000077d: POP
0000077e: POP
0000077f: POP
00000780: SWAP1
00000781: POP
00000782: PUSH2 0x0130
00000785: JUMP
00000786: JUMPDEST
00000787: PUSH2 0x0a5a
0000078a: PUSH1 0x04
0000078c: CALLDATALOAD
0000078d: PUSH1 0x00
0000078f: PUSH1 0x06
00000791: PUSH1 0x01
00000793: SWAP1
00000794: SLOAD
00000795: SWAP1
00000796: PUSH2 0x0100
00000799: EXP
0000079a: SWAP1
0000079b: DIV
0000079c: PUSH1 0x01
0000079e: PUSH1 0xa0
000007a0: PUSH1 0x02
000007a2: EXP
000007a3: SUB
000007a4: AND
000007a5: PUSH1 0x01
000007a7: PUSH1 0xa0
000007a9: PUSH1 0x02
000007ab: EXP
000007ac: SUB
000007ad: AND
000007ae: PUSH4 0x7d9383c3
000007b3: CALLER
000007b4: PUSH1 0x40
000007b6: MLOAD
000007b7: DUP3
000007b8: PUSH1 0xe0
000007ba: PUSH1 0x02
000007bc: EXP
000007bd: MUL
000007be: DUP2
000007bf: MSTORE
000007c0: PUSH1 0x04
000007c2: ADD
000007c3: DUP1
000007c4: DUP3
000007c5: PUSH1 0x01
000007c7: PUSH1 0xa0
000007c9: PUSH1 0x02
000007cb: EXP
000007cc: SUB
000007cd: AND
000007ce: DUP2
000007cf: MSTORE
000007d0: PUSH1 0x20
000007d2: ADD
000007d3: SWAP2
000007d4: POP
000007d5: POP
000007d6: PUSH1 0x20
000007d8: PUSH1 0x40
000007da: MLOAD
000007db: DUP1
000007dc: DUP4
000007dd: SUB
000007de: DUP2
000007df: PUSH1 0x00
000007e1: DUP8
000007e2: PUSH2 0x61da
000007e5: GAS
000007e6: SUB
000007e7: CALL
000007e8: ISZERO
000007e9: PUSH2 0x0002
000007ec: JUMPI
000007ed: POP
000007ee: POP
000007ef: PUSH1 0x40
000007f1: MLOAD
000007f2: MLOAD
000007f3: PUSH1 0x01
000007f5: EQ
000007f6: ISZERO
000007f7: SWAP1
000007f8: POP
000007f9: PUSH2 0x0877
000007fc: JUMPI
000007fd: PUSH1 0x05
000007ff: SLOAD
00000800: PUSH1 0x01
00000802: DUP1
00000803: SLOAD
00000804: DUP5
00000805: SWAP1
00000806: DUP2
00000807: LT
00000808: ISZERO
00000809: PUSH2 0x0002
0000080c: JUMPI
0000080d: POP
0000080e: DUP3
0000080f: MSTORE
00000810: PUSH1 0x00
00000812: DUP1
00000813: MLOAD
00000814: PUSH1 0x20
00000816: PUSH2 0x0c71
00000819: DUP4
0000081a: CODECOPY
0000081b: DUP2
0000081c: MLOAD
0000081d: SWAP2
0000081e: MSTORE
0000081f: DUP4
00000820: ADD
00000821: SLOAD
00000822: GT
00000823: ISZERO
00000824: PUSH2 0x0be4
00000827: JUMPI
00000828: PUSH1 0x01
0000082a: DUP1
0000082b: SLOAD
0000082c: PUSH1 0x05
0000082e: SLOAD
0000082f: SWAP2
00000830: SWAP1
00000831: DUP5
00000832: SWAP1
00000833: DUP2
00000834: LT
00000835: ISZERO
00000836: PUSH2 0x0002
00000839: JUMPI
0000083a: POP
0000083b: POP
0000083c: PUSH1 0x00
0000083e: DUP1
0000083f: MLOAD
00000840: PUSH1 0x20
00000842: PUSH2 0x0c71
00000845: DUP4
00000846: CODECOPY
00000847: DUP2
00000848: MLOAD
00000849: SWAP2
0000084a: MSTORE
0000084b: DUP4
0000084c: ADD
0000084d: DUP1
0000084e: SLOAD
0000084f: SWAP2
00000850: SWAP1
00000851: SWAP2
00000852: SUB
00000853: SWAP1
00000854: SSTORE
00000855: PUSH1 0x05
00000857: SLOAD
00000858: PUSH1 0x40
0000085a: MLOAD
0000085b: CALLER
0000085c: PUSH1 0x01
0000085e: PUSH1 0xa0
00000860: PUSH1 0x02
00000862: EXP
00000863: SUB
00000864: AND
00000865: SWAP2
00000866: DUP4
00000867: SWAP2
00000868: DUP3
00000869: DUP2
0000086a: DUP2
0000086b: DUP2
0000086c: DUP6
0000086d: DUP9
0000086e: DUP4
0000086f: CALL
00000870: POP
00000871: SWAP1
00000872: SWAP4
00000873: POP
00000874: POP
00000875: POP
00000876: POP
00000877: JUMPDEST
00000878: SWAP2
00000879: SWAP1
0000087a: POP
0000087b: JUMP
0000087c: JUMPDEST
0000087d: PUSH2 0x0a5a
00000880: PUSH1 0x04
00000882: CALLDATALOAD
00000883: PUSH1 0x24
00000885: CALLDATALOAD
00000886: PUSH1 0x00
00000888: DUP2
00000889: PUSH1 0xff
0000088b: AND
0000088c: PUSH1 0x00
0000088e: EQ
0000088f: DUP1
00000890: ISZERO
00000891: PUSH2 0x089e
00000894: JUMPI
00000895: POP
00000896: PUSH1 0x03
00000898: SLOAD
00000899: DUP4
0000089a: MOD
0000089b: DUP2
0000089c: EQ
0000089d: ISZERO
0000089e: JUMPDEST
0000089f: ISZERO
000008a0: PUSH2 0x0af9
000008a3: JUMPI
000008a4: POP
000008a5: PUSH1 0x00
000008a7: NOT
000008a8: DUP3
000008a9: ADD
000008aa: PUSH2 0x0af3
000008ad: JUMP
000008ae: JUMPDEST
000008af: PUSH2 0x0127
000008b2: PUSH1 0x04
000008b4: CALLDATALOAD
000008b5: PUSH1 0x07
000008b7: SLOAD
000008b8: PUSH1 0x01
000008ba: PUSH1 0xa0
000008bc: PUSH1 0x02
000008be: EXP
000008bf: SUB
000008c0: SWAP1
000008c1: DUP2
000008c2: AND
000008c3: SWAP1
000008c4: CALLER
000008c5: AND
000008c6: DUP2
000008c7: EQ
000008c8: ISZERO
000008c9: PUSH2 0x08df
000008cc: JUMPI
000008cd: PUSH1 0x07
000008cf: DUP1
000008d0: SLOAD
000008d1: PUSH1 0x01
000008d3: PUSH1 0xa0
000008d5: PUSH1 0x02
000008d7: EXP
000008d8: SUB
000008d9: NOT
000008da: AND
000008db: DUP4
000008dc: OR
000008dd: SWAP1
000008de: SSTORE
000008df: JUMPDEST
000008e0: POP
000008e1: JUMPDEST
000008e2: POP
000008e3: JUMP
000008e4: JUMPDEST
000008e5: PUSH2 0x0a89
000008e8: PUSH1 0x40
000008ea: DUP1
000008eb: MLOAD
000008ec: PUSH1 0x20
000008ee: DUP2
000008ef: DUP2
000008f0: ADD
000008f1: DUP4
000008f2: MSTORE
000008f3: PUSH1 0x00
000008f5: DUP3
000008f6: MSTORE
000008f7: PUSH1 0x02
000008f9: DUP1
000008fa: SLOAD
000008fb: DUP5
000008fc: MLOAD
000008fd: DUP2
000008fe: DUP5
000008ff: MUL
00000900: DUP2
00000901: ADD
00000902: DUP5
00000903: ADD
00000904: SWAP1
00000905: SWAP6
00000906: MSTORE
00000907: DUP1
00000908: DUP6
00000909: MSTORE
0000090a: SWAP3
0000090b: SWAP4
0000090c: SWAP3
0000090d: SWAP1
0000090e: SWAP2
0000090f: DUP4
00000910: ADD
00000911: DUP3
00000912: DUP3
00000913: DUP1
00000914: ISZERO
00000915: PUSH2 0x077a
00000918: JUMPI
00000919: PUSH1 0x20
0000091b: MUL
0000091c: DUP3
0000091d: ADD
0000091e: SWAP2
0000091f: SWAP1
00000920: PUSH1 0x00
00000922: MSTORE
00000923: PUSH1 0x20
00000925: PUSH1 0x00
00000927: KECCAK256
00000928: SWAP1
00000929: JUMPDEST
0000092a: DUP2
0000092b: SLOAD
0000092c: PUSH1 0x01
0000092e: PUSH1 0xa0
00000930: PUSH1 0x02
00000932: EXP
00000933: SUB
00000934: AND
00000935: DUP2
00000936: MSTORE
00000937: PUSH1 0x01
00000939: SWAP2
0000093a: SWAP1
0000093b: SWAP2
0000093c: ADD
0000093d: SWAP1
0000093e: PUSH1 0x20
00000940: ADD
00000941: DUP1
00000942: DUP4
00000943: GT
00000944: PUSH2 0x0929
00000947: JUMPI
00000948: JUMPDEST
00000949: POP
0000094a: POP
0000094b: POP
0000094c: POP
0000094d: POP
0000094e: SWAP1
0000094f: POP
00000950: PUSH2 0x0130
00000953: JUMP
00000954: JUMPDEST
00000955: PUSH2 0x0127
00000958: PUSH1 0x04
0000095a: CALLDATALOAD
0000095b: PUSH1 0x24
0000095d: CALLDATALOAD
0000095e: CALLER
0000095f: PUSH1 0x01
00000961: PUSH1 0xa0
00000963: PUSH1 0x02
00000965: EXP
00000966: SUB
00000967: AND
00000968: PUSH1 0x02
0000096a: PUSH1 0x00
0000096c: POP
0000096d: DUP4
0000096e: DUP2
0000096f: SLOAD
00000970: DUP2
00000971: LT
00000972: ISZERO
00000973: PUSH2 0x0002
00000976: JUMPI
00000977: POP
00000978: PUSH1 0x00
0000097a: MSTORE
0000097b: PUSH1 0x00
0000097d: DUP1
0000097e: MLOAD
0000097f: PUSH1 0x20
00000981: PUSH2 0x0c51
00000984: DUP4
00000985: CODECOPY
00000986: DUP2
00000987: MLOAD
00000988: SWAP2
00000989: MSTORE
0000098a: DUP4
0000098b: ADD
0000098c: SLOAD
0000098d: PUSH1 0x01
0000098f: PUSH1 0xa0
00000991: PUSH1 0x02
00000993: EXP
00000994: SUB
00000995: AND
00000996: EQ
00000997: ISZERO
00000998: PUSH2 0x08df
0000099b: JUMPI
0000099c: PUSH1 0x00
0000099e: PUSH1 0x02
000009a0: PUSH1 0x00
000009a2: POP
000009a3: DUP4
000009a4: DUP2
000009a5: SLOAD
000009a6: DUP2
000009a7: LT
000009a8: ISZERO
000009a9: PUSH2 0x0002
000009ac: JUMPI
000009ad: PUSH1 0x00
000009af: DUP1
000009b0: MLOAD
000009b1: PUSH1 0x20
000009b3: PUSH2 0x0c51
000009b6: DUP4
000009b7: CODECOPY
000009b8: DUP2
000009b9: MLOAD
000009ba: SWAP2
000009bb: MSTORE
000009bc: DUP2
000009bd: ADD
000009be: DUP1
000009bf: SLOAD
000009c0: PUSH1 0x01
000009c2: PUSH1 0xa0
000009c4: PUSH1 0x02
000009c6: EXP
000009c7: SUB
000009c8: NOT
000009c9: AND
000009ca: SWAP1
000009cb: SSTORE
000009cc: PUSH1 0x01
000009ce: DUP1
000009cf: SLOAD
000009d0: DUP6
000009d1: SWAP5
000009d2: POP
000009d3: SWAP1
000009d4: SWAP3
000009d5: POP
000009d6: DUP2
000009d7: LT
000009d8: ISZERO
000009d9: PUSH2 0x0002
000009dc: JUMPI
000009dd: POP
000009de: PUSH1 0x00
000009e0: MSTORE
000009e1: POP
000009e2: PUSH1 0x00
000009e4: DUP1
000009e5: MLOAD
000009e6: PUSH1 0x20
000009e8: PUSH2 0x0c71
000009eb: DUP4
000009ec: CODECOPY
000009ed: DUP2
000009ee: MLOAD
000009ef: SWAP2
000009f0: MSTORE
000009f1: SWAP1
000009f2: SWAP2
000009f3: ADD
000009f4: DUP1
000009f5: SLOAD
000009f6: SWAP1
000009f7: SWAP2
000009f8: ADD
000009f9: SWAP1
000009fa: SSTORE
000009fb: JUMP
000009fc: JUMPDEST
000009fd: PUSH2 0x0a5a
00000a00: PUSH1 0x04
00000a02: CALLDATALOAD
00000a03: PUSH1 0x00
00000a05: DUP1
00000a06: SLOAD
00000a07: DUP3
00000a08: SWAP1
00000a09: DUP2
00000a0a: LT
00000a0b: ISZERO
00000a0c: PUSH2 0x0002
00000a0f: JUMPI
00000a10: POP
00000a11: DUP1
00000a12: MSTORE
00000a13: PUSH1 0x20
00000a15: DUP1
00000a16: DUP3
00000a17: DIV
00000a18: PUSH32 0x290decd9548b62a8d60345a988386fc84ba6bc95484008f6362f93160ef3e563
00000a39: ADD
00000a3a: SLOAD
00000a3b: SWAP2
00000a3c: MOD
00000a3d: PUSH2 0x0100
00000a40: EXP
00000a41: SWAP1
00000a42: DIV
00000a43: PUSH1 0xff
00000a45: AND
00000a46: DUP2
00000a47: JUMP
00000a48: JUMPDEST
00000a49: PUSH2 0x0a6c
00000a4c: PUSH1 0x07
00000a4e: SLOAD
00000a4f: PUSH1 0x01
00000a51: PUSH1 0xa0
00000a53: PUSH1 0x02
00000a55: EXP
00000a56: SUB
00000a57: AND
00000a58: DUP2
00000a59: JUMP
00000a5a: JUMPDEST
00000a5b: PUSH1 0x40
00000a5d: DUP1
00000a5e: MLOAD
00000a5f: SWAP2
00000a60: DUP3
00000a61: MSTORE
00000a62: MLOAD
00000a63: SWAP1
00000a64: DUP2
00000a65: SWAP1
00000a66: SUB
00000a67: PUSH1 0x20
00000a69: ADD
00000a6a: SWAP1
00000a6b: RETURN
00000a6c: JUMPDEST
00000a6d: PUSH1 0x40
00000a6f: DUP1
00000a70: MLOAD
00000a71: PUSH1 0x01
00000a73: PUSH1 0xa0
00000a75: PUSH1 0x02
00000a77: EXP
00000a78: SUB
00000a79: SWAP3
00000a7a: SWAP1
00000a7b: SWAP3
00000a7c: AND
00000a7d: DUP3
00000a7e: MSTORE
00000a7f: MLOAD
00000a80: SWAP1
00000a81: DUP2
00000a82: SWAP1
00000a83: SUB
00000a84: PUSH1 0x20
00000a86: ADD
00000a87: SWAP1
00000a88: RETURN
00000a89: JUMPDEST
00000a8a: PUSH1 0x40
00000a8c: MLOAD
00000a8d: DUP1
00000a8e: DUP1
00000a8f: PUSH1 0x20
00000a91: ADD
00000a92: DUP3
00000a93: DUP2
00000a94: SUB
00000a95: DUP3
00000a96: MSTORE
00000a97: DUP4
00000a98: DUP2
00000a99: DUP2
00000a9a: MLOAD
00000a9b: DUP2
00000a9c: MSTORE
00000a9d: PUSH1 0x20
00000a9f: ADD
00000aa0: SWAP2
00000aa1: POP
00000aa2: DUP1
00000aa3: MLOAD
00000aa4: SWAP1
00000aa5: PUSH1 0x20
00000aa7: ADD
00000aa8: SWAP1
00000aa9: PUSH1 0x20
00000aab: MUL
00000aac: DUP1
00000aad: DUP4
00000aae: DUP4
00000aaf: DUP3
00000ab0: SWAP1
00000ab1: PUSH1 0x00
00000ab3: PUSH1 0x04
00000ab5: PUSH1 0x20
00000ab7: DUP5
00000ab8: PUSH1 0x1f
00000aba: ADD
00000abb: DIV
00000abc: PUSH1 0x03
00000abe: MUL
00000abf: PUSH1 0x0f
00000ac1: ADD
00000ac2: CALL
00000ac3: POP
00000ac4: SWAP1
00000ac5: POP
00000ac6: ADD
00000ac7: SWAP3
00000ac8: POP
00000ac9: POP
00000aca: POP
00000acb: PUSH1 0x40
00000acd: MLOAD
00000ace: DUP1
00000acf: SWAP2
00000ad0: SUB
00000ad1: SWAP1
00000ad2: RETURN
00000ad3: JUMPDEST
00000ad4: DUP2
00000ad5: PUSH1 0xff
00000ad7: AND
00000ad8: PUSH1 0x02
00000ada: EQ
00000adb: DUP1
00000adc: ISZERO
00000add: PUSH2 0x0ae7
00000ae0: JUMPI
00000ae1: POP
00000ae2: PUSH1 0x03
00000ae4: SLOAD
00000ae5: DUP4
00000ae6: GT
00000ae7: JUMPDEST
00000ae8: ISZERO
00000ae9: PUSH2 0x0b24
00000aec: JUMPI
00000aed: POP
00000aee: PUSH1 0x03
00000af0: SLOAD
00000af1: DUP3
00000af2: SUB
00000af3: JUMPDEST
00000af4: SWAP3
00000af5: SWAP2
00000af6: POP
00000af7: POP
00000af8: JUMP
00000af9: JUMPDEST
00000afa: DUP2
00000afb: PUSH1 0xff
00000afd: AND
00000afe: PUSH1 0x01
00000b00: EQ
00000b01: DUP1
00000b02: ISZERO
00000b03: PUSH2 0x0b15
00000b06: JUMPI
00000b07: POP
00000b08: PUSH1 0x03
00000b0a: SLOAD
00000b0b: PUSH1 0x00
00000b0d: NOT
00000b0e: DUP2
00000b0f: ADD
00000b10: SWAP1
00000b11: DUP5
00000b12: MOD
00000b13: EQ
00000b14: ISZERO
00000b15: JUMPDEST
00000b16: ISZERO
00000b17: PUSH2 0x0ad3
00000b1a: JUMPI
00000b1b: POP
00000b1c: PUSH1 0x01
00000b1e: DUP3
00000b1f: ADD
00000b20: PUSH2 0x0af3
00000b23: JUMP
00000b24: JUMPDEST
00000b25: DUP2
00000b26: PUSH1 0xff
00000b28: AND
00000b29: PUSH1 0x03
00000b2b: EQ
00000b2c: DUP1
00000b2d: ISZERO
00000b2e: PUSH2 0x0b40
00000b31: JUMPI
00000b32: POP
00000b33: PUSH1 0x03
00000b35: SLOAD
00000b36: PUSH1 0x04
00000b38: SLOAD
00000b39: MUL
00000b3a: PUSH1 0x00
00000b3c: NOT
00000b3d: ADD
00000b3e: DUP4
00000b3f: LT
00000b40: JUMPDEST
00000b41: ISZERO
00000b42: PUSH2 0x0b50
00000b45: JUMPI
00000b46: POP
00000b47: PUSH1 0x03
00000b49: SLOAD
00000b4a: DUP3
00000b4b: ADD
00000b4c: PUSH2 0x0af3
00000b4f: JUMP
00000b50: JUMPDEST
00000b51: POP
00000b52: PUSH1 0x00
00000b54: PUSH2 0x0af3
00000b57: JUMP
00000b58: JUMPDEST
00000b59: POP
00000b5a: POP
00000b5b: POP
00000b5c: POP
00000b5d: JUMPDEST
00000b5e: POP
00000b5f: POP
00000b60: POP
00000b61: JUMP
00000b62: JUMPDEST
00000b63: POP
00000b64: POP
00000b65: POP
00000b66: POP
00000b67: DUP2
00000b68: DUP4
00000b69: MUL
00000b6a: PUSH1 0x02
00000b6c: PUSH1 0x00
00000b6e: POP
00000b6f: DUP2
00000b70: DUP2
00000b71: SLOAD
00000b72: DUP2
00000b73: DUP4
00000b74: SSTORE
00000b75: DUP2
00000b76: DUP2
00000b77: ISZERO
00000b78: GT
00000b79: PUSH2 0x0ba3
00000b7c: JUMPI
00000b7d: PUSH1 0x00
00000b7f: DUP4
00000b80: SWAP1
00000b81: MSTORE
00000b82: PUSH2 0x0ba3
00000b85: SWAP1
00000b86: PUSH1 0x00
00000b88: DUP1
00000b89: MLOAD
00000b8a: PUSH1 0x20
00000b8c: PUSH2 0x0c51
00000b8f: DUP4
00000b90: CODECOPY
00000b91: DUP2
00000b92: MLOAD
00000b93: SWAP2
00000b94: MSTORE
00000b95: SWAP1
00000b96: DUP2
00000b97: ADD
00000b98: SWAP1
00000b99: DUP4
00000b9a: ADD
00000b9b: PUSH2 0x0259
00000b9e: JUMP
00000b9f: JUMPDEST
00000ba0: POP
00000ba1: SWAP1
00000ba2: JUMP
00000ba3: JUMPDEST
00000ba4: POP
00000ba5: POP
00000ba6: POP
00000ba7: POP
00000ba8: DUP2
00000ba9: DUP4
00000baa: MUL
00000bab: PUSH1 0x00
00000bad: PUSH1 0x00
00000baf: POP
00000bb0: DUP2
00000bb1: DUP2
00000bb2: SLOAD
00000bb3: DUP2
00000bb4: DUP4
00000bb5: SSTORE
00000bb6: DUP2
00000bb7: DUP2
00000bb8: ISZERO
00000bb9: GT
00000bba: PUSH2 0x0b58
00000bbd: JUMPI
00000bbe: PUSH1 0x1f
00000bc0: ADD
00000bc1: PUSH1 0x20
00000bc3: SWAP1
00000bc4: DIV
00000bc5: DUP2
00000bc6: PUSH1 0x1f
00000bc8: ADD
00000bc9: PUSH1 0x20
00000bcb: SWAP1
00000bcc: DIV
00000bcd: DUP4
00000bce: PUSH1 0x00
00000bd0: MSTORE
00000bd1: PUSH1 0x20
00000bd3: PUSH1 0x00
00000bd5: KECCAK256
00000bd6: SWAP2
00000bd7: DUP3
00000bd8: ADD
00000bd9: SWAP2
00000bda: ADD
00000bdb: PUSH2 0x0b58
00000bde: SWAP2
00000bdf: SWAP1
00000be0: PUSH2 0x0259
00000be3: JUMP
00000be4: JUMPDEST
00000be5: PUSH1 0x01
00000be7: DUP1
00000be8: SLOAD
00000be9: DUP4
00000bea: SWAP1
00000beb: DUP2
00000bec: LT
00000bed: ISZERO
00000bee: PUSH2 0x0002
00000bf1: JUMPI
00000bf2: PUSH1 0x00
00000bf4: DUP3
00000bf5: DUP2
00000bf6: MSTORE
00000bf7: DUP3
00000bf8: SLOAD
00000bf9: PUSH1 0x00
00000bfb: DUP1
00000bfc: MLOAD
00000bfd: PUSH1 0x20
00000bff: PUSH2 0x0c71
00000c02: DUP4
00000c03: CODECOPY
00000c04: DUP2
00000c05: MLOAD
00000c06: SWAP2
00000c07: MSTORE
00000c08: SWAP3
00000c09: SWAP1
00000c0a: SWAP3
00000c0b: ADD
00000c0c: SLOAD
00000c0d: SWAP4
00000c0e: POP
00000c0f: SWAP2
00000c10: SWAP1
00000c11: DUP5
00000c12: SWAP1
00000c13: DUP2
00000c14: LT
00000c15: ISZERO
00000c16: PUSH2 0x0002
00000c19: JUMPI
00000c1a: PUSH1 0x00
00000c1c: DUP1
00000c1d: MLOAD
00000c1e: PUSH1 0x20
00000c20: PUSH2 0x0c71
00000c23: DUP4
00000c24: CODECOPY
00000c25: DUP2
00000c26: MLOAD
00000c27: SWAP2
00000c28: MSTORE
00000c29: ADD
00000c2a: DUP3
00000c2b: SWAP1
00000c2c: SSTORE
00000c2d: POP
00000c2e: PUSH1 0x40
00000c30: MLOAD
00000c31: CALLER
00000c32: PUSH1 0x01
00000c34: PUSH1 0xa0
00000c36: PUSH1 0x02
00000c38: EXP
00000c39: SUB
00000c3a: AND
00000c3b: SWAP2
00000c3c: SWAP1
00000c3d: DUP4
00000c3e: SWAP1
00000c3f: DUP3
00000c40: DUP2
00000c41: DUP2
00000c42: DUP2
00000c43: DUP6
00000c44: DUP9
00000c45: DUP4
00000c46: CALL
00000c47: POP
00000c48: PUSH2 0x0877
00000c4b: SWAP4
00000c4c: POP
00000c4d: POP
00000c4e: POP
00000c4f: POP
00000c50: JUMP
00000c51: BLOCKHASH
00000c52: JUMPI
00000c53: DUP8
00000c54: STATICCALL
00000c55: SLT
00000c56: UNKNOWN(0xA8)
00000c57: UNKNOWN(0x23)
00000c58: UNKNOWN(0xE0)
00000c59: CALLCODE
00000c5a: UNKNOWN(0xB7)
00000c5b: PUSH4 0x1cc41b3b
00000c60: UNKNOWN(0xA8)
00000c61: DUP3
00000c62: DUP12
00000c63: CALLER
00000c64: UNKNOWN(0x21)
00000c65: UNKNOWN(0xCA)
00000c66: DUP2
00000c67: GT
00000c68: GT
00000c69: STATICCALL
00000c6a: PUSH22 0xcd3aa3bb5aceb10e2d527612073b26eecdfd717e6a32
00000c81: UNKNOWN(0x0C)
00000c82: DELEGATECALL
00000c83: UNKNOWN(0x4B)
00000c84: BLOBBASEFEE
00000c85: STATICCALL
00000c86: UNKNOWN(0xC2)
00000c87: UNKNOWN(0xB0)
00000c88: PUSH20

View stderr

Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.

Findings

validated = confirmed for call sinks; sink observed for others

Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
critical	upgradeability	detector	Untrusted DELEGATECALL target reachable	70	no	no	view trace_id: 0xde4b5225d3528ee8b4d6a2dde1c9f9b598cdb33a01e068bf35736baae2d3e9e0 validation_json { "sink": "DELEGATECALL", "errors": 0, "status": "unknown", "attempts": 192, "trace_id": "0xde4b5225d3528ee8b4d6a2dde1c9f9b598cdb33a01e068bf35736baae2d3e9e0", "confirmed": false, "trace_mode": "callTracer", "call_targets": null, "matched_probe": null, "target_varies": null, "classification": "no_sink" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0x0539c6d6", "selector": "0x0539c6d6", "calldata_variants": [ "0x0539c6d6", "0x0539c6d60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x17a650cc", "selector": "0x17a650cc", "calldata_variants": [ "0x17a650cc", "0x17a650cc0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x24eb95fe", "selector": "0x24eb95fe", "calldata_variants": [ "0x24eb95fe", "0x24eb95fe0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3cb260b2", "selector": "0x3cb260b2", "calldata_variants": [ "0x3cb260b2", "0x3cb260b20000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x45c5b8ac", "selector": "0x45c5b8ac", "calldata_variants": [ "0x45c5b8ac", "0x45c5b8ac0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4edccd31", "selector": "0x4edccd31", "calldata_variants": [ "0x4edccd31", "0x4edccd310000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x52d4bb02", "selector": "0x52d4bb02", "calldata_variants": [ "0x52d4bb02", "0x52d4bb020000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x5b4ef70b", "selector": "0x5b4ef70b", "calldata_variants": [ "0x5b4ef70b", "0x5b4ef70b0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 3202, "opcode": "DELEGATECALL", "returndata_checked": null, "value_expression_category": "n/a", "target_expression_category": "computed" } ], "guards_detected": [], "delegatecall_count": 1, "untrusted_delegatecall_count": 1 }
high	other	detector	Untrusted CALL target/value reachable	60	no	no	view trace_id: 0x02d2f71a6cbd1dfa8e2d9542592ac6f4d626d040d09cbc83343e925470fafe09 call_targets: 0xf5580a99966f0ffc9a5252e51335ef2221a2184d target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x02d2f71a6cbd1dfa8e2d9542592ac6f4d626d040d09cbc83343e925470fafe09", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xf5580a99966f0ffc9a5252e51335ef2221a2184d" ], "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": "0x0539c6d6", "selector": "0x0539c6d6", "calldata_variants": [ "0x0539c6d6", "0x0539c6d60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x17a650cc", "selector": "0x17a650cc", "calldata_variants": [ "0x17a650cc", "0x17a650cc0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x24eb95fe", "selector": "0x24eb95fe", "calldata_variants": [ "0x24eb95fe", "0x24eb95fe0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3cb260b2", "selector": "0x3cb260b2", "calldata_variants": [ "0x3cb260b2", "0x3cb260b20000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x45c5b8ac", "selector": "0x45c5b8ac", "calldata_variants": [ "0x45c5b8ac", "0x45c5b8ac0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4edccd31", "selector": "0x4edccd31", "calldata_variants": [ "0x4edccd31", "0x4edccd310000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x52d4bb02", "selector": "0x52d4bb02", "calldata_variants": [ "0x52d4bb02", "0x52d4bb020000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x5b4ef70b", "selector": "0x5b4ef70b", "calldata_variants": [ "0x5b4ef70b", "0x5b4ef70b0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 402, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1064, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "constant", "target_expression_category": "computed" }, { "pc": 1659, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 8, "guards_detected": [], "untrusted_call_count": 8 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0x02d2f71a6cbd1dfa8e2d9542592ac6f4d626d040d09cbc83343e925470fafe09 call_targets: 0xf5580a99966f0ffc9a5252e51335ef2221a2184d target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x02d2f71a6cbd1dfa8e2d9542592ac6f4d626d040d09cbc83343e925470fafe09", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xf5580a99966f0ffc9a5252e51335ef2221a2184d" ], "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": "0x0539c6d6", "selector": "0x0539c6d6", "calldata_variants": [ "0x0539c6d6", "0x0539c6d60000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x17a650cc", "selector": "0x17a650cc", "calldata_variants": [ "0x17a650cc", "0x17a650cc0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x24eb95fe", "selector": "0x24eb95fe", "calldata_variants": [ "0x24eb95fe", "0x24eb95fe0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3cb260b2", "selector": "0x3cb260b2", "calldata_variants": [ "0x3cb260b2", "0x3cb260b20000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x45c5b8ac", "selector": "0x45c5b8ac", "calldata_variants": [ "0x45c5b8ac", "0x45c5b8ac0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4edccd31", "selector": "0x4edccd31", "calldata_variants": [ "0x4edccd31", "0x4edccd310000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x52d4bb02", "selector": "0x52d4bb02", "calldata_variants": [ "0x52d4bb02", "0x52d4bb020000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x5b4ef70b", "selector": "0x5b4ef70b", "calldata_variants": [ "0x5b4ef70b", "0x5b4ef70b0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 402, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1064, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "constant", "target_expression_category": "computed" }, { "pc": 1659, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 8, "guards_detected": [] }

Severity

Category

Tool

Title

Confidence

Validated

Confirmed

Details

critical

upgradeability

detector

Untrusted DELEGATECALL target reachable

70

no

view

trace_id: 0xde4b5225d3528ee8b4d6a2dde1c9f9b598cdb33a01e068bf35736baae2d3e9e0

validation_json

{
    "sink": "DELEGATECALL",
    "errors": 0,
    "status": "unknown",
    "attempts": 192,
    "trace_id": "0xde4b5225d3528ee8b4d6a2dde1c9f9b598cdb33a01e068bf35736baae2d3e9e0",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": null,
    "matched_probe": null,
    "target_varies": null,
    "classification": "no_sink"
}

witness_json

{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0x0539c6d6",
            "selector": "0x0539c6d6",
            "calldata_variants": [
                "0x0539c6d6",
                "0x0539c6d60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x17a650cc",
            "selector": "0x17a650cc",
            "calldata_variants": [
                "0x17a650cc",
                "0x17a650cc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x24eb95fe",
            "selector": "0x24eb95fe",
            "calldata_variants": [
                "0x24eb95fe",
                "0x24eb95fe0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3cb260b2",
            "selector": "0x3cb260b2",
            "calldata_variants": [
                "0x3cb260b2",
                "0x3cb260b20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x45c5b8ac",
            "selector": "0x45c5b8ac",
            "calldata_variants": [
                "0x45c5b8ac",
                "0x45c5b8ac0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4edccd31",
            "selector": "0x4edccd31",
            "calldata_variants": [
                "0x4edccd31",
                "0x4edccd310000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x52d4bb02",
            "selector": "0x52d4bb02",
            "calldata_variants": [
                "0x52d4bb02",
                "0x52d4bb020000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x5b4ef70b",
            "selector": "0x5b4ef70b",
            "calldata_variants": [
                "0x5b4ef70b",
                "0x5b4ef70b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}

evidence_json

{
    "examples": [
        {
            "pc": 3202,
            "opcode": "DELEGATECALL",
            "returndata_checked": null,
            "value_expression_category": "n/a",
            "target_expression_category": "computed"
        }
    ],
    "guards_detected": [],
    "delegatecall_count": 1,
    "untrusted_delegatecall_count": 1
}

high

other

detector

Untrusted CALL target/value reachable

60

no

view

trace_id: 0x02d2f71a6cbd1dfa8e2d9542592ac6f4d626d040d09cbc83343e925470fafe09

call_targets: 0xf5580a99966f0ffc9a5252e51335ef2221a2184d

target_varies: no

classification: constant_target

validation_json

{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x02d2f71a6cbd1dfa8e2d9542592ac6f4d626d040d09cbc83343e925470fafe09",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xf5580a99966f0ffc9a5252e51335ef2221a2184d"
    ],
    "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": "0x0539c6d6",
            "selector": "0x0539c6d6",
            "calldata_variants": [
                "0x0539c6d6",
                "0x0539c6d60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x17a650cc",
            "selector": "0x17a650cc",
            "calldata_variants": [
                "0x17a650cc",
                "0x17a650cc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x24eb95fe",
            "selector": "0x24eb95fe",
            "calldata_variants": [
                "0x24eb95fe",
                "0x24eb95fe0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3cb260b2",
            "selector": "0x3cb260b2",
            "calldata_variants": [
                "0x3cb260b2",
                "0x3cb260b20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x45c5b8ac",
            "selector": "0x45c5b8ac",
            "calldata_variants": [
                "0x45c5b8ac",
                "0x45c5b8ac0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4edccd31",
            "selector": "0x4edccd31",
            "calldata_variants": [
                "0x4edccd31",
                "0x4edccd310000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x52d4bb02",
            "selector": "0x52d4bb02",
            "calldata_variants": [
                "0x52d4bb02",
                "0x52d4bb020000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x5b4ef70b",
            "selector": "0x5b4ef70b",
            "calldata_variants": [
                "0x5b4ef70b",
                "0x5b4ef70b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}

evidence_json

{
    "examples": [
        {
            "pc": 402,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1064,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "constant",
            "target_expression_category": "computed"
        },
        {
            "pc": 1659,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 8,
    "guards_detected": [],
    "untrusted_call_count": 8
}

high

other

detector

ETH value transfer possible

55

no

view

trace_id: 0x02d2f71a6cbd1dfa8e2d9542592ac6f4d626d040d09cbc83343e925470fafe09

call_targets: 0xf5580a99966f0ffc9a5252e51335ef2221a2184d

target_varies: no

classification: constant_target

validation_json

{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x02d2f71a6cbd1dfa8e2d9542592ac6f4d626d040d09cbc83343e925470fafe09",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xf5580a99966f0ffc9a5252e51335ef2221a2184d"
    ],
    "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": "0x0539c6d6",
            "selector": "0x0539c6d6",
            "calldata_variants": [
                "0x0539c6d6",
                "0x0539c6d60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x17a650cc",
            "selector": "0x17a650cc",
            "calldata_variants": [
                "0x17a650cc",
                "0x17a650cc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x24eb95fe",
            "selector": "0x24eb95fe",
            "calldata_variants": [
                "0x24eb95fe",
                "0x24eb95fe0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3cb260b2",
            "selector": "0x3cb260b2",
            "calldata_variants": [
                "0x3cb260b2",
                "0x3cb260b20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x45c5b8ac",
            "selector": "0x45c5b8ac",
            "calldata_variants": [
                "0x45c5b8ac",
                "0x45c5b8ac0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4edccd31",
            "selector": "0x4edccd31",
            "calldata_variants": [
                "0x4edccd31",
                "0x4edccd310000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x52d4bb02",
            "selector": "0x52d4bb02",
            "calldata_variants": [
                "0x52d4bb02",
                "0x52d4bb020000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x5b4ef70b",
            "selector": "0x5b4ef70b",
            "calldata_variants": [
                "0x5b4ef70b",
                "0x5b4ef70b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}

evidence_json

{
    "examples": [
        {
            "pc": 402,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1064,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "constant",
            "target_expression_category": "computed"
        },
        {
            "pc": 1659,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 8,
    "guards_detected": []
}