seanheelan Goto Github PK

adventofcode

https://adventofcode.com/

aliasexamples

bcc

BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more

bitvectordemos

Some small demo scripts for SMTLIB and Z3 basics

bpf-elf-tools

capstone

Capstone disassembly/disassembler framework: Core (Arm, Arm64, M68K, Mips, PPC, Sparc, SystemZ, X86, X86_64, XCore) + bindings (Python, Java, Ocaml)

claude_opus_cve_2023_0266

Demo showing Claude Opus does not find CVE-2023-0266

dotfiles

Files for initialising my environment on OS X and Linux

ebpf-blade

Program slicer for eBPF

ebpf-verifier

A new eBPF verifier, using abstract interpretation

entomology

Bugs! Both security relevant and otherwise.

funserialize

Scripts and auxiliary files for fuzzing PHP's unserialize function

google_benchmark_plot

A handy script to visualize google benchmark output

grammars-v4

Grammars written for ANTLR v4; expectation that the grammars are free of actions.

heaplayout

Source code for paper 'Automatic Heap Layout Manipulation for Exploitation'

interparser

A collection of scripts based on libclang for extracting API information from interpreters

malamute

Malamute is a fuzzing toolkit initially developed to aid with regression-test based fuzzing of language interpreters

otel-profiling-agent

The production-scale datacenter profiler

paradyse

pedantrs

A Rust linter, purely for educational purposes

perfbinarystaticanalysis

Experimental scripts for detection of potential performance issues in binaries

shapeshifter

An heap allocator that allows a particular layout to be selected

sigcomm21_artifact

SIGCOMM 2021 artifact

superopt

A superoptimizing compiler for packet-processing

superopt-input-bm

superopt benchmark input files: *.insns, *.maps and *.desc

sysgrok

LLM-driven assistant for analyzing, understanding and optimizing systems

unicorn

Unicorn CPU emulator engine

vim-smt2

A VIM plugin that adds support for the SMT-LIB2 format (including Z3's extensions)

xdev-buildroot