Stars
A CLI tool for managing DigitalOcean droplets with automated setup, SSH configuration, and lifecycle management.
Run experiments across parts of the Rust ecosystem!
A tool suite for translating C to safe Rust (early days!)
Buttercup finds and patches software vulnerabilities
An explicit closure with absolute seperation of the captured data from the function.
Analyze binary security features instantly in your browser.
Data about all known supply-chain attacks through history
Make production Rust binaries auditable
The user-friendly command line shell.
A Git-compatible VCS that is both simple and powerful
A manually vetted dataset for security vulnerability detection in Java projects
Datasets and code for the CRUST-bench paper.
A rewrite of the C++ btfparse library (https://github.com/trailofbits/btfparse)
Andersen's inclusion-based pointer analysis re-implementation in LLVM
PTABen: Micro-benchmark Suite for Pointer Analysis
Find unmaintained packages in Rust projects
Create code bookmarks and code highlights with a click.
A precise and scalable pointer analysis for LLVM, written in Ascent
cclyzer++ is a precise and scalable pointer analysis for LLVM code.
MATE is a suite of tools for interactive program analysis with a focus on hunting for bugs in C and C++ code using Code Property Graphs.
Audits Python environments, requirements files and dependency trees for known security vulnerabilities, and can automatically fix them
A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.
A curated list of Grammar based fuzzing research papers, codes, tutorials