-
o3_finds_cve-2025-37899 Public
Artefacts for blog post on finding CVE-2025-37899 with o3
-
ksmbd-vuln-research Public
A report on my ongoing vulnerability research on ksmbd
1 UpdatedMay 15, 2025 -
amass Public
Forked from owasp-amass/amassIn-depth attack surface mapping and asset discovery
-
ctf-archives Public
Forked from sajjadium/ctf-archivesCTF Archives: Collection of CTF Challenges.
-
puredns Public
Forked from d3mondev/purednsPuredns is a fast domain resolver and subdomain bruteforcing tool that can accurately filter out wildcard subdomains and DNS poisoned entries.
-
fuzztruction-net Public
Forked from fuzztruction/fuzztruction-net -
Arjun Public
Forked from s0md3v/ArjunHTTP parameter discovery suite.
-
otel-profiling-agent Public
Forked from open-telemetry/opentelemetry-ebpf-profilerThe production-scale datacenter profiler
-
claude_opus_cve_2023_0266 Public
Demo showing Claude Opus does not find CVE-2023-0266
-
DotFiles Public
Files for initialising my environment on OS X and Linux
-
sysgrok Public
Forked from elastic/sysgrokLLM-driven assistant for analyzing, understanding and optimizing systems
-
-
PerfBinaryStaticAnalysis Public
Experimental scripts for detection of potential performance issues in binaries
-
-
google_benchmark_plot Public
Forked from lakshayg/google_benchmark_plotA handy script to visualize google benchmark output
-
sigcomm21_artifact Public
Forked from smartnic/sigcomm21_artifactSIGCOMM 2021 artifact
Shell UpdatedSep 22, 2021 -
superopt Public
Forked from smartnic/superoptA superoptimizing compiler for packet-processing
-
ebpf-verifier Public
Forked from vbpf/prevailA new eBPF verifier, using abstract interpretation
C++ MIT License UpdatedSep 16, 2021 -
superopt-input-bm Public
Forked from smartnic/superopt-input-bmsuperopt benchmark input files: *.insns, *.maps and *.desc
UpdatedJun 25, 2021 -
-
-
ShapeShifter Public
An heap allocator that allows a particular layout to be selected
-
-
HeapLayout Public
Source code for paper 'Automatic Heap Layout Manipulation for Exploitation'
-
bcc Public
Forked from iovisor/bccBCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more
Python Apache License 2.0 UpdatedMay 19, 2019 -
vim-smt2 Public
Forked from bohlender/vim-smt2A VIM plugin that adds support for the SMT-LIB2 format (including Z3's extensions)
Vim Script MIT License UpdatedMay 20, 2018 -
grammars-v4 Public
Forked from antlr/grammars-v4Grammars written for ANTLR v4; expectation that the grammars are free of actions.
-
-
BitVectorDemos Public
Some small demo scripts for SMTLIB and Z3 basics
-
funserialize Public
Scripts and auxiliary files for fuzzing PHP's unserialize function
{{ message }}