codeql

Vulnerability detector

Provides libraries and queries for detecting security vulnerabilities in code

CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security

GitHub

8k stars
238 watching
2k forks
Language: CodeQL
last commit: almost 2 years ago
codeqlgithub-advanced-securitygithub-security-labsemmle-qlworks-with-codespaces

Related projects:

RepositoryDescriptionStars
github/codeql-coding-standardsQueries and libraries to enforce various coding standards in C++14 and related languages127
googlecodelabs/toolsA suite of tools and infrastructure for creating and serving interactive instructional tutorials4,257
gitlabhq/gitlabhqA comprehensive open source tool for managing Git repositories and collaborating on code with fine-grained access controls and continuous integration/continuous deployment capabilities.23,836
graphql-dotnet/graphql-dotnetAn implementation of Facebook's GraphQL specification for .NET applications.5,886
microsoft/vscodeA source code editor that combines simplicity and functionality with extensibility and lightweight integration.165,346
codecombat/codecombatAn interactive learning platform for programming languages, specifically JavaScript.7,988
amrdeveloper/gqlA language and SDK for querying Git repositories with a SQL-like syntax3,317
thealgorithms/cA collection of algorithms implemented in C for educational purposes19,440
maticzav/graphql-shieldA tool to create permission layers for GraphQL servers by adding an abstraction layer between the application and the underlying data storage.3,562
coq/vscoqAn extension for Visual Studio Code and VSCodium to support Coq Proof Assistant349
coder/code-serverAn environment to run VS Code on any machine with a consistent development setup in the browser.68,977
philips-labs/tabiaAnalyzes codebases to extract characteristics and provides insights on their properties12
googlecreativelab/coderA platform for creating simple web applications on Raspberry Pi using JavaScript and a web browser2,425
dotansimha/graphql-code-generatorA tool that generates code from GraphQL schemas and operations10,883
graphql-python-archive/django-graphiqlIntegrates GraphiQL into Django projects for testing GraphQL schemas35