ryokoCL

Pinned Repositories

codeql
CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security
Language:CodeQL8.1k 238 2.4k1.6k
codeql-kcl
This open source repository contains the standard CodeQL libraries and queries that power KCL code security.
Language:Java5 4 14
codeql-kcl
This open source repository contains the standard CodeQL libraries and queries that power KCL code security.
Language:Java1 0 01
souffle
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
Language:C++968 42 864213

ryokoCL/codeql-kcl
This open source repository contains the standard CodeQL libraries and queries that power KCL code security.
Language:Java1 0 01