pypi.org "program-analysis" keyword
View the packages on the pypi.org package registry that are tagged with the "program-analysis" keyword.
Top 1.2% on pypi.org
74 versions - Latest release: 7 months ago - 25 dependent packages - 279 dependent repositories - 136 thousand downloads last month - 6,689 stars on GitHub - 13 maintainers
pyre-check 0.9.25
A performant type checker for Python74 versions - Latest release: 7 months ago - 25 dependent packages - 279 dependent repositories - 136 thousand downloads last month - 6,689 stars on GitHub - 13 maintainers
Top 4.3% on pypi.org
299 versions - Latest release: 1 day ago - 3 dependent packages - 3 dependent repositories - 3.7 thousand downloads last month - 1,093 stars on GitHub - 6 maintainers
angr-management 9.2.198
The official GUI for angr299 versions - Latest release: 1 day ago - 3 dependent packages - 3 dependent repositories - 3.7 thousand downloads last month - 1,093 stars on GitHub - 6 maintainers
explotest 1.0.4
Automatically generate arguments of Python functions.25 versions - Latest release: 21 days ago - 440 downloads last month - 3 stars on GitHub - 3 maintainers
pastis-framework 1.0.13
PASTIS framework for collaborative fuzzing14 versions - Latest release: over 1 year ago - 1 dependent repositories - 110 downloads last month - 162 stars on GitHub - 1 maintainer
tree-climber 0.0.1
Program analysis tools built on tree-sitter.1 version - Latest release: over 3 years ago - 23 downloads last month - 46 stars on GitHub - 1 maintainer
onecode-pycg 0.0.8
PyCG - Practical Python Call Graphs2 versions - Latest release: over 2 years ago - 1 dependent package - 1 dependent repositories - 5.77 thousand downloads last month - 349 stars on GitHub - 1 maintainer
vendetect 0.0.3
Command-line tool for automatically detecting vendored and copy/pasted code2 versions - Latest release: 7 months ago - 165 downloads last month - 72 stars on GitHub - 1 maintainer
Top 4.4% on pypi.org
6 versions - Latest release: about 2 years ago - 3 dependent packages - 9 dependent repositories - 40.7 thousand downloads last month - 357 stars on GitHub - 1 maintainer
pycg 0.0.8
PyCG - Practical Python Call Graphs6 versions - Latest release: about 2 years ago - 3 dependent packages - 9 dependent repositories - 40.7 thousand downloads last month - 357 stars on GitHub - 1 maintainer
taint-analysis 0.11
Find security vulnerabilities in Python web applications using static analysis.2 versions - Latest release: almost 8 years ago - 1 dependent repositories - 16 downloads last month - 2,196 stars on GitHub - 1 maintainer
qbindiff 1.2.3
QBindiff binary diffing tool based on a Network Alignment problem8 versions - Latest release: 9 months ago - 1 dependent repositories - 448 downloads last month - 208 stars on GitHub - 2 maintainers
Top 4.2% on pypi.org
7 versions - Latest release: over 7 years ago - 32 dependent repositories - 1.73 thousand downloads last month - 2,196 stars on GitHub - 3 maintainers
python-taint 0.42
Find security vulnerabilities in Python web applications using static analysis.7 versions - Latest release: over 7 years ago - 32 dependent repositories - 1.73 thousand downloads last month - 2,196 stars on GitHub - 3 maintainers
nostril-detector 1.2.2
Nonsense String Evaluator4 versions - Latest release: about 2 years ago - 67.2 thousand downloads last month - 199 stars on GitHub - 1 maintainer
pymwp 0.5.5
Implementation of MWP analysis on C code in Python.20 versions - Latest release: 7 months ago - 1 dependent repositories - 82 downloads last month - 4 stars on GitHub - 1 maintainer
lsp-client 0.2.2
Full-featured, well-typed, and easy-to-use LSP client3 versions - Latest release: about 1 month ago - 107 downloads last month - 0 stars on GitHub - 1 maintainer
bap 1.3.1
Python bindings to Binary Analysis Platform (BAP)3 versions - Latest release: over 8 years ago - 1 dependent repositories - 44 downloads last month - 20 stars on GitHub - 1 maintainer
pydebugviz 1.1.0
"Step through code execution, inspect variables over time, capture traces, and export insights - ...3 versions - Latest release: 10 months ago - 24 downloads last month - 2 stars on GitHub - 1 maintainer
scratchablock 0.0
Pure-Python decompiler1 version - Latest release: about 6 years ago - 1 dependent repositories - 6 downloads last month - 108 stars on GitHub - 1 maintainer
karl 0.9.0
Mythril is a symbolic-execution-based securty analysis tool for EVM bytecode. It detects security...44 versions - Latest release: almost 6 years ago - 2 dependent repositories - 156 downloads last month - 3,999 stars on GitHub - 1 maintainer
Top 2.9% on pypi.org
313 versions - Latest release: almost 2 years ago - 2 dependent packages - 35 dependent repositories - 35.1 thousand downloads last month - 4,106 stars on GitHub - 2 maintainers
mythril 0.24.8
Security analysis tool for Ethereum smart contracts313 versions - Latest release: almost 2 years ago - 2 dependent packages - 35 dependent repositories - 35.1 thousand downloads last month - 4,106 stars on GitHub - 2 maintainers
Top 8.2% on pypi.org
5 versions - Latest release: over 3 years ago - 2 dependent packages - 1 dependent repositories - 544 downloads last month - 3,876 stars on GitHub - 2 maintainers
triton-library 1.0.0
Triton is a dynamic binary analysis library5 versions - Latest release: over 3 years ago - 2 dependent packages - 1 dependent repositories - 544 downloads last month - 3,876 stars on GitHub - 2 maintainers
rz-bindings 0.6.0 💰
UNIX-like reverse engineering framework and command-line toolset.3 versions - Latest release: over 2 years ago - 179 downloads last month - 2,413 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: almost 7 years ago - 1 dependent repositories - 73 downloads last month - 3,733 stars on GitHub - 1 maintainer
taintmonkey 1.0.2
Dynamic taint analysis of Python web applications using monkey patching.3 versions - Latest release: 7 months ago - 7 downloads last month - 13 stars on GitHub - 1 maintainer
Top 7.4% on pypi.org
1,158 versions - Latest release: about 1 year ago - 3 dependent repositories - 11.2 thousand downloads last month - 7,098 stars on GitHub - 11 maintainers
pyre-check-nightly 0.0.101736770386
A performant type checker for Python1,158 versions - Latest release: about 1 year ago - 3 dependent repositories - 11.2 thousand downloads last month - 7,098 stars on GitHub - 11 maintainers
Top 3.0% on pypi.org
1,222 versions - Latest release: almost 4 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: almost 4 years ago - 1 dependent package - 23 dependent repositories - 36.2 thousand downloads last month - 3,580 stars on GitHub - 2 maintainers
Top 5.6% on pypi.org
1 version - Latest release: over 3 years ago
treeclimber 0.0.1 removed
Program analysis tools built on tree-sitter.1 version - Latest release: over 3 years ago
Related Keywords
python
10
security
9
static-analysis
7
symbolic-execution
6
taint-analysis
6
reverse-engineering
5
blockchain
4
ethereum
4
flask
3
security-analysis
3
smart-contracts
3
solidity
3
web
2
vulnerability
2
django
2
pyt
2
abstract-syntax
2
abstract-syntax-tree
2
control-flow-graph
2
dataflow
2
dataflow-analysis
2
fixed-point
2
fixed-point-analysis
2
python3
2
static-code-analysis
2
taint
2
dynamic-analysis
2
binary-analysis
2
typechecker
2
development
2
abstract-interpretation
2
code-quality
2
control-flow-analysis
2
ocaml
2
type-check
2
hacktoberfest
2
fuzzing
2
vulnerability-research
2
cfg
2
cpg
2
dfg
2
pdg
2
tree-sitter
2
pycg
2
callgraph
2
call-graphs
2
time-travel
1
runtime-injection
1
jupyter
1
trace
1
angr
1
decompiler
1
data-flow-analysis
1
visualization
1
developer-tools
1
introspection
1
hacking
1
disassembler
1
binary-translation
1
deobfuscation
1
emulator
1
instruction-semantics
1
lifter
1
debugging
1
exploitation
1
monkey-patching
1
pytest
1
emulation
1
smt
1
testing
1
z3
1
metaprogramming
1
unit-testing
1
plagiarism-detection
1
sbom
1
sbom-tool
1
static
1
analysis
1
binary-diffing
1
network-alignment
1
text-processing
1
gibberish-detection
1
identifiers
1
detector
1
gibberish
1
identifier-string
1
inference
1
mining-software-repositories
1
nonsense
1
nonsense-string-evaluator
1
source-code
1
implicit-computational-complexity
1
mwp-analysis
1
Language Server Protocol
1
LSP
1
language-server-protocol
1
lsp
1
lsp-client
1
bap
1
program-verification
1