bradlarsen
Software toolsmith: application security, static analysis, automated bug finding
Massachusetts
Pinned Repositories
ale
Asynchronous linting/fixing for Vim and language server protocol integration
bdd
Binary decision diagrams in C, with an emphasis on correctness, clarity, and performance
bradlarsen
My personal repository, to provide a profile README.md
cpython
The Python programming language
hs-cudd
Haskell bindings to CUDD, the CU Decision Diagram Package
switchback
Code for the experiments in the AAAI-10 paper "Searching Without a Heuristic: Efficient Use of Abstraction" by Bradford Larsen, Ethan Burns, Wheeler Ruml, and Robert C. Holte
vectorscan-rs
Rust bindings to the Vectorscan high-performance regex library
zauber
A reimagining of `file` and `libmagic` in Rust
noseyparker
Nosey Parker is a command-line program that finds secrets and sensitive information in textual data and Git history.
manticore
Symbolic execution tool
bradlarsen's Repositories
bradlarsen/vectorscan-rs
Rust bindings to the Vectorscan high-performance regex library
bradlarsen/bdd
Binary decision diagrams in C, with an emphasis on correctness, clarity, and performance
bradlarsen/switchback
Code for the experiments in the AAAI-10 paper "Searching Without a Heuristic: Efficient Use of Abstraction" by Bradford Larsen, Ethan Burns, Wheeler Ruml, and Robert C. Holte
bradlarsen/zauber
A reimagining of `file` and `libmagic` in Rust
bradlarsen/bradlarsen
My personal repository, to provide a profile README.md
bradlarsen/cpython
The Python programming language
bradlarsen/hs-cudd
Haskell bindings to CUDD, the CU Decision Diagram Package
bradlarsen/ale
Asynchronous linting/fixing for Vim and language server protocol integration
bradlarsen/ansi-wl-pprint
The Wadler/Leijen Pretty Printer for colored ANSI terminal output
bradlarsen/ghcid
Very low feature GHCi based IDE
bradlarsen/duckdb
DuckDB is an analytical in-process SQL database management system
bradlarsen/gokart
A static analysis tool for securing Go code
bradlarsen/homebrew-core
🍻 Default formulae for the missing package manager for macOS (or Linux)
bradlarsen/intero-neovim
A neovim plugin for Intero, forked from ghcmod-vim
bradlarsen/macports-ports
The MacPorts ports tree
bradlarsen/notes-on-secrets
Notes on secrets detection, secrets-related breaches, etc
bradlarsen/rust-hyperscan
Hyperscan bindings for Rust with Multiple Pattern and Streaming Scan
bradlarsen/serve
Serve, optimize and scale PyTorch models in production
bradlarsen/static-analysis
⚙️ A curated list of static analysis (SAST) tools for all programming languages, config files, build tools, and more.
bradlarsen/vectorscan
A portable fork of the high-performance regular expression matching library