Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
pypi.org "symbolic-execution" keyword
miasm 0.1.5
Machine code manipulation library4 versions - Latest release: about 1 year ago - 4 dependent repositories - 339 downloads last month - 3,361 stars on GitHub - 1 maintainer
Top 8.2% on pypi.org
4 versions - Latest release: almost 2 years ago - 2 dependent packages - 1 dependent repositories - 655 downloads last month - 3,323 stars on GitHub - 2 maintainers
triton-library 1.0.0
Triton is a dynamic binary analysis library4 versions - Latest release: almost 2 years ago - 2 dependent packages - 1 dependent repositories - 655 downloads last month - 3,323 stars on GitHub - 2 maintainers
Top 5.8% on pypi.org
54 versions - Latest release: about 2 months ago - 2 dependent packages - 6 dependent repositories - 11.8 thousand downloads last month - 945 stars on GitHub - 1 maintainer
crosshair-tool 0.0.54
Analyze Python code for correctness using symbolic execution.54 versions - Latest release: about 2 months ago - 2 dependent packages - 6 dependent repositories - 11.8 thousand downloads last month - 945 stars on GitHub - 1 maintainer
pastis-framework 1.0.11
PASTIS framework for collaborative fuzzing12 versions - Latest release: 5 months ago - 1 dependent repositories - 96 downloads last month - 147 stars on GitHub - 1 maintainer
optik-tools 0.0.2
Symbolic execution toolkit for Ethereum smart-contracts2 versions - Latest release: over 1 year ago - 27 downloads last month - 89 stars on GitHub - 1 maintainer
pakala 1.1.10
An EVM symbolic execution tool and vulnerability scanner23 versions - Latest release: about 4 years ago - 1 dependent repositories - 171 downloads last month - 330 stars on GitHub - 1 maintainer
ithildin 0.2.7
Semantic analyzer of EVM bytecode based on Mythril14 versions - Latest release: about 3 years ago - 1 dependent repositories - 101 downloads last month - 7 stars on GitHub - 1 maintainer
flaterra 0.1.7
Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quo...7 versions - Latest release: about 5 years ago - 1 dependent repositories - 49 downloads last month - 3,713 stars on GitHub - 1 maintainer
epip 1.0.4 removed
Pipe style programming in Python5 versions - Latest release: almost 6 years ago - 1 dependent repositories - 31 downloads last month - 3 stars on GitHub - 1 maintainer
delta-dx 0.1.2
A Symbolic Differentiator3 versions - Latest release: over 2 years ago - 1 dependent repositories - 32 downloads last month - 6 stars on GitHub - 1 maintainer
Top 3.0% on pypi.org
1,222 versions - Latest release: about 2 years ago - 1 dependent package - 23 dependent repositories - 10 thousand downloads last month - 3,580 stars on GitHub - 2 maintainers
manticore 0.3.7
Manticore is a symbolic execution tool for analysis of binaries and smart contracts.1,222 versions - Latest release: about 2 years ago - 1 dependent package - 23 dependent repositories - 10 thousand downloads last month - 3,580 stars on GitHub - 2 maintainers
karl 0.9.0
Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quo...44 versions - Latest release: about 4 years ago - 2 dependent repositories - 305 downloads last month - 3,713 stars on GitHub - 1 maintainer
Top 2.9% on pypi.org
313 versions - Latest release: about 2 months ago - 2 dependent packages - 35 dependent repositories - 3.55 thousand downloads last month - 3,713 stars on GitHub - 2 maintainers
mythril 0.24.8
Security analysis tool for Ethereum smart contracts313 versions - Latest release: about 2 months ago - 2 dependent packages - 35 dependent repositories - 3.55 thousand downloads last month - 3,713 stars on GitHub - 2 maintainers
etheno 0.3.2
Etheno is a JSON RPC multiplexer, differential fuzzer, and test framework integration tool.9 versions - Latest release: over 1 year ago - 1 dependent repositories - 55 downloads last month - 327 stars on GitHub - 3 maintainers
whitesymex 0.1.0
Symbolic execution engine for Whitespace language.1 version - Latest release: almost 3 years ago - 1 dependent repositories - 16 downloads last month - 11 stars on GitHub - 1 maintainer
Related Keywords
ethereum
7
program-analysis
6
security
5
smart-contracts
5
blockchain
4
solidity
4
python
4
security-analysis
3
fuzzing
3
binary-analysis
3
z3
2
evm
2
testing
2
taint-analysis
2
symbolic
2
dynamic-analysis
2
reverse-engineering
2
hacktoberfest
2
emulator
2
disassembler
2
functional
1
infix
1
pipe
1
pipeline
1
magic
1
functional-programming
1
differential-equations
1
differentiation
1
symbolic-derivative
1
symbolic-differentiation
1
symbolic-python
1
sympy
1
emulation
1
smt
1
hacking
1
differential-testing
1
ganache
1
truffle
1
ctf
1
esolang
1
esoteric-language
1
whitespace
1
reverse engineering
1
symbolic execution
1
intermediate representation
1
assembler
1
intermediate-representation
1
binary-translation
1
deobfuscation
1
instruction-semantics
1
lifter
1
concolic-execution
1
contracts
1
static-analysis
1
testing-framework
1
type-systems
1
vulnerability-research
1
echidna
1
maat
1
security-tools
1
execution
1
vulnerability
1
scanner
1
ethereum-virtual-machine
1
security-scanner
1
evm-bytecode
1
mythril
1