fghjp·4 года назад·discussConceptually it sounds a bit like Semmle's CodeQL? Except a general purpose database rather than one optimised for storing program code.