Chain-Fox's repositories
solana-program-analyzer
Analyzer for Solana Programs
os-checker
对 Rust 编写的代码运行一系列检查工具，并对结果进行报告和统计
0g-storage-go-starter-kit
Chain-Fox x 0G Sample Report Storage
aderyn
Solidity Static Analyzer that easily integrates into your editor
cargo-check-deadlock
Find deadlocks in Rust code with Petri net model checking
cbmc
C Bounded Model Checker
conflux-rust
The official Rust implementation of Conflux protocol. https://developer.confluxnetwork.org
cppcheck
static analysis of C/C++ code
cpplint
Static code checker for C++
crash-handling
Collection of crates to deal with crashes
go-critic
The most opinionated Go source code linter for code audit.
kani
Kani Rust Verifier
lockbud
Detect concurrency and memory bugs and possible panic locations in Rust projects
MIRAI
Rust mid-level IR Abstract Interpreter
parity-db
Experimental blockchain database
pumpfun-sdk
A comprehensive Rust SDK for seamless interaction with the PumpFun Solana program. This SDK provides a robust set of tools and interfaces to integrate PumpFun functionality into your applications.
RAPx
Rust Analysis Platform
rust-rocksdb
rust wrapper for rocksdb
shellcheck
ShellCheck, a static analysis tool for shell scripts
shuttle
Shuttle is a library for testing concurrent Rust code
slither
Static Analyzer for Solidity and Vyper
solana-lints
Lints based on the Sealevel Attacks
trident
Rust-based framework to Fuzz Solana programs, designed to help you ship secure code.
verus
Verified Rust for low-level systems code
wake
Wake is a Python-based Solidity development and testing framework with built-in vulnerability detectors
wasm-bindgen
Facilitating high-level interactions between Wasm modules and JavaScript