crates.io "static-analysis" keyword
View the packages on the crates.io package registry that are tagged with the "static-analysis" keyword.
scout-utils 0.1.0
Macro utilities for the Scout project.1 version - Latest release: 12 months ago - 5.53 thousand downloads total - 4 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: over 1 year ago - 1 dependent package - 2.43 thousand downloads total - 33 stars on GitHub - 1 maintainer
veriwasm 0.1.4
A safety verifier for native-compiled WebAssembly code5 versions - Latest release: almost 4 years ago - 1 dependent repositories - 10.7 thousand downloads total - 80 stars on GitHub - 1 maintainer
rair-env 0.1.0
Associative list implementation with heterogeneous value in the (K, V) pair1 version - Latest release: over 5 years ago - 1 dependent package - 3.28 thousand downloads total - 75 stars on GitHub - 1 maintainer
rair 0.1.0
Reverse Engineering framework written in rust.1 version - Latest release: over 5 years ago - 1.48 thousand downloads total - 75 stars on GitHub - 1 maintainer
rcore 0.1.0
Core module for Rair1 version - Latest release: over 5 years ago - 2 dependent packages - 2.74 thousand downloads total - 75 stars on GitHub - 1 maintainer
assert_exists 0.1.0
Useful macro to assert that a certain symbol exists in the source code. This is useful to strictl...1 version - Latest release: almost 2 years ago - 1 dependent repositories - 1.39 thousand downloads total - 1 stars on GitHub - 1 maintainer
dynimp-macros 0.1.1
extended version of razy-importer-macros2 versions - Latest release: about 1 year ago - 2.08 thousand downloads total - 4 stars on GitHub - 1 maintainer
code_analyzer 0.1.1
A Rust-based static code analysis tool for JavaScript, TypeScript, Python, and Go.2 versions - Latest release: 12 months ago - 1.77 thousand downloads total - 0 stars on GitHub - 1 maintainer
cargo-archtest 0.1.8
CLI of arch_test_core for rule based architecture tests6 versions - Latest release: about 4 years ago - 7.12 thousand downloads total - 11 stars on GitHub - 1 maintainer
treeedb-csharp 0.1.0-rc.5
Generate Datalog facts from C# source code1 version - Latest release: over 2 years ago - 1.18 thousand downloads total - 69 stars on GitHub - 1 maintainer
treeedb-c 0.1.0-rc.5
Generate Datalog facts from C source code1 version - Latest release: over 2 years ago - 1.18 thousand downloads total - 69 stars on GitHub - 1 maintainer
treeedb-rust 0.1.0-rc.5
Generate Datalog facts from Rust source code1 version - Latest release: over 2 years ago - 1.18 thousand downloads total - 69 stars on GitHub - 1 maintainer
treeedb-souffle 0.1.0-rc.5
Generate Datalog facts from Soufflé source code1 version - Latest release: over 2 years ago - 1.22 thousand downloads total - 69 stars on GitHub - 1 maintainer
treeedb-javascript 0.1.0-rc.5
Generate Datalog facts from JavaScript source code1 version - Latest release: over 2 years ago - 1.17 thousand downloads total - 69 stars on GitHub - 1 maintainer
treeedb 0.1.0-rc.5
Generate Datalog facts from tree-sitter parse trees3 versions - Latest release: over 2 years ago - 6 dependent packages - 5.29 thousand downloads total - 69 stars on GitHub - 1 maintainer
treeedbgen-souffle-javascript 0.1.0-rc.5
Generate Soufflé types and relations from the JavaScript tree-sitter grammar1 version - Latest release: over 2 years ago - 1.19 thousand downloads total - 69 stars on GitHub - 1 maintainer
treeedbgen-souffle 0.1.0-rc.5
Generate Soufflé types and relations from tree-sitter grammars1 version - Latest release: over 2 years ago - 5 dependent packages - 1 dependent repositories - 3.34 thousand downloads total - 69 stars on GitHub - 1 maintainer
treeedbgen 0.1.0-rc.5
Parse node-types.json from a tree-sitter grammar3 versions - Latest release: over 2 years ago - 1 dependent package - 5.36 thousand downloads total - 69 stars on GitHub - 1 maintainer
treeedbgen-souffle-csharp 0.1.0-rc.5
Generate Soufflé types and relations from the C# tree-sitter grammar1 version - Latest release: over 2 years ago - 1.22 thousand downloads total - 69 stars on GitHub - 1 maintainer
treeedbgen-souffle-c 0.1.0-rc.5
Generate Soufflé types and relations from the C tree-sitter grammar1 version - Latest release: over 2 years ago - 1.25 thousand downloads total - 69 stars on GitHub - 1 maintainer
treeedbgen-souffle-souffle 0.1.0-rc.5
Generate Soufflé types and relations from the Soufflé tree-sitter grammar1 version - Latest release: over 2 years ago - 1.21 thousand downloads total - 69 stars on GitHub - 1 maintainer
treeedbgen-souffle-rust 0.1.0-rc.5
Generate Soufflé types and relations from the Rust tree-sitter grammar1 version - Latest release: over 2 years ago - 1.2 thousand downloads total - 69 stars on GitHub - 1 maintainer
rcmd 0.1.0
IO subsystem for RAIR1 version - Latest release: over 5 years ago - 1 dependent package - 2.29 thousand downloads total - 75 stars on GitHub - 1 maintainer
treeedb-swift 0.1.0-rc.5
Generate Datalog facts from Swift source code1 version - Latest release: over 2 years ago - 1.18 thousand downloads total - 69 stars on GitHub - 1 maintainer
arch_test_core 0.1.5
Rule based architecture test library6 versions - Latest release: about 4 years ago - 2 dependent packages - 8.37 thousand downloads total - 13 stars on GitHub - 1 maintainer
cargo-recon 0.1.0 💰
Enumerate viable fuzzing targets in Rust code1 version - Latest release: 4 months ago - 445 downloads total - 0 stars on GitHub - 1 maintainer
cargo-arch_test
CLI of arch_test_core for rule based architecture tests3 versions - Latest release: 28 days ago - 3.13 thousand downloads total - 13 stars on GitHub - 1 maintainer
code-blocks-server 0.6.0
A tool to re-order your code11 versions - Latest release: over 2 years ago - 11.4 thousand downloads total - 6 stars on GitHub - 1 maintainer
solsec 0.2.1
Solana Smart Contract Security Toolkit - Find security bugs before deployment12 versions - Latest release: 28 days ago - 14.9 thousand downloads total - 0 stars on GitHub - 1 maintainer
scoper 0.1.2
A TypeScript code analyzer using the OXC parser3 versions - Latest release: 3 months ago - 978 downloads total - 0 stars on GitHub - 1 maintainer
panopticon 0.0.0
A libre cross platform disassembler.1 version - Latest release: almost 8 years ago - 1.78 thousand downloads total - 1,443 stars on GitHub - 1 maintainer
Top 9.2% on crates.io
9 versions - Latest release: over 2 years ago - 2 dependent packages - 8 dependent repositories - 510 thousand downloads total - 452 stars on GitHub - 1 maintainer
crepe 0.1.8 💰
Datalog in Rust as a procedural macro9 versions - Latest release: over 2 years ago - 2 dependent packages - 8 dependent repositories - 510 thousand downloads total - 452 stars on GitHub - 1 maintainer
rair-io 0.1.0
IO subsystem for RAIR1 version - Latest release: over 5 years ago - 3 dependent packages - 2.93 thousand downloads total - 71 stars on GitHub - 1 maintainer
Related Keywords
linter
57
rust
54
formatter
43
type-checker
42
parser
37
php
36
code-analyzer
35
code-style
35
coding-standards
35
lexer
35
tree-sitter
26
security
18
souffle
15
typescript
15
datalog
15
parsing
14
testing
11
reverse-engineering
11
refactoring
11
python
10
code-quality
10
structural-search
10
grep
10
search
10
ast
10
pattern
10
rewrite
10
codemod
10
babel
10
codereview
10
command-line
10
command-line-tool
10
quality
8
code-coverage
8
disassembler
7
language-server
7
malware-analysis
6
radare
6
smart-contracts
6
exploitation
6
framework
6
security-tools
6
forensics
6
radare2
6
analysis
5
cli
5
obfuscation
4
binary-analysis
4
auditor
4
static-code-analysis
4
github-actions
4
soroban
4
auto-complete
4
developer-tools
4
vulnerability-detection
4
lsp
4
architecture
4
type-inference
4
auto-com
4
untrusted-values
3
risc-v
3
blockchain
3
fuzzing
3
auditing
3
cargo
3
solana
3
test
3
javascript
3
type-safety
3
taint-checking
3
taint-analysis
3
secure-by-design
3
sanitize
3
compile-time
3
validation
3
taint
3
static-analyis
3
sanitization
3
vscode
3
anti-reversing
3
riscv
3
software-architecture
3
rule-based
3
dyck
2
grammar
2
spa
2
stellar
2
smart-contract-security
2
vulnerability-scanners
2
audit
2
ink
2
dataflow
2
java
2
malware
2
c
2
csharp
2
subcommand
2
plugin
2
analyzer
2
compiler
2