thanhtoantnt Goto Github PK

achecker

AChecker (Access Control Checker) is an automated static analysis tool for detecting access control vulnerabilities in smart contracts.

algorithms

The All ▲lgorithms documentation website.

cairo-fuzzer

Cairo/Starknet smart contract fuzzer

cairo-vm

cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.

defihacklabs

Reproduce DeFi hacked incidents using Foundry.

ethbmc

The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"

etherscan-contract-crawler

fabric-samples

hipsleek

hunter

:package: CMake driven cross-platform package manager for C/C++. Linux, Mac, Windows, iOS, Android, Raspberry Pi.

ilf

AI based fuzzer based on imitation learning

ityfuzz

Blazing Fast Hybrid Fuzzer for Smart Contracts

llvm-rust

A customized Rust bindings for LLVM

maple-repair.github.io

mythril

Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains.

reentrancy-attacks

A chronological and (hopefully) complete list of reentrancy attacks to date.

revm

Revolutionary Machine (revm) is a fast Ethereum virtual machine written in rust.

sfuzz

smart-contract-best-practices

A guide to smart contract security best practices

smartbugs

SmartBugs: A Framework to Analyze Ethereum Smart Contracts

smartian-artifact

Artifacts for Smartian, a grey-box fuzzer for Ethereum smart contracts.

sochi

solidifi-benchmark

Repository of benchmarks to evaluate Solidity Smart contract analysis tools

spacemacs-config

starknet_in_rust

A Rust implementation of Starknet execution logic

sui

Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language