Skip to main content
Avatar for Trail of Bits from gravatar.com

Trail of Bits

Username    trailofbits
Date joined   Joined

31 projects

pypi-attestations

Last released

A library to convert between Sigstore Bundles and PEP-740 Attestation objects

rfc3161-client

Last released

None

sigstore

Last released

A tool for signing Python package distributions

sigstore-protobuf-specs

Last released

A library for serializing and deserializing Sigstore messages

rfc8785

Last released

A pure-Python implementation of RFC 8785 (JSON Canonicalization Scheme)

slither-analyzer

Last released

Slither is a Solidity and Vyper static analysis framework written in Python 3.

tlslib

Last released

An example MVP for the updated PEP 543 proposal

pypi-attestation-models

Last released

A library to convert between Sigstore Bundles and PEP-740 Attestation objects

pip-audit

Last released

A tool for scanning Python environments for known vulnerabilities

slither-lsp

Last released

Language Server powered by the Slither static analyzer

crytic-compile

Last released

Util to facilitate smart contracts compilation.

sigstore-rekor-types

Last released

Python models for Rekor's API types

fickling

Last released

A static analyzer and interpreter for Python pickle data

manticore

Last released

Manticore is a symbolic execution tool for analysis of binaries and smart contracts.

graphtage

Last released

A utility to diff tree-like files such as JSON and XML.

polyfile

Last released

A utility to recursively map the structure of a file.

blight

Last released

A catch-all compile-tool wrapper

solc-select

Last released

Manage multiple Solidity compiler versions.

wasm-tob

Last released

WebAssembly decoder & disassembler

optik-tools

Last released

Symbolic execution toolkit for Ethereum smart-contracts

pepy

Last released

Python bindings for pe-parse

etheno

Last released

Etheno is a JSON RPC multiplexer, differential fuzzer, and test framework integration tool.

amarna

Last released

Amarna is a static-analyzer for the Cairo programming language.

pymaat

Last released

Maat - Symbolic execution framework

polytracker

Last released

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

microx

Last released

x86 and x86_64 micro-executor.

tourniquet

Last released

Syntax Guided Repair/Transformation Package

cvedb

Last released

Yet another CVE database

evm-cfg-builder

Last released

EVM cfg builder written in Python 3.

canker

Last released

A catch-all compile-tool wrapper

pyevmasm

Last released

Ethereum Virtual Machine (EVM) assembler and disassembler

Supported by

AWS AWS Cloud computing and Security Sponsor Datadog Datadog Monitoring Fastly Fastly CDN Google Google Download Analytics Microsoft Microsoft PSF Sponsor Pingdom Pingdom Monitoring Sentry Sentry Error logging StatusPage StatusPage Status page