Michael Hohn (hohn)

hohn

Geek Repo

Location:San Francisco

Github PK Tool:Github PK Tool

Michael Hohn's repositories

codeql-cpp-ast

Illustrations of codeql's AST

Language:CodeQLLicense:NOASSERTIONStargazers:8Issues:1Issues:0

codeql-javascript

Exploration of graph generation via dot

Language:CodeQLLicense:NOASSERTIONStargazers:6Issues:1Issues:0

codeql-dataflow-sql-injection

sql injection sample in C using sqlite

Language:ShellStargazers:2Issues:1Issues:0
Language:CodeQLLicense:Apache-2.0Stargazers:1Issues:0Issues:0

codeql-sample-polkit

All stages of exploring the polkit CVE-2021-4034 using codeql

Language:CodeQLLicense:MITStargazers:1Issues:1Issues:0

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

Language:CodeQLLicense:MITStargazers:0Issues:1Issues:0

codeql-cli-vscode-setup

An example of a setting up the codeql cli/library/vs code plugins together

License:MITStargazers:0Issues:1Issues:0

codeql-dataflow-II-cpp

Reasoning about Data Flow II in C/C++

License:Apache-2.0Stargazers:0Issues:1Issues:0

codeql-external-data

Example of external data additions to CodeQL database

Language:CodeQLLicense:MITStargazers:0Issues:1Issues:0

codeql-go-sqli

simple codeql sample for go

Stargazers:0Issues:0Issues:0
Language:GoLicense:MITStargazers:0Issues:0Issues:0

codeql-sample-fully-qualified-type

Minimal samples of getting the fully qualified type names for a C++ function signature.

Language:CodeQLLicense:MITStargazers:0Issues:2Issues:0

codeql-starter

A minimal template for small codeql examples that can include source code

Language:CodeQLLicense:MITStargazers:0Issues:0Issues:0
License:MITStargazers:0Issues:0Issues:0
License:MITStargazers:0Issues:0Issues:0

codeql-workshops-staging

Original workshops and staging area for new ones

Language:CodeQLLicense:MITStargazers:0Issues:0Issues:0

docs

The open-source repo for docs.github.com

License:CC-BY-4.0Stargazers:0Issues:0Issues:0

fsm-viz

An animated finite state machine renderer for generating documentation

Language:HTMLLicense:MITStargazers:0Issues:1Issues:0

gh-codeql-scan

GH CLI CodeQL Scan Extension

License:MITStargazers:0Issues:0Issues:0

ghas-latex-template

GHAS LaTeX Template for technical documentation

Language:TeXStargazers:0Issues:0Issues:0

gnu-apl-mode

GNU APL mode for Emacs

License:GPL-3.0Stargazers:0Issues:0Issues:0

matter-js

a 2D rigid body physics engine for the web ▲● ■

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0

matter-tools

tools for creating, testing and debugging matter.js worlds

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0

odp

The ODP project is an open-source, cross-platform set of application programming interfaces (APIs) for the networking data plane

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

openssl

TLS/SSL and crypto library

Language:CLicense:Apache-2.0Stargazers:0Issues:0Issues:0

resume-template

resume template in latex

Language:TeXLicense:MITStargazers:0Issues:0Issues:0
Language:RoffLicense:NOASSERTIONStargazers:0Issues:1Issues:0

skewer-mode

Live web development in Emacs

Language:Emacs LispLicense:UnlicenseStargazers:0Issues:0Issues:0

spot

monorepo that contains: spot text editor, m4 macro processor, possum, and sloth version control system

Language:CLicense:ISCStargazers:0Issues:0Issues:0

tabu-soda

ql scan setup

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0