28 projects
slither-lsp
Language Server powered by the Slither static analyzer
sigstore
A tool for signing Python package distributions
slither-analyzer
Slither is a Solidity and Vyper static analysis framework written in Python 3.
crytic-compile
Util to facilitate smart contracts compilation.
abi3audit
Scans Python wheels for abi3 violations and inconsistencies
sigstore-rekor-types
Python models for Rekor's API types
sigstore-protobuf-specs
A library for serializing and deserializing Sigstore messages
fickling
A static analyzer and interpreter for Python pickle data
rfc8785
A pure-Python implementation of RFC 8785 (JSON Canonicalization Scheme)
pip-audit
A tool for scanning Python environments for known vulnerabilities
manticore
Manticore is a symbolic execution tool for analysis of binaries and smart contracts.
graphtage
A utility to diff tree-like files such as JSON and XML.
polyfile
A utility to recursively map the structure of a file.
blight
A catch-all compile-tool wrapper
solc-select
Manage multiple Solidity compiler versions.
wasm-tob
WebAssembly decoder & disassembler
optik-tools
Symbolic execution toolkit for Ethereum smart-contracts
pepy
Python bindings for pe-parse
etheno
Etheno is a JSON RPC multiplexer, differential fuzzer, and test framework integration tool.
amarna
Amarna is a static-analyzer for the Cairo programming language.
pymaat
Maat - Symbolic execution framework
polytracker
An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.
microx
x86 and x86_64 micro-executor.
tourniquet
Syntax Guided Repair/Transformation Package
cvedb
Yet another CVE database
evm-cfg-builder
EVM cfg builder written in Python 3.
canker
A catch-all compile-tool wrapper
pyevmasm
Ethereum Virtual Machine (EVM) assembler and disassembler
