CodeQL is exactly the query side of this - it builds a database of facts about your code, which you can query in their language which compiles to datalog, in or

CodeQL is exactly the query side of this - it builds a database of facts about your code, which you can query in their language which compiles to datalog, in order to write lints (sometimes in a language-agnostic manner). It doesn't have anything for refactoring, however.