Pinned Repositories
argos
Advertised honeypot with operating system wide dynamic taint tracking
codeql-development-container
Minimal setup CodeQL development container that can be used with the Visual Studio Code remote container plugin
codeql-example-project-layout
Example project layout that can be used to develop custom query packs
codeql-postproc
Tool to post process files created with the CodeQL CLI
codeql-workshop-control-flow-java
codeql-workshop-cve-2021-21380
A CodeQL workshop covering CVE-2021-21380
codeql-workshop-elements-of-syntactical-program-analysis-cpp
codeql-workshop-introduction-to-javascript
codeql-workshop-points-to-java
vmware-fusion-screen-recording-permission-fix
rvermeulen's Repositories
rvermeulen/codeql-workshop-cve-2021-21380
A CodeQL workshop covering CVE-2021-21380
rvermeulen/codeql-workshop-points-to-java
rvermeulen/codeql-example-project-layout
Example project layout that can be used to develop custom query packs
rvermeulen/codeql-postproc
Tool to post process files created with the CodeQL CLI
rvermeulen/codeql-workshop-control-flow-java
rvermeulen/codeql-workshop-introduction-to-javascript
rvermeulen/codeql-workshop-elements-of-syntactical-program-analysis-cpp
rvermeulen/qlenv
CodeQL CLI version managing thingy
rvermeulen/codeql-coding-standards
This repository contains CodeQL queries and libraries which support various Coding Standards.
rvermeulen/codeql-cve-2022-35737
A CodeQL query to find CVE 2022-35737
rvermeulen/codeql-snapshot
A tool to build and analyze snapshots of repositories using CodeQL
rvermeulen/codeql-workshop-control-flow-cpp
rvermeulen/codeql-workshop-dataflow-2-cpp
rvermeulen/codeql-workshop-integer-conversion
rvermeulen/sarif-cli
Command line tools for working with SARIF files
rvermeulen/Adv360-Pro-ZMK
Production repository for the all-new Advantage360 Professional using ZMK engine
rvermeulen/codeql
CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security (code scanning), LGTM.com, and LGTM Enterprise
rvermeulen/codeql-action
Actions for running CodeQL analysis
rvermeulen/codeql-dataflow-ii-java
rvermeulen/codeql-dbscheme-transform-resolve
A tool to resolve database schema upgrade/downgrade chains
rvermeulen/codeql-trap-prune
Experimental tool to remove TRAP files in databases created by CodeQL to exclude source files that are not of interest.
rvermeulen/codeql-variant-analysis-action
rvermeulen/codeql-workshop-dataflow-2-java
rvermeulen/codeql-workshop-vulnerable-linux-driver
Workshop on how to statically find issues in a vulnerable Linux driver
rvermeulen/create-github-app-token
GitHub Action for creating a GitHub App Installation Access Token
rvermeulen/gh-codeql
GitHub CLI extension for working with CodeQL
rvermeulen/ghas-alert-dismisser
Ruby application to dismiss alerts on files that are not part of the repository
rvermeulen/python-model-poc
rvermeulen/starter-workflows
Accelerating new GitHub Actions workflows
rvermeulen/vscode-codeql
An extension for Visual Studio Code that adds rich language support for CodeQL