pypi.org "symbolic-execution" keyword
View the packages on the pypi.org package registry that are tagged with the "symbolic-execution" keyword.
pakala 1.1.10
An EVM symbolic execution tool and vulnerability scanner23 versions - Latest release: about 5 years ago - 1 dependent repositories - 862 downloads last month - 344 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 6 years ago - 1 dependent repositories - 284 downloads last month - 3,733 stars on GitHub - 1 maintainer
pastis-framework 1.0.13
PASTIS framework for collaborative fuzzing14 versions - Latest release: 8 months ago - 1 dependent repositories - 558 downloads last month - 162 stars on GitHub - 1 maintainer
delta-dx 0.1.2
A Symbolic Differentiator3 versions - Latest release: over 3 years ago - 1 dependent repositories - 164 downloads last month - 6 stars on GitHub - 1 maintainer
optik-tools 0.0.2
Symbolic execution toolkit for Ethereum smart-contracts2 versions - Latest release: over 2 years ago - 95 downloads last month - 93 stars on GitHub - 1 maintainer
etheno 0.3.2
Etheno is a JSON RPC multiplexer, differential fuzzer, and test framework integration tool.9 versions - Latest release: over 2 years ago - 1 dependent repositories - 405 downloads last month - 340 stars on GitHub - 3 maintainers
Top 5.8% on pypi.org
86 versions - Latest release: 11 days ago - 2 dependent packages - 6 dependent repositories - 81.6 thousand downloads last month - 1,104 stars on GitHub - 1 maintainer
crosshair-tool 0.0.86
Analyze Python code for correctness using symbolic execution.86 versions - Latest release: 11 days ago - 2 dependent packages - 6 dependent repositories - 81.6 thousand downloads last month - 1,104 stars on GitHub - 1 maintainer
miasm 0.1.5
Machine code manipulation library4 versions - Latest release: about 2 years ago - 4 dependent repositories - 617 downloads last month - 3,603 stars on GitHub - 1 maintainer
Top 8.2% on pypi.org
5 versions - Latest release: almost 3 years ago - 2 dependent packages - 1 dependent repositories - 2.06 thousand downloads last month - 3,523 stars on GitHub - 2 maintainers
triton-library 1.0.0
Triton is a dynamic binary analysis library5 versions - Latest release: almost 3 years ago - 2 dependent packages - 1 dependent repositories - 2.06 thousand downloads last month - 3,523 stars on GitHub - 2 maintainers
themida-unmutate 0.2.1
Static deobfuscator for Themida's mutation-based obfuscation.5 versions - Latest release: 9 months ago - 256 downloads last month - 159 stars on GitHub - 1 maintainer
ithildin 0.2.7
Semantic analyzer of EVM bytecode based on Mythril14 versions - Latest release: about 4 years ago - 1 dependent repositories - 386 downloads last month - 8 stars on GitHub - 1 maintainer
Top 2.9% on pypi.org
313 versions - Latest release: about 1 year ago - 2 dependent packages - 35 dependent repositories - 12.6 thousand downloads last month - 3,871 stars on GitHub - 2 maintainers
mythril 0.24.8
Security analysis tool for Ethereum smart contracts313 versions - Latest release: about 1 year ago - 2 dependent packages - 35 dependent repositories - 12.6 thousand downloads last month - 3,871 stars on GitHub - 2 maintainers
whitesymex 0.1.0
Symbolic execution engine for Whitespace language.1 version - Latest release: almost 4 years ago - 1 dependent repositories - 62 downloads last month - 13 stars on GitHub - 1 maintainer
karl 0.9.0
Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quo...44 versions - Latest release: about 5 years ago - 2 dependent repositories - 640 downloads last month - 3,871 stars on GitHub - 1 maintainer
Top 3.0% on pypi.org
1,222 versions - Latest release: about 3 years ago - 1 dependent package - 23 dependent repositories - 36.2 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 3 years ago - 1 dependent package - 23 dependent repositories - 36.2 thousand downloads last month - 3,580 stars on GitHub - 2 maintainers
epip 1.0.4 removed
Pipe style programming in Python5 versions - Latest release: almost 7 years ago - 1 dependent repositories - 31 downloads last month - 3 stars on GitHub - 1 maintainer
Related Keywords
ethereum
7
program-analysis
6
python
5
smart-contracts
5
security
5
blockchain
4
solidity
4
security-analysis
3
binary-analysis
3
fuzzing
3
disassembler
2
z3
2
emulator
2
taint-analysis
2
deobfuscation
2
testing
2
hacktoberfest
2
dynamic-analysis
2
reverse-engineering
2
evm
2
symbolic
2
binary-translation
1
functional-programming
1
magic
1
functional
1
instruction-semantics
1
infix
1
lifter
1
pipe
1
pipeline
1
code-mutation
1
smt
1
emulation
1
code-virtualizer
1
miasm
1
obfuscation
1
themida
1
winlicense
1
evm-bytecode
1
mythril
1
hacking
1
ctf
1
esolang
1
esoteric-language
1
whitespace
1
execution
1
vulnerability
1
scanner
1
ethereum-virtual-machine
1
security-scanner
1
vulnerability-research
1
differential-equations
1
differentiation
1
symbolic-derivative
1
symbolic-differentiation
1
symbolic-python
1
sympy
1
echidna
1
maat
1
security-tools
1
differential-testing
1
ganache
1
truffle
1
concolic-execution
1
contracts
1
static-analysis
1
testing-framework
1
type-systems
1
reverse engineering
1
symbolic execution
1
intermediate representation
1
assembler
1
intermediate-representation
1