Trail of Bits (trailofbits)

Trail of Bits

trailofbits

Geek Repo

More code: binary lifters @lifting-bits, blockchain @crytic, forks @trail-of-forks

Location:New York, New York

Home Page:https://www.trailofbits.com

Twitter:@trailofbits

Github PK Tool:Github PK Tool

Trail of Bits's repositories

publications

Publications from Trail of Bits

Language:PythonLicense:CC-BY-SA-4.0Stargazers:1318Issues:140Issues:11

pe-parse

Principled, lightweight C/C++ PE parser

Language:C++License:MITStargazers:758Issues:74Issues:69

polytracker

An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.

Language:C++License:Apache-2.0Stargazers:497Issues:38Issues:155

dylint

Run Rust lints from dynamic libraries

Language:RustLicense:Apache-2.0Stargazers:337Issues:24Issues:71

vast

VAST is an experimental compiler pipeline designed for program analysis of C and C++. It provides a tower of IRs as MLIR dialects to choose the best fit representations for a program analysis or further program abstraction.

Language:C++License:Apache-2.0Stargazers:334Issues:25Issues:280

semgrep-rules

Semgrep queries developed by Trail of Bits.

Language:GoLicense:AGPL-3.0Stargazers:282Issues:33Issues:15

mishegos

A differential fuzzer for x86 decoders

Language:C++License:Apache-2.0Stargazers:219Issues:35Issues:16

test-fuzz

To make fuzzing Rust easy

Language:RustLicense:AGPL-3.0Stargazers:136Issues:13Issues:29

vscode-weaudit

Create code bookmarks and code highlights with a click.

Language:TypeScriptLicense:GPL-3.0Stargazers:113Issues:9Issues:10

pasta

Peter's Amazing Syntax Tree Analyzer

Language:C++License:Apache-2.0Stargazers:108Issues:26Issues:30

abi3audit

Scans Python packages for abi3 violations and inconsistencies

Language:PythonLicense:MITStargazers:93Issues:12Issues:19

necessist

A mutation-based tool for finding bugs in tests

Language:RustLicense:AGPL-3.0Stargazers:87Issues:23Issues:37

blight

A framework for instrumenting build tools

Language:PythonLicense:Apache-2.0Stargazers:83Issues:28Issues:59

osquery

SQL powered operating system instrumentation, monitoring, and analytics.

Language:C++License:NOASSERTIONStargazers:35Issues:2Issues:0

cargo-unmaintained

Find unmaintained packages in Rust projects

Language:RustLicense:AGPL-3.0Stargazers:34Issues:11Issues:2

macroni

C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.

Language:CLicense:Apache-2.0Stargazers:28Issues:11Issues:4

testing-handbook

Trail of Bits Testing Handbook

Language:C++License:CC-BY-4.0Stargazers:20Issues:10Issues:9

vscode-sarif-explorer

SARIF Explorer: A VSCode extension that helps you visualize and triage static analysis results

Language:TypeScriptLicense:GPL-3.0Stargazers:13Issues:8Issues:7

windows-ctl

Rust libraries and utilities for parsing Windows Certificate Trust Lists

Language:RustLicense:Apache-2.0Stargazers:5Issues:3Issues:0

sigstore-apis

Rust clients for the Fulcio and Rekor APIs

Language:RustLicense:Apache-2.0Stargazers:3Issues:2Issues:0

sigstore-rekor-types

Python models for Rekor's API types

Language:PythonLicense:Apache-2.0Stargazers:3Issues:3Issues:1
Language:ShellLicense:Apache-2.0Stargazers:1Issues:3Issues:0

vast-llvm-test-suite

LLVM Test suite extended to generate reports for VAST MLIR dialects

Language:LogosLicense:NOASSERTIONStargazers:1Issues:0Issues:0

build-wrap

Help protect against malicious build scripts

Language:RustStargazers:0Issues:2Issues:0

KEMs

Collection of Key Encapsulation Mechanisms written in pure Rust

Language:RustStargazers:0Issues:0Issues:0

rfc8785.py

A pure-Python implementation of RFC8785 (JSON Canonicalization Scheme)

Language:PythonLicense:Apache-2.0Stargazers:0Issues:2Issues:1

signatures

Cryptographic signature algorithms: DSA, ECDSA, Ed25519

Language:RustStargazers:0Issues:0Issues:0

traits

Collection of cryptography-related traits

Stargazers:0Issues:0Issues:0