Analysis Run

019b3836-4059-72ac-b6ce-d30fef573647

complete

Chain ID

1

Address

0xba44dea87efe96e3c496d894bd7aa8ee83c10bc5

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 CALL target/value reachable

crit 0 high 0 direct contract

Review Checklist

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

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

3. Confirm money or privilege impact.

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

Processing Jobs

Status & attempts

ID	Type	Status	Attempts	Heartbeat
5203	artifact.fetch	complete	1 / 3	3 months ago
5204	tool.cast_disasm	complete	1 / 3	3 months ago
48708	analysis.bundle	complete	1 / 3	2 weeks ago
48709	capability.graph	complete	1 / 3	2 weeks ago
48710	detector.run	complete	1 / 3	2 weeks ago
48711	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

1719

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 0x0680
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 0x05ba
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 0x05f3
000001a4: JUMPI
000001a5: DUP1
000001a6: PUSH1 0x1f
000001a8: LT
000001a9: PUSH2 0x05c8
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 0x05f3
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: PUSH1 0x00
000005bd: SLOAD
000005be: PUSH1 0x01
000005c0: PUSH1 0xa0
000005c2: PUSH1 0x02
000005c4: EXP
000005c5: SUB
000005c6: AND
000005c7: SELFDESTRUCT
000005c8: JUMPDEST
000005c9: DUP3
000005ca: ADD
000005cb: SWAP2
000005cc: SWAP1
000005cd: PUSH1 0x00
000005cf: MSTORE
000005d0: PUSH1 0x20
000005d2: PUSH1 0x00
000005d4: KECCAK256
000005d5: SWAP1
000005d6: JUMPDEST
000005d7: DUP2
000005d8: SLOAD
000005d9: DUP2
000005da: MSTORE
000005db: SWAP1
000005dc: PUSH1 0x01
000005de: ADD
000005df: SWAP1
000005e0: PUSH1 0x20
000005e2: ADD
000005e3: DUP1
000005e4: DUP4
000005e5: GT
000005e6: PUSH2 0x05d6
000005e9: JUMPI
000005ea: DUP3
000005eb: SWAP1
000005ec: SUB
000005ed: PUSH1 0x1f
000005ef: AND
000005f0: DUP3
000005f1: ADD
000005f2: SWAP2
000005f3: JUMPDEST
000005f4: POP
000005f5: POP
000005f6: POP
000005f7: POP
000005f8: POP
000005f9: DUP2
000005fa: JUMP
000005fb: JUMPDEST
000005fc: POP
000005fd: POP
000005fe: PUSH1 0x02
00000600: DUP3
00000601: DUP2
00000602: ADD
00000603: SLOAD
00000604: DUP3
00000605: DUP3
00000606: ADD
00000607: SSTORE
00000608: PUSH1 0x03
0000060a: DUP4
0000060b: DUP2
0000060c: ADD
0000060d: SLOAD
0000060e: SWAP1
0000060f: DUP4
00000610: ADD
00000611: SSTORE
00000612: PUSH1 0x04
00000614: DUP4
00000615: DUP2
00000616: ADD
00000617: SLOAD
00000618: SWAP1
00000619: DUP4
0000061a: ADD
0000061b: DUP1
0000061c: SLOAD
0000061d: PUSH1 0x01
0000061f: PUSH1 0xa0
00000621: PUSH1 0x02
00000623: EXP
00000624: SUB
00000625: NOT
00000626: SWAP1
00000627: DUP2
00000628: AND
00000629: PUSH1 0x01
0000062b: PUSH1 0xa0
0000062d: PUSH1 0x02
0000062f: EXP
00000630: SUB
00000631: SWAP4
00000632: DUP5
00000633: AND
00000634: OR
00000635: SWAP1
00000636: SWAP2
00000637: SSTORE
00000638: PUSH1 0x05
0000063a: SWAP5
0000063b: DUP6
0000063c: ADD
0000063d: SLOAD
0000063e: SWAP4
0000063f: SWAP1
00000640: SWAP5
00000641: ADD
00000642: DUP1
00000643: SLOAD
00000644: SWAP1
00000645: SWAP5
00000646: AND
00000647: SWAP3
00000648: AND
00000649: SWAP2
0000064a: SWAP1
0000064b: SWAP2
0000064c: OR
0000064d: SWAP1
0000064e: SWAP2
0000064f: SSTORE
00000650: DUP1
00000651: SLOAD
00000652: CALLVALUE
00000653: SWAP1
00000654: SUB
00000655: SWAP1
00000656: SSTORE
00000657: POP
00000658: POP
00000659: PUSH1 0x40
0000065b: DUP1
0000065c: MLOAD
0000065d: DUP1
0000065e: DUP3
0000065f: ADD
00000660: SWAP1
00000661: SWAP2
00000662: MSTORE
00000663: PUSH1 0x07
00000665: DUP2
00000666: MSTORE
00000667: PUSH1 0xc8
00000669: PUSH1 0x02
0000066b: EXP
0000066c: PUSH7 0x73756363657373
00000674: MUL
00000675: PUSH1 0x20
00000677: DUP3
00000678: ADD
00000679: MSTORE
0000067a: JUMPDEST
0000067b: SWAP3
0000067c: SWAP2
0000067d: POP
0000067e: POP
0000067f: JUMP
00000680: JUMPDEST
00000681: PUSH1 0x02
00000683: SLOAD
00000684: DUP4
00000685: GT
00000686: ISZERO
00000687: PUSH2 0x06c4
0000068a: JUMPI
0000068b: POP
0000068c: PUSH1 0x40
0000068e: DUP1
0000068f: MLOAD
00000690: DUP1
00000691: DUP3
00000692: ADD
00000693: SWAP1
00000694: SWAP2
00000695: MSTORE
00000696: PUSH1 0x1c
00000698: DUP2
00000699: MSTORE
0000069a: PUSH32 0x6572726f722030313a20696e73756666696369656e742066756e647300000000
000006bb: PUSH1 0x20
000006bd: DUP3
000006be: ADD
000006bf: MSTORE
000006c0: PUSH2 0x067a
000006c3: JUMP
000006c4: JUMPDEST
000006c5: PUSH1 0x40
000006c7: MLOAD
000006c8: PUSH1 0x01
000006ca: PUSH1 0xa0
000006cc: PUSH1 0x02
000006ce: EXP
000006cf: SUB
000006d0: DUP4
000006d1: AND
000006d2: SWAP1
000006d3: PUSH1 0x00
000006d5: SWAP1
000006d6: DUP6
000006d7: SWAP1
000006d8: DUP3
000006d9: DUP2
000006da: DUP2
000006db: DUP2
000006dc: DUP6
000006dd: DUP9
000006de: DUP4
000006df: CALL
000006e0: SWAP4
000006e1: POP
000006e2: POP
000006e3: POP
000006e4: POP
000006e5: POP
000006e6: PUSH1 0x0b
000006e8: PUSH1 0x00
000006ea: POP
000006eb: DUP1
000006ec: SLOAD
000006ed: DUP1
000006ee: PUSH1 0x01
000006f0: ADD
000006f1: DUP3
000006f2: DUP2
000006f3: DUP2
000006f4: SLOAD
000006f5: DUP2
000006f6: DUP4
000006f7: SSTORE
000006f8: DUP2
000006f9: DUP2
000006fa: ISZERO
000006fb: GT
000006fc: PUSH2 0x071e
000006ff: JUMPI
00000700: PUSH1 0x06
00000702: MUL
00000703: DUP2
00000704: PUSH1 0x06
00000706: MUL
00000707: DUP4
00000708: PUSH1 0x00
0000070a: MSTORE
0000070b: PUSH1 0x20
0000070d: PUSH1 0x00
0000070f: KECCAK256
00000710: SWAP2
00000711: DUP3
00000712: ADD
00000713: SWAP2
00000714: ADD
00000715: PUSH2 0x071e
00000718: SWAP2
00000719: SWAP1
0000071a: PUSH2 0x07d4
0000071d: JUMP
0000071e: JUMPDEST
0000071f: POP
00000720: POP
00000721: POP
00000722: SWAP2
00000723: SWAP1
00000724: SWAP1
00000725: PUSH1 0x00
00000727: MSTORE
00000728: PUSH1 0x20
0000072a: PUSH1 0x00
0000072c: KECCAK256
0000072d: SWAP1
0000072e: PUSH1 0x06
00000730: MUL
00000731: ADD
00000732: PUSH1 0x00
00000734: PUSH1 0x05
00000736: PUSH1 0x00
00000738: POP
00000739: SWAP1
0000073a: SWAP2
0000073b: SWAP1
0000073c: SWAP2
0000073d: POP
0000073e: PUSH1 0x00
00000740: DUP3
00000741: ADD
00000742: PUSH1 0x00
00000744: POP
00000745: DUP2
00000746: PUSH1 0x00
00000748: ADD
00000749: PUSH1 0x00
0000074b: POP
0000074c: SWAP1
0000074d: DUP1
0000074e: SLOAD
0000074f: PUSH1 0x01
00000751: DUP2
00000752: PUSH1 0x01
00000754: AND
00000755: ISZERO
00000756: PUSH2 0x0100
00000759: MUL
0000075a: SUB
0000075b: AND
0000075c: PUSH1 0x02
0000075e: SWAP1
0000075f: DIV
00000760: DUP3
00000761: DUP1
00000762: SLOAD
00000763: PUSH1 0x01
00000765: DUP2
00000766: PUSH1 0x01
00000768: AND
00000769: ISZERO
0000076a: PUSH2 0x0100
0000076d: MUL
0000076e: SUB
0000076f: AND
00000770: PUSH1 0x02
00000772: SWAP1
00000773: DIV
00000774: SWAP1
00000775: PUSH1 0x00
00000777: MSTORE
00000778: PUSH1 0x20
0000077a: PUSH1 0x00
0000077c: KECCAK256
0000077d: SWAP1
0000077e: PUSH1 0x1f
00000780: ADD
00000781: PUSH1 0x20
00000783: SWAP1
00000784: DIV
00000785: DUP2
00000786: ADD
00000787: SWAP3
00000788: DUP3
00000789: PUSH1 0x1f
0000078b: LT
0000078c: PUSH2 0x086f
0000078f: JUMPI
00000790: DUP1
00000791: SLOAD
00000792: DUP6
00000793: SSTORE
00000794: JUMPDEST
00000795: POP
00000796: PUSH2 0x08ab
00000799: SWAP3
0000079a: SWAP2
0000079b: POP
0000079c: PUSH2 0x00ec
0000079f: JUMP
000007a0: JUMPDEST
000007a1: POP
000007a2: POP
000007a3: PUSH1 0x00
000007a5: PUSH1 0x02
000007a7: DUP3
000007a8: ADD
000007a9: DUP2
000007aa: SWAP1
000007ab: SSTORE
000007ac: PUSH1 0x03
000007ae: DUP3
000007af: ADD
000007b0: SSTORE
000007b1: PUSH1 0x04
000007b3: DUP2
000007b4: ADD
000007b5: DUP1
000007b6: SLOAD
000007b7: PUSH1 0x01
000007b9: PUSH1 0xa0
000007bb: PUSH1 0x02
000007bd: EXP
000007be: SUB
000007bf: NOT
000007c0: SWAP1
000007c1: DUP2
000007c2: AND
000007c3: SWAP1
000007c4: SWAP2
000007c5: SSTORE
000007c6: PUSH1 0x05
000007c8: DUP3
000007c9: ADD
000007ca: DUP1
000007cb: SLOAD
000007cc: SWAP1
000007cd: SWAP2
000007ce: AND
000007cf: SWAP1
000007d0: SSTORE
000007d1: PUSH1 0x01
000007d3: ADD
000007d4: JUMPDEST
000007d5: DUP1
000007d6: DUP3
000007d7: GT
000007d8: ISZERO
000007d9: PUSH2 0x02d4
000007dc: JUMPI
000007dd: PUSH1 0x00
000007df: PUSH1 0x00
000007e1: DUP3
000007e2: ADD
000007e3: PUSH1 0x00
000007e5: POP
000007e6: DUP1
000007e7: SLOAD
000007e8: PUSH1 0x01
000007ea: DUP2
000007eb: PUSH1 0x01
000007ed: AND
000007ee: ISZERO
000007ef: PUSH2 0x0100
000007f2: MUL
000007f3: SUB
000007f4: AND
000007f5: PUSH1 0x02
000007f7: SWAP1
000007f8: DIV
000007f9: PUSH1 0x00
000007fb: DUP3
000007fc: SSTORE
000007fd: DUP1
000007fe: PUSH1 0x1f
00000800: LT
00000801: PUSH2 0x0833
00000804: JUMPI
00000805: POP
00000806: JUMPDEST
00000807: POP
00000808: PUSH1 0x01
0000080a: DUP3
0000080b: ADD
0000080c: PUSH1 0x00
0000080e: POP
0000080f: DUP1
00000810: SLOAD
00000811: PUSH1 0x01
00000813: DUP2
00000814: PUSH1 0x01
00000816: AND
00000817: ISZERO
00000818: PUSH2 0x0100
0000081b: MUL
0000081c: SUB
0000081d: AND
0000081e: PUSH1 0x02
00000820: SWAP1
00000821: DIV
00000822: PUSH1 0x00
00000824: DUP3
00000825: SSTORE
00000826: DUP1
00000827: PUSH1 0x1f
00000829: LT
0000082a: PUSH2 0x0851
0000082d: JUMPI
0000082e: POP
0000082f: PUSH2 0x07a0
00000832: JUMP
00000833: JUMPDEST
00000834: PUSH1 0x1f
00000836: ADD
00000837: PUSH1 0x20
00000839: SWAP1
0000083a: DIV
0000083b: SWAP1
0000083c: PUSH1 0x00
0000083e: MSTORE
0000083f: PUSH1 0x20
00000841: PUSH1 0x00
00000843: KECCAK256
00000844: SWAP1
00000845: DUP2
00000846: ADD
00000847: SWAP1
00000848: PUSH2 0x0806
0000084b: SWAP2
0000084c: SWAP1
0000084d: PUSH2 0x00ec
00000850: JUMP
00000851: JUMPDEST
00000852: PUSH1 0x1f
00000854: ADD
00000855: PUSH1 0x20
00000857: SWAP1
00000858: DIV
00000859: SWAP1
0000085a: PUSH1 0x00
0000085c: MSTORE
0000085d: PUSH1 0x20
0000085f: PUSH1 0x00
00000861: KECCAK256
00000862: SWAP1
00000863: DUP2
00000864: ADD
00000865: SWAP1
00000866: PUSH2 0x07a0
00000869: SWAP2
0000086a: SWAP1
0000086b: PUSH2 0x00ec
0000086e: JUMP
0000086f: JUMPDEST
00000870: DUP3
00000871: DUP1
00000872: ADD
00000873: PUSH1 0x01
00000875: ADD
00000876: DUP6
00000877: SSTORE
00000878: DUP3
00000879: ISZERO
0000087a: PUSH2 0x0794
0000087d: JUMPI
0000087e: PUSH1 0x00
00000880: MSTORE
00000881: PUSH1 0x20
00000883: PUSH1 0x00
00000885: KECCAK256
00000886: SWAP2
00000887: PUSH1 0x1f
00000889: ADD
0000088a: PUSH1 0x20
0000088c: SWAP1
0000088d: DIV
0000088e: DUP3
0000088f: ADD
00000890: JUMPDEST
00000891: DUP3
00000892: DUP2
00000893: GT
00000894: ISZERO
00000895: PUSH2 0x0794
00000898: JUMPI
00000899: DUP3
0000089a: SLOAD
0000089b: DUP3
0000089c: SSTORE
0000089d: SWAP2
0000089e: PUSH1 0x01
000008a0: ADD
000008a1: SWAP2
000008a2: SWAP1
000008a3: PUSH1 0x01
000008a5: ADD
000008a6: SWAP1
000008a7: PUSH2 0x0890
000008aa: JUMP
000008ab: JUMPDEST
000008ac: POP
000008ad: POP
000008ae: PUSH1 0x01
000008b0: DUP3
000008b1: ADD
000008b2: PUSH1 0x00
000008b4: POP
000008b5: DUP2
000008b6: PUSH1 0x01
000008b8: ADD
000008b9: PUSH1 0x00
000008bb: POP
000008bc: SWAP1
000008bd: DUP1
000008be: SLOAD
000008bf: PUSH1 0x01
000008c1: DUP2
000008c2: PUSH1 0x01
000008c4: AND
000008c5: ISZERO
000008c6: PUSH2 0x0100
000008c9: MUL
000008ca: SUB
000008cb: AND
000008cc: PUSH1 0x02
000008ce: SWAP1
000008cf: DIV
000008d0: DUP3
000008d1: DUP1
000008d2: SLOAD
000008d3: PUSH1 0x01
000008d5: DUP2
000008d6: PUSH1 0x01
000008d8: AND
000008d9: ISZERO
000008da: PUSH2 0x0100
000008dd: MUL
000008de: SUB
000008df: AND
000008e0: PUSH1 0x02
000008e2: SWAP1
000008e3: DIV
000008e4: SWAP1
000008e5: PUSH1 0x00
000008e7: MSTORE
000008e8: PUSH1 0x20
000008ea: PUSH1 0x00
000008ec: KECCAK256
000008ed: SWAP1
000008ee: PUSH1 0x1f
000008f0: ADD
000008f1: PUSH1 0x20
000008f3: SWAP1
000008f4: DIV
000008f5: DUP2
000008f6: ADD
000008f7: SWAP3
000008f8: DUP3
000008f9: PUSH1 0x1f
000008fb: LT
000008fc: PUSH2 0x0910
000008ff: JUMPI
00000900: DUP1
00000901: SLOAD
00000902: DUP6
00000903: SSTORE
00000904: JUMPDEST
00000905: POP
00000906: PUSH2 0x05fb
00000909: SWAP3
0000090a: SWAP2
0000090b: POP
0000090c: PUSH2 0x00ec
0000090f: JUMP
00000910: JUMPDEST
00000911: DUP3
00000912: DUP1
00000913: ADD
00000914: PUSH1 0x01
00000916: ADD
00000917: DUP6
00000918: SSTORE
00000919: DUP3
0000091a: ISZERO
0000091b: PUSH2 0x0904
0000091e: JUMPI
0000091f: PUSH1 0x00
00000921: MSTORE
00000922: PUSH1 0x20
00000924: PUSH1 0x00
00000926: KECCAK256
00000927: SWAP2
00000928: PUSH1 0x1f
0000092a: ADD
0000092b: PUSH1 0x20
0000092d: SWAP1
0000092e: DIV
0000092f: DUP3
00000930: ADD
00000931: JUMPDEST
00000932: DUP3
00000933: DUP2
00000934: GT
00000935: ISZERO
00000936: PUSH2 0x0904
00000939: JUMPI
0000093a: DUP3
0000093b: SLOAD
0000093c: DUP3
0000093d: SSTORE
0000093e: SWAP2
0000093f: PUSH1 0x01
00000941: ADD
00000942: SWAP2
00000943: SWAP1
00000944: PUSH1 0x01
00000946: ADD
00000947: SWAP1
00000948: PUSH2 0x0931
0000094b: 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	Untrusted CALL target/value reachable	60	no	no	view trace_id: 0xd4af0759a19bcd74b6d2f728d6081a55e9b39f55673ffde37f08bb8fb967f0ce call_targets: 0xba44dea87efe96e3c496d894bd7aa8ee83c10bc5 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xd4af0759a19bcd74b6d2f728d6081a55e9b39f55673ffde37f08bb8fb967f0ce", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xba44dea87efe96e3c496d894bd7aa8ee83c10bc5" ], "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": 1759, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 2, "guards_detected": [], "untrusted_call_count": 2 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0xd4af0759a19bcd74b6d2f728d6081a55e9b39f55673ffde37f08bb8fb967f0ce call_targets: 0xba44dea87efe96e3c496d894bd7aa8ee83c10bc5 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xd4af0759a19bcd74b6d2f728d6081a55e9b39f55673ffde37f08bb8fb967f0ce", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xba44dea87efe96e3c496d894bd7aa8ee83c10bc5" ], "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": 1759, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 2, "guards_detected": [] }
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