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
8k stars
238 watching
2k forks
Language: CodeQL
last commit: 11 months ago codeqlgithub-advanced-securitygithub-security-labsemmle-qlworks-with-codespaces
Related projects:
| Repository | Description | Stars |
|---|---|---|
| | Queries and libraries to enforce various coding standards in C++14 and related languages | 127 |
| | A suite of tools and infrastructure for creating and serving interactive instructional tutorials | 4,257 |
| | A 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 |
| | An implementation of Facebook's GraphQL specification for .NET applications. | 5,886 |
| | A source code editor that combines simplicity and functionality with extensibility and lightweight integration. | 165,346 |
| | An interactive learning platform for programming languages, specifically JavaScript. | 7,988 |
| | A language and SDK for querying Git repositories with a SQL-like syntax | 3,317 |
| | A collection of algorithms implemented in C for educational purposes | 19,440 |
| | A tool to create permission layers for GraphQL servers by adding an abstraction layer between the application and the underlying data storage. | 3,562 |
| | An extension for Visual Studio Code and VSCodium to support Coq Proof Assistant | 349 |
| | An environment to run VS Code on any machine with a consistent development setup in the browser. | 68,977 |
| | Analyzes codebases to extract characteristics and provides insights on their properties | 12 |
| | A platform for creating simple web applications on Raspberry Pi using JavaScript and a web browser | 2,425 |
| | A tool that generates code from GraphQL schemas and operations | 10,883 |
| | Integrates GraphiQL into Django projects for testing GraphQL schemas | 35 |