fghjp·4 tahun yang lalu·discussConceptually it sounds a bit like Semmle's CodeQL? Except a general purpose database rather than one optimised for storing program code.