pypi.org "program-analysis" keyword
Top 1.2% on pypi.org
74 versions - Latest release: 8 months ago - 25 dependent packages - 279 dependent repositories - 169 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: 8 months ago - 25 dependent packages - 279 dependent repositories - 169 thousand downloads last month - 6,689 stars on GitHub - 13 maintainers
Top 4.3% on pypi.org
304 versions - Latest release: 6 days ago - 3 dependent packages - 3 dependent repositories - 8.32 thousand downloads last month - 1,117 stars on GitHub - 6 maintainers
angr-management 9.2.204
The official GUI for angr304 versions - Latest release: 6 days ago - 3 dependent packages - 3 dependent repositories - 8.32 thousand downloads last month - 1,117 stars on GitHub - 6 maintainers
explotest 1.0.4
Automatically generate arguments of Python functions.25 versions - Latest release: about 2 months ago - 341 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 1.2.0
PyCG - Practical Python Call Graphs3 versions - Latest release: 18 days ago - 1 dependent package - 1 dependent repositories - 1.28 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: 8 months ago - 87 downloads last month - 72 stars on GitHub - 1 maintainer
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
Top 3.0% on pypi.org
1,222 versions - Latest release: about 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: about 4 years ago - 1 dependent package - 23 dependent repositories - 36.2 thousand downloads last month - 3,580 stars on GitHub - 2 maintainers
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 4.4% on pypi.org
6 versions - Latest release: over 2 years ago - 3 dependent packages - 9 dependent repositories - 73.3 thousand downloads last month - 357 stars on GitHub - 1 maintainer
pycg 0.0.8
PyCG - Practical Python Call Graphs6 versions - Latest release: over 2 years ago - 3 dependent packages - 9 dependent repositories - 73.3 thousand downloads last month - 357 stars on GitHub - 1 maintainer
lsp-client 0.3.9
Full-featured, well-typed, and easy-to-use LSP client15 versions - Latest release: about 1 month ago - 1.03 thousand downloads last month - 0 stars on GitHub - 1 maintainer
Top 8.2% on pypi.org
5 versions - Latest release: over 3 years ago - 2 dependent packages - 1 dependent repositories - 1.14 thousand 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 - 1.14 thousand downloads last month - 3,876 stars on GitHub - 2 maintainers
taint-analysis 0.11
Find security vulnerabilities in Python web applications using static analysis.2 versions - Latest release: about 8 years ago - 1 dependent repositories - 6 downloads last month - 2,196 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 - 39 downloads last month - 3,733 stars on GitHub - 1 maintainer
qbindiff 1.2.3
QBindiff binary diffing tool based on a Network Alignment problem8 versions - Latest release: 10 months ago - 1 dependent repositories - 403 downloads last month - 208 stars on GitHub - 2 maintainers
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 - 97 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
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
taintmonkey 1.0.2
Dynamic taint analysis of Python web applications using monkey patching.3 versions - Latest release: 8 months ago - 13 downloads last month - 13 stars on GitHub - 1 maintainer
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
pydebugviz 1.1.0
"Step through code execution, inspect variables over time, capture traces, and export insights - ...3 versions - Latest release: 11 months ago - 24 downloads last month - 2 stars on GitHub - 1 maintainer
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
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
pymwp 0.5.5
Implementation of MWP analysis on C code in Python.20 versions - Latest release: 8 months ago - 1 dependent repositories - 82 downloads last month - 4 stars on GitHub - 1 maintainer
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
taint-analysis
6
symbolic-execution
6
reverse-engineering
5
blockchain
4
ethereum
4
solidity
3
smart-contracts
3
security-analysis
3
flask
3
fixed-point-analysis
2
python3
2
dynamic-analysis
2
static-code-analysis
2
taint
2
binary-analysis
2
fixed-point
2
vulnerability
2
web
2
django
2
pyt
2
dataflow-analysis
2
dataflow
2
abstract-syntax
2
abstract-syntax-tree
2
control-flow-graph
2
callgraph
2
call-graphs
2
tree-sitter
2
pdg
2
dfg
2
pycg
2
cpg
2
cfg
2
vulnerability-research
2
fuzzing
2
hacktoberfest
2
type-check
2
ocaml
2
control-flow-analysis
2
code-quality
2
abstract-interpretation
2
development
2
typechecker
2
program-verification
1
implicit-computational-complexity
1
mwp-analysis
1
debugging
1
visualization
1
trace
1
time-travel
1
runtime-injection
1
jupyter
1
introspection
1
developer-tools
1
debugger
1
cli
1
pytest
1
monkey-patching
1
exploitation
1
bap
1
decompiler
1
data-flow-analysis
1
disassembler
1
hacking
1
network-alignment
1
binary-diffing
1
analysis
1
nonsense-string-evaluator
1
nonsense
1
mining-software-repositories
1
inference
1
identifier-string
1
gibberish
1
detector
1
identifiers
1
gibberish-detection
1
text-processing
1
sbom-tool
1
sbom
1
plagiarism-detection
1
unit-testing
1
metaprogramming
1
angr
1
static
1
lifter
1
instruction-semantics
1
emulator
1
deobfuscation
1
binary-translation
1
lsp-client
1
lsp
1
language-server-protocol
1
LSP
1
Language Server Protocol
1
z3
1
testing
1
smt
1