38 projects
pepy
Python bindings for pe-parse
blight
A catch-all compile-tool wrapper
evm-cfg-builder
EVM cfg builder written in Python 3.
rfc8785
A pure-Python implementation of RFC 8785 (JSON Canonicalization Scheme)
canker
A catch-all compile-tool wrapper
pypi-attestation-models
A library to convert between Sigstore Bundles and PEP-740 Attestation objects
amarna
Amarna is a static-analyzer for the Cairo programming language.
mrva
A terminal-first approach to CodeQL multi-repo variant analysis
pypi-attestations
A library to convert between Sigstore Bundles and PEP-740 Attestation objects
manticore
Manticore is a symbolic execution tool for analysis of binaries and smart contracts.
slither-lsp
Language Server powered by the Slither static analyzer
datasig
Dataset fingerprinting library
tourniquet
Syntax Guided Repair/Transformation Package
trailmark
Parse source code into a queryable graph of functions, classes, calls, and semantic annotations
deptective
deptective
protofuzz
Google protobuf message generator
microx
x86 and x86_64 micro-executor.
pyevmasm
Ethereum Virtual Machine (EVM) assembler and disassembler
pymaat
Maat - Symbolic execution framework
vendetect
Command-line tool for automatically detecting vendored and copy/pasted code
solc-select
Manage multiple Solidity compiler versions.
pylock-attestations
CLI tool to add attestation identities to a pylock.toml file
crytic-compile
Util to facilitate smart contracts compilation.
graphtage
A utility to diff tree-like files such as JSON and XML.
slither-analyzer
Slither is a Solidity and Vyper static analysis framework written in Python 3.
wasm-tob
WebAssembly decoder & disassembler
fickling
A static analyzer and interpreter for Python pickle data
it-depends
A software dependency analyzer
tealer
Teal analyzer.
polyfile
A utility to recursively map the structure of a file.
polytracker
An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.
cvedb
Yet another CVE database
fluxture
A crawling framework for blockchains and peer-to-peer systems
optik-tools
Symbolic execution toolkit for Ethereum smart-contracts
rfc3161-client
None
tlslib
An example MVP for the updated PEP 543 proposal
etheno
Etheno is a JSON RPC multiplexer, differential fuzzer, and test framework integration tool.
fuzz-utils
A tool for automatically generating unit tests from Echidna and Medusa reproducers.
