pypi.org "control-flow-analysis" keyword
View the packages on the pypi.org package registry that are tagged with the "control-flow-analysis" keyword.
Top 1.2% on pypi.org
73 versions - Latest release: 6 months ago - 25 dependent packages - 279 dependent repositories - 110 thousand downloads last month - 6,689 stars on GitHub - 13 maintainers
pyre-check 0.9.23
A performant type checker for Python73 versions - Latest release: 6 months ago - 25 dependent packages - 279 dependent repositories - 110 thousand downloads last month - 6,689 stars on GitHub - 13 maintainers
Top 5.5% on pypi.org
129 versions - Latest release: about 2 months ago - 1 dependent package - 7 dependent repositories - 8.02 thousand downloads last month - 204 stars on GitHub - 1 maintainer
smda 2.0.2
A recursive disassmbler optimized for CFG recovery from memory dumps. Based on capstone.129 versions - Latest release: about 2 months ago - 1 dependent package - 7 dependent repositories - 8.02 thousand downloads last month - 204 stars on GitHub - 1 maintainer
Top 6.5% on pypi.org
21 versions - Latest release: almost 5 years ago - 18 dependent repositories - 888 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 5 years ago - 18 dependent repositories - 888 downloads last month - 475 stars on GitHub - 1 maintainer
Top 7.4% on pypi.org
1,040 versions - Latest release: 3 months ago - 3 dependent repositories - 11.2 thousand downloads last month - 6,853 stars on GitHub - 7 maintainers
pyre-check-nightly 0.0.101736770386
A performant type checker for Python1,040 versions - Latest release: 3 months ago - 3 dependent repositories - 11.2 thousand downloads last month - 6,853 stars on GitHub - 7 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