-
-
salabim Public
Forked from salabim/salabimsalabim - discrete event simulation in Python
Python MIT License UpdatedSep 18, 2023 -
codeql-operational-view Public
A concrete view of codeql based on actual commands
-
-
codeql-cli-end-to-end Public
A walkthrough of codeql command-line use
MIT License UpdatedJul 2, 2023 -
project-estimates Public
Some experiments with PERT
-
codeql-workshop-vulnerable-linux-driver Public
Forked from rvermeulen/codeql-workshop-vulnerable-linux-driverWorkshop on how to statically find issues in a vulnerable Linux driver
CodeQL MIT License UpdatedJun 20, 2023 -
codeql-workshop-runtime-values-c Public
Forked from nicolaswill/codeql-workshop-runtime-values-cReasoning about runtime values C/C++
CodeQL MIT License UpdatedJun 20, 2023 -
codeql-workshop-dangling-pointers-c Public
Forked from nicolaswill/codeql-workshop-dangling-pointers-cCodeQL MIT License UpdatedJun 5, 2023 -
purview Public
Forked from karthikv/purviewA server-side component framework. What if your React components ran on the server-side?
TypeScript MIT License UpdatedJun 5, 2023
10000
-
codeql-workshop-integer-conversion Public
Forked from knewbury01/codeql-workshop-integer-conversionC++ MIT License UpdatedApr 26, 2023 -
-
-
codeql-workshops-staging Public
Forked from advanced-security/codeql-workshops-stagingOriginal workshops and staging area for new ones
CodeQL MIT License UpdatedApr 4, 2023 -
codeql-dataflow-II-cpp Public
Reasoning about Data Flow II in C/C++
Apache License 2.0 UpdatedMar 29, 2023 -
codeql-workshop-control-flow-cpp Public
Forked from rvermeulen/codeql-workshop-control-flow-cppCodeQL MIT License UpdatedMar 21, 2023 -
gh-codeql-scan Public
Forked from advanced-security/gh-codeql-scanGH CLI CodeQL Scan Extension
Shell MIT License UpdatedMar 10, 2023 -
codeql-workshop-introduction-to-javascript Public
Forked from rvermeulen/codeql-workshop-introduction-to-javascriptCodeQL MIT License UpdatedMar 1, 2023 -
-
-
-
fsm-viz Public
An animated finite state machine renderer for generating documentation
HTML MIT License UpdatedSep 9, 2022 -
codeql Public archive
Forked from github/codeqlCodeQL: 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
-
ghas-latex-template Public template
Forked from s-samadi/ghas-latex-templateGHAS LaTeX Template for technical documentation
TeX UpdatedAug 11, 2022 -
-
gnu-apl-mode Public
Forked from lokedhs/gnu-apl-modeGNU APL mode for Emacs
Emacs Lisp GNU General Public License v3.0 UpdatedApr 4, 2022 -
matter-tools Public
Forked from liabru/matter-toolstools for creating, testing and debugging matter.js worlds
JavaScript MIT License UpdatedMar 29, 2022 -
matter-js Public
Forked from liabru/matter-jsa 2D rigid body physics engine for the web ▲● ■
JavaScript MIT License UpdatedMar 27, 2022 -
codeql-sample-polkit Public
All stages of exploring the polkit CVE-2021-4034 using codeql
-
{{ message }}