crates.io "static-analysis" keyword
View the packages on the crates.io package registry that are tagged with the "static-analysis" keyword.
vsec 0.0.1
Detect secrets and in Rust codebases1 version - Latest release: about 7 hours ago - 0 downloads total
sloc-guard 0.3.1
A CLI tool that enforces SLOC limits and directory structure rules to guard against codebase comp...5 versions - Latest release: about 9 hours ago - 95 downloads total - 1 maintainer
rumdl 0.0.211
A fast Markdown linter written in Rust (Ru(st) MarkDown Linter)200 versions - Latest release: about 8 hours ago - 74.5 thousand downloads total - 515 stars on GitHub - 1 maintainer
cargo-inspect 0.10.3 π°
This extends Cargo to allow you to desugar your Rust code and see what happens behind the curtains.12 versions - Latest release: over 5 years ago - 1 dependent repositories - 21.4 thousand downloads total - 381 stars on GitHub - 2 maintainers
traverse-logging 0.1.4
Logging utilities for Traverse Solidity analysis tools4 versions - Latest release: 3 months ago - 1.18 thousand downloads total - 23 stars on GitHub - 1 maintainer
blockwatch 0.2.18
Language agnostic linter that keeps your code and documentation in sync and valid35 versions - Latest release: 27 days ago - 12.8 thousand downloads total - 10 stars on GitHub - 1 maintainer
cargo-perf 0.4.0
Preventive performance analysis for Rust - catch anti-patterns before production3 versions - Latest release: about 21 hours ago - 16 downloads total - 1 maintainer
fta 3.0.0 π°
Fast TypeScript Analyzer15 versions - Latest release: 6 months ago - 18.6 thousand downloads total - 81 stars on GitHub - 1 maintainer
zizmor 1.20.0 π°
Static analysis for GitHub Actions64 versions - Latest release: 1 day ago - 131 thousand downloads total - 3,234 stars on GitHub - 1 maintainer
ast-grep-napi 0.33.1 π°
Search and Rewrite code at large scale using precise AST pattern132 versions - Latest release: 12 months ago - 176 thousand downloads total - 10,645 stars on GitHub - 1 maintainer
nu-lint 0.0.108
Linter for Nu shell scripts that helpfully suggests improvements108 versions - Latest release: 1 day ago - 3.7 thousand downloads total - 11 stars on GitHub - 1 maintainer
paralegal-flow 0.0.0
Placeholder crate for the Paralegal verifier. See <https://github.com/brownsys/paralegal>.1 version - Latest release: about 2 years ago - 1.45 thousand downloads total - 41 stars on GitHub - 1 maintainer
riscv_analysis 0.1.0-alpha
RISC-V static analysis tools1 version - Latest release: over 2 years ago - 2 dependent packages - 2.24 thousand downloads total - 4 stars on GitHub - 1 maintainer
eure-lint 0.1.3
Linter for Eure files3 versions - Latest release: 2 days ago - 545 downloads total - 3 stars on GitHub - 1 maintainer
chelonian 0.4.0
Static analyzer for ROS workspaces4 versions - Latest release: 2 days ago - 36 downloads total - 0 stars on GitHub - 1 maintainer
sarif 0.0.0-reserved
Representation of the SARIF specification in Rust1 version - Latest release: almost 3 years ago - 1.52 thousand downloads total - 1,358 stars on GitHub - 1 maintainer
rtrees 0.1.0
A Bunch of completely safe augmented tree implementation in rust1 version - Latest release: about 6 years ago - 4 dependent packages - 4.41 thousand downloads total - 75 stars on GitHub - 1 maintainer
flowistry 0.5.44
Modular information flow analysis71 versions - Latest release: 4 months ago - 1 dependent package - 1 dependent repositories - 87.6 thousand downloads total - 2,881 stars on GitHub - 1 maintainer
rusty-cpp 0.1.1
A Rust-based static analyzer that applies Rust's ownership and borrowing rules to C++ code2 versions - Latest release: 7 days ago - 389 downloads total - 63 stars on GitHub - 1 maintainer
enderpy_python_parser 0.1.0
A Python parser written in Rust1 version - Latest release: over 2 years ago - 3 dependent packages - 1 dependent repositories - 2.6 thousand downloads total - 44 stars on GitHub - 1 maintainer
pylyzer 0.0.82 π°
A static code analyzer & language server for Python76 versions - Latest release: 11 months ago - 121 thousand downloads total - 2,865 stars on GitHub - 1 maintainer
cipherscope 0.2.1
A high-performance, language-aware tool for scanning source code to detect cryptographic librarie...3 versions - Latest release: 4 days ago - 22 downloads total - 4 stars on GitHub - 1 maintainer
py2erg 0.0.82 π°
A Python -> Erg converter81 versions - Latest release: 11 months ago - 1 dependent package - 106 thousand downloads total - 2,865 stars on GitHub - 1 maintainer
flowistry_ide 0.5.44
Information Flow in the IDE for Rust45 versions - Latest release: 4 months ago - 54.7 thousand downloads total - 2,147 stars on GitHub - 1 maintainer
dei 0.1.1
Static analysis tool for detecting god classes and god methods2 versions - Latest release: 5 days ago - 40 downloads total - 0 stars on GitHub - 1 maintainer
antislop 0.2.1
A blazing-fast, multi-language linter for detecting AI-generated code slop1 version - Latest release: 6 days ago - 0 downloads total - 1 maintainer
rust-guardian 0.1.0
Dynamic code quality enforcement preventing incomplete or placeholder code1 version - Latest release: 5 months ago - 398 downloads total - 0 stars on GitHub - 1 maintainer
paralegal-spdg 0.0.0
Placeholder crate for the Paralegal verifier.1 version - Latest release: about 2 years ago - 1.45 thousand downloads total - 41 stars on GitHub - 1 maintainer
rair 0.1.0
Reverse Engineering framework written in rust.1 version - Latest release: about 6 years ago - 1.69 thousand downloads total - 75 stars on GitHub - 1 maintainer
paralegal 0.0.0
Placeholder crate for the Paralegal verifier.1 version - Latest release: about 2 years ago - 1.49 thousand downloads total - 41 stars on GitHub - 1 maintainer
loctree 0.7.4
Fast, language-aware codebase analyzer for detecting dead exports, circular imports, and generati...17 versions - Latest release: 15 days ago - 432 downloads total - 0 stars on GitHub - 1 maintainer
plceye 0.7.1
PLC code smell detector and static analyzer for L5X and PLCopen files6 versions - Latest release: 23 days ago - 172 downloads total - 1 stars on GitHub - 1 maintainer
crown-annotation 0.1.0
Annotations that are useful for the static analyser Crown1 version - Latest release: about 2 years ago - 1.53 thousand downloads total - 31 stars on GitHub - 1 maintainer
cargo_pup 0.1.4
A Rust architectural linting tool that integrates with rustc to enforce architectural patterns an...5 versions - Latest release: about 2 months ago - 2 thousand downloads total - 32 stars on GitHub - 1 maintainer
dynimp-macros 0.1.1
extended version of razy-importer-macros2 versions - Latest release: over 1 year ago - 2.5 thousand downloads total - 4 stars on GitHub - 1 maintainer
debtmap 0.11.0
Code complexity and technical debt analyzer35 versions - Latest release: 10 days ago - 5.91 thousand downloads total - 10 stars on GitHub - 1 maintainer
veracode-platform 0.7.7
A comprehensive Rust client library for the Veracode platform (Applications, Identity, Pipeline S...14 versions - Latest release: about 1 month ago - 2.87 thousand downloads total - 0 stars on GitHub - 1 maintainer
rcore 0.1.0
Core module for Rair1 version - Latest release: about 6 years ago - 2 dependent packages - 3.17 thousand downloads total - 75 stars on GitHub - 1 maintainer
cargo-memlense 0.1.0-alpha.1
Static analysis tool for memkit - detect memory issues before runtime1 version - Latest release: 11 days ago - 0 downloads total - 1 maintainer
arch-lint-rules 0.2.1
Built-in lint rules for arch-lint3 versions - Latest release: 11 days ago - 38 downloads total - 1 maintainer
arch-lint-macros 0.2.1
Procedural macros for arch-lint rule definitions3 versions - Latest release: 11 days ago - 32 downloads total - 1 maintainer
arch-lint-core 0.2.1
Core framework for architecture linting - traits, types, and analyzer3 versions - Latest release: 11 days ago - 41 downloads total - 1 maintainer
arch-lint-cli 0.2.1
CLI tool for arch-lint architecture linter3 versions - Latest release: 11 days ago - 33 downloads total - 1 maintainer
untrusted_value 0.3.2
This crate aim to provide a type-safe way to handle and sanitize potentially untrusted values lik...12 versions - Latest release: 9 months ago - 11.9 thousand downloads total - 0 stars on GitHub - 1 maintainer
nyx-scanner 0.1.1
A CLI security scanner for automating vulnerability checks2 versions - Latest release: 7 months ago - 830 downloads total - 3 stars on GitHub - 1 maintainer
cargo-fa 0.11.1
Static analysis tool for framealloc - detect memory intent violations before runtime9 versions - Latest release: 12 days ago - 79 downloads total - 2 stars on GitHub - 1 maintainer
ast-grep-py 0.33.1 π°
Search and Rewrite code at large scale using precise AST pattern71 versions - Latest release: 12 months ago - 81.5 thousand downloads total - 10,645 stars on GitHub - 1 maintainer
cargo-recon 0.1.0 π°
Enumerate viable fuzzing targets in Rust code1 version - Latest release: 9 months ago - 732 downloads total - 0 stars on GitHub - 1 maintainer
ast-grep-pyo3 0.13.0 π°
Search and Rewrite code at large scale using precise AST pattern2 versions - Latest release: about 2 years ago - 3.02 thousand downloads total - 10,645 stars on GitHub - 1 maintainer
phanalist 0.1.21 π°
Performant static analyzer for PHP, which is extremely easy to use. It helps you catch common mis...1 version - Latest release: over 1 year ago - 1.5 thousand downloads total - 143 stars on GitHub - 1 maintainer
treeedb-rust 0.1.0
Generate Datalog facts from Rust source code2 versions - Latest release: 19 days ago - 1.43 thousand downloads total - 75 stars on GitHub - 1 maintainer
scout-audit-internal-soroban 0.2.2
Scout is an extensible open-source tool intended to assist soroban smart contract developers and ...2 versions - Latest release: about 2 years ago - 1 dependent package - 2.88 thousand downloads total - 33 stars on GitHub - 1 maintainer
untrusted_value_derive_internals 0.3.1
This crate aim to provide a type-safe way to handle and sanitize potentially untrusted values lik...9 versions - Latest release: over 1 year ago - 9.88 thousand downloads total - 0 stars on GitHub - 1 maintainer
mago 1.0.3 π°
A comprehensive suite of PHP tooling inspired by Rustβs approach, providing parsing, linting, for...124 versions - Latest release: 14 days ago - 61.9 thousand downloads total - 1,998 stars on GitHub - 1 maintainer
mago-prelude 1.0.3 π°
The pre-compiled prelude of PHP's built-in symbols, used by Mago for fast, dependency-free analysis.51 versions - Latest release: 14 days ago - 9.32 thousand downloads total - 1,956 stars on GitHub - 1 maintainer
mago-linter 1.0.3 π°
A PHP linter that identifies common coding errors, style issues, and potential bugs, helping main...127 versions - Latest release: 14 days ago - 55.2 thousand downloads total - 1,956 stars on GitHub - 1 maintainer
mago-guard 1.0.3 π°
A PHP dependencies guard that helps keep your architecture clean.23 versions - Latest release: 14 days ago - 1.73 thousand downloads total - 1,986 stars on GitHub - 1 maintainer
mago-orchestrator 1.0.3 π°
An orchestrator crate for Mago, coordinating various components to provide a unified PHP tooling ...17 versions - Latest release: 14 days ago - 574 downloads total - 1,956 stars on GitHub - 1 maintainer
mago-codex 1.0.3 π°
PHP type system representation, comparison logic, and codebase metadata for static analysis.63 versions - Latest release: 14 days ago - 13.5 thousand downloads total - 1,956 stars on GitHub - 1 maintainer
mago-algebra 1.0.3 π°
The logical reasoning engine for Mago's static analyzer, responsible for manipulating sets of log...63 versions - Latest release: 14 days ago - 13.1 thousand downloads total - 1,986 stars on GitHub - 1 maintainer
mago-analyzer 1.0.3 π°
A PHP static analyzer that can detect type errors in PHP code, and provide suggestions for fixing...63 versions - Latest release: 14 days ago - 13.1 thousand downloads total - 1,956 stars on GitHub - 1 maintainer
mago-wasm 1.0.3 π°
Exposes PHP code analysis and tooling functionalities as WebAssembly modules, enabling browser-ba...127 versions - Latest release: 14 days ago - 55.1 thousand downloads total - 1,998 stars on GitHub - 1 maintainer
mago-fingerprint 1.0.3 π°
Position-insensitive AST fingerprinting for incremental analysis17 versions - Latest release: 14 days ago - 763 downloads total - 1,956 stars on GitHub - 1 maintainer
mokapot 0.23.0 π°
A library for analyzing and manipulating JVM bytecode33 versions - Latest release: 14 days ago - 31.4 thousand downloads total - 22 stars on GitHub - 1 maintainer
neural-complexity 0.1.0
Code complexity analyzer for Python and TypeScript using cyclomatic and cognitive complexity metrics1 version - Latest release: 14 days ago - 0 downloads total - 1 maintainer
bury 0.1.0
A blazingly fast dead code detector for Python and TypeScript using reachability analysis1 version - Latest release: 14 days ago - 0 downloads total - 1 maintainer
ast-grep-wasm 0.1.5 π°
Search and Rewrite code at large scale using precise AST pattern4 versions - Latest release: over 3 years ago - 5.81 thousand downloads total - 10,645 stars on GitHub - 1 maintainer
go-analyzer 0.1.1
A high-performance Language Server Protocol (LSP) implementation for Go code analysis, providing ...2 versions - Latest release: 4 months ago - 655 downloads total - 1 stars on GitHub - 1 maintainer
panopticon 0.0.0
A libre cross platform disassembler.1 version - Latest release: about 8 years ago - 2.06 thousand downloads total - 1,443 stars on GitHub - 1 maintainer
Top 9.3% on crates.io
2 versions - Latest release: over 5 years ago - 4 dependent packages - 13 dependent repositories - 2.32 thousand downloads total - 0 stars on GitHub - 1 maintainer
thread 0.1.0
A safe, fast, flexible code analysis and2 versions - Latest release: over 5 years ago - 4 dependent packages - 13 dependent repositories - 2.32 thousand downloads total - 0 stars on GitHub - 1 maintainer
veriwasm 0.1.4
A safety verifier for native-compiled WebAssembly code5 versions - Latest release: about 4 years ago - 1 dependent repositories - 11.8 thousand downloads total - 82 stars on GitHub - 1 maintainer
sarif_rust 0.3.0
A comprehensive Rust library for parsing, generating, and manipulating SARIF (Static Analysis Res...5 versions - Latest release: 4 months ago - 1.97 thousand downloads total - 1 maintainer
rair-env 0.1.0
Associative list implementation with heterogeneous value in the (K, V) pair1 version - Latest release: about 6 years ago - 1 dependent package - 3.76 thousand downloads total - 75 stars on GitHub - 1 maintainer
lynx_eye 0.0.2
A code complexity analyzer for JavaScript, TypeScript, and Rust using tree-sitter. Calculates NLO...2 versions - Latest release: 16 days ago - 0 downloads total - 1 maintainer
treeedb-csharp 0.1.0
Generate Datalog facts from C# source code3 versions - Latest release: 19 days ago - 1.43 thousand downloads total - 77 stars on GitHub - 1 maintainer
treeedb-javascript 0.1.0
Generate Datalog facts from JavaScript source code3 versions - Latest release: 19 days ago - 1.43 thousand downloads total - 77 stars on GitHub - 1 maintainer
treeedbgen 0.1.0
Parse node-types.json from a tree-sitter grammar5 versions - Latest release: 19 days ago - 1 dependent package - 6.4 thousand downloads total - 77 stars on GitHub - 1 maintainer
treeedb-c 0.1.0
Generate Datalog facts from C source code3 versions - Latest release: 19 days ago - 1.43 thousand downloads total - 77 stars on GitHub - 1 maintainer
treeedb 0.1.0
Generate Datalog facts from tree-sitter parse trees5 versions - Latest release: 19 days ago - 6 dependent packages - 6.32 thousand downloads total - 77 stars on GitHub - 1 maintainer
cargo-arch_test
CLI of arch_test_core for rule based architecture tests3 versions - Latest release: 17 days ago - 3.65 thousand downloads total - 14 stars on GitHub - 1 maintainer
mago-interner 0.26.1 π°
A string interning library that stores and reuses identical strings efficiently, improving memory...80 versions - Latest release: 6 months ago - 54.1 thousand downloads total - 1,896 stars on GitHub - 1 maintainer
mago-cli 0.0.9 π°
Offers a command-line interface to parsing, linting, formatting, and other analysis tasks, giving...10 versions - Latest release: about 1 year ago - 7.74 thousand downloads total - 1,998 stars on GitHub - 1 maintainer
mago-service 0.0.9 π°
Integrates multiple PHP tooling capabilitiesβsuch as parsing, linting, and formattingβinto a unif...10 versions - Latest release: about 1 year ago - 7.94 thousand downloads total - 1,896 stars on GitHub - 1 maintainer
mago-source 0.26.1 π°
Manages PHP source files by providing functions for loading, reading, and referencing PHP code, m...71 versions - Latest release: 6 months ago - 52.6 thousand downloads total - 1,896 stars on GitHub - 1 maintainer
mago-casing 1.0.1 π°
A Rust utility for converting strings between various common casing styles.130 versions - Latest release: 17 days ago - 58.7 thousand downloads total - 1,896 stars on GitHub - 1 maintainer
mago-database 1.0.1 π°
Provides a high-performance, in-memory database for source code analysis, featuring distinct muta...58 versions - Latest release: 17 days ago - 13.7 thousand downloads total - 1,896 stars on GitHub - 1 maintainer
mago-atom 1.0.1 π°
A string interning library that stores and reuses identical strings efficiently, improving memory...49 versions - Latest release: 17 days ago - 9.66 thousand downloads total - 1,896 stars on GitHub - 1 maintainer
mago-php-version 1.0.1 π°
Modeling PHP versions (major.minor.patch), with built-in checks for feature support and deprecati...109 versions - Latest release: 17 days ago - 46.2 thousand downloads total - 1,896 stars on GitHub - 1 maintainer
mago-span 1.0.1 π°
Tracks exact character positions in source code, making it easier to report precise errors, warni...129 versions - Latest release: 17 days ago - 63.9 thousand downloads total - 1,986 stars on GitHub - 1 maintainer
mago-type-syntax 1.0.1 π°
Provides core utilities useful for building lexers and parsers within Mago.67 versions - Latest release: 17 days ago - 15.4 thousand downloads total - 1,986 stars on GitHub - 1 maintainer
mago-names 1.0.1 π°
Resolves and normalizes identifiers (classes, functions, constants) within PHP code.125 versions - Latest release: 17 days ago - 56.8 thousand downloads total - 1,986 stars on GitHub - 1 maintainer
mago-composer 1.0.1 π°
Parses and models composer.json files128 versions - Latest release: 17 days ago - 56 thousand downloads total - 1,986 stars on GitHub - 1 maintainer
mago-docblock 1.0.1 π°
Analyzes PHP docblocks to extract annotations, tags, and documentation comments, aiding tools tha...127 versions - Latest release: 17 days ago - 59.7 thousand downloads total - 1,986 stars on GitHub - 1 maintainer
mago-syntax 1.0.1 π°
A correct, fast, and memory-efficient PHP syntax implementation, including Lexer, Parser, AST, an...67 versions - Latest release: 17 days ago - 17.3 thousand downloads total - 1,986 stars on GitHub - 1 maintainer
mago-formatter 1.0.1 π°
Reformats PHP source code according to configurable style rules, ensuring consistent code style a...125 versions - Latest release: 17 days ago - 56.1 thousand downloads total - 1,986 stars on GitHub - 1 maintainer
mago-reporting 1.0.1 π°
Structured error and diagnostic reporting utilities.128 versions - Latest release: 17 days ago - 61.1 thousand downloads total - 1,986 stars on GitHub - 1 maintainer
mago-syntax-core 1.0.1 π°
Provides core utilities useful for building lexers and parsers within Mago.67 versions - Latest release: 17 days ago - 17.6 thousand downloads total - 1,986 stars on GitHub - 1 maintainer
mago-collector 1.0.1 π°
Provides a utility for gathering and managing issues from various Mago tools, including support f...61 versions - Latest release: 17 days ago - 13.1 thousand downloads total - 1,986 stars on GitHub - 1 maintainer
mago-reference 0.26.1 π°
Mago Reference is a library for analyzing PHP codebases by providing advanced symbol search capab...44 versions - Latest release: 6 months ago - 22.4 thousand downloads total - 1,998 stars on GitHub - 1 maintainer
mago-ast-utils 0.22.2 π°
Helper functions and utilities for working with PHP AST nodes.62 versions - Latest release: 9 months ago - 41.8 thousand downloads total - 1,998 stars on GitHub - 1 maintainer
Related Keywords
linter
81
rust
81
formatter
55
type-checker
54
parser
49
php
47
code-analyzer
46
code-style
46
coding-standards
46
lexer
46
tree-sitter
29
security
27
code-quality
21
compiler
16
c
16
typescript
15
souffle
15
parsing
15
datalog
15
transpiler
14
testing
14
refactoring
13
smart-contracts
12
reverse-engineering
11
python
11
ast
11
command-line-tool
10
grep
10
command-line
10
codereview
10
babel
10
search
10
structural-search
10
rewrite
10
cli
10
pattern
10
codemod
10
quality
9
architecture
8
code-coverage
8
analysis
8
security-tools
7
developer-tools
7
lint
7
language-server
7
disassembler
7
radare2
6
radare
6
malware-analysis
6
framework
6
forensics
6
exploitation
6
solidity-contracts
6
diagram-generator
6
call-graph-analysis
6
solidity
6
complexity
5
code-analysis
5
lsp
5
vulnerability-detection
5
static-code-analysis
5
obfuscation
4
syn
4
auto-com
4
auto-complete
4
ethereum
4
type-inference
4
validation
4
soroban
4
privacy
4
privacy-protection
4
binary-analysis
4
auditor
4
github-actions
4
analyzer
4
cargo
4
javascript
3
test
3
dead-code
3
java
3
rule-based
3
software-architecture
3
solana
3
auditing
3
blockchain
3
fuzzing
3
untrusted-values
3
type-safety
3
taint-checking
3
taint-analysis
3
secure-by-design
3
anti-reversing
3
memory
3
sanitize
3
sanitization
3
taint
3
static-analyis
3
compile-time
3
vscode
3
ai
3