Analysis Run

019b3836-4005-7294-932b-5fda3d2ab7c3

complete

Chain ID

1

Address

0xf901a9d207a595b35c540a17e16ac8bb4803e360

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

ETH value transfer possible

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
5147	artifact.fetch	complete	1 / 3	3 months ago
5148	tool.cast_disasm	complete	1 / 3	3 months ago
48812	analysis.bundle	complete	1 / 3	2 weeks ago
48813	capability.graph	complete	1 / 3	2 weeks ago
48814	detector.run	complete	1 / 3	2 weeks ago
48815	validation.fork	complete	1 / 3	2 weeks ago

Artifact

Runtime bytecode: available

Creation TX: —

Deployer: —

Proxy: no

Implementation:

—

Verified Source: no

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm

Delegatecall

0

Selfdestruct

1

CREATE2

0

CALL-family (heavy)

2

EXT*/BALANCE

0

Total opcodes

1718

Flags

selfdestruct_present

View cast disassembly output

00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x004b
0000000a: JUMPI
0000000b: PUSH1 0xe0
0000000d: PUSH1 0x02
0000000f: EXP
00000010: PUSH1 0x00
00000012: CALLDATALOAD
00000013: DIV
00000014: PUSH4 0x2c531258
00000019: DUP2
0000001a: EQ
0000001b: PUSH2 0x0100
0000001e: JUMPI
0000001f: DUP1
00000020: PUSH4 0x41c0e1b5
00000025: EQ
00000026: PUSH2 0x0134
00000029: JUMPI
0000002a: DUP1
0000002b: PUSH4 0x8da5cb5b
00000030: EQ
00000031: PUSH2 0x0151
00000034: JUMPI
00000035: DUP1
00000036: PUSH4 0xc5e57985
0000003b: EQ
0000003c: PUSH2 0x0163
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0xf2fde38b
00000046: EQ
00000047: PUSH2 0x01c0
0000004a: JUMPI
0000004b: JUMPDEST
0000004c: PUSH1 0x40
0000004e: DUP1
0000004f: MLOAD
00000050: PUSH1 0x20
00000052: DUP2
00000053: DUP2
00000054: ADD
00000055: DUP4
00000056: MSTORE
00000057: PUSH1 0x00
00000059: DUP1
0000005a: DUP4
0000005b: MSTORE
0000005c: DUP4
0000005d: MLOAD
0000005e: DUP1
0000005f: DUP6
00000060: ADD
00000061: SWAP1
00000062: SWAP5
00000063: MSTORE
00000064: PUSH1 0x02
00000066: DUP1
00000067: DUP6
00000068: MSTORE
00000069: PUSH32 0x696e000000000000000000000000000000000000000000000000000000000000
0000008a: SWAP5
0000008b: DUP4
0000008c: ADD
0000008d: SWAP5
0000008e: DUP6
0000008f: MSTORE
00000090: PUSH1 0x06
00000092: DUP1
00000093: SLOAD
00000094: SWAP3
00000095: DUP2
00000096: SWAP1
00000097: MSTORE
00000098: DUP6
00000099: MLOAD
0000009a: PUSH1 0xff
0000009c: NOT
0000009d: AND
0000009e: PUSH1 0x04
000000a0: OR
000000a1: DUP2
000000a2: SSTORE
000000a3: PUSH2 0x01e0
000000a6: SWAP6
000000a7: SWAP1
000000a8: SWAP4
000000a9: PUSH32 0xf652222313e28459528d920b65115c16c04f3efc82aaedc97be59f3f377c0d3f
000000ca: PUSH1 0x01
000000cc: DUP6
000000cd: AND
000000ce: ISZERO
000000cf: PUSH2 0x0100
000000d2: MUL
000000d3: PUSH1 0x00
000000d5: NOT
000000d6: ADD
000000d7: SWAP1
000000d8: SWAP5
000000d9: AND
000000da: DUP4
000000db: SWAP1
000000dc: DIV
000000dd: PUSH1 0x1f
000000df: ADD
000000e0: DIV
000000e1: DUP4
000000e2: ADD
000000e3: SWAP3
000000e4: SWAP1
000000e5: POP
000000e6: PUSH2 0x024e
000000e9: SWAP3
000000ea: SWAP2
000000eb: POP
000000ec: JUMPDEST
000000ed: DUP1
000000ee: DUP3
000000ef: GT
000000f0: ISZERO
000000f1: PUSH2 0x02d4
000000f4: JUMPI
000000f5: PUSH1 0x00
000000f7: DUP2
000000f8: SSTORE
000000f9: PUSH1 0x01
000000fb: ADD
000000fc: PUSH2 0x00ec
000000ff: JUMP
00000100: JUMPDEST
00000101: PUSH2 0x01e0
00000104: PUSH1 0x04
00000106: CALLDATALOAD
00000107: PUSH1 0x24
00000109: CALLDATALOAD
0000010a: PUSH1 0x40
0000010c: DUP1
0000010d: MLOAD
0000010e: PUSH1 0x20
00000110: DUP2
00000111: ADD
00000112: SWAP1
00000113: SWAP2
00000114: MSTORE
00000115: PUSH1 0x00
00000117: DUP1
00000118: DUP3
00000119: MSTORE
0000011a: SLOAD
0000011b: PUSH1 0x01
0000011d: PUSH1 0xa0
0000011f: PUSH1 0x02
00000121: EXP
00000122: SUB
00000123: SWAP1
00000124: DUP2
00000125: AND
00000126: CALLER
00000127: SWAP2
00000128: SWAP1
00000129: SWAP2
0000012a: AND
0000012b: EQ
0000012c: PUSH2 0x063f
0000012f: JUMPI
00000130: PUSH2 0x0002
00000133: JUMP
00000134: JUMPDEST
00000135: PUSH2 0x0586
00000138: PUSH1 0x00
0000013a: SLOAD
0000013b: PUSH1 0x01
0000013d: PUSH1 0xa0
0000013f: PUSH1 0x02
00000141: EXP
00000142: SUB
00000143: CALLER
00000144: DUP2
00000145: AND
00000146: SWAP2
00000147: AND
00000148: EQ
00000149: PUSH2 0x090a
0000014c: JUMPI
0000014d: PUSH2 0x0002
00000150: JUMP
00000151: JUMPDEST
00000152: PUSH2 0x0588
00000155: PUSH1 0x00
00000157: SLOAD
00000158: PUSH1 0x01
0000015a: PUSH1 0xa0
0000015c: PUSH1 0x02
0000015e: EXP
0000015f: SUB
00000160: AND
00000161: DUP2
00000162: JUMP
00000163: JUMPDEST
00000164: PUSH1 0x40
00000166: DUP1
00000167: MLOAD
00000168: PUSH1 0x01
0000016a: DUP1
0000016b: SLOAD
0000016c: PUSH1 0x20
0000016e: PUSH1 0x02
00000170: DUP3
00000171: DUP5
00000172: AND
00000173: ISZERO
00000174: PUSH2 0x0100
00000177: MUL
00000178: PUSH1 0x00
0000017a: NOT
0000017b: ADD
0000017c: SWAP1
0000017d: SWAP3
0000017e: AND
0000017f: SWAP2
00000180: SWAP1
00000181: SWAP2
00000182: DIV
00000183: PUSH1 0x1f
00000185: DUP2
00000186: ADD
00000187: DUP3
00000188: SWAP1
00000189: DIV
0000018a: DUP3
0000018b: MUL
0000018c: DUP5
0000018d: ADD
0000018e: DUP3
0000018f: ADD
00000190: SWAP1
00000191: SWAP5
00000192: MSTORE
00000193: DUP4
00000194: DUP4
00000195: MSTORE
00000196: PUSH2 0x01e0
00000199: SWAP4
0000019a: SWAP1
0000019b: DUP4
0000019c: ADD
0000019d: DUP3
0000019e: DUP3
0000019f: DUP1
000001a0: ISZERO
000001a1: PUSH2 0x0943
000001a4: JUMPI
000001a5: DUP1
000001a6: PUSH1 0x1f
000001a8: LT
000001a9: PUSH2 0x0918
000001ac: JUMPI
000001ad: PUSH2 0x0100
000001b0: DUP1
000001b1: DUP4
000001b2: SLOAD
000001b3: DIV
000001b4: MUL
000001b5: DUP4
000001b6: MSTORE
000001b7: SWAP2
000001b8: PUSH1 0x20
000001ba: ADD
000001bb: SWAP2
000001bc: PUSH2 0x0943
000001bf: JUMP
000001c0: JUMPDEST
000001c1: PUSH2 0x0586
000001c4: PUSH1 0x04
000001c6: CALLDATALOAD
000001c7: PUSH1 0x00
000001c9: SLOAD
000001ca: PUSH1 0x01
000001cc: PUSH1 0xa0
000001ce: PUSH1 0x02
000001d0: EXP
000001d1: SUB
000001d2: CALLER
000001d3: DUP2
000001d4: AND
000001d5: SWAP2
000001d6: AND
000001d7: EQ
000001d8: PUSH2 0x05a5
000001db: JUMPI
000001dc: PUSH2 0x0002
000001df: JUMP
000001e0: JUMPDEST
000001e1: PUSH1 0x40
000001e3: MLOAD
000001e4: DUP1
000001e5: DUP1
000001e6: PUSH1 0x20
000001e8: ADD
000001e9: DUP3
000001ea: DUP2
000001eb: SUB
000001ec: DUP3
000001ed: MSTORE
000001ee: DUP4
000001ef: DUP2
000001f0: DUP2
000001f1: MLOAD
000001f2: DUP2
000001f3: MSTORE
000001f4: PUSH1 0x20
000001f6: ADD
000001f7: SWAP2
000001f8: POP
000001f9: DUP1
000001fa: MLOAD
000001fb: SWAP1
000001fc: PUSH1 0x20
000001fe: ADD
000001ff: SWAP1
00000200: DUP1
00000201: DUP4
00000202: DUP4
00000203: DUP3
00000204: SWAP1
00000205: PUSH1 0x00
00000207: PUSH1 0x04
00000209: PUSH1 0x20
0000020b: DUP5
0000020c: PUSH1 0x1f
0000020e: ADD
0000020f: DIV
00000210: PUSH1 0x0f
00000212: MUL
00000213: PUSH1 0x03
00000215: ADD
00000216: CALL
00000217: POP
00000218: SWAP1
00000219: POP
0000021a: SWAP1
0000021b: DUP2
0000021c: ADD
0000021d: SWAP1
0000021e: PUSH1 0x1f
00000220: AND
00000221: DUP1
00000222: ISZERO
00000223: PUSH2 0x0240
00000226: JUMPI
00000227: DUP1
00000228: DUP3
00000229: SUB
0000022a: DUP1
0000022b: MLOAD
0000022c: PUSH1 0x01
0000022e: DUP4
0000022f: PUSH1 0x20
00000231: SUB
00000232: PUSH2 0x0100
00000235: EXP
00000236: SUB
00000237: NOT
00000238: AND
00000239: DUP2
0000023a: MSTORE
0000023b: PUSH1 0x20
0000023d: ADD
0000023e: SWAP2
0000023f: POP
00000240: JUMPDEST
00000241: POP
00000242: SWAP3
00000243: POP
00000244: POP
00000245: POP
00000246: PUSH1 0x40
00000248: MLOAD
00000249: DUP1
0000024a: SWAP2
0000024b: SUB
0000024c: SWAP1
0000024d: RETURN
0000024e: JUMPDEST
0000024f: POP
00000250: POP
00000251: CALLVALUE
00000252: PUSH1 0x07
00000254: SSTORE
00000255: PUSH1 0x09
00000257: DUP1
00000258: SLOAD
00000259: PUSH1 0x01
0000025b: PUSH1 0xa0
0000025d: PUSH1 0x02
0000025f: EXP
00000260: SUB
00000261: NOT
00000262: SWAP1
00000263: DUP2
00000264: AND
00000265: CALLER
00000266: OR
00000267: SWAP1
00000268: SWAP2
00000269: SSTORE
0000026a: PUSH1 0x00
0000026c: SLOAD
0000026d: PUSH1 0x0a
0000026f: DUP1
00000270: SLOAD
00000271: SWAP1
00000272: SWAP3
00000273: AND
00000274: PUSH1 0x01
00000276: PUSH1 0xa0
00000278: PUSH1 0x02
0000027a: EXP
0000027b: SUB
0000027c: SWAP2
0000027d: SWAP1
0000027e: SWAP2
0000027f: AND
00000280: OR
00000281: SWAP1
00000282: SSTORE
00000283: PUSH1 0x0b
00000285: DUP1
00000286: SLOAD
00000287: PUSH1 0x01
00000289: DUP2
0000028a: ADD
0000028b: DUP1
0000028c: DUP4
0000028d: SSTORE
0000028e: DUP3
0000028f: DUP2
00000290: DUP4
00000291: DUP1
00000292: ISZERO
00000293: DUP3
00000294: SWAP1
00000295: GT
00000296: PUSH2 0x02d8
00000299: JUMPI
0000029a: PUSH1 0x00
0000029c: DUP4
0000029d: SWAP1
0000029e: MSTORE
0000029f: PUSH2 0x02d8
000002a2: SWAP1
000002a3: PUSH1 0x06
000002a5: SWAP1
000002a6: DUP2
000002a7: MUL
000002a8: PUSH32 0x0175b7a638427703f0dbe7bb9bbf987a2551717b34e79f33b5b1008d1fa01db9
000002c9: SWAP1
000002ca: DUP2
000002cb: ADD
000002cc: SWAP2
000002cd: DUP5
000002ce: MUL
000002cf: ADD
000002d0: PUSH2 0x038e
000002d3: JUMP
000002d4: JUMPDEST
000002d5: POP
000002d6: SWAP1
000002d7: JUMP
000002d8: JUMPDEST
000002d9: POP
000002da: POP
000002db: POP
000002dc: SWAP2
000002dd: SWAP1
000002de: SWAP1
000002df: PUSH1 0x00
000002e1: MSTORE
000002e2: PUSH1 0x20
000002e4: PUSH1 0x00
000002e6: KECCAK256
000002e7: SWAP1
000002e8: PUSH1 0x06
000002ea: MUL
000002eb: ADD
000002ec: PUSH1 0x00
000002ee: PUSH1 0x05
000002f0: PUSH1 0x00
000002f2: POP
000002f3: SWAP1
000002f4: SWAP2
000002f5: SWAP1
000002f6: SWAP2
000002f7: POP
000002f8: PUSH1 0x00
000002fa: DUP3
000002fb: ADD
000002fc: PUSH1 0x00
000002fe: POP
000002ff: DUP2
00000300: PUSH1 0x00
00000302: ADD
00000303: PUSH1 0x00
00000305: POP
00000306: SWAP1
00000307: DUP1
00000308: SLOAD
00000309: PUSH1 0x01
0000030b: DUP2
0000030c: PUSH1 0x01
0000030e: AND
0000030f: ISZERO
00000310: PUSH2 0x0100
00000313: MUL
00000314: SUB
00000315: AND
00000316: PUSH1 0x02
00000318: SWAP1
00000319: DIV
0000031a: DUP3
0000031b: DUP1
0000031c: SLOAD
0000031d: PUSH1 0x01
0000031f: DUP2
00000320: PUSH1 0x01
00000322: AND
00000323: ISZERO
00000324: PUSH2 0x0100
00000327: MUL
00000328: SUB
00000329: AND
0000032a: PUSH1 0x02
0000032c: SWAP1
0000032d: DIV
0000032e: SWAP1
0000032f: PUSH1 0x00
00000331: MSTORE
00000332: PUSH1 0x20
00000334: PUSH1 0x00
00000336: KECCAK256
00000337: SWAP1
00000338: PUSH1 0x1f
0000033a: ADD
0000033b: PUSH1 0x20
0000033d: SWAP1
0000033e: DIV
0000033f: DUP2
00000340: ADD
00000341: SWAP3
00000342: DUP3
00000343: PUSH1 0x1f
00000345: LT
00000346: PUSH2 0x0429
00000349: JUMPI
0000034a: DUP1
0000034b: SLOAD
0000034c: DUP6
0000034d: SSTORE
0000034e: JUMPDEST
0000034f: POP
00000350: PUSH2 0x0465
00000353: SWAP3
00000354: SWAP2
00000355: POP
00000356: PUSH2 0x00ec
00000359: JUMP
0000035a: JUMPDEST
0000035b: POP
0000035c: POP
0000035d: PUSH1 0x00
0000035f: PUSH1 0x02
00000361: DUP3
00000362: ADD
00000363: DUP2
00000364: SWAP1
00000365: SSTORE
00000366: PUSH1 0x03
00000368: DUP3
00000369: ADD
0000036a: SSTORE
0000036b: PUSH1 0x04
0000036d: DUP2
0000036e: ADD
0000036f: DUP1
00000370: SLOAD
00000371: PUSH1 0x01
00000373: PUSH1 0xa0
00000375: PUSH1 0x02
00000377: EXP
00000378: SUB
00000379: NOT
0000037a: SWAP1
0000037b: DUP2
0000037c: AND
0000037d: SWAP1
0000037e: SWAP2
0000037f: SSTORE
00000380: PUSH1 0x05
00000382: DUP3
00000383: ADD
00000384: DUP1
00000385: SLOAD
00000386: SWAP1
00000387: SWAP2
00000388: AND
00000389: SWAP1
0000038a: SSTORE
0000038b: PUSH1 0x01
0000038d: ADD
0000038e: JUMPDEST
0000038f: DUP1
00000390: DUP3
00000391: GT
00000392: ISZERO
00000393: PUSH2 0x02d4
00000396: JUMPI
00000397: PUSH1 0x00
00000399: PUSH1 0x00
0000039b: DUP3
0000039c: ADD
0000039d: PUSH1 0x00
0000039f: POP
000003a0: DUP1
000003a1: SLOAD
000003a2: PUSH1 0x01
000003a4: DUP2
000003a5: PUSH1 0x01
000003a7: AND
000003a8: ISZERO
000003a9: PUSH2 0x0100
000003ac: MUL
000003ad: SUB
000003ae: AND
000003af: PUSH1 0x02
000003b1: SWAP1
000003b2: DIV
000003b3: PUSH1 0x00
000003b5: DUP3
000003b6: SSTORE
000003b7: DUP1
000003b8: PUSH1 0x1f
000003ba: LT
000003bb: PUSH2 0x03ed
000003be: JUMPI
000003bf: POP
000003c0: JUMPDEST
000003c1: POP
000003c2: PUSH1 0x01
000003c4: DUP3
000003c5: ADD
000003c6: PUSH1 0x00
000003c8: POP
000003c9: DUP1
000003ca: SLOAD
000003cb: PUSH1 0x01
000003cd: DUP2
000003ce: PUSH1 0x01
000003d0: AND
000003d1: ISZERO
000003d2: PUSH2 0x0100
000003d5: MUL
000003d6: SUB
000003d7: AND
000003d8: PUSH1 0x02
000003da: SWAP1
000003db: DIV
000003dc: PUSH1 0x00
000003de: DUP3
000003df: SSTORE
000003e0: DUP1
000003e1: PUSH1 0x1f
000003e3: LT
000003e4: PUSH2 0x040b
000003e7: JUMPI
000003e8: POP
000003e9: PUSH2 0x035a
000003ec: JUMP
000003ed: JUMPDEST
000003ee: PUSH1 0x1f
000003f0: ADD
000003f1: PUSH1 0x20
000003f3: SWAP1
000003f4: DIV
000003f5: SWAP1
000003f6: PUSH1 0x00
000003f8: MSTORE
000003f9: PUSH1 0x20
000003fb: PUSH1 0x00
000003fd: KECCAK256
000003fe: SWAP1
000003ff: DUP2
00000400: ADD
00000401: SWAP1
00000402: PUSH2 0x03c0
00000405: SWAP2
00000406: SWAP1
00000407: PUSH2 0x00ec
0000040a: JUMP
0000040b: JUMPDEST
0000040c: PUSH1 0x1f
0000040e: ADD
0000040f: PUSH1 0x20
00000411: SWAP1
00000412: DIV
00000413: SWAP1
00000414: PUSH1 0x00
00000416: MSTORE
00000417: PUSH1 0x20
00000419: PUSH1 0x00
0000041b: KECCAK256
0000041c: SWAP1
0000041d: DUP2
0000041e: ADD
0000041f: SWAP1
00000420: PUSH2 0x035a
00000423: SWAP2
00000424: SWAP1
00000425: PUSH2 0x00ec
00000428: JUMP
00000429: JUMPDEST
0000042a: DUP3
0000042b: DUP1
0000042c: ADD
0000042d: PUSH1 0x01
0000042f: ADD
00000430: DUP6
00000431: SSTORE
00000432: DUP3
00000433: ISZERO
00000434: PUSH2 0x034e
00000437: JUMPI
00000438: PUSH1 0x00
0000043a: MSTORE
0000043b: PUSH1 0x20
0000043d: PUSH1 0x00
0000043f: KECCAK256
00000440: SWAP2
00000441: PUSH1 0x1f
00000443: ADD
00000444: PUSH1 0x20
00000446: SWAP1
00000447: DIV
00000448: DUP3
00000449: ADD
0000044a: JUMPDEST
0000044b: DUP3
0000044c: DUP2
0000044d: GT
0000044e: ISZERO
0000044f: PUSH2 0x034e
00000452: JUMPI
00000453: DUP3
00000454: SLOAD
00000455: DUP3
00000456: SSTORE
00000457: SWAP2
00000458: PUSH1 0x01
0000045a: ADD
0000045b: SWAP2
0000045c: SWAP1
0000045d: PUSH1 0x01
0000045f: ADD
00000460: SWAP1
00000461: PUSH2 0x044a
00000464: JUMP
00000465: JUMPDEST
00000466: POP
00000467: POP
00000468: PUSH1 0x01
0000046a: DUP3
0000046b: ADD
0000046c: PUSH1 0x00
0000046e: POP
0000046f: DUP2
00000470: PUSH1 0x01
00000472: ADD
00000473: PUSH1 0x00
00000475: POP
00000476: SWAP1
00000477: DUP1
00000478: SLOAD
00000479: PUSH1 0x01
0000047b: DUP2
0000047c: PUSH1 0x01
0000047e: AND
0000047f: ISZERO
00000480: PUSH2 0x0100
00000483: MUL
00000484: SUB
00000485: AND
00000486: PUSH1 0x02
00000488: SWAP1
00000489: DIV
0000048a: DUP3
0000048b: DUP1
0000048c: SLOAD
0000048d: PUSH1 0x01
0000048f: DUP2
00000490: PUSH1 0x01
00000492: AND
00000493: ISZERO
00000494: PUSH2 0x0100
00000497: MUL
00000498: SUB
00000499: AND
0000049a: PUSH1 0x02
0000049c: SWAP1
0000049d: DIV
0000049e: SWAP1
0000049f: PUSH1 0x00
000004a1: MSTORE
000004a2: PUSH1 0x20
000004a4: PUSH1 0x00
000004a6: KECCAK256
000004a7: SWAP1
000004a8: PUSH1 0x1f
000004aa: ADD
000004ab: PUSH1 0x20
000004ad: SWAP1
000004ae: DIV
000004af: DUP2
000004b0: ADD
000004b1: SWAP3
000004b2: DUP3
000004b3: PUSH1 0x1f
000004b5: LT
000004b6: PUSH2 0x04ca
000004b9: JUMPI
000004ba: DUP1
000004bb: SLOAD
000004bc: DUP6
000004bd: SSTORE
000004be: JUMPDEST
000004bf: POP
000004c0: PUSH2 0x0506
000004c3: SWAP3
000004c4: SWAP2
000004c5: POP
000004c6: PUSH2 0x00ec
000004c9: JUMP
000004ca: JUMPDEST
000004cb: DUP3
000004cc: DUP1
000004cd: ADD
000004ce: PUSH1 0x01
000004d0: ADD
000004d1: DUP6
000004d2: SSTORE
000004d3: DUP3
000004d4: ISZERO
000004d5: PUSH2 0x04be
000004d8: JUMPI
000004d9: PUSH1 0x00
000004db: MSTORE
000004dc: PUSH1 0x20
000004de: PUSH1 0x00
000004e0: KECCAK256
000004e1: SWAP2
000004e2: PUSH1 0x1f
000004e4: ADD
000004e5: PUSH1 0x20
000004e7: SWAP1
000004e8: DIV
000004e9: DUP3
000004ea: ADD
000004eb: JUMPDEST
000004ec: DUP3
000004ed: DUP2
000004ee: GT
000004ef: ISZERO
000004f0: PUSH2 0x04be
000004f3: JUMPI
000004f4: DUP3
000004f5: SLOAD
000004f6: DUP3
000004f7: SSTORE
000004f8: SWAP2
000004f9: PUSH1 0x01
000004fb: ADD
000004fc: SWAP2
000004fd: SWAP1
000004fe: PUSH1 0x01
00000500: ADD
00000501: SWAP1
00000502: PUSH2 0x04eb
00000505: JUMP
00000506: JUMPDEST
00000507: POP
00000508: POP
00000509: PUSH1 0x02
0000050b: DUP3
0000050c: DUP2
0000050d: ADD
0000050e: SLOAD
0000050f: DUP3
00000510: DUP3
00000511: ADD
00000512: SSTORE
00000513: PUSH1 0x03
00000515: DUP4
00000516: DUP2
00000517: ADD
00000518: SLOAD
00000519: SWAP1
0000051a: DUP4
0000051b: ADD
0000051c: SSTORE
0000051d: PUSH1 0x04
0000051f: DUP4
00000520: DUP2
00000521: ADD
00000522: SLOAD
00000523: SWAP1
00000524: DUP4
00000525: ADD
00000526: DUP1
00000527: SLOAD
00000528: PUSH1 0x01
0000052a: PUSH1 0xa0
0000052c: PUSH1 0x02
0000052e: EXP
0000052f: SUB
00000530: NOT
00000531: SWAP1
00000532: DUP2
00000533: AND
00000534: PUSH1 0x01
00000536: PUSH1 0xa0
00000538: PUSH1 0x02
0000053a: EXP
0000053b: SUB
0000053c: SWAP4
0000053d: DUP5
0000053e: AND
0000053f: OR
00000540: SWAP1
00000541: SWAP2
00000542: SSTORE
00000543: PUSH1 0x05
00000545: SWAP5
00000546: DUP6
00000547: ADD
00000548: SLOAD
00000549: SWAP4
0000054a: SWAP1
0000054b: SWAP5
0000054c: ADD
0000054d: DUP1
0000054e: SLOAD
0000054f: SWAP1
00000550: SWAP5
00000551: AND
00000552: SWAP3
00000553: AND
00000554: SWAP2
00000555: SWAP1
00000556: SWAP2
00000557: OR
00000558: SWAP1
00000559: SWAP2
0000055a: SSTORE
0000055b: DUP1
0000055c: SLOAD
0000055d: CALLVALUE
0000055e: ADD
0000055f: SWAP1
00000560: SSTORE
00000561: POP
00000562: POP
00000563: PUSH1 0x40
00000565: DUP1
00000566: MLOAD
00000567: DUP1
00000568: DUP3
00000569: ADD
0000056a: SWAP1
0000056b: SWAP2
0000056c: MSTORE
0000056d: PUSH1 0x07
0000056f: DUP2
00000570: MSTORE
00000571: PUSH1 0xc8
00000573: PUSH1 0x02
00000575: EXP
00000576: PUSH7 0x73756363657373
0000057e: MUL
0000057f: PUSH1 0x20
00000581: DUP3
00000582: ADD
00000583: MSTORE
00000584: SWAP1
00000585: JUMP
00000586: JUMPDEST
00000587: STOP
00000588: JUMPDEST
00000589: PUSH1 0x40
0000058b: DUP1
0000058c: MLOAD
0000058d: PUSH1 0x01
0000058f: PUSH1 0xa0
00000591: PUSH1 0x02
00000593: EXP
00000594: SUB
00000595: SWAP3
00000596: SWAP1
00000597: SWAP3
00000598: AND
00000599: DUP3
0000059a: MSTORE
0000059b: MLOAD
0000059c: SWAP1
0000059d: DUP2
0000059e: SWAP1
0000059f: SUB
000005a0: PUSH1 0x20
000005a2: ADD
000005a3: SWAP1
000005a4: RETURN
000005a5: JUMPDEST
000005a6: PUSH1 0x00
000005a8: DUP1
000005a9: SLOAD
000005aa: PUSH1 0x01
000005ac: PUSH1 0xa0
000005ae: PUSH1 0x02
000005b0: EXP
000005b1: SUB
000005b2: NOT
000005b3: AND
000005b4: DUP3
000005b5: OR
000005b6: SWAP1
000005b7: SSTORE
000005b8: POP
000005b9: JUMP
000005ba: JUMPDEST
000005bb: POP
000005bc: POP
000005bd: PUSH1 0x02
000005bf: DUP3
000005c0: DUP2
000005c1: ADD
000005c2: SLOAD
000005c3: DUP3
000005c4: DUP3
000005c5: ADD
000005c6: SSTORE
000005c7: PUSH1 0x03
000005c9: DUP4
000005ca: DUP2
000005cb: ADD
000005cc: SLOAD
000005cd: SWAP1
000005ce: DUP4
000005cf: ADD
000005d0: SSTORE
000005d1: PUSH1 0x04
000005d3: DUP4
000005d4: DUP2
000005d5: ADD
000005d6: SLOAD
000005d7: SWAP1
000005d8: DUP4
000005d9: ADD
000005da: DUP1
000005db: SLOAD
000005dc: PUSH1 0x01
000005de: PUSH1 0xa0
000005e0: PUSH1 0x02
000005e2: EXP
000005e3: SUB
000005e4: NOT
000005e5: SWAP1
000005e6: DUP2
000005e7: AND
000005e8: PUSH1 0x01
000005ea: PUSH1 0xa0
000005ec: PUSH1 0x02
000005ee: EXP
000005ef: SUB
000005f0: SWAP4
000005f1: DUP5
000005f2: AND
000005f3: OR
000005f4: SWAP1
000005f5: SWAP2
000005f6: SSTORE
000005f7: PUSH1 0x05
000005f9: SWAP5
000005fa: DUP6
000005fb: ADD
000005fc: SLOAD
000005fd: SWAP4
000005fe: SWAP1
000005ff: SWAP5
00000600: ADD
00000601: DUP1
00000602: SLOAD
00000603: SWAP1
00000604: SWAP5
00000605: AND
00000606: SWAP3
00000607: AND
00000608: SWAP2
00000609: SWAP1
0000060a: SWAP2
0000060b: OR
0000060c: SWAP1
0000060d: SWAP2
0000060e: SSTORE
0000060f: DUP1
00000610: SLOAD
00000611: CALLVALUE
00000612: SWAP1
00000613: SUB
00000614: SWAP1
00000615: SSTORE
00000616: POP
00000617: POP
00000618: PUSH1 0x40
0000061a: DUP1
0000061b: MLOAD
0000061c: DUP1
0000061d: DUP3
0000061e: ADD
0000061f: SWAP1
00000620: SWAP2
00000621: MSTORE
00000622: PUSH1 0x07
00000624: DUP2
00000625: MSTORE
00000626: PUSH1 0xc8
00000628: PUSH1 0x02
0000062a: EXP
0000062b: PUSH7 0x73756363657373
00000633: MUL
00000634: PUSH1 0x20
00000636: DUP3
00000637: ADD
00000638: MSTORE
00000639: JUMPDEST
0000063a: SWAP3
0000063b: SWAP2
0000063c: POP
0000063d: POP
0000063e: JUMP
0000063f: JUMPDEST
00000640: PUSH1 0x02
00000642: SLOAD
00000643: DUP4
00000644: GT
00000645: PUSH2 0x0682
00000648: JUMPI
00000649: POP
0000064a: PUSH1 0x40
0000064c: DUP1
0000064d: MLOAD
0000064e: DUP1
0000064f: DUP3
00000650: ADD
00000651: SWAP1
00000652: SWAP2
00000653: MSTORE
00000654: PUSH1 0x1c
00000656: DUP2
00000657: MSTORE
00000658: PUSH32 0x6572726f722030313a20696e73756666696369656e742066756e647300000000
00000679: PUSH1 0x20
0000067b: DUP3
0000067c: ADD
0000067d: MSTORE
0000067e: PUSH2 0x0639
00000681: JUMP
00000682: JUMPDEST
00000683: PUSH1 0x40
00000685: MLOAD
00000686: PUSH1 0x01
00000688: PUSH1 0xa0
0000068a: PUSH1 0x02
0000068c: EXP
0000068d: SUB
0000068e: DUP4
0000068f: AND
00000690: SWAP1
00000691: PUSH1 0x00
00000693: SWAP1
00000694: DUP6
00000695: SWAP1
00000696: DUP3
00000697: DUP2
00000698: DUP2
00000699: DUP2
0000069a: DUP6
0000069b: DUP9
0000069c: DUP4
0000069d: CALL
0000069e: SWAP4
0000069f: POP
000006a0: POP
000006a1: POP
000006a2: POP
000006a3: POP
000006a4: PUSH1 0x0b
000006a6: PUSH1 0x00
000006a8: POP
000006a9: DUP1
000006aa: SLOAD
000006ab: DUP1
000006ac: PUSH1 0x01
000006ae: ADD
000006af: DUP3
000006b0: DUP2
000006b1: DUP2
000006b2: SLOAD
000006b3: DUP2
000006b4: DUP4
000006b5: SSTORE
000006b6: DUP2
000006b7: DUP2
000006b8: ISZERO
000006b9: GT
000006ba: PUSH2 0x06dc
000006bd: JUMPI
000006be: PUSH1 0x06
000006c0: MUL
000006c1: DUP2
000006c2: PUSH1 0x06
000006c4: MUL
000006c5: DUP4
000006c6: PUSH1 0x00
000006c8: MSTORE
000006c9: PUSH1 0x20
000006cb: PUSH1 0x00
000006cd: KECCAK256
000006ce: SWAP2
000006cf: DUP3
000006d0: ADD
000006d1: SWAP2
000006d2: ADD
000006d3: PUSH2 0x06dc
000006d6: SWAP2
000006d7: SWAP1
000006d8: PUSH2 0x0792
000006db: JUMP
000006dc: JUMPDEST
000006dd: POP
000006de: POP
000006df: POP
000006e0: SWAP2
000006e1: SWAP1
000006e2: SWAP1
000006e3: PUSH1 0x00
000006e5: MSTORE
000006e6: PUSH1 0x20
000006e8: PUSH1 0x00
000006ea: KECCAK256
000006eb: SWAP1
000006ec: PUSH1 0x06
000006ee: MUL
000006ef: ADD
000006f0: PUSH1 0x00
000006f2: PUSH1 0x05
000006f4: PUSH1 0x00
000006f6: POP
000006f7: SWAP1
000006f8: SWAP2
000006f9: SWAP1
000006fa: SWAP2
000006fb: POP
000006fc: PUSH1 0x00
000006fe: DUP3
000006ff: ADD
00000700: PUSH1 0x00
00000702: POP
00000703: DUP2
00000704: PUSH1 0x00
00000706: ADD
00000707: PUSH1 0x00
00000709: POP
0000070a: SWAP1
0000070b: DUP1
0000070c: SLOAD
0000070d: PUSH1 0x01
0000070f: DUP2
00000710: PUSH1 0x01
00000712: AND
00000713: ISZERO
00000714: PUSH2 0x0100
00000717: MUL
00000718: SUB
00000719: AND
0000071a: PUSH1 0x02
0000071c: SWAP1
0000071d: DIV
0000071e: DUP3
0000071f: DUP1
00000720: SLOAD
00000721: PUSH1 0x01
00000723: DUP2
00000724: PUSH1 0x01
00000726: AND
00000727: ISZERO
00000728: PUSH2 0x0100
0000072b: MUL
0000072c: SUB
0000072d: AND
0000072e: PUSH1 0x02
00000730: SWAP1
00000731: DIV
00000732: SWAP1
00000733: PUSH1 0x00
00000735: MSTORE
00000736: PUSH1 0x20
00000738: PUSH1 0x00
0000073a: KECCAK256
0000073b: SWAP1
0000073c: PUSH1 0x1f
0000073e: ADD
0000073f: PUSH1 0x20
00000741: SWAP1
00000742: DIV
00000743: DUP2
00000744: ADD
00000745: SWAP3
00000746: DUP3
00000747: PUSH1 0x1f
00000749: LT
0000074a: PUSH2 0x082d
0000074d: JUMPI
0000074e: DUP1
0000074f: SLOAD
00000750: DUP6
00000751: SSTORE
00000752: JUMPDEST
00000753: POP
00000754: PUSH2 0x0869
00000757: SWAP3
00000758: SWAP2
00000759: POP
0000075a: PUSH2 0x00ec
0000075d: JUMP
0000075e: JUMPDEST
0000075f: POP
00000760: POP
00000761: PUSH1 0x00
00000763: PUSH1 0x02
00000765: DUP3
00000766: ADD
00000767: DUP2
00000768: SWAP1
00000769: SSTORE
0000076a: PUSH1 0x03
0000076c: DUP3
0000076d: ADD
0000076e: SSTORE
0000076f: PUSH1 0x04
00000771: DUP2
00000772: ADD
00000773: DUP1
00000774: SLOAD
00000775: PUSH1 0x01
00000777: PUSH1 0xa0
00000779: PUSH1 0x02
0000077b: EXP
0000077c: SUB
0000077d: NOT
0000077e: SWAP1
0000077f: DUP2
00000780: AND
00000781: SWAP1
00000782: SWAP2
00000783: SSTORE
00000784: PUSH1 0x05
00000786: DUP3
00000787: ADD
00000788: DUP1
00000789: SLOAD
0000078a: SWAP1
0000078b: SWAP2
0000078c: AND
0000078d: SWAP1
0000078e: SSTORE
0000078f: PUSH1 0x01
00000791: ADD
00000792: JUMPDEST
00000793: DUP1
00000794: DUP3
00000795: GT
00000796: ISZERO
00000797: PUSH2 0x02d4
0000079a: JUMPI
0000079b: PUSH1 0x00
0000079d: PUSH1 0x00
0000079f: DUP3
000007a0: ADD
000007a1: PUSH1 0x00
000007a3: POP
000007a4: DUP1
000007a5: SLOAD
000007a6: PUSH1 0x01
000007a8: DUP2
000007a9: PUSH1 0x01
000007ab: AND
000007ac: ISZERO
000007ad: PUSH2 0x0100
000007b0: MUL
000007b1: SUB
000007b2: AND
000007b3: PUSH1 0x02
000007b5: SWAP1
000007b6: DIV
000007b7: PUSH1 0x00
000007b9: DUP3
000007ba: SSTORE
000007bb: DUP1
000007bc: PUSH1 0x1f
000007be: LT
000007bf: PUSH2 0x07f1
000007c2: JUMPI
000007c3: POP
000007c4: JUMPDEST
000007c5: POP
000007c6: PUSH1 0x01
000007c8: DUP3
000007c9: ADD
000007ca: PUSH1 0x00
000007cc: POP
000007cd: DUP1
000007ce: SLOAD
000007cf: PUSH1 0x01
000007d1: DUP2
000007d2: PUSH1 0x01
000007d4: AND
000007d5: ISZERO
000007d6: PUSH2 0x0100
000007d9: MUL
000007da: SUB
000007db: AND
000007dc: PUSH1 0x02
000007de: SWAP1
000007df: DIV
000007e0: PUSH1 0x00
000007e2: DUP3
000007e3: SSTORE
000007e4: DUP1
000007e5: PUSH1 0x1f
000007e7: LT
000007e8: PUSH2 0x080f
000007eb: JUMPI
000007ec: POP
000007ed: PUSH2 0x075e
000007f0: JUMP
000007f1: JUMPDEST
000007f2: PUSH1 0x1f
000007f4: ADD
000007f5: PUSH1 0x20
000007f7: SWAP1
000007f8: DIV
000007f9: SWAP1
000007fa: PUSH1 0x00
000007fc: MSTORE
000007fd: PUSH1 0x20
000007ff: PUSH1 0x00
00000801: KECCAK256
00000802: SWAP1
00000803: DUP2
00000804: ADD
00000805: SWAP1
00000806: PUSH2 0x07c4
00000809: SWAP2
0000080a: SWAP1
0000080b: PUSH2 0x00ec
0000080e: JUMP
0000080f: JUMPDEST
00000810: PUSH1 0x1f
00000812: ADD
00000813: PUSH1 0x20
00000815: SWAP1
00000816: DIV
00000817: SWAP1
00000818: PUSH1 0x00
0000081a: MSTORE
0000081b: PUSH1 0x20
0000081d: PUSH1 0x00
0000081f: KECCAK256
00000820: SWAP1
00000821: DUP2
00000822: ADD
00000823: SWAP1
00000824: PUSH2 0x075e
00000827: SWAP2
00000828: SWAP1
00000829: PUSH2 0x00ec
0000082c: JUMP
0000082d: JUMPDEST
0000082e: DUP3
0000082f: DUP1
00000830: ADD
00000831: PUSH1 0x01
00000833: ADD
00000834: DUP6
00000835: SSTORE
00000836: DUP3
00000837: ISZERO
00000838: PUSH2 0x0752
0000083b: JUMPI
0000083c: PUSH1 0x00
0000083e: MSTORE
0000083f: PUSH1 0x20
00000841: PUSH1 0x00
00000843: KECCAK256
00000844: SWAP2
00000845: PUSH1 0x1f
00000847: ADD
00000848: PUSH1 0x20
0000084a: SWAP1
0000084b: DIV
0000084c: DUP3
0000084d: ADD
0000084e: JUMPDEST
0000084f: DUP3
00000850: DUP2
00000851: GT
00000852: ISZERO
00000853: PUSH2 0x0752
00000856: JUMPI
00000857: DUP3
00000858: SLOAD
00000859: DUP3
0000085a: SSTORE
0000085b: SWAP2
0000085c: PUSH1 0x01
0000085e: ADD
0000085f: SWAP2
00000860: SWAP1
00000861: PUSH1 0x01
00000863: ADD
00000864: SWAP1
00000865: PUSH2 0x084e
00000868: JUMP
00000869: JUMPDEST
0000086a: POP
0000086b: POP
0000086c: PUSH1 0x01
0000086e: DUP3
0000086f: ADD
00000870: PUSH1 0x00
00000872: POP
00000873: DUP2
00000874: PUSH1 0x01
00000876: ADD
00000877: PUSH1 0x00
00000879: POP
0000087a: SWAP1
0000087b: DUP1
0000087c: SLOAD
0000087d: PUSH1 0x01
0000087f: DUP2
00000880: PUSH1 0x01
00000882: AND
00000883: ISZERO
00000884: PUSH2 0x0100
00000887: MUL
00000888: SUB
00000889: AND
0000088a: PUSH1 0x02
0000088c: SWAP1
0000088d: DIV
0000088e: DUP3
0000088f: DUP1
00000890: SLOAD
00000891: PUSH1 0x01
00000893: DUP2
00000894: PUSH1 0x01
00000896: AND
00000897: ISZERO
00000898: PUSH2 0x0100
0000089b: MUL
0000089c: SUB
0000089d: AND
0000089e: PUSH1 0x02
000008a0: SWAP1
000008a1: DIV
000008a2: SWAP1
000008a3: PUSH1 0x00
000008a5: MSTORE
000008a6: PUSH1 0x20
000008a8: PUSH1 0x00
000008aa: KECCAK256
000008ab: SWAP1
000008ac: PUSH1 0x1f
000008ae: ADD
000008af: PUSH1 0x20
000008b1: SWAP1
000008b2: DIV
000008b3: DUP2
000008b4: ADD
000008b5: SWAP3
000008b6: DUP3
000008b7: PUSH1 0x1f
000008b9: LT
000008ba: PUSH2 0x08ce
000008bd: JUMPI
000008be: DUP1
000008bf: SLOAD
000008c0: DUP6
000008c1: SSTORE
000008c2: JUMPDEST
000008c3: POP
000008c4: PUSH2 0x05ba
000008c7: SWAP3
000008c8: SWAP2
000008c9: POP
000008ca: PUSH2 0x00ec
000008cd: JUMP
000008ce: JUMPDEST
000008cf: DUP3
000008d0: DUP1
000008d1: ADD
000008d2: PUSH1 0x01
000008d4: ADD
000008d5: DUP6
000008d6: SSTORE
000008d7: DUP3
000008d8: ISZERO
000008d9: PUSH2 0x08c2
000008dc: JUMPI
000008dd: PUSH1 0x00
000008df: MSTORE
000008e0: PUSH1 0x20
000008e2: PUSH1 0x00
000008e4: KECCAK256
000008e5: SWAP2
000008e6: PUSH1 0x1f
000008e8: ADD
000008e9: PUSH1 0x20
000008eb: SWAP1
000008ec: DIV
000008ed: DUP3
000008ee: ADD
000008ef: JUMPDEST
000008f0: DUP3
000008f1: DUP2
000008f2: GT
000008f3: ISZERO
000008f4: PUSH2 0x08c2
000008f7: JUMPI
000008f8: DUP3
000008f9: SLOAD
000008fa: DUP3
000008fb: SSTORE
000008fc: SWAP2
000008fd: PUSH1 0x01
000008ff: ADD
00000900: SWAP2
00000901: SWAP1
00000902: PUSH1 0x01
00000904: ADD
00000905: SWAP1
00000906: PUSH2 0x08ef
00000909: JUMP
0000090a: JUMPDEST
0000090b: PUSH1 0x00
0000090d: SLOAD
0000090e: PUSH1 0x01
00000910: PUSH1 0xa0
00000912: PUSH1 0x02
00000914: EXP
00000915: SUB
00000916: AND
00000917: SELFDESTRUCT
00000918: JUMPDEST
00000919: DUP3
0000091a: ADD
0000091b: SWAP2
0000091c: SWAP1
0000091d: PUSH1 0x00
0000091f: MSTORE
00000920: PUSH1 0x20
00000922: PUSH1 0x00
00000924: KECCAK256
00000925: SWAP1
00000926: JUMPDEST
00000927: DUP2
00000928: SLOAD
00000929: DUP2
0000092a: MSTORE
0000092b: SWAP1
0000092c: PUSH1 0x01
0000092e: ADD
0000092f: SWAP1
00000930: PUSH1 0x20
00000932: ADD
00000933: DUP1
00000934: DUP4
00000935: GT
00000936: PUSH2 0x0926
00000939: JUMPI
0000093a: DUP3
0000093b: SWAP1
0000093c: SUB
0000093d: PUSH1 0x1f
0000093f: AND
00000940: DUP3
00000941: ADD
00000942: SWAP2
00000943: JUMPDEST
00000944: POP
00000945: POP
00000946: POP
00000947: POP
00000948: POP
00000949: DUP2
0000094a: JUMP

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
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0xce09850ebb6a7247e586eb97a541db3b15c0aa1d7cfe0662cd621982aabf202b call_targets: 0xf901a9d207a595b35c540a17e16ac8bb4803e360 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xce09850ebb6a7247e586eb97a541db3b15c0aa1d7cfe0662cd621982aabf202b", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xf901a9d207a595b35c540a17e16ac8bb4803e360" ], "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": "0x2c531258", "selector": "0x2c531258", "calldata_variants": [ "0x2c531258", "0x2c5312580000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x41c0e1b5", "selector": "0x41c0e1b5", "calldata_variants": [ "0x41c0e1b5", "0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8da5cb5b", "selector": "0x8da5cb5b", "calldata_variants": [ "0x8da5cb5b", "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc5e57985", "selector": "0xc5e57985", "calldata_variants": [ "0xc5e57985", "0xc5e579850000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 534, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1693, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 2, "guards_detected": [] }
high	other	detector	Untrusted CALL target/value reachable	60	no	no	view trace_id: 0xce09850ebb6a7247e586eb97a541db3b15c0aa1d7cfe0662cd621982aabf202b call_targets: 0xf901a9d207a595b35c540a17e16ac8bb4803e360 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xce09850ebb6a7247e586eb97a541db3b15c0aa1d7cfe0662cd621982aabf202b", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xf901a9d207a595b35c540a17e16ac8bb4803e360" ], "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": "0x2c531258", "selector": "0x2c531258", "calldata_variants": [ "0x2c531258", "0x2c5312580000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x41c0e1b5", "selector": "0x41c0e1b5", "calldata_variants": [ "0x41c0e1b5", "0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8da5cb5b", "selector": "0x8da5cb5b", "calldata_variants": [ "0x8da5cb5b", "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc5e57985", "selector": "0xc5e57985", "calldata_variants": [ "0xc5e57985", "0xc5e579850000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 534, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1693, "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	SELFDESTRUCT reachable	65	no	no	view trace_id: 0x57e1a7296aac2034293195ecf1dee184900331eb2f829f53e9f91b549a7f5191 validation_json { "sink": "SELFDESTRUCT", "errors": 0, "status": "unknown", "attempts": 10, "trace_id": "0x57e1a7296aac2034293195ecf1dee184900331eb2f829f53e9f91b549a7f5191", "confirmed": false, "trace_mode": "structLogs", "call_targets": null, "matched_probe": null, "target_varies": null, "classification": "no_sink" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0x2c531258", "selector": "0x2c531258", "calldata_variants": [ "0x2c531258", "0x2c5312580000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x41c0e1b5", "selector": "0x41c0e1b5", "calldata_variants": [ "0x41c0e1b5", "0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8da5cb5b", "selector": "0x8da5cb5b", "calldata_variants": [ "0x8da5cb5b", "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc5e57985", "selector": "0xc5e57985", "calldata_variants": [ "0xc5e57985", "0xc5e579850000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "guards_detected": [], "selfdestruct_count": 1 }

Severity