An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

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 code
5 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) pair
1 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 Rair
1 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-macros
2 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 tests
6 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 code
1 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 code
1 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 code
1 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 code
1 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 code
1 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 trees
3 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 grammar
1 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 grammars
1 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 grammar
3 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 grammar
1 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 grammar
1 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 grammar
1 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 grammar
1 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 RAIR
1 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 code
1 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 library
6 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 code
1 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 tests
3 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 code
11 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 deployment
12 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 parser
3 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
crepe 0.1.8 💰
Datalog in Rust as a procedural macro
9 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 RAIR
1 version - Latest release: over 5 years ago - 3 dependent packages - 2.93 thousand downloads total - 71 stars on GitHub - 1 maintainer