Pinned Repositories
onefuzz
A self-hosted Fuzzing-As-A-Service platform
dent
Library and tool for summarizing, comparing small data sets
fmaemu
lfsr-rs
liar
Flexible, stand-alone benchmarking
libfuzzer-dotnet-windows-example
pete
A friendly wrapper around ptrace(2)
stamp
A library for wrangling text rectangles
tamata
uw-math-504
ranweiler's Repositories
ranweiler/pete
A friendly wrapper around ptrace(2)
ranweiler/dent
Library and tool for summarizing, comparing small data sets
ranweiler/tamata
ranweiler/libfuzzer-dotnet-windows-example
ranweiler/onefuzz
A self-hosted Fuzzing-As-A-Service platform
ranweiler/advisory-db
Security advisory database for Rust crates published through crates.io
ranweiler/angr
The next-generation binary analysis platform from UC Santa Barbara's Seclab!
ranweiler/appinsights-rs
Application Insights SDK for Rust
ranweiler/bad64
Binja Arm64 Disassembler
ranweiler/chrono
Date and time library for Rust
ranweiler/FStar
An ML-like language with a type system for program verification
ranweiler/gef
GEF (GDB Enhanced Features) - a modern experience for GDB with advanced debugging features for exploit developers & reverse engineers
ranweiler/git-flight-rules
Flight rules for git
ranweiler/goblin
An impish, cross-platform binary parsing crate, written in Rust
ranweiler/lalrpop
LR(1) parser generator for Rust
ranweiler/lean
Lean Theorem Prover
ranweiler/libfuzzer-dotnet
libFuzzer driver for SharpFuzz
ranweiler/nix
Rust friendly bindings to *nix APIs
ranweiler/notify
🔭 Cross-platform filesystem notification library for Rust.
ranweiler/pete-debug
ranweiler/pwntools
CTF framework and exploit development library
ranweiler/rust
A safe, concurrent, practical language.
ranweiler/rust-clippy
A bunch of lints to catch common mistakes and improve your Rust code
ranweiler/rust-ctrlc
Easy Ctrl-C handler for Rust projects
ranweiler/rust-url
URL parser for Rust
ranweiler/sharpfuzz
AFL-based fuzz testing for .NET
ranweiler/void-packages
The Void source packages collection
ranweiler/yaxpeax-x86
x86 decoders for the yaxpeax project
ranweiler/z3
The Z3 Theorem Prover
ranweiler/z3.rs
Rust bindings for the Z3 solver.