treeedb-c (cargo): Generate Datalog facts from C source code
Keywords: parsing|c|datalog|souffle|static-analysis|tree-sitter