Chain-Fox

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/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.