A declarative static analysis tool for jvm bytecode based Datalog like CodeQL - View it on GitHub