Chain-Fox
An all-in-one platform with automatic security detection ability for the web3 ecosystem
Chain-Fox
Pinned Repositories
Chain-Fox
Chain-Fox: An all-in-one platform with automatic security detection ability for blockchains and smart contracts
chain-fox-frontend
ckb
The Nervos CKB is a public permissionless blockchain, and the layer 1 of Nervos network.
HelloWorld
Hello World Tutorial for Rust LLVM Instrumentation
markdown_advanced_template
Markdown to docx/pdf with TOC、Ref and Bib; 将Markdown转成带目录、引用和参考文献的docx或pdf
openethereum
Fast and feature-rich multi-network Ethereum client.
os-checker
对 Rust 编写的代码运行一系列检查工具,并对结果进行报告和统计
os-checker-local
os-checker for local Rust projects
solana-program-analyzer
Analyzer for Solana Programs
VRLifeTime-1
Visualize Rust Lifetime
Chain-Fox's Repositories
Chain-Fox/Chain-Fox
Chain-Fox: An all-in-one platform with automatic security detection ability for blockchains and smart contracts
Chain-Fox/solana-program-analyzer
Analyzer for Solana Programs
Chain-Fox/chain-fox-frontend
Chain-Fox/os-checker
对 Rust 编写的代码运行一系列检查工具,并对结果进行报告和统计
Chain-Fox/0g-bug-tracker
Automated Web3 Bug Detection: Powered by Chain-Fox, stored securely on 0G
Chain-Fox/0g-storage-go-starter-kit
Chain-Fox x 0G Sample Report Storage
Chain-Fox/aderyn
Solidity Static Analyzer that easily integrates into your editor
Chain-Fox/cargo-check-deadlock
Find deadlocks in Rust code with Petri net model checking
Chain-Fox/cbmc
C Bounded Model Checker
Chain-Fox/chain-fox-stake
Chain-Fox/cppcheck
static analysis of C/C++ code
Chain-Fox/cpplint
Static code checker for C++
Chain-Fox/crash-handling
Collection of crates to deal with crashes
Chain-Fox/ERASan
Chain-Fox/go-critic
The most opinionated Go source code linter for code audit.
Chain-Fox/kani
Kani Rust Verifier
Chain-Fox/lockbud
Detect concurrency and memory bugs and possible panic locations in Rust projects
Chain-Fox/MIRAI
Rust mid-level IR Abstract Interpreter
Chain-Fox/parity-db
Experimental blockchain database
Chain-Fox/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.
Chain-Fox/RAPx
Rust Analysis Platform
Chain-Fox/rust-rocksdb
rust wrapper for rocksdb
Chain-Fox/shellcheck
ShellCheck, a static analysis tool for shell scripts
Chain-Fox/shuttle
Shuttle is a library for testing concurrent Rust code
Chain-Fox/slither
Static Analyzer for Solidity and Vyper
Chain-Fox/solana-lints
Lints based on the Sealevel Attacks
Chain-Fox/trident
Rust-based framework to Fuzz Solana programs, designed to help you ship secure code.
Chain-Fox/verus
Verified Rust for low-level systems code
Chain-Fox/wake
Wake is a Python-based Solidity development and testing framework with built-in vulnerability detectors
Chain-Fox/x402
A payments protocol for the internet. Built on HTTP.