binary c code-analysis code-browser code-property-graph controlflow cpg cpp dataflow fuzzy-parsing ghidra graph java javabytecode javascript llvm query-language scala syntax-tree

checker code-generation compiler domain-specific-language interpreter language metaprogramming parser-generator pattern-matching query-language refactoring-tools relational-algebra repl reverse-engineering source-to-source standard-library static-analysis template-language term-rewriting

ast cpq cq gmark graph graph-database query query-evaluation query-generator query-language rpq schema-driven