Michael Hohn's repositories
codeql-cpp-ast
Illustrations of codeql's AST
codeql-javascript
Exploration of graph generation via dot
codeql-dataflow-sql-injection
sql injection sample in C using sqlite
codeql-sample-polkit
All stages of exploring the polkit CVE-2021-4034 using codeql
codeql-cli-vscode-setup
An example of a setting up the codeql cli/library/vs code plugins together
codeql-dataflow-II-cpp
Reasoning about Data Flow II in C/C++
codeql-external-data
Example of external data additions to CodeQL database
codeql-go-sqli
simple codeql sample for go
codeql-sample-fully-qualified-type
Minimal samples of getting the fully qualified type names for a C++ function signature.
codeql-starter
A minimal template for small codeql examples that can include source code
codeql-workshops-staging
Original workshops and staging area for new ones
docs
The open-source repo for docs.github.com
gh-codeql-scan
GH CLI CodeQL Scan Extension
ghas-latex-template
GHAS LaTeX Template for technical documentation
gnu-apl-mode
GNU APL mode for Emacs
matter-js
a 2D rigid body physics engine for the web ▲● ■
matter-tools
tools for creating, testing and debugging matter.js worlds
odp
The ODP project is an open-source, cross-platform set of application programming interfaces (APIs) for the networking data plane
openssl
TLS/SSL and crypto library
resume-template
resume template in latex
skewer-mode
Live web development in Emacs
spot
monorepo that contains: spot text editor, m4 macro processor, possum, and sloth version control system
tabu-soda
ql scan setup