Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
pypi.org "control-flow-analysis" keyword
Top 1.2% on pypi.org
71 versions - Latest release: 11 days ago - 25 dependent packages - 279 dependent repositories - 80 thousand downloads last month - 6,689 stars on GitHub - 13 maintainers
pyre-check 0.9.21
A performant type checker for Python71 versions - Latest release: 11 days ago - 25 dependent packages - 279 dependent repositories - 80 thousand downloads last month - 6,689 stars on GitHub - 13 maintainers
Top 5.5% on pypi.org
120 versions - Latest release: 11 days ago - 1 dependent package - 7 dependent repositories - 14.9 thousand downloads last month - 204 stars on GitHub - 1 maintainer
smda 1.13.22
A recursive disassmbler optimized for CFG recovery from memory dumps. Based on capstone.120 versions - Latest release: 11 days ago - 1 dependent package - 7 dependent repositories - 14.9 thousand downloads last month - 204 stars on GitHub - 1 maintainer
Top 6.5% on pypi.org
21 versions - Latest release: almost 4 years ago - 18 dependent repositories - 689 downloads last month - 475 stars on GitHub - 1 maintainer
octopus 0.3.5 💰
Security analysis framework for WebAssembly module (wasm) and Blockchain Smart Contract (BTC/ETH/...21 versions - Latest release: almost 4 years ago - 18 dependent repositories - 689 downloads last month - 475 stars on GitHub - 1 maintainer
Top 7.4% on pypi.org
869 versions - Latest release: about 1 month ago - 3 dependent repositories - 9.47 thousand downloads last month - 6,689 stars on GitHub - 6 maintainers
pyre-check-nightly 0.0.101713006759
A performant type checker for Python869 versions - Latest release: about 1 month ago - 3 dependent repositories - 9.47 thousand downloads last month - 6,689 stars on GitHub - 6 maintainers
Related Keywords
security
3
disassembler
2
type-check
2
taint-analysis
2
static-analysis
2
python
2
program-analysis
2
ocaml
2
code-quality
2
abstract-interpretation
2
development
2
typechecker
2
wasm
1
smart-contracts
1
security-analysis
1
evm-bytecode
1
call-flow-analysis
1
blockchain
1
neo
1
eos
1
ethereum
1
webassembly
1
x86
1
x64
1
memory-dump
1
control-flow-graph
1
code-analysis
1