A declarative static analysis tool for jvm bytecode based Datalog like CodeQL
No resources for this project.