Stars
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
A parser for Microsoft PDB (Program Database) debugging information
sat solver; backtrack + BCP + non-chronological backtracking + (linear-time) CDCL + 2WL + eVSIDS + luby restarts + phase saving + trail reuse + (full) conflict clause minimization + in-process simp…
Compiler for the Vale programming language - http://vale.dev/
CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
A tool for generating stand-alone executables for functions residing in an LLVM bitcode module
Learn to write Rust procedural macros [Rust Latam conference, Montevideo Uruguay, March 2019]
A symbolic execution engine for LLVM IR
A trait object based error handling type for easy idiomatic error handling and reporting in Rust applications
lldb-eval is a library for evaluating expressions in the debugger context