Compiler-exact code search over a SCIP index - find where a symbol is defined, every reference to it, who calls it, and what a change would break.
