- All languages
- AGS Script
- AMPL
- ANTLR
- ActionScript
- Assembly
- AutoHotkey
- Batchfile
- BlitzBasic
- C
- C#
- C
- CMake
- CSS
- CodeQL
- Coq
- D
- Dart
- Dockerfile
- Erlang
- F#
- F*
- FreeMarker
- Gherkin
- Go
- Groovy
- HCL
- HTML
- Hack
- Handlebars
- Haskell
- Java
- JavaScript
- Jinja
- Jupyter Notebook
- Kotlin
- LLVM
- Lua
- MDX
- Makefile
- Markdown
- Mask
- Max
- Meson
- OCaml
- Objective-C
- Objective-C
- PHP
- Perl
- PowerShell
- Propeller Spin
- Python
- QMake
- R
- Raku
- Rich Text Format
- RobotFramework
- Roff
- Ruby
- Rust
- SCSS
- Scala
- Shell
- Smarty
- Solidity
- Starlark
- Swift
- SystemVerilog
- TSQL
- Tcl
- TeX
- TypeScript
- Vala
- Verilog
- Vim Script
- Vue
- XSLT
- YARA
Starred repositories
This repository contains a PyTorch implementation of the paper "Graph Neural Networks for Vulnerability Detection - A Counterfactual Explanation".
Cubesat Space Protocol - A small network-layer delivery protocol designed for Cubesats
HaE - Highlighter and Extractor, Empower ethical hacker for efficient operations.
Fuzzing IoT Devices Using the Router TL-WR902AC as Example
future-proof vulnerability detection benchmark, based on CVEs in open-source repos
Tooling backed by an LLM for performing natural language searches against compiled target binaries. Search for encryption code, password strings, vulnerabilities, etc.
CodeQL queries developed by Trail of Bits
Nyxstone: assembly / disassembly library based on LLVM, implemented in C with Rust and Python bindings, maintained by emproof.com
American Fuzzy Lop fork server and instrumentation for pure-Python code