Data

Tools

Indexes

Applications

Experiments

Packages

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

crates.io "program-analysis" keyword

View the packages on the crates.io package registry that are tagged with the "program-analysis" keyword.

ascent 0.8.0
Logic programming in Rust
17 versions - Latest release: 5 months ago - 2 dependent packages - 1 dependent repositories - 90.5 thousand downloads total - 469 stars on GitHub - 1 maintainer
Top 9.4% on crates.io
falcon 0.5.5
A Binary Analysis Framework in Rust
25 versions - Latest release: over 2 years ago - 4 dependent packages - 4 dependent repositories - 39.9 thousand downloads total - 565 stars on GitHub - 1 maintainer
siderophile 0.2.1
Find the ideal fuzz targets in a Rust codebase
7 versions - Latest release: almost 3 years ago - 8.18 thousand downloads total - 172 stars on GitHub - 1 maintainer
Related Keywords
rust 3 datalog 1 logic-programming 1 procedural-macro 1 declarative-language 1 lattice 1 binary-analysis 1 data-flow-analysis 1 fuzzing 1 security-testing 1