A static analysis tool for Java programs, based on the theory of code property graphs.
Primary LanguageJava