PyPI Stats
  • Insights
  • PyPI
  • GitHub
  • Search
  • Compare
  • Advisories
  • Ecosystem
  • About
Home

Search Packages

Find Python packages by name, description, GitHub topic, or filter by metrics
pschanely
crosshair-tool

An analysis tool for Python that blurs the line between testing and type systems.

326K 1K 79
trailofbits
manticore

Symbolic execution tool

101K 4K 493
ConsenSys
mythril

Mythril is a symbolic-execution-based securty analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts built for Ethereum and other EVM-compatible blockchains.

70K 4K 811
jonathansalwan
triton-library

Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.

4K 4K 581
James-Wirth
phantom-ai

Sandboxed data analysis with LLMs, powered by DuckDB

3K 0 0
gahaalt
pytorch-functional

Symbolic API for model creation in PyTorch.

1K 71 6
palkeo
pakala

Offensive vulnerability scanner for ethereum, and symbolic execution tool for the Ethereum Virtual Machine

868 343 26
konnov
apalache-rpc-client

Minimalistic Python client for interaction with the Apalache model checker over JSON RPC

865 1 0
gahaalt
pytorch-symbolic

Symbolic API for model creation in PyTorch.

709 71 6
metagon
ithildin

Semantic analyzer of EVM bytecode based on Mythril

572 10 3
quarkslab
pastis-framework

PASTIS: Collaborative Fuzzing Framework

443 167 11
dog-m
micro-svm

Simple symbolic Virtual Machine in Python and Z3

386 0 0
trailofbits
etheno

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

293 340 31
MrRhuezzler
delta-dx

A Symbolic Differentiator

162 5 0
umutoztunc
whitesymex

Symbolic execution engine for Whitespace language.

64 14 0
    • Data from PyPI, GitHub, ClickHouse, and BigQuery