Allow disabling context-sensitivity for specific functions#1995

Draft

Copilot wants to merge 3 commits into

copilot/allow-disable-context-sensitivity

Commits on Apr 12, 2026

Initial plan
Copilot
authored
Add no-context attribute and ana.context.no_fun option for per-function context-insensitivity

Copilot
and
michael-schwarz
authored

Commits on May 7, 2026

Fix crash: return startcontext() instead of [] for no-context functions

Copilot
and
michael-schwarz
authored