GitHub / LedgerProject / safepkt_backend
CLI and HTTP application for running static analysis of rust-based smart contracts
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/LedgerProject%2Fsafepkt_backend
Stars: 0
Forks: 1
Open issues: 0
License: apache-2.0
Language: Rust
Size: 1.05 MB
Dependencies parsed at: Pending
Created at: over 3 years ago
Updated at: over 3 years ago
Pushed at: over 3 years ago
Last synced at: 12 months ago
Topics: klee, rust, rvt, static-analysis
Loading...